-
David Hilbert
La partida de estos trabajos fueron las cuestiones fundamentales que D. Hilbert formulo:
1-¿son completas las matemáticas, en el sentido de que pueda probarse o no cada aseveración matemática?
2-¿Son las matemáticas consistentes, en el sentido de que no pueda probarse simultáneamente una aseveración y su negación?
3-¿Son las matemáticas decidibles, en el sentido de que exista método definido que se pueda aplicar a cualquier aseveración matemática, y que determine si dicha aseveración es cierta? -
David Hilbert
La partida de estos trabajos fueron las cuestiones fundamentales que D. Hilbert formulo:
1-¿son completas las matemáticas, en el sentido de que pueda probarse o no cada aseveración matemática?
2-¿Son las matemáticas consistentes, en el sentido de que no pueda probarse simultáneamente una aseveración y su negación?
3-¿Son las matemáticas decidibles, en el sentido de que exista método definido que se pueda aplicar a cualquier aseveración matemática, y que determine si dicha aseveración es cierta? -
David Hilbert
su meta era crear 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" -
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"
como consecuencia no sera posible encontrar el sistema formal deseado por DAVID HILBERT. -
Alonzo Church - Alan Turing
Demostro que la teoria del Entscheidungsproblem planteada por David Hilbert no es consistente y mas adelante tambien lo confirmo asi ALAN TURING -
Sthepen Kleene
Demuestra de forma oficial la equivalencia entre funciones definible y funciones recursivas de Hembrand-Godel y da ejemplo de problemas irresolubles utilizando la noción de funcion recursiva. -
Alan Turing
señalo que había tenido éxito en 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 -
Warren McCulloch y Walter Pitts
Describen los cálculos lógicos inmersos en un dispositivo que habían diseñado para simular la actividad de una neurona biológica. el dispositivo recibía o no, una serie de impulsos eléctricos por sus entradas que se ponderaban y producían una salida binaria. las salidas y entradas se podían considerar como cadenas de 0 y 1. -
John Von Nemann
introduce el termino de teoría de autómatas y dice sobre los trabajos de McCulloch-Pitts " el resultado mas importante de McCulloch-Pitts es que cualquier funcionamiento en este sentido, que pueda ser definido en todo, lógicamente, estrictamente y sin ambigüedad, en un numero finito de palabras, puede ser realizado también por una tal red neuronal formal " -
Claude Shannon
Define los fundamentos de la teoría de la información, y 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. -
Stephen Kleene
Realiza un informe sobre los trabajos de McCulloch-Pitts que se publica en 1956. En este informe Kleene demuestra la equivalencia entre lo que el llama "dos formas de definir una misma cosa", que son los sucesos regulares ,es decir expresiones regulares, y sucesos especificados por un autómata finito -
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, Contribuyo también en el desarrollo de los lenguajes de programación. -
Michael Rabin - Dana Scott
Su artículo "Finite Automata and Their Decision Problem" (del inglés, "Autómatas Finitos y el Problema de su Decisibilidad"), que introdujo la idea de las máquinas no deterministas, un concepto enormemente valioso, como se probaría más adelante. Su clásico artículo ha sido una continua fuente de inspiración para posteriores trabajos en el campo.
