-
El hombre ha tratado de buscar procedimientos para facilitase la vida
-
Procedimiento general para resolver problemas matemáticos – problema de la computación teórica
Computación teórica – autómata, funciones recursivas. -
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. -
¿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? -
Gödel, Turing, Post, Church, Kleene
-
Se asigna un número de código a cada formula bien formada del sistema.
Función indefinible -
“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
-
J. Von Neumann introduce este término
-
Rabin y Scott
-
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?