Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 43:
=== Gödelizzazione ===
Sia ora <math>g:(\mathcal{A} \cup \mathcal{F} \cup \mathrm{SEQ})
\mapsto \N</math> una funzione ricorsiva e iniettiva,
(\mathcal{A} \cup \mathcal{F} \cup \mathrm{SEQ})</math>. Supponiamo che anche <math>g^{-1}</math> sia ricorsiva.
|