-
Period: 384 BCE to 322 BCE
Aristoteles
Reconocido como el padre de la lógica.
Formuló el principio de la no contradicción un principio clásico de la lógica y la filosofía -
Giuseppe Peano
Publicó 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 de Turing
Publicó el artículo "sobre los numeros calculables"
Desarrolló el teorema de Gödel y puede considerarse el origen de la informática teórica -
Period: to
Maquinas simples
Fueron conocidas como autómatas finitos
Para moldear el funcionamiento del cerebro. -
La neurona de McCulloch-Pitts
Unidad de cálculo que intenta modelar el comportamiento de una neurona "natural"
Estableció autómatas finitos equivalentes a células -
Primer Computador Digital
Estas máquinas ejecutaban instrucciones consistentes en códigos numéricos
Se denominó lenguaje máquina -
Noam Chomsky
Comienza el estudio formal de las gramáticas (generadoras de lenguajes)
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 -
Stephen A. Cook
Extiendes los estudios de Alan Turing
