5
¿Existe alguna relación concreta entre el teorema de incompletitud de Gödel, el problema de la detención y las máquinas universales de Turing?
Siempre he pensado vagamente que la respuesta a la pregunta anterior fue afirmativa en las siguientes líneas. El teorema de incompletitud de Gödel y la indecidibilidad del problema de detención son resultados negativos sobre la capacidad de decisión y se establecen mediante argumentos diagonales (y en la década de 1930), …