-
publicó Conceptografía desarrollo la logica de primer orden
-
problema de la decision consistia en un metodo general para decidir si una formula logica es verdadera o falsa,
pero se demostro que eso no era posible -
Publico el “Teorema de la incompletitud”,en el que demostraba que era imposible la completa axiomatización de las matemáticas. Este teorema incremento el debate por el poder de los métodos axiomáticos y los procesos computacionales.
-
Hace un esquema de la demostración de la equivalencia entre las funciones definibles y las funciones re-cursivas de Herbrand-Godel
-
Desarrollo teorema de Gödel considerado el origen de la informática teórica y presento la MT (Maquina de Turing)
-
aplico logica matematica para circuitos combinatorios y secuenciales (electronica e ingeniria de telecomunicaciones)
1938-1939 trabaja con A Turing y desarrollaron una tesis -
Publica una teoría matemática de la comunicación nacimiento de la información
-
Teoría de las gramáticas transformacionales, estableció las bases de la lingüística matemática y esto facilito las definiciones para los primeros lenguajes programación.
-
Edita junto a McCarthy estudios sobre maquinas secuenciales y automatas finitos.
-
Complejidad Algoritmica, trata la dificultad computacional