-
Gottlob Frege
Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.
Publico su revolucionaria obra titulada conceptografia o escritura de conceptos. -
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
Creo la maquina de turing .
Publico el articulo "sobre los números calculables".
Desarrollo el teorema de godel y puede considerarse el origen de informática teórica. -
Noam Chomsky
Comienza el estudio formal de las gramáticas generadoras de lenguajes.
Creador de la jerarquía de chomsky -
Grace Hopper
Escribió el primer compilador lenguaje de programación A-0 -
John Backus
Creador de Frotran, lenguaje de programación que permitía escribir formulas matemáticas , traducible a un ordenador. -
Edward Moore
Fue el primero en utilizar el tipo de maquina de estados finito. -
stephen kleene
Creador de la teoría de la creatividad. aporto a sentar las bases de la ciencia de la computación teórica. -
Controlador programable
Los autómatas programables se introducen por primera vez en la industria. -
Stephen A. Cook
Extiende el estudio de Turing -
Integración de autómatas
Las funciones de comunicación comenzaron a integrarse en los autómatas. -
Estandarizacion
Intento de estandarizar las comunicaciones con el protocolo MAP
