Kurt Gödel (1906-

1978)
En 1931 público su famoso articulo
“Sobre Proposiciones Formalmente
Indecibles en Principia Mathematica y
Sistemas Relacionados”
Alan Mathison Turing (1912-1953)
• En 1937 publicó otro artículo famoso “Los
Números Calculables”.
• Alan Turing considerado como el Padre de
la Teoría de la Computabilidad.
• Máquina de Turing.
Avram Noam Chomsky (1928-)
• En la década de 1950 revoluciono la
lingüística con su “Teoría de las Gramáticas
Transformacionales”.
• Chomsky clasificó los lenguajes formales de
acuerdo con una jerarquía de cuatro grados.