-
Lógica Matemática
Friedrich Ludwing Gottlob Frege (1848-1945)
-Desarrollo la Lógica
-Operadores And, or, implicación, para todo, existe
-Utilizaba una notación bastante complicada -
Lógica Matemática
-Giuseppe Peano (1858-1932)
-Propuso la notación actual de lógica.
-Formulario Mathematico, Enciclopedia Matematica -
Lógica Matemática
Bertrand Russell (1872-1970)
– Publica Principia Mathematica con su profesor - Alfred North Whitehead (1861-1947) -
Lógica Matemática
David Hilbert (1862 – 1943)
Publica Principios de lógica teórica – Problema de la decisión: descubrir un método general para decidir si una fórmula lógica es verdadera o falsa -
Lógica matemática
Kurt Gödel (1906 – 1978)
Publica el artículo Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados – Teorema de incompletitud -
Computabilidad
Alan Mathison Turing (1912 – 1954)
Publica artículo los números computacionales
Nacimiento de a informática teórica
Inventan máquinas de Turín -
Computabilidad
Alonzo Church (1903 – 1995)
-Desarrolla el cálculo lambda(Base de los lenguajes funcionales)
-Trabaja en la tesis de Church-Turing -
Computabilidad
Stephen Kleene (1909 - 1994)
Discípulo de A. Church.
Estudia la teoría de funciones recursivas.
– Desarrolla las expresiones regulares -
Teoría de autómatas
Claude Elwood Shannon (1916 – 2001)
-En 1938 publica. Aplicación de la lógica matemática a los circuitos electrónicos
– En 1948 publica Una Teoría Matemática de la Comunicación. Nacimiento de la Teoría de la Información
– En 1956 edita, junto a McCarthy, Automata Studies, sobre máquinas secuenciales y autómatas finitos. -
Teoría de autómatas Autómatas de Pila
A. G. Oettinger, Análisis sintáctico automático y pushdown Store, Proc. Simposios de Matemáticas Aplicadas. (1961).
Lenguajes libres de contexto y autómatas
P.C. Fisher, sobre computabilidad por ciertas clases de máquinas restringidas de Turing
D.E. Knuth, Traducción de idiomas de izquierda a derecha, Información y Control -
Teoría de autómatas Autómatas Finitos Deterministas
David Albert Huffman (1925 -1999)
Creo la codificación Huffman
Ayudó a fundar su Departamento de Ciencias de la Computación -
Gramática generativa
Lingüística Noam Chomsky (1928 - )
Propuso la gramática generativa, disciplina que situó la sintaxis en el centro de la investigación lingüística. Con ésta cambió la perspectiva, los programas y métodos de investigación en el estudio del lenguaje.