-
Friedrich Ludwig Gottlob Frege
publicó Conceptografía desarrollo la logica de primer orden -
David Hilbert
problema de la decision consistia en un metodo general para decidir si una formula logica es verdadera o falsa,
pero se demostro que eso no era posible -
Kurt Gödel
Publico el “Teorema de la incompletitud”,en el que demostraba que era imposible la completa axiomatización de las matemáticas. Este teorema incremento el debate por el poder de los métodos axiomáticos y los procesos computacionales. -
Church
Hace un esquema de la demostración de la equivalencia entre las funciones definibles y las funciones re-cursivas de Herbrand-Godel -
Alan Mathison turing
Desarrollo teorema de Gödel considerado el origen de la informática teórica y presento la MT (Maquina de Turing) -
claude elwood shannon
aplico logica matematica para circuitos combinatorios y secuenciales (electronica e ingeniria de telecomunicaciones)
1938-1939 trabaja con A Turing y desarrollaron una tesis -
Claude Elwood Shannon
Publica una teoría matemática de la comunicación nacimiento de la información -
Avram Noam chomsky
Teoría de las gramáticas transformacionales, estableció las bases de la lingüística matemática y esto facilito las definiciones para los primeros lenguajes programación. -
Claude Elwood Shannon
Edita junto a McCarthy estudios sobre maquinas secuenciales y automatas finitos. -
Rabin, Blum y otros
Complejidad Algoritmica, trata la dificultad computacional