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