Professional Documents
Culture Documents
Supponi-
n + 1.
Sia
n + 1 la cardinalit di A,
e sia
B = A \ {a}
Cos costruito, l'insieme
|P(B)| =
2|B|
n).
L'insieme
P(A) a.
includono
sono esattamente
2|B| = 2n ;
sono quelli di
con
l'aggiunta di
a.
Teorema 2.
azione innita.
1
i = 1 f (0) = f (1 1) i = 2 f (1) = f (2 1)
.. .. ..
i = j + 1 f (j) = f ((j + 1) 1)
.. .. ..
Dimostrazione. ()
f :NA
dove
di
A,
quindi si denisce
f (i)
(i + 1)esimo
E.
Teorema 3.
In generale
Sj [k]
tale che
1 j n j esimo
k =
0, 1, 2, . . .
Teorema 4.
Dimostrazione.
provare che
Vogliamo
n=1
An
di Cantor (Il primo numero indica l'insieme di appartenenza, il secondo indica la posizione)
n=1
An .
Teorema 5.
Questa enumerazione innita perch non abbiamo limitazioni sulla lunghezza delle stringhe.
Teorema 6.
Dimostrazione.
P( ),
poich
Sia
= ,
numerabile conseguentemente
|P( )|
Teorema 7.
a) T M sintatticamente valide b) T M su un alfabeto di input c) T M su un alfabeto di input e un alfabeto del nastro Dimostrazione.
Si consideri come alfabeto di input ordinato come segue
{(, ), a, q, n, 0, 1, comma, , },
quintuple della
t upla
quan-
do si generano le stringhe si pu controllare che siano utilizzati alfabeti della dimensione opportuna.
Osservazione 1.
nella
valida?
A e una sentenza w
implicato da
A? A
e una sentenza
A?
MT
calcolo
Teorema 8.
Dimostrazione.
MH
che semidecide
H,
tale
1) Run
MH
on
< M, w >
2) Accepts.
su
T M.
Teorema 9.
Dimostrazione.
na di Turing
sia in
MH
halt(M stringa,w stringa) if <M> la codifica di una macchina di Turing if M su w si ferma allora accetta else rifiuta
deniamo ora una funzione, e tale funzione esiste perch esiste una macchina di Turing che computa
halt,
nel caso
Teorema 10.
Dimostrazione.
in per
Se
fosse in
esisterebbe una
TM O
SD esiste una T M ML L
a partire dall'oracolo
1. Run O su <M_L,w> 2. If O accepts (cio se <M_L,w> in H) allora 2.1 Run M_L su w 2.2 Se M_L su w accetta (cio se w in L) allora accetta else rifiuta 3. Rifiuta (cio se <M_L,w> non in H)
ma cos facendo abbiamo creato una procedura di decisione per un linguaggio semidecidibile partendo dall'ipotesi assurda che teorema precedente non decidibile.
fosse decidibile, ma
per il
Teorema 11.
Dimostrazione.
pa il simbolo 0 sapremmo risolvere il problema della fermata, ma non sappiamo risolvere il problema della fermata per quanto visto nei precedenti teoremi. Costruiamo una formula logica
macchina di Turing stampa il simbolo 0. Se il problema della decisione avesse una soluzione saremmo in grado di valutare la verit di una qualsiasi proposizione ma non esiste una procedura per determinare quando una TM stampa 0, perci non esiste una soluzione al problema della decisione.
Teorema 12.
Dimostrazione.
do che se
LD
L D, ma poich L D wL
e no se
TM
che
wL /
allora
anche in
wL /
e un caso no se
w L.
Teorema 13.
Dimostrazione.
SD
M, M
su
w, se M
accetta allora
accetta allora
M#
SD
SD
in
D.
Contraddizione!
Teorema 14.
L D L SD e L SD
Se
Dimostrazione.
Viceversa se
L D
allora poich
D SD
allora
L SD
e
L SD
che semide-
cidono rispettivamente
L,
w,
Teorema 15.
H non in SD
in
Dimostrazione. H
SD H
e se in
H D.
SD
F OLtheorem = {< A, w >: A un insieme decidibile di assiomi nella logica del prim
semidecidibile. Dimostrazione.
la procedura di semidecisione :
2. Cerco tra i teoremi corretti quelli che servono ad implicare w, vado in halt e
il punto 2. possibile per il teorema di completezza di GODEL.
Teorema 18.
R(<M>)=
1. Da (<M>) costruisco una proposizione F nel linguaggio dell'aritmetica di Peano 2. Sia P un assioma dell'aritmetica di Peano. Restituisci <P,F>
Se l'ORACOLO esiste, C=oracolo(R(<M,w>)) decide H R esiste (come mostrato da Turing) ed corretto <M> in H e M si ferma su . F un teorema dell'aritmetica di Peano. L'oracolo accetta. <M> non in H e M non si ferma su . F non un teorema dell'aritmetica di Peano. Allora l'oracolo riuta Ma non ci sono macchine che decidono H e conseguentemente non esiste l'oracolo.