-
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. -
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
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 -
Se desarrollo maquinas simples
Fueron conocidas como autómatas finitos, para modelar el funcionamiento del cerebro. -
Unidad de calculo que intenta modelar el comportamiento de auna neurona "Natural"
-
Se desarrolla la primera computadora digital, estas maquinas ejecutaban instrucciones consistentes en códigos numéricos .
-
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. -
Investigo el Lenguaje Algebraico.
-
Escribió el primer Compilador.
Lenguaje de programación A-0 -
Lenguaje que permitía escribir formulas matemáticas traducibles por un ordenador.
-
Fue el primer en utilizar el tipo de maquina de estados finitos.
-
Aplico la lógica matemática para el análisis de circuitos combinatorios
-
Creador de la teoría de la recursividad.
Aporto a sentar las bases dela ciencia de la computación teórica. -
Aplico la lógica matemática para el análisis de circuitos combinatorios
-
Los autómatas programables se introducen por primera vez en la industria.
-
Extiende el estudio de Turing
-
Las funciones de comunicación comenzaron a ingresarse en los automatas.
-
Intento de estandarizar de las comunicaciones con protocolo MAP