-
Period: to
D. Hilbert
Creo un sistema matemático formal "completo" y "consistente".
Su idea era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal a este problema lo llamo "Entscheidungsproblem" -
Period: to
Alan Turing
Creo la maquina de Turing
Publico un articulo sobre los números calculables
Desarrollo el teorema de Godel y puede considerarse el origen de la informática teórica -
Period: to
Kurt Godel
Su teorema de la incompletitud "todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo no es completo" -
Period: to
Alan Turing
Caracterizar de un modo matemático preciso, por medio de sus maquinas, la clase de las funciones calculables mediante un algoritmo, lo que se conoce hoy como TESIS DE TURING -
Period: to
Church
Propuso la noción de función definible como función efectivamente calculable.
Demostración de teoremas se convierte en una transformacional de una cadena de símbolos en otra. -
Period: to
Kleene
Demuestra formalmente la equivalencia entre funciones definible y funciones re cursivas de Hembrand-Godel y da ejemplo de problemas irresolubles utilizando la noción de función -
Period: to
Neurona de McCulloch-Pitts
Unidad de calculo que intenta modelar el comportamiento de una neurona ''natural'' -
Period: to
Desarrollo
Se desarrollo la primera computadora digital
Ejecutaban instrucciones consistentes en códigos numéricos
Se denomino lenguaje maquina -
Period: to
J. Von Neumann
Introduce el termino de teoría de autómatas. -
Period: to
C. Shannon
Define los fundamentos de la teoría de la información.
Utiliza esquemas para poder definir sistemas discretos, parecidos a los autómatas finitos, relacionándolos con cadenas de Markow, para realizar aproximaciones a los lenguajes naturales. -
Period: to
Noam Chomsky
Comienza el estudio formal de las gramáticas(Generadores de lenguajes)
Creador de la jerarquía de Chomsky.
Clasificación de lenguajes formales en teoría de computación. -
Period: to
John Backus
Investigo el lenguaje algebraico. -
Period: to
Kleene
Realiza un informe sobre los trabajos de McCulloch-Pitts que se publica en 1956.
Demuestra la equivalencia entre lo que el llama "dos formas de definir una misma cosa", que son los sucesos regulares. -
Period: to
Grace Hopper
Escribió el primer compilador de lenguaje de programación A-0. -
Period: to
Creación de FORTRAN
Lenguaje que permitía escribir formulas matemáticas.
Traducible por un ordenador. -
Period: to
Stephen Kleene
Creador de la teoría de la recursividad. -
Period: to
Claude Shannon
Propone tres modelos para la descripción de lenguajes, que son la base de la futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes de programación. -
Period: to
Rabin y Scott
Obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos.
Los autómatas programables se introducen por primera vez en la industria. -
Period: to
Integración
Las funciones de comunicación comenzaron a integrarse en los autómatas.