-
Charles Babbage
Diseñó e inventó la primera máquina programable -
Ada Lovelace
Escribió el primer algoritmo, para que pudiera ser procesado por la máquina de Babbage -
Gottlob Frege
Conceptografía o Escritura de Conceptos
Distinguió la caracterización formal de las leyes lógicas y su contenido semántico. -
Herman Hollerith
Inventó la máquina tabuladora -
Giuseppe Peano
Lógica matemática.
Primero en usar los símbolos modernos, de unión e intersección. -
Andréi Márkov
Formalizó el proceso llamado cadena de Markov -
Alan Turing
Creo el concepto de Máquina de Turing. Desarrolló la tesis de Church-Turing que formula hipotéticamente la equivalencia entre como función computable y maquina de Turing. -
Alonzo Church y Stephen Kleene
Desarrollaron el cálculo de lambda -
Howard Alken
Junto con IBM, desarrollan el ASCC/Havard Mark I -
McCulloch y Pitts
Primer modelo neuronal moderno -
Grace Hopper
Desarrolló el primer compilador de la historia -
John Backus
Director del proyecto de Investigación de IBM, en el cuál surgió FORTRAN, primer lenguaje de programación del alto nivel. -
Noam Chomsky
Descubridor de la jerarquía de Chomsky -
Claude Shannon
Usó sus conocimientos de lógica matemática para el análisis de circuitos. -
Michael O. Rabin y Dana Scott
Surge el concepto de autómata finito no determinista -
Period: to
Autómatas programables
En ésta década se implementaron los autómatas programables en la industria por primera vez -
Stephen Kleene
Introdujo en expresiones regulares, la clausura de Kleene -
Edward F. Moore
Inventó la máquina de estados finitos de Moore. -
Period: to
Autómatas programables y microcontroladores
Incorporaron la tecnología de los microcontroladores, para aumentar sus capacidades. -
Stephen Cook
Sentó los cimientos de la teoría de NP-completitud. -
Period: to
Autómatas y los microprocesadores
Se incorporaron los microprocesadores, aumentando así sus capacidades y potencia.