-
Es reconocido como el padre fundador de la lógica y de la biología y formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía en el año aproximadamente 384 AC
-
Publicó su primer libro sobre lógica matemática. Este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos.
-
Creó la Maquina de Turing Publicó el artículo "sobre los números calculables“, desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica
-
Se desarrollan maquinas Simples, fueron conocidas como autómatas finitos, para moldear el funcionamiento del cerebro.
-
Se desarrolló la primera computadora digital, estas máquinas ejecutaban instrucciones consistentes en códigos numéricos, se denominó lenguaje máquina
-
Comienza el estudio formal de las gramáticas (generadoras de lenguajes), creador de la jerarquía de Chomsky, clasificación de lenguajes formales en teoría de la computación.
-
Escribió el primer compilador, lenguaje de programación A-0
-
lenguaje que permitía escribir fórmulas matemáticas, traducible por un ordenador
-
Claude Shannon fue en este año aplicó la lógica matemática para el análisis de circuitos combinatorios y Stephen Kleene creó la teoría de la recursividad. Aportó a sentar las bases de la ciencia de la computación teórica
-
Los autómatas programables se introducen por primera vez en la industria
-
Stephen A. Cook. extiende el estudio realizado anteriormente por Turing
-
Intento de estandarización de las comunicaciones con el protocolo MAP