problema della fermata
La questione se esista un metodo generale per stabilire se un calcolo termina. La risposta è negativa, e si dimostra con un argomento autoreferenziale.
Compare in volume VI
Come la richiudono le mappe di fine capitolo
- Volume VI · 7. La macchina che decide
-
La questione se esista un metodo generale per stabilire se un calcolo termina. La risposta è negativa, e si dimostra con un argomento autoreferenziale.