-
Hilbert
La meta de Hilbert era crear un sistema matemático formal "completo" y "consistente", en el que todas las aseveraciones pudieran plantearse con precisión. Su idea era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal. A este problema le llamó el 'Entscheidungsproblem'. -
Alan Turing
Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna.
Fue muy conocido por descifrar la máquina de Enigma de los Alemanes y por la Máquina de Turing. -
K. Godel
K. Godel y su Teorema de Incompletitud: "Todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de (números de Godel de) axiomas sea recursivo no es completo". -
Church
Hace un esquema de la demostración de la equivalencia entre las funciones definibles y las funciones recursivas de Herbrand-Godel. -
McCulloch y Pitts
Los trabajos de McCulloch y Pitts, describen los cálculos lógicos inmersos en un dispositivo (neurona artificial) que habían diseñado para simular la actividad de una neurona biológica. -
C. Shannon
Define los fundamentos de la teoría de la información, y utiliza esquemas para poder difinir sistemas concretos, parecidos a los autómatas finitos, relacionándolos con cadenas de Markov, para realizar aproximaciones a los lenguajes naturales. -
J. Von Neumann
Introduce el término de teoría de automátas, y dice sobre los trabajos de McCulloch y Pitts. -
S.C. Kleene
Realiza un informe (Solicitado por la RAND Corporation) sobre los trabajos de McCulloch-Pitts. -
D.A. Huffman
Utiliza conceptos como estado de un autómata y tabla de transiciones. -
N.Chomsky
Propone 3 modelos para la descripción de lenguajes, que son la base de su futura Jerarquía de los tipos de lenguajes, que ayudó también en el desarrollo de los lenguajes de programación. -
Rabin y Scott
Obtienen un modelo de computador con una cantidad finita de memoria, al que le llamaron autómata de estados finitos.
