-
Friedrich Ludwig Gottlob Frege
En 1879 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 bastante complicada -
Giuseppe Peano
EN 1908 publico Formulario, enciclopedia con todas las fórmulas y teoremas conocidos en matemáticas,
propuso la notación actual de la lógica y estudió los principios de la matemática. -
Bertrand Russell - Alfred North Whitehead
Publican Principia Mathematica en 1910, 1912, 1913. -
David Hilbert
Publica en 1928 Principios de lógica teórica
El matemático más importante del s. XX.
Trabajos en análisis funcional, geometría,
fundamentos de física cuántica y de relatividad general, lógica…
Axiomatización de la geometría. Problemas de Hilbert.
Problema de la decisión: descubrir un método general para
decidir si una fórmula lógica es verdadera o falsa -
Kurt Gödel
Lógica matemática
Publica en 1931 el artículo Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados 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 puede demostrar ni se puede refutar dentro de ese sistema.” -
Alan Mathison Turing
Estudia en Cambridge y en Princeton (con A. Church)
Participa en la ruptura del cifrado de la máquina Enigma
Publica en 1936 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 -
Atanasoff Berry Computer (ABC)
En 1936 inventó una calculadora analógica para el análisis de la geometría de superficies. La tolerancia mecánica requerida para conseguir una buena exactitud le llevó a considerar un diseño digital -
Alonzo Church
En 1936 demuestra la existencia de problemas indecidibles para el cálculo lambda.
Desarrolla el cálculo lambda, basado en funciones recursivas. (Base de los lenguajes funcionales)
Entre 1938 y 1939 trabaja con A. Turing
Tesis de Church-Turing: cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una máquina de Turing. -
Claude Elwood Shannon
En 1938 publica A Symbolic Analysis of Relay and Switching Circuits. Aplicación de la lógica matemática a los circuitos electrónicos.
En 1948 publica Una Teoría Matemática de la Comunicación. Nacimiento de la Teoría de la Información -
Stephen Kleene
En 1939 Discípulo de A. Church. Estudia la teoría de funciones recursivas.
Desarrolla las expresiones regulares
Numerosos estudios en Teoría de Autómatas -
John von Neumann
Inventó la teoría juegos y la teoría del autómata auto- replicante Originador el concepto de programa almacenado en el computador, Creó el modelo de instrucciones de programa y datos almacenados en la memoria del computado -
Grace Hopper
Desarrolló el lenguaje de programación COBOL. Trabajó en la Armada y se destacó en el mundo de sistemas entre los años 50 y 60. La historia de una doctora en matemática que supo vencer los prejuicios de género -
John McCarthy
En 1952, McCarthy le sugirió a Claude Shannon llamar al estudio de las máquinas pensantes con el nombre “estudios de autómatas,” pero al preparar en agosto de 1955 la propuesta para recabar financiación a la Fundación Rockefeller para la conferencia pensó que sería mejor un nombre con más marketing. El nombre “inteligencia de máquinas” también rondó por su mente, pero al final eligió IA -
Claude Elwood Shannon
En 1956
edita, junto a McCarthy, Automata Studies, sobre máquinas secuenciales y autómatas finitos. -
Noam Chomsky
En 1957 publica Estructuras sintácticas en el que aparece la clasificación de gramáticas (Jerarquía de Chomsky) -
Rabin y Dana Stcot
1959 Introdujo la idea de las máquinas no deterministas, un concepto enormemente valioso, como se probaría más adelante. Su clásico artículo ha sido una continua fuente de inspiración para posteriores trabajos en el campo. -
ARPANET
1969 ARPANET (siglas en inglés de Advanced Research Projects Agency Network) como una de las redes creadas por encargo del Departamento de Defensa de los Estados Unidos para poder establecer un importante nexo de comunicación entre los distintos Organismos Gubernamentales de la nación. -
Stephen Arthur Cook
En 1971 publica The Complexity of Theorem Proving Procedures, donde define las clases de problemas P, NP, y NP completos.
