-
Diseñó e inventó la primera máquina programable
-
Escribió el primer algoritmo, para que pudiera ser procesado por la máquina de Babbage
-
Conceptografía o Escritura de Conceptos
Distinguió la caracterización formal de las leyes lógicas y su contenido semántico. -
Inventó la máquina tabuladora
-
Lógica matemática.
Primero en usar los símbolos modernos, de unión e intersección. -
Formalizó el proceso llamado cadena de Markov
-
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.
-
Desarrollaron el cálculo de lambda
-
Junto con IBM, desarrollan el ASCC/Havard Mark I
-
Primer modelo neuronal moderno
-
Desarrolló el primer compilador de la historia
-
Director del proyecto de Investigación de IBM, en el cuál surgió FORTRAN, primer lenguaje de programación del alto nivel.
-
Descubridor de la jerarquía de Chomsky
-
Usó sus conocimientos de lógica matemática para el análisis de circuitos.
-
Surge el concepto de autómata finito no determinista
-
En ésta década se implementaron los autómatas programables en la industria por primera vez
-
Introdujo en expresiones regulares, la clausura de Kleene
-
Inventó la máquina de estados finitos de Moore.
-
Incorporaron la tecnología de los microcontroladores, para aumentar sus capacidades.
-
Sentó los cimientos de la teoría de NP-completitud.
-
Se incorporaron los microprocesadores, aumentando así sus capacidades y potencia.