Simplemente curioso acerca de este artículo que leí hoy en las Noticias de Google. No soy un matemático pero disfruto de la historia de las matemáticas y el artículo parece sugerir que el Problema de Detención ha sido refutado. Siempre pensé que una vez que un teorema es demostrado nunca sería refutado, pero de nuevo no soy un experto.
El artículo es el siguiente: https://gizmodo.com/remarkable-mathematical-proof-describes-how-to-solve-se-1841003769
No sé cuáles son las reglas para permitirme ingresar un enlace, así que tal vez escribiré la parte del artículo entre comillas para ilustrar el punto como sigue:
Los científicos de la computación están emocionados por una nueva demostración matemática que propone un sistema cuánticamente entrelazado, algo así como el descrito anteriormente. Parece refutar una conjetura de hace 44 años y detalla una máquina teórica capaz de resolver el famoso problema de detención, que dice que una computadora no puede determinar si alguna vez podrá resolver un problema que está intentando resolver actualmente.
La demostración de 150 páginas, titulada simplemente "MIP*=RE," trata sobre la esotérica materia de la complejidad computacional. Si soporta el escrutinio, demuestra una conexión profunda entre la física cuántica, la computación y las matemáticas. Muestra que una clase teórica de dispositivos de computación—un verificador interrogando a los oráculos cuánticamente entrelazados—pueden verificar algunos de los problemas informáticos más complejos imaginables.
El último párrafo está más allá de mi comprensión con el nivel de matemáticas que tengo, pero lo que me preocupa es que siempre creí que una vez que una demostración se demostraba ser verdadera, no podía ser refutada. El problema de detención está relacionado con el teorema de la incompletitud de Gödel y sé que el Teorema de Gödel también ha sido demostrado como verdadero.
Pensé que tal vez alguien que sea experto podría comentar sobre esto. Gracias.
