-
Desarrollo de la lógica de primer orden
-
publicaron Principia Mathematica
-
propuso la notación actual de la
lógica y estudió los principios de la matemática -
Publica en 1928 Principios de lógica teórica,
ademas de ser el matematico mas impostante del siglo XX -
Participa en la ruptura del cifrado de la máquina
Enigma -
Principia Mathematica y
sistemas relacionados - Teorema de incompletitud: -
Los números computables, con
una aplicación al Entscheidungsproblem. Nacimiento de
la Informática Teórica -
Inventa las máquinas de Turing
-
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. -
publica, Aplicación de la lógica
matemática a los circuitos electrónicos -
Nacimiento de la Teoría de la
Información -
Desarrolla las expresiones regulares
-
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
-
participación de Rabin y Scott con la publcación Finite automata and their decision problems