-
Fundamentos de la aritmetica
Friedrich Ludwig Gottlob Frege (1848 - 1925) -
El problema de la decisión
David Hilbert (1862 - 1943)- Metodo general para decidir si una formula logica es verdadera o falsa -
Teorema de Gödel
Kurt Gödel (1906 - 1978) - Toda formulación axiomatica consite en la teoria de números contiene propocisiones indecidibles. -
Maquina de Turing
Alan Mathison Turing (1912 - 1953) - Padre de la computabilidad -
Circuitos combinados y secuenciales
Claude Elwood Shannon (1916 - 2001) - Logíca matemática para el ánalisis de los circuitos combinados y secuenciales -
Teoría de las gramáticas transformacionales
avram noam chomsky (1928 ) - O teoría de lenguajes formales
