Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Gödelizzazione: Correzione di frase Etichette: Modifica da mobile Modifica da web per mobile |
|||
Riga 53:
=== Gödelizzazione ===
Sia ora <math>g:(\mathcal{A} \cup \mathcal{F} \cup \mathrm{SEQ})
\mapsto \N</math> una funzione ricorsiva e iniettiva, detta ''numero di Gödel'' (in onore al grande logico). La funzione non fa altro che assegnare univocamente ad ogni stringa di <math>\mathcal{L=\langle A,F \rangle}</math>, e ad ogni sua sequenza di stringhe
(\mathcal{A} \cup \mathcal{F} \cup \mathrm{SEQ})</math>. Supponiamo che anche <math>g^{-1}</math> sia ricorsiva.
|