-
Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.
Publico su revolucionaria obra titulada conceptografia o escritura de conceptos. -
Publico su primer libro sobre lógica matemática.
Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos. -
Creo la maquina de turing .
Publico el articulo "sobre los números calculables".
Desarrollo el teorema de godel y puede considerarse el origen de informática teórica. -
Comienza el estudio formal de las gramáticas generadoras de lenguajes.
Creador de la jerarquía de chomsky -
Escribió el primer compilador lenguaje de programación A-0
-
Creador de Frotran, lenguaje de programación que permitía escribir formulas matemáticas , traducible a un ordenador.
-
Fue el primero en utilizar el tipo de maquina de estados finito.
-
Creador de la teoría de la creatividad. aporto a sentar las bases de la ciencia de la computación teórica.
-
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 estandarizar las comunicaciones con el protocolo MAP
