-
Gottlob Frege
Publico su revolucionaria obra titulada Conceptografia o Escritura de Conceptos.
Fue el primero en distinguir la caracterización formal de las leyes lógica de su contenido semántico. -
Giuseppe Peano
Publico su primer libro sobre lógica matemática
Este libro fue primero en usar los símbolos modernos para la unión e intersección de consjuntos -
Alan Turing 1930's
Alan Turing
Creo la Maquina de Turing
Publico el articulo sobre los números calculables
Desarrollo el teorema del Godel y puede considerarse el origen de la informática teórica -
1940's y 1950
Se desarrollo maquinas simples
Fueron conocidas como autómatas finitos, para modelar el funcionamiento del cerebro. -
La Neurona de McCulloch-Pits 1943
Unidad de calculo que intenta modelar el comportamiento de auna neurona "Natural" -
Se desarrolla la primera computadora digital 1946
Se desarrolla la primera computadora digital, estas maquinas ejecutaban instrucciones consistentes en códigos numéricos . -
Noam Chomsky 1950
Comienza el estudio formal de las (gramáticas de lenguajes).
Creador de la Jerarquía de Chomsky.
Clasificación de lenguajes formales en teoría de la computación. -
Period: to
John Backus 1950
Investigo el Lenguaje Algebraico. -
Grace Hopper 1952
Escribió el primer Compilador.
Lenguaje de programación A-0 -
Creación de FORTRAN 1954
Lenguaje que permitía escribir formulas matemáticas traducibles por un ordenador. -
Edward F. Moore 1956
Fue el primer en utilizar el tipo de maquina de estados finitos. -
Claude Shannon 1956
Aplico la lógica matemática para el análisis de circuitos combinatorios -
Period: to
Stephen Kleene1956
Creador de la teoría de la recursividad.
Aporto a sentar las bases dela ciencia de la computación teórica. -
Period: to
Claude Shannon 1956
Aplico la lógica matemática para el análisis de circuitos combinatorios -
1960's
Los autómatas programables se introducen por primera vez en la industria. -
Stephen A Cook 1969
Extiende el estudio de Turing -
1973
Las funciones de comunicación comenzaron a ingresarse en los automatas. -
1980
Intento de estandarizar de las comunicaciones con protocolo MAP