-
publicó Conceptografía Donde se Describe la Lógica de primer Orden (operadores and, or, not, implicación, para-todo, existe)
-
propuso la notación actual de la
lógica y estudió los principios de la matemática. -
Publica Principia Mathematica
-
Problema de la decisión: descubrir un método general para
decidir si una fórmula lógica es verdadera o falsa -
Teorema de incompletitud:
“En cualquier formalización consistente de las matemáticas
que sea lo bastante fuerte para definir el concepto de números
naturales, se puede construir una afirmación que ni se puede
demostrar ni se puede refutar dentro de ese sistema.” -
Nacimiento de la informática Teorica.
Inventa las máquinas de Turing -
Church-Turing: cualquier modelo computacional
existente tiene las mismas capacidades algorítmicas, o un
subconjunto, de las que tiene una máquina de Turing. -
publica Una Teoría Matemática de la
Comunicación. Nacimiento de la Teoría de la
Información -
Descrita en los 50s por autores como:
Autómatas Finitos Deterministas
D. A. Huffman
G. H. Mealy
E.F. Moore
Autómatas Finitos No Deterministas
M.O. Rabin y D. Scott -
edita, junto a McCarthy, Automata Studies,
sobre máquinas secuenciales y autómatas finitos. -
Descrita en los 60s por autores como:
A. G. Oettinger
M.P. Schutzenberger
P.C. Fisher -
– Desarrolla las expresiones regulares