-
Base de la Lógica Moderna
Invento notaciones simbólicas cuantificadores y variables -
Notación Actual de la Lógica Mátmática
Realiza la notación de los símbolos utilizados en Lógica Matemática -
Teoría de Tipos y teoría de las Descripciones
solución a los problemas lógicos de las matemáticas en conjunto con Alfred North Whitehead, en su libro Principia mathematica -
Metamatemática
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. -
Teoremas de la incompletitud
Publicó artículo sobre proposiciones formalmente indecidibles del Principia Mathematica y sistemas relacionados -
Maquina de Turing Computabilidad
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. -
Cálculo de Conversión Lambda
Realizo la publicación de introducción a la lógica Matemática -
Teoría de la Información
Mediante métodos estrictamente matemáticos definió la magnitud conocida como Bit -
Lingüística
Realizo la formulación teórica y desarrollo el concepto de gramática transformacional. -
La complejidad de los procedimientos de demostración de teoremas
NP-completos
Qué pueden resolver los ordenadores de manera eficiente y qué no.