-
1 CE
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?