Afinal, o termo problema de interrupção, a formulação moderna do problema, bem como a prova auto-referencial comum de sua indecidibilidade, são todos-estritamente falando-absorventes do trabalho de Turing.
Joel David Hamkins e Theodor Nenu, “Turing provou a indecidibilidade do problema de parada?”, 18 páginas, 2024, matemática arxiv: 2407.00680.O problema de interrupção é o problema de decisão de determinar se um determinado programa de computador é interrompido em uma determinada entrada, um problema famoso por ser computadamente indeciso.Discutimos a precisão da atribuição comumente dada a Turing (1936) para a indecidibilidade computável do problema de interrupção, eventualmente chegando a uma conclusão sutil.Dito isto, também achamos incorreto sugerir que se encontrará uma discussão sobre o problema de interrupção ou uma prova de sua indecidibilidade em Turing (1936).
