Anda di halaman 1dari 1

David Hilbert

Publica en 1928
Descubrimientos lgicos
matematicos de:
Timelines Automatas S. Cook extiende el estudio
Principios de lgica Godel-Turing-Pots- de Tuning. Cook separa
terica Church-Kleene aquellos problemas que
La matemticas
pueden ser solucionados de
son completas. En 1936, el matemtico C. Chomsky propone
McCulloch y Pitts Describen los aquellos que en principio
Las matemticas americano Alonzo Church tres modelos para la Nocin fundamental de
calculos logicos inmersos en un pueden ser solucionados
son consistentes. responde negativamente descripcion de medida de complejidad
dispositivo Neurona artificial. pero que en la prctica
Las matemticas en un artculo al tercer lenguajes definida como el tiempo
Entrabaja un impulse electrico y toman demasiados recursos
son decidibles problema propuesto por de la computacin
salida un binario 0-1 (Complejidad
Hillbert, el problema computacional).
1928 decisorio (Teorema de
Church y -clculo). 1943 1956
1965 1969

1948 1960
1930-1940 1940 1957
1971
Crear maquinas para C. Shannon Define Noam Chomsky La complejidad
Modelizar funciones biologicas del los fundamentos Publica Estructuras Algortmica trata de Stephen Arthur Cook
Introduccin de los estudiar la relative
cerebro programas de la de la teora de la sintcticas en el que aparece Publica The Complexity of
informacin la clasificacin de gramticas dificultad Theorem Proving
memoria principal computancional de las
Alan Mathison Turing Procedures, donde define
Publica en 1936 el artculo Los J. Von Neumann clasifica las gramticas en funcines computalbes las clases de problemas P,
nmeros computables, con una Introduce el termino cuatro tipos: RAbin NP, y NP completos
aplicacin al Entscheidungsproblem. de teora de Gramticas sin restricciones
Nacimiento de la Informtica Terica autmatas o gramticas de estructura Robin y Scott obtienen un
Inventa las mquinas de Turing de frases (Tipo 0). modelo de computador
Claude Elwood con una cantidad finita de
En 1930, el matemtico checo Kurt Shannon Gramticas sensibles al memoria, se llamo
Gdel prueba que las matemticas En 1948 publica Una contexto (Tipo 1). Automta de estados
no pueden ser completas y Teora Matemtica finitos
consistentes al mismo tiempo de la Comunicacin. Gramticas independientes
(teorema de la Incompletitud). Nacimiento de la de contexto (Tipo 2).
Teora de la
Informacin Gramticas regulares (Tipo
3).

Anda mungkin juga menyukai