-
Aristóteles, es reconocido como el padre fundador de la lógica y la biología. formuló el principio de la no contradicción, un principio clásico de la lógica y la filosofía
-
Gottlob frege, publicó su revolucionaria obra titulada conceptografia o escritura de conceptos. Fue el primero en distinguir la caracterización formal de la leyes lógicas de su contenido semántico
-
Giuseppe Peano, publico 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.
-
Alan Turing, creó la maquina 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 de cerebro.
-
La neurona de McCulloch-Pitts, Unidad de cálculo que intenta modelar el comportamiento de una neurona “natural”.
-
Se desarrolla la primera computadora digital, estas máquinas ejecutaban instrucciones consistentes en códigos numéricos.
-
Noam Chomsky, comienza el estudio formar de la gramáticas (generadoras de lenguaje), creador de la jerarquía de Chomsky. Clasificación de lenguajes formales en teoría de la computación
-
Grace Hopper, Escribió el primer compilador. Lenguaje de programación A-0
-
Creación de FORTRAN, lenguaje que permitía escribir fórmulas matemáticas traducible por un ordenador
-
Edward F. Moore, fue el primero en utilizar le tipo de máquina de estados finitos.
Stephen Kleene, Creador de la teoría de la recursividad, aportó a sentar las bases de la cienca de la computación teórica
Claude Shannon Aplicó la logica matemática para el análisis de circuitos combinados -
Los autómatas programables se introducen por primera vez en la industria.
-
Sthen A Cook, Extiende el estudio de Turing
-
Las funciones de comunicación comenzaron a integrase en los autómatas.
-
Intento la estandarización de las comunicaciones con el protocolo MAP