-
Dr. Hilbert - 1930
En la década de 1930, se generaron una serie de investigaciones que mostraron que no eran posibles sus teorías. -
Alan Turing - 1936
señaló que había tenido éxito en caracterizar de un modo matemáticamente preciso, por medio de sus máquinas, la clase de las funciones calculables mediante un algoritmo, lo que
se conoce hoy como Tesis de Turing. Aunque no se puede dar ninguna prueba formal de que una máquina pueda tener esa propiedad, Turing dió un elevado número de argumentos a su favor, en base a lo cual presentó la tesis como un teorema demostrado. -
McCullon y Pitts - 1943
Describen los cálculos lógicos inmersos en un dispositivo que habían diseñado para simular la actividad de una neurona biológica. el dispositivo recibía o no, una serie de impulsos eléctricos por sus entradas que se ponderaban y producían una salida binaria. las salidas y entradas se podían considerar como cadenas de 0 y 1. -
J. Von Neumann - 1948
Introduce el termino de teoría de autómatas y dice sobre los trabajos de McCulloch-Pitts " el resultado mas importante de McCulloch-Pitts es que cualquier funcionamiento en este sentido, que pueda ser definido en todo, lógicamente, estrictamente y sin ambigüedad, en un numero finito de palabras, puede ser realizado también por una tal red neuronal formal " -
Kleene - 1951
Genera un informe sobre los trabajos de McCulloch-Pitts que se publica en 1956. En este informe Kleene demuestra la equivalencia entre lo que el llama "dos formas de definir una misma cosa", que son los sucesos regulares ,es decir expresiones regulares, y sucesos especificados por un autómata finito. -
Rabin y Scott - 1960
Obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. -
Norman E. Gibbs y Allen B. Tucker - 1986
Informa que no debemos entender que el objetivo de las Ciencias de la Computación sea la construcción de programas sino el estudio sistemático de los algoritmos y estructura de datos, específicamente de sus propiedades formales.