» facile dimostrare che esistono funzioni definibili ma non computabili
e, quindi, problemi non risolubili.
ESEMPIO:
Problema dellí halt della macchina di Turing.
Dire se una data macchina di Turing T, con un generico ingresso X, si ferma oppure no.
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |