5
Esiste una relazione concreta tra il teorema di incompletezza di Gödel, il problema di arresto e le macchine universali di Turing?
Ho sempre pensato vagamente che la risposta alla domanda di cui sopra fosse affermativa secondo le seguenti linee. Il teorema di incompletezza di Gödel e l'indecidibilità del problema di arresto sono entrambi risultati negativi sulla decidibilità e stabiliti da argomenti diagonali (e negli anni '30), quindi devono in qualche modo …