-
Considerado el padre de la lógica matemática. Sus obras fundamentales son Ideografia (1879, base de la lógica moderna) y Fundamentos de la Aritmética (1884)
-
Peano publica su primer libro sobre logica matemática Applicazioni Geometriche del Calcolo Infinitesimale
-
Basado en Frege comienza una serie de libros con las bases de la logica y filosofia de las matemáticas
-
Propone una solución propuesta ante la crisis fundacional de las matemáticas
-
Desarrolla terias de funciones recursivas, introduce la clausura de kleene
-
Crea la máquina de turing
-
Primer modelo neuronal moderno
-
Propuso la gramática generativa
-
Escribe el primer compilador
-
Nacen los primeros lenguajes maquina
-
C. Shannon propone tres modelos para la descripción de lenguajes, que serían la base de la jerarquía de los tipos de lenguajes, Stephen Kleene sienta las bases de la computacion teórica. Edward F. Moore utiliza la primera m,áquina de estados finitos
-
Formaliza el concepto de NP-completitud