Historia y Evolución de la Teoría de Autómatas y Lenguajes Formales

  • Base de la Lógica Moderna

    Base de la Lógica Moderna
    Invento notaciones simbólicas cuantificadores y variables
  • Notación Actual de la Lógica Mátmática

    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

    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

    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

    Teoremas de la incompletitud
    Publicó artículo sobre proposiciones formalmente indecidibles del Principia Mathematica y sistemas relacionados
  • Maquina de Turing Computabilidad

    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

    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

    Teoría de la Información
    Mediante métodos estrictamente matemáticos definió la magnitud conocida como Bit
  • Lingüística

    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

    La complejidad de los procedimientos de demostración de teoremas
    NP-completos
    Qué pueden resolver los ordenadores de manera eficiente y qué no.