-
Friedrich Gottlob Frege - Lógica matemática
Sentó bases de la lógica moderna
Aportes en el desarrollo de la lógica de primer orden (operadores and, or, not, implicación, para-todo, existe). -
Giuseppe Peano - Lógica matemática
Publicó enciclopedia llamada el formulario matemático: Contenía 4200 fórmulas y teoremas, todos completamente enunciados y la mayoría probados.
Estudió los principios de la matemática..
Propouso la notación actual de la lógica. -
Bertrand Russell y Alfred North - Lógica matemática
Aporte con los volumenes de Principia Mathematica , una de las mayores obras sobre lógica y matemáticas. -
David Hilbert- Lógica matemática
Publicación de fundamentos de lógica teórica.
Plantea el problema de la decisión Entscheidungsproblem, donde se buscaba un método para determinar los teoremas de toda teoría formulable de primer orden. -
Stephen Kleene - Computabilidad
Estudia una teoría de enteros positivos en lógica formal. -
Kurt Gödel - Lógica matemática
Teorema de la incompletud sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados. -
Alonzo Church - Computabilidad
Plantea la primera definición matemática de algoritmo.
Desarrolló el calculo lambda, logrando demostrar problemas indecidibles para dicho calculo.
Tesis de Churh - Turing donde se indica qye todo algoritmo es equivalente a una máquina de Turing. -
Alan Mathison Turing - Computabilidad
Introducce el concepto de la máquina de turing es decir un teórico basado en el principio de que una máquina puede imitar a cualquier otra máquina.
Publicó artículo con números computables.
Fue un precursor de la inteligencia artificial. -
Claude Elwood Shannon - Lenguajes autómatas
Demostró cómo el álgebra booleana se podía utilizar en el análisis y la síntesis de la conmutación y de los circuitos digitales. -
Stephen Kleene - Computacional
Fundó la teoría de las funciones recursivas. -
Claude Elwood Shannon - Lenguajes autómatas
Desarrolló un método para expresar la información de forma cuantitativa. -
Claude Elwood Shannon - Lenguajes autómatas
Demostraron cómo se podía analizar dicha cuantificación (expresada en una magnitud que denominó bit) mediante métodos estrictamente matemáticos. -
Noam Chomsky - Lingüistica
Realizó grandes aportaciones en el campo de la informática.
Realizó tesis sobre el análisis transformacional y generativa.
Aportaciones a la teoría de autómatas y al estudio de los lenguajes formales. -
Stephen Cook - Complejidad computacional
Introduce la noción de problema NP-completo y demuestra que el problema de la satisfacibilidad booleana es NPcompleto.