-
Es reconocido como el padre fundador de la lógica y de la biología.
-
Publicación de su obra titulada Conceptografia o escritura de conceptos, fue el primero en distinguir la caracterización de las leyes lógicas de su contenido semántico.
-
Publico su primer libro a cerca de Lógica Matemática, este libro fue el primero en mostrar los símbolos modernos para la unión e intersección de conjuntos.
-
Creo la maquina de Turing, publico el articulo sobre los numero calculables y desarrollo el teorema de Godel y puede considerarse el origen de la informática teórica.
-
Estableció autómatas finitos equivalente a células, la cual se define como la unidad de calculo que intenta modelar el comportamiento de una neurona Natural, se llamo la neurona de McCuloch-Pitts.
-
Se desarrollo la primera maquina digital la cual ejecutaba instrucciones consistentes en código numérico a través lenguaje de maquina.
-
Comienza el estudio formal de las gramáticas generadoras de lenguajes, realiza la clasificación de lenguajes formales en teoría de la computación.
-
Desarrollo el primer compilador, lenguaje de programación A-0.
-
A mediados de 1954 fue terminada una especificación del borrador para el IBM Mathematical Formula Translating System, nacimiento de FORTRAN.
-
Aplico la lógica matemática para el análisis de circuitos combinatorios.
-
Creación de la teoría de la recursividad.
-
Los autómatas programables se introducen por primera vez en la industria.
-
Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la relación entre las clases de complejidad P y NP.
-
Las funciones de comunicación comenzaron a integrarse en los autómatas.
-
Intento de estandarizacion de las comunicaciones con el protocolo MAP.
