Zašto nijedan matematički sustav ne može biti potpuno i dosljedan – jednostavno objašnjenje Gödelovog teorema

Gödelov teorem o nedovoljnosti jedan je od najvažnijih rezultata logike i matematike, a njegova suština može se objasniti i onome tko nema duboko matematičko predznanje. U osnovi, Kurt Gödel je pokazao da u svakom dovoljno snažnom sustavu koji se bavi prirodnim brojevima postoje istine koje se ne mogu dokazati unutar samog sustava. Ovaj članak razlaže taj rezultat na razumljive dijelove, koristeći primjere i analogije bliske svakodnevnom razmišljanju.

Sadržaj...

Što je formalni sustav i zašto je važan

Formalni sustav je skup pravila i aksioma – osnovnih pretpostavki – koji omogućuje izvođenje zaključaka. Najpoznatiji primjer takvog sustava je aritmetika, gdje su pravila poznata iz osnovne škole, a aksiomi su temeljne tvrdnje o brojevima, poput “zbroj dva prirodna broja je prirodan”. Sustav je dosljedan ako iz istinitih pretpostavki ne proizlazi kontradikcija, a potpun je ako za svaku istinitu izjavu postoji dokaz unutar sustava.

Gödel je 1931. godine dokazao dva ključna rezultata koja su promijenila našu sliku o mogućnostima formalne matematike:

U svakom dosljednom sustavu koji je dovoljno jak da opisuje aritmetiku, postoji izjava koja se ne može niti dokazati niti opovrgnuti unutar tog sustava.
Takav sustav ne može dokazati vlastitu dosljednost, tj. ne može dokazati da se ne pojavljuje kontradikcija.

Ovi rezultati pokazuju da nijedan sustav ne može biti istovremeno potpun i dosljedan – uvijek će postojati istine izvan njegovog dosega.

Kako nastaje samogoreći iskaz

Ključna ideja Gödelovog dokaza je izgradnja rečenice koja “govori o sebi”. Zamislite da imate knjigu pravila u kojoj se nalazi rečenica: “Ova rečenica nije dokaziva u ovoj knjizi.” Ako je rečenica istinita, onda je zaista neprovjeriva, što znači da je knjiga nepotpuna – postoji istina koju ne može dokazati. Ako je rečenica lažna, onda je dokaziva, što bi značilo da knjiga sadrži kontradikciju.

Gödel je za ovaj korak koristio tehniku kodiranja, poznatu kao Gödelovo kodiranje, kojom je svako matematičko iskazivanje pretvorio u jedinstveni broj. Na taj način je moguće izraziti rečenicu o vlastitoj dokazivosti u samom jeziku sustava, bez potrebe za vanjskim referencama. Brojčani kodovi omogućuju da se sintaktička struktura izjava pretvori u aritmetičke činjenice, čime se most između logike i brojeva čvrsto zatvara.