-
Lógica Matematica
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 -
Lógica Matematica
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. -
Lógica Matematica
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 -
Lógica Matematica
Stephen Kleene
Introdujo la operación Clausura de Kleene, denotada por el símbolo V* -
Lógica Matematica
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 -
Lógica Matematica
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 -
Lógica Matematica
Noam Chomsky
El más importante de los pensadores contemporáneos -
Lógica Matematica
Stephen Arthur Cook
La complejidad de los procedimientos de demostración de teoremas