-
Invento notaciones simbólicas cuantificadores y variables
-
Realiza la notación de los símbolos utilizados en Lógica Matemática
-
solución a los problemas lógicos de las matemáticas en conjunto con Alfred North Whitehead, en su libro Principia mathematica
-
el programa de formalización de Hilbert contribuyó al desarrollo de la llamada metamatemática, entendida como método para establecer la consistencia de cualquier sistema formal.
-
Publicó artículo sobre proposiciones formalmente indecidibles del Principia Mathematica y sistemas relacionados
-
Creador de la maquina de Turing que operaba basándose en una serie de instrucciones lógicas, sentando así las bases del concepto moderno de algoritmo.
-
Realizo la publicación de introducción a la lógica Matemática
-
Mediante métodos estrictamente matemáticos definió la magnitud conocida como Bit
-
Realizo la formulación teórica y desarrollo el concepto de gramática transformacional.
-
NP-completos
Qué pueden resolver los ordenadores de manera eficiente y qué no.
