Come caso particolare, sia ora n = ng,
ossia prendiamo come ingresso proprio quel particolare numero che rappresenta la Macchina di Turing TG che calcola gH.
Questo significa dare come ingresso a TG, come caso particolare, la sua stessa descrizione.
| Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |