-
Friedrich Ludwig Gottlob Frege
Desarrollo de la lógica de primer orden -
Bertrand Russell y Alfred North Whitehead
publicaron Principia Mathematica -
Giuseppe Peano
propuso la notación actual de la
lógica y estudió los principios de la matemática -
David Hilbert
Publica en 1928 Principios de lógica teórica,
ademas de ser el matematico mas impostante del siglo XX -
Alan Mathison Turing
Participa en la ruptura del cifrado de la máquina
Enigma -
Kurt Gödel
Principia Mathematica y
sistemas relacionados - Teorema de incompletitud: -
Alan Mathison Turing
Los números computables, con
una aplicación al Entscheidungsproblem. Nacimiento de
la Informática Teórica -
Alan Mathison Turing
Inventa las máquinas de Turing -
Alonzo Church
Desarrolla el cálculo lambda y comprueba cualquier modelo computacional
existente tiene las mismas capacidades algorítmicas, o un
subconjunto, de las que tiene una máquina de Turing. -
Claude Elwood Shannon
publica, Aplicación de la lógica
matemática a los circuitos electrónicos -
Claude Elwood Shannon
Nacimiento de la Teoría de la
Información -
Stephen Kleene
Desarrolla las expresiones regulares -
Autómatas Finitos Deterministas
participación de Huffman,Mealy y Moore con publicaciones como lo son: The synthesis of sequential switching circuits, method for synthesizing sequential circuits y Gedanken experiments on sequential machines -
Autómatas Finitos No Deterministas
participación de Rabin y Scott con la publcación Finite automata and their decision problems