To je svakako zanimljivo pitanje. Prvo treba precizirati što si zapravo htio reći - vjerojatno to da je _skup_ prirodnih brojeva, zajedno s odgovarajućim funkcijama za operacije, i relacijom uređaja, i nulom kao istaknutim elementom, struktura prvog reda u kojoj vrijede svi aksiomi PA. No kako točno znaš da ta struktura postoji? (Ne direktno povezano, ali da ti pokažem koliko su stvari komplicirane: čak i ako postoji, kako znaš da je jedinstvena do na izomorfizam? Jesi li siguran da neka od brojnih hipoteza o prirodnim brojevima (npr. Collatzov problem) nije zapravo nezavisna od aksioma, što bi bila prilična besmislica ako doista vjerujemo u _the_ strukturu opisanu tim aksiomima?:)
Iako je točno da "skup" gore ne mora značiti "ono što je opisano punom teorijom skupova" (npr. teorija Triv koja se sastoji samo od formule "postoji x postoji y ne (x jednako y)" očito ima za model bilo kakav naivni skup od dva različita elementa - recimo, same varijable 'x' i 'y' mogu poslužiti:), za beskonačne skupove praktički nemamo drugi način konstrukcije. Praktički jedina općeprihvaćena struktura unutar koje imamo beskonačne skupove (ne potencijalno, nego aktualno beskonačne) je kumulativna hijerarhija.
Dakle, ono što si zapravo htio reći, u drugoj aproksimaciji, je da, popikani na prava mjesta, u kumulativnoj hijerarhiji skupova opisanoj aksiomima ZF, žive točno oni skupovi koji tebi trebaju: \N, 0, ', +, *, <. No sad je jasno da si samo zamijenio problem težim: kumulativna hijerarhija je model za ZF jednako kao što je struktura prirodnih brojeva model za PA. Dakle, ono što si zapravo rekao, u trećoj aproksimaciji, je da unutar svakog modela od ZF živi model za PA. Ta relacija među teorijama je dobro poznata u logici, i zove se interpretabilnost. Dakle, u četvrtoj aproksimaciji, tvoja tvrdnja glasi: PA je interpretabilna u ZF. I to je sasvim točno, jedino što takva tvrdnja daje samo relativnu konzistentnost. _Ako_ je ZF konzistentna, _tada_ je i PA konzistentna. ("U svakom modelu od ZF živi model za PA" ne povlači "postoji model za PA" ako nemamo još pretpostavku "ZF je konzistentna".) Odnosno, obratom po kontrapoziciji, ako je PA inkonzistentna, tada je i ZF inkonzistentna. No tada ionako imamo većih problema. :-D
Naravno, ovo ti se može činiti kao prevara, "sve visi na ZF". Ali za inherentno beskonačne strukture, to jest doista najbolje što imamo. Probajmo finitistički. Ti bi htio da se ne može u PA dokazati 0=1 (gdje je 1 oznaka za 0', sljedbenik od 0). Kao argument za to navodiš neku strukturu N koja je s početka sasvim jasna, a kraj joj se gubi u daljini. Kažeš da maglovit kraj uopće nije bitan ("don't pay attention to the infinity behind the curtain":), i pokazuješ prva dva objekta u njoj, i kažeš da su sasvim jasno vidljivi i očito različiti. Ja se slažem s tobom, ali iz toga nikako ne slijedi da PA ne može _dokazati_ da su različiti. Grozota inkonzistentnih teorija je upravo da mogu dokazati što god hoće. :-)
Ok, ono što ti zapravo želiš reći je da sve formule koje možemo dokazati u PA moraju biti _istinite_ u N, a 0=1 očito nije istinita u N. No problem je u bazi: za vidjeti da su svi aksiomi PA istiniti u N, trebalo bi istražiti i onaj magloviti dio, a to je problem - sve veći kako idemo dalje. A da se u maglovitom dijelu mogu skrivati svakakvi zmajevi, po mom mišljenju dobro pokazuje sljedeća pričica:
Znamo, po drugom Gödelovom teoremu, da se u PA (ako je konzistentna) ne može dokazati Con, formula koja na prirodan način iskazuje tvrdnju da je PA konzistentna. (Con je jednostavno formula oblika "ne postoji x (x je kod konačnog niza čiji je svaki element ili kod neke instance aksioma PA ili postoje elementi prije njega iz kojih je izveden pravilom generalizacije ili modus ponensa, i čiji je zadnji element kod formule 0=0')".) Međutim, opća je logička stvar (propozicija tamo negdje kod Lindenbaumove leme) da ako T ne dokazuje F, tada je T+{ne F} konzistentna teorija. Drugim riječima, postoji -PA, teorija koja je dobivena tako da se na aksiome od PA doda (ne Con), i ta teorija je konzistentna ako je PA konzistentna. Odnosno, ako postoji N, tada postoji i -N, model za -PA. Štoviše, -N i N ispočetka izgledaju skroz isto: imaš nulu, imaš njenog sljedbenika 1, imaš njegovog sljedbenika 2, 1+1=2, itd. Međutim, u -N je istinita tvrdnja (ne Con), što znači da negdje u njegovom maglovitom dijelu postoji objekt (s kojim treba valuirati x u (ne Con)), koji doista jest kod konačnog niza čiji svaki element je ili kod neke instance aksioma PA (ne -PA!) ili postoje elementi prije njega iz kojih je izveden pravilom generalizacije ili modus ponensa, i čiji je zadnji element kod formule 0=0'. S obzirom na to da je -N (između ostalog) model za PA (svi aksiomi od PA su ujedno i aksiomi od -PA), prirodno je njegove elemente zvati "prirodni brojevi", zar ne? A onda se čini da smo u velikom problemu, jer smo upravo našli prirodan broj koji kodira dokaz 0=1 u PA.
Jesmo li time dokazali da je PA inkonzistentna? Nipošto. Primijetimo da smo ga našli u modelu za -PA. Ako je PA inkonzistentna, tada je i -PA inkonzistentna, pa nema model, pa smo cijelu priču pričali uprazno. Ali ono što priča definitivno pokazuje, je da moramo obratiti pažnju i na magloviti dio - jer nam je netko, da je bio baš jako zločest, umjesto "lijepe" strukture prirodnih brojeva N mogao podvaliti -N. S početka ne bismo primijetili ništa, jer -N jest model za PA. A ipak, -N tamo negdje "iza zavjese beskonačnosti" sadrži objekt koji pokazuje da je PA inkonzistentna.
Sad se vjerojatno osjećaš još više prevarenim - pobogu, kako isti swindle ne prolazi za očito konzistentne teorije, poput one gornje teorije Triv? Kvaka je u prvom koraku. Drugi Gödelov teorem ne prolazi za prejednostavne teorije - između ostalog i zato što u njima nema smislenog pojma kodiranja jezika, formula i dokaza, pomoću kojeg se može konstruirati formula koja iskazuje konzistentnost. Čak ni beskonačnost modela nije dovoljan uvjet: recimo Presburgerova aritmetika, koja je otprilike "PA bez množenja", je odlučiva i time dokazivo konzistentna, a ima samo beskonačne modele. Ali je svakako nužan uvjet: svaki konačan model je u potpunosti opisiv s konačno mnogo formula.
Eto, mislim da ti je ovo pokazalo koliko "model od PA" može biti netrivijalna beštija. Naravno, ako imaš ZF, onda imaš aksiom beskonačnosti, koji više-manje kaže "postoji model za PA". Ali to je varanje - u smislu da si samo konzistentnost jedne teorije sveo na konzistentnost puno jače teorije. S druge strane, ako si platonist, onda vjerojatno vjeruješ u strukturu N neovisno o našoj spoznaji nje, PA je samo naša nesavršena sjena nastala pokušajem da je spoznamo, i ako nije konzistentna, to je samo jer nismo u potpunosti uspjeli. No u matematičkom platonizmu je izuzetno teško biti dosljedan: recimo, hardcore platonisti vjerojatno vjeruju i u _the_ kumulativnu hijerarhiju H, čiji je ZF samo neprecizni pokušaj spoznaje. No čujem da se baš i ne mogu složiti vrijedi li hipoteza kontinuuma u strukturi H. ;-D
Nema komentara:
Objavi komentar