-
Conocido como el padre fundador de la lógica y de la biología. Además, formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía.
-
Publicó su revolucionaria obra titulada Conceptografia o Escritura de Conceptos. Además, fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.
-
Publicó su primer libro sobre lógica matemática. Con este libro fue el primero en usar los símbolos modernos para la unión e intersección de conjuntos.
-
Fue el creador de la máquina de Turing.
Publicó el articulo "sobre los números calculables" y también desarrollo el teorema de Gödel y puede considerarse el origen de la informática teórica. -
Desarrollo de las maquinas simples, estas fueron conocidas como autómatas finitos para moldear el funcionamiento del cerebro
-
Esta es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural".
-
Se desarrollo la primera computadora digital, esta ejecutaba instrucciones consistentes en códigos numéricos. Estas instrucciones fueron denominadas como lenguaje maquina.
-
Comenzó el estudio formal de las gramáticas (generadoras de lenguajes). Además, fue el creador de la jerarquía de Chomsky.
-
Creador junto a un equipo de programadores de IBM del primer Lenguaje de programación de alto nivel, el FORTRAN, además en 1959 inventa una notación que permite describir la sintaxis de un Lenguaje de programación de alto nivel, conocida como Backus Normal Form, llamada posteriormente Backus-Naur Form o simplemente BNF.
-
Fue la encargada de escribir el primer compilador y lenguaje de programación A-0
-
Este lenguaje permite escribir formulas matemáticas traducibles por un ordenador. Desarrollado por John Backus junto con un grupo de programadores de IBM. Este lenguaje de programación es a alto nivel.
-
Aplicó la lógica matemática para el análisis de los circuitos combinatorios.
-
Creador de la teoría de la recursividad. Ademas, aporto a sentar las bases de la ciencia de la computación teórica.
-
Fue el primero en utilizar el tipo de maquinas de estados infinitos.
-
Se introducen en la industria los autómatas programables.
-
Se enfoca en extender el estudio de Turing
-
Se comienza la integración de las funciones de comunicación a los autómatas.
-
Se realizó un intento de estabilizar las comunicaciones mediante el protocolo MAP
