-
Gottlob Frege publica su revolucionaria obra titulada, conceptografia o escritura de conceptos, fue el primero en distinguir la caracterización formal de las leyes logicas de su contenido semantico.
-
Guiseppe peano publica su primero libro sobre la logica matematica, este libro fue el primero en usar los simbolos modernos para la union de interseccion de conjuntos.
-
Alan turing creo la maquina de turing y publico el artciulo sobre los numeros calculables, al mismo tiempo desarrollo el teorema de godel el cual puede considerarse como el origen de la informacion teorica.
-
Se desarrollan las maquinas simples, las cuales fueron conocidas como automatas finitos, las cuales se utilizaban para moldear el funcionamiento del cerebro.
-
La neurona de Mcculloch-Pitts fue una unidad de calculo que intento moldear el comportamiento de uan neurona natural la cual establecian automatas finitos equivalentes a celulas.
-
Se desarrollo la primera computadora digital, estas maquinas ejecutaban instruciones consistentes en codigos numeros.
-
Noam Chomsky comienza el estudio formal de las gramaticas, asi mismo fue el creador de la jerarquia de chosmki la cual es la clasificación de lenguajes formales en teoria de computacion.
-
Grace hopper escribio el primer compilador en lenguaje de programacion A-0
-
Los automatas programables se introducen por primera vez en la industria.
-
Stephen A. Cook extiende el estudio de Turing.
-
Las funciones de comunicación comienzan a integrarse en los automatas.