-
Friedrich Ludwig Gottlob Frege
Publicó Conceptografía (Begriffsschrift).
Desarrollo de la lógica de primer orden(operadores and, or, not, implicación, para-todo, existe)*
La notación que utilizaba era bastantecomplicada -
Giuseppe Peano
Propuso la notación actual de la lógica y estudió losprincipios de la matemática.
FORMULARIO, enciclopedia con todas las fórmulas yteoremas conocidos en matemáticas -
Bertrand Russell y Alfred North Whitehead
“Principia Mathematica”: obra absolutamente titánica, considerada como el origen de la matemática moderna. -
David Hilbert
Axiomatización de la geometría. Problemas de Hilbert.
Principios de lógica teórica.
Problema de la decisión: descubrir un método general para decidir si una fórmula lógica es verdadera o falsa. -
Stephen Kleene
Estudia la teoría de funciones recursivas.
Ddesarrolla las expresiones regulares.
Numerosos estudios en teoría de Autómatas. -
Kurt Göde
Teorema de incompletitud:“En cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir el concepto de números naturales, se puede construir una afirmación que ni se puedede mostrar ni se puede refutar dentro de ese sistema.” -
Alonzo Church
Desarrolla el cálculo lambda, basado en funcionesrecursivas. (Base de los lenguajes funcionales)Demuestra la existencia de problemasindecidibles para el cálculo lambda.Tesis de Church-Turing: cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o unsubconjunto, de las que tiene una máquina de Turing. -
Alan Mathison Turing
Participa en la ruptura del cifrado de la máquina Enigma.
Publica el artículo Los números computables, con una aplicación al Entscheidungsproblem.
Nacimiento de la Informática Teórica
Inventa las máquinas de Turing -
Period: to
Claude Edwood Shannon
Pública A Symbolic Anlalysis of Relay and Switching Circuits. Aplicación de la lógica matemática a los circuitos electrónicos.
En 1948 pública Una teoría matemática de la comunicación. Nacimiento de la teoría de la información.
En 1956 edita, junto a McCarthy, Automata Studies, sobre máquinas secuenciales y autómatas finitos -
Period: to
Máquinas simples
Fueron conocidas como autómatas finitos, desarrolladas 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 -
Primera computadora digital
Ejecutaban instrucciones consistentes en códigos numéricos. Se denominó lenguaje de máquina -
Noam Chomsky
Comienza el estudio formal de las gramáticas (generadoras de lenguajes)
Creador de la teoría de Chomsky
Clasificación de lenguajes formales en teoría de la computación -
John Backus
Investigó el lenguaje algebraico -
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 -
Noam Chomsky
Doctorado en la U. Harvard con la tesis: Estructura lógica de la teoría linguistica
Pública estructuras sintácticas en el que aparece la clasificación de gramáticas (Jerarquía de Chomsky) -
Edward F Moore
Fue el primero en utilizar el tipo de máquina de estados finitos -
Autómatas programables
Son introducidos por primera vez en la industria -
Stephen Arthur Cook
Pública The Complexity of Theorem Proving Procedures, donde define las clases de problemas P, NP y Np completos -
Funciones de comunicación
Comenzaron a integrarse en los autómatas -
Protocolo MAP
Intento de estandarización de las comunicaciones con este protocolo