Este documento resume brevemente la historia y evolución de la teoría de autómatas y lenguajes formales desde finales del siglo XIX hasta mediados del siglo XX. Destaca las contribuciones de lógicos y matemáticos como Frege, Peano, Hilbert, Gödel, Church y Turing, quienes sentaron las bases de la lógica formal, la computabilidad y la teoría de la computación.
Original Description:
Historia y Evolucion de La Teoria de Automatas y Lenguajes Formales
Este documento resume brevemente la historia y evolución de la teoría de autómatas y lenguajes formales desde finales del siglo XIX hasta mediados del siglo XX. Destaca las contribuciones de lógicos y matemáticos como Frege, Peano, Hilbert, Gödel, Church y Turing, quienes sentaron las bases de la lógica formal, la computabilidad y la teoría de la computación.
Este documento resume brevemente la historia y evolución de la teoría de autómatas y lenguajes formales desde finales del siglo XIX hasta mediados del siglo XX. Destaca las contribuciones de lógicos y matemáticos como Frege, Peano, Hilbert, Gödel, Church y Turing, quienes sentaron las bases de la lógica formal, la computabilidad y la teoría de la computación.
Axiomatización de la geometría. Problemas de Hilbert.
Publica en 1928 Principios de lógica teórica
1928-1931 David Hilbert Problema de la decisión: descubrir un método general para decidir si una fórmula lógica es verdadera o falsa Teorema de incompletitud: Kurt Göde “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.”
Desarrolla el cálculo lambda, basado en funciones
recursivas. (Base de los lenguajes funcionales) Publicaron Principia Mathematica Alonzo Church Demuestra la existencia de problemas 1913 - Bertrand Russell y Alfred North Whitehead indecidibles para el cálculo lambda. HISTORIA Y EVOLUCIÓN DE LA TEORÍA DE Tesis de Church-Turing: cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un AUTÓMATAS Y LENGUAJES FORMALES subconjunto, de las que tiene una máquina de Turing.
1936- Alan Mathison Turing
1908 - Giuseppe Peano Participa en la ruptura del cifrado de la máquina Enigma Publica el artículo Los números computables, con una Propuso la notación actual de la lógica y estudió los aplicación al Entscheidungsproblem. principios de la matemática. 1895 - Friedrich Ludwig Gottlob Frege Nacimiento de la Informática Teórica FORMULARIO, enciclopedia con todas las fórmulas y Inventa las máquinas de Turing teoremas conocidos en matemáticas Publicó 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