-
Lógica matemática
Friedrich Ludwig Gottlob Frege
- Publicó Conceptografía (Begriffsschrift)
– Desarrollo de la lógica de primer orden.
– La notación que utilizaba era bastante complicada -
Giuseppe Peano
- Propuso la notación actual de la lógica y estudió los principios de la matemática.
- Crea enciclopedia con todas las fórmulas y teoremas conocidos en matemáticas
-
Bertrand Russell y Alfred North Whitehead
- Publicaron Principia Mathematica
-
David Hilbert
- Publica en 1928 Principios de lógica teórica
- Axiomatización de la geometría. Problemas de Hilbert.
-
Stephen Kleene
- Estudia la teoría de funciones recursivas.
- Desarrolla las expresiones regulares
- Numerosos estudios en Teoría de Autómatas
-
Kurt Göde
Teorema de incompletitud -
Alonzo Church -Computabilidad
-Desarrolla el cálculo lambda, basado en funciones recursivas.
-Tesis de Church-Turing -
Alan Mathison Turing - crea la maquina de 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 - teoría de autómatas
-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
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.