Esta puede ser una pregunta ingenua, pero aquí va. (Editar: no está recibiendo votos positivos, pero tampoco nadie ha ofrecido una respuesta; ¿tal vez la pregunta es más difícil, oscura o poco clara de lo que pensaba?)
El primer teorema de incompletitud de Gödel puede demostrarse como un corolario de la indecidibilidad del problema de detención (por ejemplo, Sipser Ch. 6; publicación de blog de Scott Aaronson ).
Por lo que entiendo (confirmado por los comentarios), esta prueba no depende de la tesis de Church-Turing. Derivamos una contradicción al mostrar que, en un sistema formal completo y consistente, una máquina de Turing podría resolver el problema de detención. (Si, por otro lado, acabáramos de demostrar que algún procedimiento efectivo podría decidir el problema de detención, también tendríamos que asumir la tesis de la Iglesia-Turing para obtener una contradicción)
Entonces, podríamos decir que este resultado proporciona un poco de apoyo intuitivo para la tesis de la Iglesia de Turing, porque muestra que una limitación de las Máquinas de Turing implica una limitación universal. (La publicación del blog de Aaronson ciertamente respalda esta opinión).
Mi pregunta es si podemos obtener algo más concreto al ir en reversa: ¿Qué implicaciones formales tienen los teoremas de Gödel para la tesis de Church-Turing? Por ejemplo, parece intuitivamente posible que el teorema de la primera incompletitud implique que ningún procedimiento efectivo puede determinar si una máquina de Turing arbitraria se detiene; el razonamiento podría ir que la existencia de un procedimiento tal implica la capacidad de construir una completa teoría -consistente. ¿Es esto correcto? ¿Hay algún resultado en este sentido?
(Pregunto por curiosidad, no estudio la lógica yo mismo, así que me disculpo si esto es bien conocido o no a nivel de investigación. ¡En ese caso, considere esto como una solicitud de referencia! Gracias por cualquier comentario o respuesta !)
Pregunta que suena relacionada, pero no lo es: Teorema de la Iglesia y Teoremas de incompletitud de Gödel
EDITAR: ¡Intentaré aclarar la pregunta! Primero, mi ingenua intuición es que la incompletitud de Gödel debería implicar al menos algunas limitaciones sobre lo que es o no es computable. Estas limitaciones serían incondicionales, es decir , deberían aplicarse a todos los modelos de computación en lugar de solo a las máquinas de Turing.
Entonces me pregunto si este es el caso (debe haber alguna implicación, ¿verdad?). Suponiendo que sea así, tengo mucha curiosidad acerca de cómo impacta la Tesis de Turing de la Iglesia: la noción de que cualquier cosa efectivamente calculable puede ser calculada por una Máquina de Turing. Por ejemplo, parece posible que la existencia de un procedimiento efectivo para decidir si una máquina de Turing se detiene contradiría el primer teorema de incompletitud. Este resultado demostraría que ningún método posible de cálculo puede ser "mucho" más poderoso que las máquinas de Turing; pero es este resultado cierto? Tengo un par de preguntas similares en los comentarios. ¡Me interesaría mucho escuchar una respuesta a una de estas preguntas, un puntero a una respuesta en la literatura, una explicación de por qué mi razonamiento completo está fuera de lugar, o cualquier otro comentario!