Se fH Ë computabile, deve esistere una Macchina di Turing TF capace di calcolarla.
Definiamo allora una nuova funzione gH come segue:
dove n Ë il numero naturale che rappresenta una data Macchina di Turing (procedimento di G–del).
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |