Professional Documents
Culture Documents
INDICE
NOTAZIONI UTILIZZATE NELLA PRESENTE ESPOSIZIONE
DEFINIZIONE DI TEORIA ASSIOMATICA DEL PRIMO ORDINE
UN SISTEMA DI ASSIOMI PER L'ARITMETICA
FUNZIONI E RELAZIONI NUMERICHE
FUNZIONI RICORSIVE PRIMITIVE E FUNZIONI RICORSIVE
ARITMETIZZAZIONE. I NUMERI DI GDEL.
IL TEOREMA DEL PUNTO FISSO. IL TEOREMA DI INCOMPLETEZZA DI GDEL
INDECIDIBILITA' RICORSIVA. TEOREMA DI CHURCH.
universale ed esistenziale ammessa solo in riferimento alle variabili individuali, mentre non
ammessa in riferimento a propriet o funzioni o formule.
0 ha la propriet Q
x1 = x2 (x1 = x3 x2 = x3)
x1 = x2 x1' = x2'
0 x1'
x1' = x2' x1 = x2
x1 + 0 = x1
x1 + x2' = (x1 + x2)'
x1 0 = 0
x1 (x2)' = (x1 x2) + x1
B(0) (x B(x) B(x')) x B(x)) per ogni fbf B(x) di S.
Chiameremo (S9) principio di induzione matematica. Si noti che (S9) non un singolo assioma,
ma uno schema di assiomi.
Una teoria che ha gli stessi teoremi di S spesso indicata come aritmetica di Peano o
semplicemente come PA.
Da (S9), mediante MP, otteniamo la regola di induzione:
eccetera
(principio di induzione completa) S z (z < x B(z)) B(x)) x B(x)
(principio del numero pi basso o least number principle) S x B(x) y (B(y) & z (z
< y B(z))): "se la propriet P vale per qualche numero naturale, allora esiste un numero
pi basso che soddisfa P".
(metodo della discesa infinita) S x B(x) y (y < x & B(y))) x B(x)
Per "t|s" intendiamo z (s = t z)
Utilizzando la teoria S si pu tradurre in S e provare qualsiasi risultato di aritmetica elementare
contenuto nei testi correnti. Tra le funzioni traducibili in S ci sono funzioni numeriche come xy e
x!
Alcuni risultati aritmetici standard, come il teorema di Dirichlet, sono provati con l'aiuto della
teoria delle variabili complesse, e a tutt'oggi non si sa se di tali teoremi esistono prove elementari
(cio prove in S). La formulazione di alcuni risultati aritmetici coinvolge concetti non-elementari,
come la funzione logaritmica, e, tranne che in casi speciali, questi risultati non possono neanche
essere formulati in S.
Come vedremo successivamente, ci sono fbf chiuse che non sono n provabili n non-provabili
in S, se S coerente; dunque c' una fbf che vera nell'interpretazione standard ma non
provabile in S. Vedremo anche che questa incompletezza di S non pu essere soltanto attribuita
all'omissione di qualche assioma essenziale, ma ha cause pi profonde, che sono comuni anche
ad altre teorie.
Esistono modelli non-standard per S di qualsivoglia cardinalit
Esistono almeno 20 modelli non-isomorfi di S di cardinalit
Una funzione numerica una funzione i cui argomenti e i cui valori sono numeri naturali e una
relazione numerica una relazione i cui argomenti sono numeri naturali. Ad esempio una
moltiplicazione una funzione numerica a due argomenti, mentre l'espressione x + y < z
determina una relazione numerica a tre argomenti. Le funzioni e le relazioni numeriche sono
intuitive e non sono inserite in nessun sistema formale.
Sia K una teoria nel linguaggio A dell'aritmetica. Una relazione numerica R(x1, , xn) si dice
relazione esprimibile in K se e soltanto se esiste una fbf A(x1, , xn) di S con n variabili libere
tali che: per ogni numero naturale k1, , kn,
(1) Se R(k1, , kn) vera, allora S A(k1,, kn)
(2) Se R(k1, , kn) falsa, allora S A(k1, , kn)
Sia K una teoria con identit nel linguaggio A dell'aritmetica. Una funzione numerica f(x1, ,
xn) si dice funzione rappresentabile in K se e soltanto se esiste una fbf A(x1, , xn+1) di S con
le variabili libere x1, , xn+1 tali che per ogni numero k1, , kn+1:
(1) se f(k1, , kn) = kn+1, allora S A(k1, , kn, kn+1)
(2) S (E1 xn+1) A(k1, , kn, xn+1)
hm(x1, , xn)
La sostituzione vale anche nel caso che ogni hi sia una funzione di una parte soltanto delle
variabili.
(V) Recursione
f(x1, , xn, 0) = g(x1, , xn)
f(x1, ,xn, y +1) = h(x1, , xn, y, f(x1, , xn,y))
Se poniamo n = 0 abbiamo la formula ricorsiva consueta:
f(0) = k dove k un numero naturale fissato
f(y +1) = h(y, f(y))
Si dice che f ottenuta da g e h (nel caso n = 0 dal solo h) per recursione. I parametri
della recursione sono x1, , xn
(VI) -operatore ristretto
Sia g(x1, , xn, y) una funzione tale che per ogni x1, , xn c' almeno un y tale che g(x1,
, xn y) = 0. Denotiamo con y(g(x1, , xn, y) = 0) il minimo numero y tale che g(x1,
, xn, y) = 0.
In generale, per ogni relazione R(x1, , xn) denotiamo con yR(x1, , xn, y) il minimo
y tale che R(x1, , xn, y) sia vero, se un tale y esiste.
Se f(x1, , xn) = y(g(x1, , xn, y) =0) allora si dice che f ottenuto da g per mezzo
del -operatore ristretto se per ogni x1, , xn esiste almeno un y tale che g(x1, , xn, y) =
0
Una funzione si dice funzione ricorsiva primitiva se e soltanto se pu essere ottenuta dalle
funzioni iniziali per mezzo di un numero finito di sostituzioni (IV) e ricorsioni (V)
Una funzione f si dice funzione ricorsiva se e soltanto se pu essere ottenuta dalle funzioni
iniziali per mezzo di un qualsiasi numero finito di sostituzioni (IV), ricorsioni (V) e -operatore
ristretto (VI).
Ogni funzione ricorsiva primitiva ricorsiva, mentre il contrario falso
Sia g(y1, , yk) una funzione ricorsiva (primitiva). Siano x1, , xn distinte variabili e per 1
i k, sia zi una delle variabili x1, , xn. Allora la funzione f tale che f(x1, , xn) = g(z1, ,
zk) ricorsiva (primitiva).
Quest'ultimo teorema consente di produrre nuove funzioni ricorsive con i seguenti metodi:
Aggiunta di variabili fittizie: f(x1, x2, x3) = g(x1, x3). La variabile x2 detta variable fittizia,
perch irrilevante per il valore della funzione.
Permutazione di variabili: f(x1, x2, x3) = g(x3, x1, x2)
Identificazione di variabili: f(x1, x2) = g(x1, x2, x1)
La funzione zero ricorsiva primitiva
La funzione costante Ckn(x1, , xn) = k con k numero naturale fissato, ricorsiva primitiva
Ecco un elenco esemplificativo di funzioni ricorsive primitive:
x+y
xy
xy
La funzione predecessore:
x 1 se x 0
(x) 0 se x 0
x y se x y
y 0 se x y
|x
x y se x y
y| y x se x y
sg(x)
0 se x 0
1 se x 0
sg(x)
1 se x 0
0 se x 0
x!
min(x1, , xn)
max(x1, , xn)
rm(x,y) = resto della divisione di y per x
qt(x,y) = quoziente della divisione di y per x
Definizioni di somme limitate e prodotti limitati.
0 se z 0
y z
f ( x ,..., x
1
n,
y)
y z
f ( x ,..., x
1
n,
y)
n,
1 se z 0
y)
f ( x1 ,..., x n ,0) se z 0
f ( x ,..., x
n,
y)
y z
se z 0
y z 1
f ( x ,..., x
1
y z
f ( x ,..., x
1
n,
y)
y z 1
f ( x ,..., x
1
n,
u y v
Se f(x1, , xn, y) ricorsiva primitiva (ricorsiva), allora tutte le somme e i prodotti limitati
definiti come sopra sono ricorsive primitive (ricorsive)
Date delle espressioni per relazioni numeriche possiamo applicare i connettivi del calcolo
proposizionale ad esse per ottenere nuove espressioni per relazioni. Per esempio, se R1(x,y) e
R2(x,u,v) sono relazioni, allora R1(x,y)& R2(x,u,v) una nuova relazione tra x,y,u,v.
Useremo yy<z R(x1, , xn, y) per esprimere la relazione: "per tutti gli y, se y minore di z, allora
vale R(x1, xn, y)". Useremo yyz, yy<z, yyz in modo analogo. Chiameremo questi
quantificatori quantificatori limitati.
Definiamo un -operatore ristretto:
il minimo y z per il qualevale R ( x1 ,..., x n , y), se esisteun simile y
altrimentiz
y y z R( x1 ,..., x n , y)
Il valore z stato scelto nel secondo caso perch pi conveniente in prove successive; questa
scelta non ha significato intuitivo.
Definiamo pure:
yy z+1 R(x1, , xn, y) = yy<z+1 R(x1, , xn, y)
Una relazione R(x1, , xn) detta relazione ricorsiva primitiva (o relazione ricorsiva) se e
soltanto se la sua funzione caratteristica CR(x1, , xn) ricorsiva primitiva (o ricorsiva). In
particolare, un insieme A di numeri naturali un insieme ricorsivo primitivo se e soltanto se la
sua funzione caratteristica CA(x) ricorsiva primitiva (o ricorsiva).
Relazioni ottenute da relazioni ricorsive primitive (ricorsive) per mezzo dei connettivi
proposizionali e i quantificatori sono anch'esse ricorsive primitive (ricorsive).
Applicazioni dei -operatore limitati yy<z e yyz conducono da relazioni ricorsive primitive
(ricorsive) a funzioni ricorsive primitive (ricorsive)
Per x> 0 sia (x) il numero degli esponenti non-zero nella fattorizzazione di x in potenze di
primi o, equivalentemente, il numero di primi che divide x.
Ogni intero positivo x ha una fattorizzazione unica in potenze di numeri primi. Se il numero:
x = 2a03a1pkak
usato per "rappresentare" o "codificare" la sequenza di interi positivi a0, , ak, e il numero:
y = 2b03b1pmbm
"rappresenta" la sequenza b0, , bm, allora il numero:
x * y = 2a03a1 pkakpk+1b0pk+2b1 pk+1+mbm
"rappresenta" la nuova sequenza a0, , ak, b0, , bm ottenuta giustapponendo le due sequenze.
Qui (y)j usato per indicare bj quando y = 2b03b1pmbm "rappresenta" la sequenza b0, , bm
Sia
g1 ( x1 ,..., x n ) se R1 ( x1 ,..., x n ) vale
Se le funzione g1, , gk e le relazioni R1, , Rk sono ricorsive primitive (ricorsive) e se, per
ogni x1, , xn esattamente una delle relazioni R1(x1, , xn), , Rk(x1, , xn) vera, allora f
ricorsiva primitiva (ricorsiva)
E' essenziale per quanto seguir definire funzioni attraverso un tipo di ricorsione in cui il valore
f(x1, , xn, y + 1) dipende non solo da f(x1, xn, y) ma anche da pi di uno o da tutti i valori di
f(x1, , xn, u) con u y. Questo tipo di ricorsione chiamato ricorsione course-of-values. Sia
f#(x1, , xn,y) = u<ypuf(x1, , xn,u)
Si noti che f pu essere ottenuto da f# come segue:
f(x1, , xn,y) = (f#(x1, , xn, y + 1))y.
(ricorsione course of values) Se h(x1, , xn, y, z) ricorsiva primitiva (ricorsiva) e
f(x1, , xn, y) = h(x1, , xn, y, f#(x1, , xn, y))
allora f ricorsiva primitiva (ricorsiva)
(ricorsione course-of-values per le relazioni)
Se H(x1, , xn, y, z) una relazione ricorsiva primitiva (ricorsiva) e R(x1, , xn, y) vale se e
soltanto se vale
H(x1, , xn, y,(CR)#(x1, , xn, y))
dove CR la funzione caratteristica di R, allora R ricorsivo primitivo (ricorsivo).
(-funzione di Gdel) Sia (x1, x2, x3) = rm(1 + (x3 +1) x2, x1). Allora ricorsiva primitiva
perch rm ricorsiva primitiva. anche fortemente rappresentabile in S dalla seguente fbf
Bt(x1, x2, x3, y):
w(x1 = (1 + (x3 + 1) x2) w + y & y < 1 + (x3 + 1) x2)
Per ogni sequenza di numeri naturali k0, , kn, ci sono due numeri naturali b,c tali che (b,c,i)
= ki per 0 i n
Ogni funzione ricorsiva rappresentabile in S
Per una arbitraria teoria K del primo ordine, colleghiamo a ciascun simbolo u di K un intero
positivo dispari g(u), chiamato il numero di Gdel di u o il godeliano di u, nel seguente modo:
g( ( ) = 3
g( ) ) = 5
g( , ) = 7
g( ) = 9
g( ) = 11
g( ) = 13
g(xk) = 13 + 8k per k 1
g(ak) = 7 + 8k per k 1
g(fkn) = 1 + 8(2n3k) per k 1
g(Akn) = 3 + 8(2n3k) per k 1
Chiaramente, ogni numero di Gdel di un simbolo un intero positivo dispari. Perdipi, quando
diviso per 8, g(u) produce un resto di 5 quando u una variabile, un resto di 7 quando u una
costante individuale, un resto di 1 quando u una lettera funzione e unr esto di 3 quando u una
lettera predicato. In tal modo, differenti simboli hanno numeri di Gdel differenti.
Data un'espressione u0u1, , ur dove ogni uj un simbolo di K, definiamo il suo numero di Gdel
g(u0u1ur) mediante l'equazione:
g(u0u1ur) = 2g(u0)3g(u1) prg(ur)
dove pj denota il j-esimo numero primo e assumiamo che p0 = 2
Espressioni differenti hanno numeri di Gdel differenti, in virt della unicit della fattorizzazione
degli interi in numeri primi. Inoltre, le espressioni hanno numeri di Gdel diversi da quelli dei
simboli, dato che le prime hanno numeri pari e i secondi numeri dispari. E' importante notare che
un singolo simbolo, considerato come espressione, ha un numero di Gdel differente dal suo
numero come simbolo. Per esempio, il simbolo x1 ha come numero di Gdel 21, mentre
l'espressione coerente nel solo simbolo x1 ha numero di Gdel 221.
Se e0, e1, , er una sequenza finita di espressioni di K, possiamo assegnare un numero di Gdel
a questa sequenza ponendo:
g(e0, e1, , er) = 2g(e0)3g(e1) prg(er)
Successioni differenti di espressioni hanno numeri di Gdel differenti. Dal momento che il
numero di Gdel di una sequenza di espressioni pari e l'esponente di 2 nella sua fattorizzazione
in primi anch'esso pari, differisce dai numeri di Gdel dei simboli e delle espressioni. Si ricordi
che una prova in K un certo tipo di sequenza finita di espressioni e, dunque, ha un numero di
Gdel.
Pertanto g una funzione bijettiva dall'insieme dei simboli di K, espressioni di K e sequenze
finite di espressioni di K, nell'insieme degli interi positivi. Il codominio di g non l'intero insieme
degli interi positivi. Per esempio, 10 non un numero di Gdel.
Questo metodo di associare numeri con simboli, espressioni e successioni di espressioni fu
elaborato originariamente da Kurt Gdel nel 1931 per aritmetizzare la metamatematica, cio per
rimpiazzare asserzioni intorno un sistema formale da asserzioni numeriche equivalenti e poi
esprimere queste asserzioni entro il sistema formale stesso. Questa idea si rivelata fondamentale
in logica matematica per la risoluzione di numerosi problemi.
L'assegnazione dei numeri di Gdel qui esposta non l'unico modo possibile di assegnare numeri.
Altri metodi sono esposti in Kleene, Introduction to Metamathematics, Van Nostrand, 1952, e
Smullyan, Theory of Formal Systems, Princeton University Press, 1965.
Una aritmetizzazione di una teoria K una funzione bijettiva g dall'insieme dei simboli di K,
espressioni di K e sequenze finite di espressioni di K nell'insieme degli interi positivi. La funzione
g deve soddisfare le seguenti condizioni:
g effettivamente computabile
c' una procedura effettiva per stabilire se un dato intero positivo m nel codominio di g e,
se m nel codominio di g, per trovare l'oggetto x tale che g(x) = m
Una teoria K detta avere un vocabolario ricorsivo primitivo (vocabolario ricorsivo) se le
seguenti propriet sono ricorsive primitive (ricorsive):
IC(x) : "x il numero di Gdel di una costante individuale di K"
FL(x) : "x il numero di Gdel di una lettera funzione di K"
PL(x) : "x il numero di Gdel di una lettera predicato di K"
Si ricordi che una funzione si dice funzione ricorsiva primitiva se e soltanto se pu essere ottenuta dalle
funzioni iniziali per mezzo di un numero finito di sostituzioni (IV) e ricorsioni (V)
Si ricordi che una funzione f si dice funzione ricorsiva se e soltanto se pu essere ottenuta dalle funzioni
iniziali per mezzo di un qualsiasi numero finito di sostituzioni (IV), ricorsioni (V) e -operatore ristretto (VI).
Si ricordi che una relazione R(x1, , xn) detta relazione ricorsiva primitiva (o relazione ricorsiva) se e
soltanto se la sua funzione caratteristica CR(x1, , xn) ricorsiva primitiva (o ricorsiva). In particolare, un
insieme A di numeri naturali un insieme ricorsivo primitivo se e soltanto se la sua funzione caratteristica
CA(x) ricorsiva primitiva (o ricorsiva).
Qualsiasi teoria K che ha solo un numero finito di costanti individuali, lettere funzione e
lettere predicato ha un vocabolario ricorsivo primitivo. In particolare, qualsiasi teoria K nel
linguaggio A dell'aritmetica ha un vocabolario ricorsivo primitivo. In particolare, S ha un
vocabolario ricorsivo primitivo.
EIC(x) : "x il numero di Gdel di una espressione coerente in una costante individuale"
yy<x (IC(y) & x = 2y)
EFL(x) : x il numero di Gdel di una espressione consisente in una lettera funzione"
yy<x (FL(y) & x = 2y)
EPL(x) : "x il numero di Gdel di una espressione coerente in una lettera predicato
yy<x (PL(y) & x = 2y)
ArgT(x) = (qt(8,x 1))0 : "Se x il numero di Gdel di una lettera funzione fjn allora ArgT(x)
= n"
Si tenga qui presente che il numero di Gdel di una funzione fkn 1 + (2k3n); perci qt(8,x
1) = (2n3k), e poich (y)j indica bj quando y = 2b03b1pmbm "rappresenta" la sequenza b0,
, bm allora (qt(8,x 1))0 = (2n3k)0 = n
Gd(x) : "x il numero di Gdel di una espressione di K"
EVbl(x) EIC(x) EFL(x) EPL(x) x = 23 x = 25 x = 27 x = 29 x = 211 x = 213
uu<x vv<x (x = u * v & Gd(u) & Gd(v))
"x il numero (di Gdel) di una variabile o il numero di una costante individuale o il
numero di una lettera funzione o il numero di una lettera predicato o il numero di "(" o
il numero di ")" o il numero di "" o esistono due numeri di Gdel di due espressioni
con numeri di Gdel rispettivamente u,v inferiori a x tali che x la giustapposizione di tali
espressioni"
Compare qui un esempio di propriet ricorsiva, anzich una funzione ricorsiva. La propriet
dipende dall'esistenza della propriet per valori inferiori ad x.
MP(x,y,z) : "L'espressione con numero di Gdel z una diretta conseguenza delle
espressioni con numeri di Gdel x e y tramite applicazione di modus ponens"
y = 23 * x * 211 * z * 25& Gd(x) & Gd(z)
Gen(x,y) : "L'espressione con numero di Gdel y proviene dall'espressione con numero di
Gdel x tramite la regola di generalizzazione"
vv<y (EVbl(v) & y = 23 * 23 * 213 * v * 25 * x * 25 & Gd(x))
Trm(x) : "x il numero di Gdel di un termine di K".
Questa propriet vale quando e solo quando o x il godeliano di una espressione coerente
in una variabile o in una costante individuale o c' una lettera funzione fkn e termini t1, .., tn
tali che x il godeliano di fkn(t1, , tn). Quest'ultima propriet vale se e soltanto se c' una
sequenza di n + 1 espressioni
fkn(
fkn(t1,
fkn(t1, t2,
fkn(t1, , tn-1,
fkn(t1, , tn-1, tn)
l'ultima delle quali, fkn(t1, , tn), ha godeliano = x. Chiaramente,
y < 2x3x pnx = (2 3 pn)x < (pn!)x< (px!)x
Notare che (y) = n + 1 e anche che n = Arg T((x))0, dal momento che (x)0 il godeliano
di fkn. Quindi Trm(x) equivalente alla seguente formula:
EVbl(x) EIC(x) yy<(px!)^x [x = (y)(x)1 & (y) = ArgT((x)0 + 1 & FL(((y)0)0) & ((y)0)1
= 3 & (y)0 = 2 & uu<(y)2 vv<x ((y)u+1 = (y)u * v * 27 & Trm(v)) & vv<x ((y)(y)1 =
(y) (y)2 * v * 25& Trm(v))]
"x il godeliano di una variabile, o x il godeliano di una costante individuale, o esiste un
godeliano tale che x l'esponente del penultimo ((x)1)"
Esponiamo in forma leggermente diversa la formula:
x ( y ) ( y ) 1 &
( y ) Arg (( x) 1 &
P
0
FL((( y ) 0 ) 0 ) &
((
y
)
)
3
&
0 1
x
u u ( y ) 2 v v x (( y ) u 1 ( y ) u * v * 2 7 &
Trm(v)) &
5
&
v v x (( y ) ( y ) 1 ( y ) ( y ) 2 * v * 2
Trm(v))
(dove il segno "" va letto come "", per mancanza in Microsoft Equation del simbolo
corrispondente)
Atfml(x) : "x il godeliano di una fbf atomica di K"
Questo vero se e solo se ci sono termini t1, , tn e una lettera predicato Akn tale che x il
godeliano di Akn(t1, , tn). L'ultima asserzione vale sse c' una sequenza di n + 1 espressioni
Akn(
Akn(t1,
Akn(t1, t2,
Akn(t1, , tn-1,
Akn(t1, , tn-1, tn)
l'ultima delle quali, Akn(t1, , tn-1, tn), ha godeliano x. Questa sequenza di espressioni pu
essere rappresentata dal suo godeliano y. Chiaramente, y < (px!)x (vedi analoghe
considerazioni per Trm(x)) e n = ArgP((x)0). Cos, Atfml(x) equivalente alla formula
seguente:
x ( y ) ( y ) 1 &
( y ) Arg (( x) 1 &
P
0
PL((( y ) 0 ) 0 ) &
(( y ) 0 )1 3 &
y y ( p !) x (( y ) 0 ) 2 &
x
u u ( y ) 2 v v x (( y ) u 1 ( y ) u * v * 2 7 &
Trm(v)) &
5
&
v v x (( y ) ( y ) 1 ( y ) ( y ) 2 * v * 2
Trm(v))
Sia K una teoria il cui linguaggio contiene la lettera predicato "=", la costante
individuale 0 e la lettera funzione f11.
[1305221646]
x1 = x 1
x1 = x2 x2 = x1
x1 = x2 (x2 = x3 x1 = x3)
x1 = x2 x1' = x2' (dove x' il successore di x')
x1 = x2 (x1 + x3 = x2 + x3 & x3 + x1 = x3 + x2)
x1 = x2 (x1 x3 = x2 x3 & x3 x1 = x3 x2)
x1' = x2' x1 = x2
0 x1'
x1 0 x2 (x1 = x2')
x1 + 0 = x 1
x1 + x2' = (x1 + x2)'
x1 0 = 0
[1305221634]
In base alla [1305221634] tutte le funzioni ricorsive sono rappresentabili in ogni estensione
di RR. Pertanto, per la [1305221637] e la [1305221646(c)] in ogni estensione coerente di RR
nel linguaggio A che ha un insieme di assiomi ricorsivo la classe delle funzioni
rappresentabili identica alla classe delle funzioni ricorsive. Inoltre, per la [1305221653] le
relazioni esprimibili in tale teoria sono le relazioni ricorsive.
RR una subteoria propria di S
Se K una teoria nel linguaggio A, ricordi che la funzione diagonale D ha la propriet che, se
u il godeliano di una fbf B(x1), allora D(u) il godeliano della fbf B(u).
Quando C una espressione di una teoria e il godeliano di C q, denoteremo il numerale q con
C. Possiamo pensare C come il "nome" di C nel linguaggio A.
Si supponga che la funzione diagonale D sia rappresentabile in una teoria con identit K nel
linguaggio A. Allora, per ogni fbf (x1) nella quale x1 l'unica variabile libera, esiste una
fbf chiusa C tale che
K C (C)
(Teorema del punto fisso) Si assuma che tutte le funzioni ricorsive siano rappresentabili in
una teoria con identit K nel linguaggio A. Allora, per ogni fbf (x1) nella quale x1 l'unica
variabile libera, esiste una fbf chiusa C tale che
K C (C)
Si tenga presente che i termini "teorema del punto fisso" e "lemma della diagonalizzazione" sono
spesso usati in modo intercambiabile in altre esposizioni.
Sia K una teoria il cui linguaggio contiene la costante individuale 0 e la lettera funzione f11. Allora
K detta -coerente se, per ogni fbf B(x) di K contenente x come unica variabile libera, se K
B(n) per ogni numero naturale n, allora non si d il caso che K x B(x)
Sia K una teoria nel linguaggio A. K detta una teoria vera se tutti gli assiomi propri di K sono
veri nel modello standard. Dal momento che tutti gli assiomi logici sono veri in tutti i modelli e
MP e Gen conducono da fbf vere in un modello a fbf vere in quel modello, tutti i teoremi di una
teoria vera sono veri nel modello standard.
Una qualsiasi teoria K deve essere -coerente.
K G (x2) Pf(x2,G)
In termini dell'interpretazione standard, la formula (x2) Pf(x2,G) dice che non c' un
numero naturale che sia il godeliano di una prova in K della fbf G, che equivale ad asserire
che non c' alcuna prova in K di G. Dunque, G equivalente in K ad una asserzione che G
non provabile in K. In altre parole, G dice "Io non sono provabile in K". E' un analogo del
paradosso del mentitore: "Io sto mentendo" (cio "Questa asserzione non vera"). Comunque,
sebbene il paradosso del mantitore conduce ad una contraddizoine, Gdel mostr che G una
proposizione indecidibile di K. Ci riferiremo a G come alla proposizione di Gdel per K.
Dati gli assunti (1)-(3) si ha:
(a)
(b)
Se K coerente, non-K G
Se K -coerente, G una proposizione indecidibile di K
(in particolare K potrebbe essere S o una qualsiasi sottoteoria di S). Allora il teorema di
incompletezza nella parte (a) afferma che, se K coerente, G non provabile in K. Ma,
(i)
(ii)
La prova della indecidibilit di una proposizione di Gdel G richiedeva l'assunzione della coerenza. Rosser ha provato che, al prezzo di un lieve incremento della complessit della
proposizione indecidibile l'assunto dell'-coerenza pu essere sostituito da quello della coerenza.
Come in precedenza, sia K una teoria con identit nel linguaggio A che soddisfa le condizioni
(1)-(3) del teorema di incompletezza di Godel. Si assuma in aggiunta che:
(4)
(5)
Cos K pu essere una qualsiasi estensione di RR con un set di assiomi ricorsivi. In particolare,
K pu essere RR o S.
Si ricordi che, per la proposizione [1305221913], Neg una funzione ricorsiva primitiva tale che,
se x il godeliano di una fbf B, allora Neg(x) il godeliano di (B).
Dal momento che tutte le funzioni ricorsive sono rappresentabili in K, sia Neg(x1, x2) una fbf che
rappresenti Neg in K. Si costruisca la seguente fbf (x1):
(x2) (Pf(x2,x1) (x3) (Neg(x1,x2) (x4) (x4 x2 & Pf(x4,x3))))
Per il teorema del punto fisso, c' una fbf chiusa R tale che
[1305221015]
K R (R)
Una teoria K detta una teoria ricorsivamente assiomatizzabile se c' una teoria K* che ha gli
stessi teoremi di M e tale che K* ha un set di assiomi ricorsivo.
Un insieme effettivamente decidibile di oggetti un insieme per cui esiste una procedura
meccanica che determina, per ogni dato oggetto, se quell'oggetto appartiene o no all'insieme. Per
procedura meccanica intendiamo una procedura che attuata automaticamente senza nessun
bisogno di originalit o ingegnosit nella sua applicazione. D'altro lato, un insieme A di numeri
naturali detto essere un insieme ricorsivo se la propriet x A ricorsiva. La precisa nozione
di insieme ricorsivo corrisponde alla idea intuitiva di un insieme effettivamente decidibile di
numeri naturali. Questa ipotesi conosciuta come Tesi di Church.
Si ricordi che una teoria detta assiomatica se il suo set di assiomi effettivamente decidibile.
Chiaramente, il set di assiomi effettivamente decidibile se e soltanto se il set dei numeri di
Gdel degli assiomi effettivamente decidibile (dal momento che possiamo passare
effettivamente da una fbf al suo numero di Gdel e inversamente, dal numero di Gdel alla fbf).
Dunque, se accettiamo la tesi di Church, dire che K ha un set ricorsivo di assiomi equivalente a
dire che K una teoria assiomatica e dunque, la proposizione mostra che RR essenzialmente
incompleta, cio, che ogni estensione assiomatica coerente di RR ha una proposizione
indecidibile. Questo risultato veramente indesiderabile; ci dice che non esiste alcuna
assiomatizzazione completa dell'aritmetica, cio non esiste un modo di creare un sistema
assiomatico sulla base del quale possiamo risolvere tutti i problemi della teoria dei numeri.
La tesi di Church equivalente all'affermazione che una funzione numerica effettivamente
computabile se e soltanto se ricorsiva.
Sia K una estensione di S nel linguaggio A tale che K ha un set ricorsivo di assiomi. Sia ConK
la seguente fbf chiusa di K:
(x1)(x2)(x3)(x4) (Pf(x1,x2)& Pf(x2,x4) & Neg(x3,x4))
Per l'interpretazione standard, ConK asserisce che non ci sono prove in K di una fbf e della sua
negazione, cio che K coerente. Si consideri la seguente proposizione:
[1305222117]
ConK G
dove G una proposizione di Gdel per K. Si ricordi che G asserisce che G non provabile in K.
Dunque asserisce che, se K coerente, allora G non provabile in K. Ma questa proprio la
prima met del teorema di incompletezza di Gdel. Il ragionamento metamatematico utilizzato
nella prova di quel teorema pu essere espresso e sviluppato entro K stesso, cosicch si ottiene
una prova in K di Nella loro prova del secondo teorema di Gdel, Hilbert e Bernays basarono il
loro lavoro su tre cosiddette condizioni di derivabilit. Per amor di precisione ci limiteremo qui
alla teoria S, sebbene tutto ci che diremo vale per le estensioni ricorsivamente assiomatizzabili
di S.
Per formulare i risultati di Hilbert-Bernays, sia Bew(x1) un simbolo che sta per la formula
(x2) Pf(x2,x1)
Cos, nell'interpretazione standard, Bew(x1) significa che c' una prova in S della fbf con numero
di Gdel x1; cio, la fbf con godeliano x1 provabile in S. Si noti che una proposizione di Gdel
G per S soddisfa la condizione del punto fisso:
S G Bew(G)
Le condizioni di derivabilit di Hilbert-Bernays sono:
(HB1)
(HB2)
(HB3)
Se S C allora S Bew(C)
S Bew(C D) (Bew(C) Bew(D))
S Bew(C) Bew(Bew(C))
dove C e D sono fbf chiuse arbitrarie di S. (HB1) immediata e (HB2) una facile conseguenza
delle propriet di Pf. La prova di (HB3) difficile e sottile e viene qui omessa.
Una proposizione di Gdel G per S asserisce la propria non-provabilit in S:
S G Bew(G)
Possiamo applicare il teorema del punto fisso per ottenere una proposizione H tale che
S H Bew(H)
H chiamata la proposizione di Henkin per S. H asserisce la propria provabilit in S.
Chiediamoci se H sia provabile, non-provabile o indecidibile in S.
Scriviamo C per Bew(C), dove C una qualsiasi fbf. Riscriviamo le condizioni di HilbertBernays:
(HB1)
(HB2)
(HB3)
Se S C allora S C
S (C D) ((C) (D))
S (C) (C)
Un insieme B di numeri naturali detto insieme aritmetico se c' una fbf B(x) nel linguaggio
A con una variabile libera x, tale che, per ogni numero naturale n, n B se e soltanto se B(n)
vero nell'interpretazione standard.
(Teorema di Tarski) Sia Tr l'insieme dei numeri di Gdel di fbf di S che sono vere per
l'interpretazione standard. Allora Tr non aritmetico.
Sia K una teoria coerente con identit nel linguaggio A in cui tutte le funzioni ricorsive sono
rappresentabili. Si assuma anche che K 0 1. Allora K ricorsivamente indecidibile.
RR essenzialmente ricorsivamente indecidibile
Sia K una teoria con un vocabolario ricorsivo. Se K ricorsivamente assiomatizzabile e
ricorsivamente indecidibile, allora K una teoria incompleta (cio ha una proposizione
indecidibile).
(Teorema di Godel-Rosser) Ogni estensione coerente e ricorsivamente assiomatizzabile di
RR ha una proposizione indecidibile
Siano K1 e K2 due teorie nello stesso linguaggio. K2 chiamata una estensione finita di K1 se e
soltanto se c' un insieme A di fbf e un insieme finito B di fbf tali che:
i teoremi di K1 sono precisamente le fbf derivabili da A;
i teoremi di K2 sono precisamente le fbf derivabili da A B.
Denoti K1 K2 la teoria il cui set di assiomi l'unione del set di assiomi di K 1 e di quello di K2.
Diciamo che K1 e K2 sono teorie compatibili se K1 K2 coerente.
Siano K1 e K2 due teorie nello stesso linguaggio. Se K2 una estensione finita diK1 e se K2
ricorsivamente indecidibile, allora K1 ricorsivamente indecidibile.
Sia K una teoria nel linguaggio A. Se K compatibile con RR, allora K ricorsivamente
indecidibile.
Ogni teoria vera K ricorsivamente indecidibile
Sia PS il calcolo predicativo nel linguaggio A. Allora PS ricorsivamente indecidibile
Con PF intendiamo il pieno calcolo predicativo del primo ordine, contenente tutte le lettere
predicato, le lettere funzione e le costanti individuali. Sia PP il puro calcolo predicativo del primo
ordine, contenente tutte le lettere predicative ma non lettere funzione o costanti individuali.
C' una funzione ricorsiva h tale che, per ogni fbf B di PF con godeliano u, c' una fbf B' di
PP con godeliano h(u) tale che B provabile in PF se e soltanto se B' provabile in PP.
PF e PP sono ricorsivamente indecidibili.