-
SIGLO XIX
Gottlob Frege y George Boole
"Padre del calculo de proposiciones, de concepto de predicado e introducción de los dos cuantificadores". -
Bertrand Russell "El conjunto de todos los conjuntos que no pertenecen a sí mismos no puede pertenecer ni dejar de pertenecer a si mismo".
-
Kurt Gödel
"Toda formulación axiomática consistente de la teoría de los números contiene proposiciones indeducibles". -
Alan Mathison Turing
"Entidad matemática abstracta que formalizó el concepto de algoritmo" -
Claude Elwood Shannon
"Aplicó la lógica matemática para el análisis de circuitos combinatorios y secuenciales" -
Avram Noam Chomsky. "Convirtió la lingüística en una ciencia, introdujo la teoría de las gramáticas transformacionales"
