-
lógica matemática
Friedrich Ludwig Gottlob Frege. -Público conceptografia
-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 -
lógica matemática
Giuseppe Peano
Propuso la notación actual de la lógica y estudió los principios de la matemática.
Formulario.
enciclopedia con todas las fórmulas y teoremas conocidas en matemáticas -
lógica matemática
Bertrand Rusell y Alfred North Whitehead -
lógica matemática
David Hilbert Axiomatizacion de la geometria. problemas de hilbert
publica en 1928 principios de lógica teórica
problemas de la decisión: descubrir un método general para decidir si una lógica es verdadera o falsa -
1930
computabilidad. Stephen Kleen
-Estudia la teoría de funciones recursivas
-Desarrolla las expresiones regulares
-Numerosos estudios en teoría de autómatas -
lógica matemática
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
Alonzo Church -Desarrolla el cálculo lambda, basado en funciones recursivas
(base de los lenguajes funcionales)
-demuestra la existencia de problemas imprecindibles para el cálculo lambda
-Tesis de Church-Turing: Cualquier modelo computacional, existente tiene las mismas capacidades algoritmicas, o un subconjunto, de las que tiene una maquina de turing. -
computabilidad
Alan mathison Turing
-Participa en la ruptura del cifrado de la máquina enigma
-Publica el articulo, los números computables, con una aplicación al Entscheidungsproblem
-Nacimiento de la informática Teórica -inventa las máquinas de turing -
Teoría de Autómatas
Pública a Symbolic Analysis 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. -
Linguistica
Noam Chomsky
-Doctorado en 1955 en la U de harvard con la tesis estructura lógica de la teoría lingüística ( que no se publicó hasta 1975)
-En 1957 pública Estructuras sintácticas en el que aparece la clasificación de gramática (jerarquia de chomsky) -
Complejidad Computacional
Stephen Arthur Cook.
Pública the complexity of Theorem Proving procedures, donde definen las clases de problemas P, NP y NP completos.
