-
Gottlob Frege
Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico -
Giuseppe Peano
Publico su primer libro sobre lógica matemática y usó los símbolos modernos para la unión e intersección de conjuntos -
Alan Turing
Publico el articulo sobre los números calculables y desarrollo el teorema de Gödel el cual puede considerarse el origen de la informática teórica.
Al igual que fue el creador de la máquina de Turing para el de la computabilidad -
Neurona de McCulloch-Pitts
Neurona de McCulloch-Pitts, establecio autómatas finitos equivalentes a células, el cual es una unidad de cálculo que intenta modelar el compartamiento de una neurona "natural". -
Lenguaje Máquina
Se denomino Lenguaje Máquina, ya que se desarrollo la 1ra computadora digital, las cuales ejecutaban instrucciones consistentes en códigos numéricos -
1940's y 1950's
Desarrollan maquinas simples, las cuales fueron conocidas como autómatas finitos para modelar el funcionamiento del cerebro -
Noam Chomsky
Inicia estudio formal de las gramáticas (generadoras de lenguajes), y creador de la Jerarquía de Chomsky, clasificación de lenguajes formales en teoría computacional -
John Backus
Investigó el Lenguaje Algebraico. -
Grace Hopper
Desarrolló el primer compilador para un lenguaje de programación así como también propició métodos de validación -
Fortran
Se creó Fortran, es un lenguaje que permite escribir fórmulas matemáticas traducible por un ordenador -
Claude Shannon
Aplicó la lógica matemática para el análisis de los circuitos combinatorios, fundado el campo de la teoría de la información con la publicación Una teoría matemática de la comunicación, haber sentado las bases de la teoría del diseño del ordenador digital y el circuito digital -
Stephen Kleene
Creó la teoría de la recursividad y aportó a definir las bases de la ciencia de la computación teórica -
Edward Moore
Utilizó por primera vez el tipo de máquina de estados finitos -
Autómatas Programables
Los autómatas programables se introducen por primera vez en la industria -
Stephen A. Cook
Extiende el estudio del Turing, y formuló el problema de la relación entre las clases de complejidad P y NP. -
1973 - 1980
Las funciones de comunicación se habían integrado en los autómatas, y se intentó estandarización de las comunicaciones con el protocolo MAP.
