esercizio

Trasformare l'espressione 1+1=2 in numero di Gödel

Scriviamola con il minor numero di simboli possibili
1+1=1'
Con l'alfabeto che abbiamo fatto ho che
g(1) = 3
g(+) = 11
g(=) = 13
g(') = 5

Considero i numeri primi 2, 3, 5, 7, 11, 13 e costruisco il numero
23 ·311 · 53 · 713 ·113 · 135 = 8482095133471418220668907000
Calcolato con la calcolatrice


Come vedi anche una semplice espressione si trasforma in un numero che e' quasi impossibile leggere da quanto e' grande; pero' teoricamente ogni espressione si puo' trasformare in un numero naturale