se neanche la macchina di Turing riesce a risolvere un problema, quel problema non Ë risolubile!
Secondo la Tesi di Church-Turing, non esiste un formalismo ìpi˜ potenteî della Macchina di Turing, ossia capace di risolvere una classe pi˜ ampia di problemi.
Dunque...
| Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |