Aspectos mas relevantes de la evolución de la teoría Autómata

Timeline created by vicjhdez
  • AD 1

    Creación de la tierra

    El hombre ha tratado de buscar procedimientos para facilitase la vida
  • 2

    Resolución de problemas científicos y empresariales

    Procedimiento general para resolver problemas matemáticos – problema de la computación teórica
    Computación teórica – autómata, funciones recursivas.
  • 3

    Ordenadores digitales – nuevas tecnologías

    Intentos de modelar el cerebro biológico – Redes neuronales, conjuntos y lógica difusa.
    Sucesión de ceros y unos, números naturales en binario.
  • Preguntas D Hilbert

    ¿Son completas las matemáticas, en el sentido de que pueda probarse o no cada aseveración matemática?
    ¿Son las matemáticas consistentes en el sentido de que no pueda probarse simultáneamente una aseveración y su negación?
  • Teoría de la computabilidad

    Gödel, Turing, Post, Church, Kleene
  • Idea codificación

    Se asigna un número de código a cada formula bien formada del sistema.
    Función indefinible
  • David Hilbert

    “Todo problema matemático bien definido debe ser necesariamente susceptible de un planteamiento exacto, ya sea en forma de una respuesta real a la pregunta planteada o debido a la constatación de la imposibilidad de resolverlo, a lo que se debería el necesario fallo de todos los intentos“ 1862-1943
  • Término de teoría autómatas

    J. Von Neumann introduce este término
  • Modelo de computador con cantidad finita de memoria

    Rabin y Scott
  • A Berztiss

    Siguieron desarrollando hasta los modelos de computación ¿Qué problemas se pueden resolver mediante un ordenador?
    ¿Cómo puede construirse un programa para resolver un problema?
    ¿Resuelve realmente nuestro programa el problema?
    ¿Cuánto tiempo y espacio consume nuestro problema?