-
Sentó bases de la lógica moderna
Aportes en el desarrollo de la lógica de primer orden (operadores and, or, not, implicación, para-todo, existe). -
Publicó enciclopedia llamada el formulario matemático: Contenía 4200 fórmulas y teoremas, todos completamente enunciados y la mayoría probados.
Estudió los principios de la matemática..
Propouso la notación actual de la lógica. -
Aporte con los volumenes de Principia Mathematica , una de las mayores obras sobre lógica y matemáticas.
-
Publicación de fundamentos de lógica teórica.
Plantea el problema de la decisión Entscheidungsproblem, donde se buscaba un método para determinar los teoremas de toda teoría formulable de primer orden. -
Estudia una teoría de enteros positivos en lógica formal.
-
Teorema de la incompletud sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados.
-
Plantea la primera definición matemática de algoritmo.
Desarrolló el calculo lambda, logrando demostrar problemas indecidibles para dicho calculo.
Tesis de Churh - Turing donde se indica qye todo algoritmo es equivalente a una máquina de Turing. -
Introducce el concepto de la máquina de turing es decir un teórico basado en el principio de que una máquina puede imitar a cualquier otra máquina.
Publicó artículo con números computables.
Fue un precursor de la inteligencia artificial. -
Demostró cómo el álgebra booleana se podía utilizar en el análisis y la síntesis de la conmutación y de los circuitos digitales.
-
Fundó la teoría de las funciones recursivas.
-
Desarrolló un método para expresar la información de forma cuantitativa.
-
Demostraron cómo se podía analizar dicha cuantificación (expresada en una magnitud que denominó bit) mediante métodos estrictamente matemáticos.
-
Realizó grandes aportaciones en el campo de la informática.
Realizó tesis sobre el análisis transformacional y generativa.
Aportaciones a la teoría de autómatas y al estudio de los lenguajes formales. -
Introduce la noción de problema NP-completo y demuestra que el problema de la satisfacibilidad booleana es NPcompleto.