Funzione ricorsiva: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Altre funzioni non primitive ricorsive: : Sezione rimossa, visto che la funzione di Ackermann è ricorsiva. Il fatto che non sia ricorsiva primitiva non è inerente a questo articolo ed è gia citato nell' articolo appropriato. |
Nessun oggetto della modifica |
||
Riga 62:
<BR>Per la definizione di <math>h</math> abbiamo che <math>h=1</math> [[se e solo se]] <math>g(e, e)=0</math>.
<BR>Ma per la definizione di <math>g</math> abbiamo che <math>g(e, e)=0</math> se e solo se <math>\varphi_e(e)</math> non è definita.
<BR>
<BR>Quindi questa [[dimostrazione per assurdo]] mostra che l'ipotesi iniziale "<math>g</math> è ricorsiva" è falsa.
| |||