-
Friedrich Ludwig Gottlob Frege
publicó Conceptografía Donde se Describe 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. -
Bertrand Russell
Publica Principia Mathematica -
David Hilbert
Problema de la decisión: descubrir un método general para
decidir si una fórmula lógica es verdadera o falsa -
Kurt Gödel
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.” -
Alan Mathison Turing
Nacimiento de la informática Teorica.
Inventa las máquinas de Turing -
Alonzo Church
Church-Turing: 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 Una Teoría Matemática de la
Comunicación. Nacimiento de la Teoría de la
Información -
Teoría de autómatas
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 -
Claude Elwood Shannon
edita, junto a McCarthy, Automata Studies,
sobre máquinas secuenciales y autómatas finitos. -
Teoría de autómatas
Descrita en los 60s por autores como:
A. G. Oettinger
M.P. Schutzenberger
P.C. Fisher -
Stephen Kleene
– Desarrolla las expresiones regulares