-
Bertrand Russell,descubrió la teoría de conjuntos, además dijo que tal como la formulaba Frege, daba lugar a una paradoja. Por lo que ideó la teoría de tipos para evitar la paradoja y publicó la obra "Principio Matematica"
-
Alan Turing, definió la "máquina de turing" o máquina automática en la revista Proceedings of the London Mathematical Society. Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo matemático.
-
Alan Turing, publicó un artículo sobre los números incalulables, con lo cual se desarrolló el teorema de Gödel, siendo éste el origen de la informática teórica
-
Claude Elwood Shannon.
Publicó "A symbolic Analysis of Relay and Switching Circuits", aplicando lógica matemática para el análisis de los circuitos combinatorios y secuenciales. A demás, inició las llamadas máquinas secuenciales primero -
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.
-
Shannon, define los fundamentos de la teoría de la información, utilizando esquemas para definir sistemas discretos, parecidos a los autómatas finitos.
J, Von Neumann introduce el término de teoría de autómatas. -
S.C Kleene, realiza un informe sobre los trabajos de McCulloch y Pitts, demostrando la equivalencia entre expresiones regulares y sucesos especificados por un autómata finito.
-
D.A Huffman, utiliza conceptos como estado de un autómata y tabla de transiciones
-
La Princeton Univ. Press, publica el libro "Automata Studies" editado por Shannon y McCarthy.
-
N.Chomsky, propone tres modelos para la descripción de lenguajes, que son la base de su futura jerarquía de los tipos de lenguajes, ayudando al desarrollo de lenguajes de programación.
-
Michael Oser Rabin y Dana Scott, obtienen un modelo de computador con una cantidad finita de memoria, a la que llamaron autómata de estados finitos. Demostraron que su comportamiento, era básicamente el mismo que el descrito mediante expresiones regulares por McCulloch y Pitts.
-
Backus y Naur, desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, es identificado como la forna noraml de Backus (BNF)
