Conclusione:
il problema di decidere se una data Macchina di Turing T, con un generico ingresso X, si ferma oppure no non Ë computabile:
» UN PROBLEMA INDECIDIBILE.
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |