¿Debe una IA poder desarrollarse a sí misma en busca de la adaptación a nuevos
escenarios? ¿O, como Gödel, su total coherencia, debería suponer su propia muerte por
inanición para dejar de buscar la completitud?
AIUDAAAAAAAAAAAA, ES PARA HOY, VOY A MORIR, TENGO COMO 15 TAREAS Y ME TOCA ENTREGAR HOY ANTES DE LAS 6 DE LA TARDE
Respuestas
Respuesta:
En el año 1900, en el Congreso Internacional de Matemáticos celebrado en París, el matemático alemán David Hilbert pronunció la conferencia “Los problemas de la matemática” en la que presentó algunas cuestiones por resolver en la disciplina y que, tras su publicación en las actas de aquel congreso, quedarían conformadas como un corpus denominado los “Problemas de Hilbert”.
BBVA-OpenMind-Javier Muñoz de la Cuesta-Deuda-IA-David_Hilbert_Vorlesung_1932David Hilbert en una conferencia.
Fuente: The Oberwolfach Photo Collection, Autor: Kay Piene
De la lista original conformada por veintitrés cuestiones abiertas en aquel momento, solo siete siguen siendo una incógnita, mientras que los demás han sido resueltos total o parcialmente.
Una de estas soluciones, concretamente a la cuestión segunda sobre la axiomatización de la aritmética, es decir, la posibilidad de formalizar la aritmética de tal manera que ninguno de dichos axiomas fueran contradictorios entre sí, fue ofrecida en el año 1929 por un joven matemático de tan solo veintitrés años: Kurt Gödel.
Para cuando Gödel debía elegir un tema para su tesis doctoral, cayó en sus manos un ejemplar de Fundamentos de lógica teórica publicado en 1928 por Hilbert y Ackermann, y que seguía la línea de los intentos iniciados medio siglo antes por Gottlob Frege sobre axiomatización de toda la matemática que, por aquel entonces, todavía se creía posible. Así pues, en los Fundamentos quedaba planteado el problema de la completitud con vistas a ofrecer una solución que Hilbert esperaba satisfactoria: “¿son suficientes los axiomas de un sistema formal para derivar cada una de las proposiciones verdaderas en todos los modelos del sistema?”.
Explicación paso a paso: