-
Friedrich Ludwig Gottlob Frege
- Publicó Conceptografía (Begriffsschrift) – Desarrollo de la lógica de primer orden (operadores and, or, not, implicación, para-todo, existe)
-
Giuseppe Peano
Propuso la notación actual de la lógica y estudió los principios de la matemática.
FORMULARIO, enciclopedia con todas las fórmulas y teoremas conocidos en matemáticas -
David Hilbert
Axiomatización de la geometría. Problemas de Hilbert.
Publica en 1928 Principios de lógica teórica
Problema de la decisión: descubrir un método general para decidir si una fórmula lógica es verdadera o falsa -
Alan Turing
Participa en la ruptura del cifrado de la máquina Enigma
Publica el artículo Los números computables, con una aplicación al Entscheidungsproblem.
Nacimiento de la Informática Teórica -
Claude Elwood Shannon
Pública A Symbolic Analysis of Relay and Switching Circuits. Aplicación de la lógica matemática a los circuitos electrónicos. -
Noam Chomsky
Doctorado en 1955 en la U. Harvard con la tesis Estructura lógica de la teoría lingüística (que no se publicó hasta 1975)
En 1957 publica Estructuras sintácticas en el que aparece la clasificación de gramáticas (Jerarquía de Chomsky) -
Stephen Arthur Cook
Pública The Complexity of Theorem Proving Procedures, donde define las clases de problemas P, NP, y NP completos.
