¿Es posible que haya una solución general y no algorítmica al problema de detención? Educación te da un futuro mejor

Primero, comprendamos cuál es el problema de DETENCIÓN:
Alan Turing, cuando habla del problema de detención, está esencialmente expresando la limitación en el Modelo de Computación de la Máquina de Turing (conocido por ser el conjunto de computación máximo completo posible), puesto en él por los Teoremas de incompletitud de Godel. En particular: los teoremas de incompletitud de Gödel

– Ahora, el problema de detención es recursivamente enumerable (es decir, una máquina de Turing puede realizar sus pasos permitidos en una entrada y puede expresar el idioma de su entrada), pero puede no detenerse en la entrada. Esto implica que el problema de detención NO es duradero . En otras palabras, [matemática] \ existe w [/ matemática] [matemática] \ en [/ matemática] [matemática] \ Sigma ^ {*} [/ matemática], [matemática] \ ni [/ matemática], [matemática] [/ math] no termina en un estado de aceptación, o falta de él, y entra en un bucle infinito ([math] lim_ {t \ to n} [/ math] Steps(w) [math] \ neq 0 \ vee 1 [/ matemáticas]). Esto equivale a decir que, dado un lenguaje [matemático] L [/ matemático], generado por un conjunto de axiomas [matemático] A [/ matemático], existirá una declaración [matemática] S [/ matemático] = | [matemática] (A \ cuña L) [/ matemática], [matemática] \ ni [/ matemática], la declaración no puede ser verdadera o falsa . El problema de detención es el equivalente teórico computacional de la afirmación . La prueba de mostrar que el límite de la Computación es la Máquina de Turing (o el Cálculo Lambda, dependiendo del modelo que esté considerando), es una declaración algo análoga al Segundo Teorema de Incomplete propuesto por Godel.

Ahora, lo que EXACTAMENTE es un Algoritmo:
“En matemáticas y ciencias de la computación, un algoritmo (i / ˈælɡərɪðəm / al -gə-ri-dhəm ) es un conjunto de operaciones paso a paso autónomo a realizar. Existen algoritmos que realizan cálculos, procesamiento de datos y automatizados razonamiento “. – Wikipedia
– Cada máquina de torneado [matemática] M [/ matemática], que reconoce algo de lenguaje [matemática] L (M) [/ matemática] se describe mediante la tupla convencional de 7 , con una tabla de consulta que básicamente dicta sus funciones de transición. Como tal, se puede diseñar un Algoritmo para estimular una Máquina de Turing (que, esencialmente, es un Algoritmo funcional). Ahora, como podemos diseñar un Algoritmo para cada Máquina de Turing decidible [matemáticas] M [/ matemáticas], y una Máquina de Turing es el límite de cálculo, se deduce que todo lo que se puede calcular en tiempo finito es Algorítmico al límite de cálculo de La máquina de Turing. Por lo tanto, no existe un método algorítmico para resolver el problema de detención. Como corolario OBVIO, si la Máquina de Turing no puede calcular algo en un tiempo finito, pero aún puede ser Turing Reconocible, NO existirá un Algoritmo de tiempo finito para ello.

Entonces, la respuesta a su pregunta es la siguiente:
1) Por definición, el problema de detención puede considerarse como el peor algoritmo de tiempo infinito. (entonces un Algoritmo que puede o no converger a la respuesta correcta. Eek.)
2) Como cada máquina de Turing decidible está representada por un algoritmo, y es el límite de todos los cálculos, cualquier problema que sea computacionalmente factible DEBE tener un algoritmo equivalente. Entonces, si no tiene un Algoritmo, simplemente NO es solucionable. Entonces, el problema de detención, por definición y reducción, ES un problema que no se puede resolver en tiempo finito => No se puede resolver computacionalmente.

Si está pensando en alguna solución ‘no algorítmica’, explique a qué se refiere EXACTAMENTE. En algunos tipos, las pruebas de Godel son el límite de cálculo. No parece razonable preguntarse si existe una solución para un límite conocido del modelo. Si está hablando fuera del modelo, vuelva a definir el problema como se vería en ese modelo.

Espero que esto ayude.