-
Friedrich Ludwig Gottlob Frege
-Publico 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. -
1908 LÓGICA MATEMÁTICAS
Giuseppe Peano
-Propuso la notación actual de la lógica y estudio de los principios de las Matemáticas.
FORMULARIO: Enciclopedia con todas las formulas y teoremas conocidos en la Matemáticas -
LÓGICA MATEMÁTICAS
Bertrand Russell y Alfred North Whitehead
-Publicaron Principia Mathematica -
LÓGICA MATEMÁTICA
David Hilbert
-Axiomatización de la geometría Problema de Hilbert
- Publica en 1928 principios de lógica teoría
- Problema de la decisión, descubre un método general para decidir si una formula lógica es verdadera o falsa. -
COMPUTABILIDAD
Stephen Kleene
-Estudia la teoría de funciones recursivas
-Desarrolla las expresiones regulares
-Numerosos estudios en Teoría de Autómatas -
LÓGICA MATEMÁTICAS
Kurt Gode
-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" -
COMPUTABILIDAD
Alan Turing
-Participa en la ruptura del cifrado de la maquina Enigma
-Publica el articulo Los Números computables con una aplicación al Entscheidungsproblem
-Nacimiento de la Informática Teórica -
Alonzo Church
-Desarrolla el calculo de conversión Lambda basado en funciones recursivas (base de los lenguajes funcionales).
-Demuestra la existencia de problemas indecibles para el calculo Lambda
-Tesis de Church - Turing cualquier modelo computacional existente tiene las capacidades algorítmica o subconjunto de las que tiene una maquina de Turing -
TEORÍA DE AUTÓMATAS
Claude Elwood Shannon
- Publica A Symbolic Analysis of Relay anda Switching Circuits, aplicación den la lógica matemáticas 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
-En 1956 edita, junto a Mc Carthy Autómata studies, sobre maquinas secuenciales y autómatas finitos -
LINGUISTICA
Noam Chomsky
-Doctorado en 1955 en la U de Harvard con las tesis estructura lógica de la Teoría Lingüística (que no se publico hasta 1975)
-En 1957 publica estructura Sintética en el que aparece la clasificación de la gramática (Jerarquía de Chomsky) -
COMPLEJIDAD COMPUTACIONAL
Stephen Arthur Cook
- Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.
