-
Friedrich Ludwig Gottlob Frege sentó las bases de la lógica matemática moderna, iniciando una nueva era en esta disciplina que había permanecido prácticamente inalterada desde Aristóteles
-
Giuseppe Peano
uso de la lógica más como medio de exposición de la matemática que como su fundamento (al estilo de Frege o Russell), desarrolló una sintaxis muchos de cuyos símbolos (como los de pertenencia, unión o intersección) son hoy día empleados de forma universal. -
David Hilbert
Fundadores de la teoría de la demostración, la lógica matemática y la distinción entre matemática y metamatemática. Adoptó y defendió vivamente la teoría de conjuntos y los números transfinitos de Cantor -
Stephen Kleene
Introdujo la operación Clausura de Kleene, denotada por el símbolo V* -
Alonzo Church
Creador de la base de la computación teórica
Formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva -
Claude Elwood Shannon
Teoría de la información con la publicación Una teoría matemática de la comunicación.
Padre de la teoría de la información -
Noam Chomsky
El más importante de los pensadores contemporáneos -
Stephen Arthur Cook
La complejidad de los procedimientos de demostración de teoremas
