-
Pionero en la distinción de las leyes lógicas de su contenido semántico. Publicó las obras tituladas: Conceptografía o Escritura de conceptos.
-
Aportes a la lógica matemática con su libro de símbolos modernos para la unión e intersección de conjuntos.
-
Creó la Maquina de Turing, desarrolló el teorema de Gödel y puede ser considerado el origen de la informática teórica.
-
Se desarrollan maquinas simples que fueron conocidas como autómatas finitos, con el objetivo de molder el funcionamiento del cerebro.
-
Se creó la neurona de McCulloch-Pitts que es una unidad de cálculo que intenta molder el comportamiento de una neurona "natural".
-
Se desarrolló la primera computadora digital. Estas máquinas ejecutaban instrucciones consistentes en códigos numéricos y se denominó Lenguaje Maquina.
-
Comenzó el estudio formal de las gramáticas (generadoras de lenguajes), el creador de la jerarquía de Chomsky y la clasificación de lenguajes formales en teoría de la computación.
-
Investigó el Lenguaje Algebraico.
-
Escribió el primer compilador y lenguaje de programación "A-0".
-
La creación de FORTRAN, un lenguaje que permitía escribir fórmulas matemáticas y traducible por un ordenador.
-
Aplicó la lógica matemática para el análisis de circuitos combinatorios.
-
Fue el creador de la teoría de la recursividad. Aportó a sentar las bases de la ciencia de la computación teórica.
-
Fue el primero en utilizar el tipo de máquina de estados finitos.
-
Los autómatas programables se introducen por primera vez en la industria.
-
Extiende el estudio de Turing
-
Las funciones de comunicación comenzaron a integrarse en los autómatas.
-
Intento de estandarización de las comunicaciones con el protocolo MAP.