Ljubavno pismo učenju

Početkom dvadesetog veka matematika je ličila na ogromnu građevinu čiji su temelji, posle više od dve hiljade godina dograđivanja, odjednom počeli da izazivaju nelagodu. Njene kule bile su veličanstvene: geometrija je opisivala prostor, analiza kretanje i promenu, algebra skrivene odnose među veličinama, a nova teorija skupova obećavala je zajednički jezik iz kojeg bi se mogla izvesti gotovo čitava matematika. Ipak, što su matematičari dublje istraživali osnove svog znanja, nailazili su na pitanja koja se nisu mogla ukloniti još jednim veštim proračunom. Ako svaka tvrdnja počiva na nekoj prethodnoj tvrdnji, gde počinje lanac opravdanja? Kako znamo da se iz izabranih aksioma nikada neće izvesti protivrečnost? Može li se napraviti sistem pravila koji će obuhvatiti sve matematičke istine i za svako pravilno postavljeno pitanje dati konačan odgovor?

Nada da je takav sistem moguć bila je snažna i razumljiva. Matematika je vekovima predstavljala najpouzdaniji oblik ljudskog znanja. U njoj se zaključci nisu zasnivali na utisku, autoritetu ili promenljivom iskustvu, nego na dokazu. Kada se jednom prihvate početne pretpostavke i pravila zaključivanja, svaka naredna rečenica mora da bude izvedena iz njih. Ta stroga uređenost podsticala je zamisao da bi celokupna matematika mogla biti zapisana kao veliki, ali precizno određen formalni mehanizam: skup simbola, aksioma i pravila pomoću kojih bi se, makar u načelu, mogla proveriti svaka matematička tvrdnja.

Ovaj san nije bio naivna vera da će dovoljno strpljiv matematičar jednog dana rešiti sve zadatke. Iza njega je stajao ozbiljan pokušaj obnove matematičke sigurnosti. Paradoksi teorije skupova pokazali su da čak i intuitivno uverljive definicije mogu dovesti do protivrečnosti. Raselov paradoks, na primer, razmatrao je skup svih skupova koji ne sadrže sami sebe. Ako takav skup sadrži samoga sebe, prema sopstvenoj definiciji ne bi smeo da ga sadrži; ako ga ne sadrži, onda ispunjava uslov da bude jedan od svojih elemenata. Problem se nije nalazio u pogrešnom sabiranju ili previdu u dugom dokazu. Pukotina se pojavila u samom jeziku kojim su matematički objekti određivani.

David Hilbert i njegovi saradnici želeli su da matematiku učine potpuno jasnom, doslednom i proverljivom. Matematičke teorije trebalo je izraziti pomoću preciznih formalnih sistema, a zatim sigurnim, konačnim postupcima dokazati da u njima nije moguće izvesti i neku tvrdnju i njenu negaciju. Takva osobina sistema naziva se doslednost. Uz nju se tražila i potpunost: za svaku tvrdnju koju sistem ume pravilno da izrazi trebalo bi da postoji dokaz te tvrdnje ili dokaz njene negacije. Hilbertov ideal obećavao je matematiku u kojoj nijedno dobro postavljeno pitanje neće zauvek ostati bez odgovora.

Formalni sistem može se zamisliti kao pažljivo uređena igra sa simbolima. Najpre se određuju početne tvrdnje, odnosno aksiomi, zatim pravila koja govore koje je korake dozvoljeno napraviti, a dokaz postaje konačan niz pravilnih prelazaka od aksioma do zaključka. Čovek može razumeti značenje simbola, ali provera formalne ispravnosti dokaza ne bi trebalo da zavisi od njegovog nadahnuća ili autoriteta. Svaki korak mora biti dovoljno jasan da ga može proveriti drugi matematičar, a u savremenom svetu i odgovarajući računarski program. Upravo je ta preciznost davala nadu da će matematika jednog dana moći da sagleda i potvrdi sopstvene temelje.

Kurt Gedel je 1931. godine pokazao da taj ideal nailazi na granicu koja ne potiče iz nedostatka vremena, ljudske inteligencije ili dovoljno snažnih računara. Svaki dosledan, efektivno aksiomatizovan formalni sistem koji je dovoljno izražajan da u sebi obuhvati osnovnu aritmetiku prirodnih brojeva sadrži tvrdnje koje se unutar njega ne mogu ni dokazati ni opovrgnuti. Sistem može biti izuzetno bogat, precizan i pouzdan, a ipak neće moći da odluči svako pitanje koje njegov sopstveni jezik ume da postavi.

Presudan deo Gedelovog poduhvata bio je način na koji je matematičke simbole, formule i dokaze predstavio pomoću prirodnih brojeva. Svakom simbolu mogla se dodeliti brojčana oznaka, a nizovi simbola mogli su biti kodirani tako da čitave formule i dokazi dobiju svoje jedinstvene brojeve. Ovaj postupak, danas poznat kao Gedelovo numerisanje, pretvorio je rečenice o formalnim dokazima u rečenice o brojevima. Aritmetika je tako dobila mogućnost da posredno govori o sopstvenim formulama, pravilima i dokazima.

Pre tog koraka postojala je jasna razlika između matematike i metamatematike. Matematika je govorila o brojevima i drugim matematičkim objektima, dok je metamatematika govorila o matematičkim sistemima, formulama i dokazima. Gedel je pronašao način da izjave sa tog spoljnog nivoa kodira unutar same aritmetike. Tvrdnja poput „postoji broj koji predstavlja valjan dokaz formule sa određenom oznakom” postala je aritmetička tvrdnja. Sistem je dobio matematičko ogledalo u kojem je, preko brojeva, mogao da govori o sopstvenoj dokazivosti.

Iz te konstrukcije nastala je rečenica čiji se smisao, pojednostavljeno ali verno, može izraziti rečima: „Ova tvrdnja nije dokaziva u ovom sistemu.” Ona podseća na stari paradoks „Ova rečenica je lažna”, ali se od njega presudno razlikuje. Paradoks lažljivca neposredno govori o istini i proizvodi kruženje između istinitog i lažnog. Gedelova rečenica govori o formalnoj dokazivosti, a njena samoreferencijalna struktura nije ostvarena jezičkom dosetkom, već preciznim aritmetičkim postupkom.

Pretpostavimo da sistem može da dokaže Gedelovu rečenicu. Tada bi dokazao tvrdnju koja kaže da u tom sistemu nema dokaz. Dosledan sistem ne može da proizvede takav ishod. Ako je sistem dosledan, Gedelova rečenica zato u njemu ostaje nedokaziva. Upravo tada ona tačno opisuje vlastiti položaj: u posmatranom sistemu zaista nema dokaz. Sa stanovišta šireg matematičkog razumevanja možemo uvideti da je rečenica istinita, dok formalni sistem o kome govori ne može da je dokaže sopstvenim sredstvima.

Prva teorema o nepotpunosti time je razdvojila pojmove koji su se lako stapali u jedan: matematičku istinu i formalnu dokazivost. Dokazivost zavisi od izabranih aksioma i pravila zaključivanja. Istinitost se odnosi na ono što matematička tvrdnja govori u određenom tumačenju, naročito o prirodnim brojevima u njihovom standardnom značenju. Dovoljno snažan i dosledan formalni sistem može dokazati neizmerno mnogo, ali ne može obuhvatiti sve aritmetičke istine koje njegov jezik ume da izrazi.

Moglo bi se pomisliti da se problem lako rešava dodavanjem nedokazive tvrdnje među nove aksiome. Takvo proširenje je moguće. Novi sistem tada će moći da dokaže ono što prethodni nije mogao. Međutim, ako prošireni sistem ostane dosledan, dovoljno snažan i efektivno opisan, u njemu će se pojaviti nova tvrdnja koju njegova pravila ne mogu odlučiti. Granica se pomera, ali ne nestaje. Svako proširenje mape otvara novi horizont i pokazuje da nepotpunost nije mana jednog nespretno sastavljenog sistema, nego neizbežna osobina čitave klase formalnih sistema.

Gedelova druga teorema o nepotpunosti zadire još dublje u Hilbertov program. Dovoljno snažan i dosledan formalni sistem ne može, pod uobičajenim matematičkim uslovima, sopstvenim sredstvima dokazati svoju doslednost. Sistem može dokazivati mnoge tvrdnje o brojevima i formalizovati veliki deo matematičkog zaključivanja, ali ne može iznutra pružiti završnu garanciju da iz njegovih aksioma nikada neće nastati protivrečnost. Ako se njegova doslednost potvrđuje u snažnijem sistemu, odmah se otvara pitanje na čemu počiva poverenje u taj širi okvir.

Ove teoreme nisu pokazale da je matematika nepouzdana. Same predstavljaju izuzetno stroge matematičke dokaze. Njihova poruka nije da ništa ne možemo znati, da je svako mišljenje jednako vredno ili da se u svakom sistemu skriva proizvoljna protivrečnost. One precizno određuju odnos između izražajne snage, efektivne aksiomatizacije, doslednosti i potpunosti. Jednostavnije matematičke teorije mogu biti potpune i odlučive. Nepotpunost postaje neizbežna kada formalni sistem dostigne dovoljnu snagu da izrazi aritmetiku prirodnih brojeva i sopstvenu strukturu kodira unutar nje.

Gedelov rezultat nije okončao Hilbertov program jednim potezom niti učinio istraživanje temelja matematike besmislenim. On je pokazao da se prvobitni san o jednoj konačnoj, potpuno unutrašnjoj potvrdi celokupne matematike ne može ostvariti u zamišljenom obliku. Iz istih pitanja razvile su se teorija dokaza, proučavanje relativne doslednosti i metode poređenja snage različitih aksiomatskih sistema. Matematičari su nastavili da dokazuju doslednost jednih teorija oslanjajući se na druge, ali su sada morali jasno da navedu koje pretpostavke koriste i šta njihov rezultat zaista garantuje.

Kasniji radovi dodatno su produbili ovaj preokret. Barkli Roser pokazao je da se uslovi prve teoreme mogu oslabiti. Gerhard Gencen dokazao je doslednost aritmetike koristeći metode koje prevazilaze sredstva koja sama aritmetika može iznutra potpuno opravdati. U teoriji skupova Gedel je pokazao da se aksiom izbora i generalizovana hipoteza kontinuuma ne mogu opovrgnuti iz standardnog aksiomatskog okvira ako je taj okvir dosledan. Pol Koen je kasnije dokazao odgovarajuće rezultate nedokazivosti, čime je potvrđeno da su ove tvrdnje nezavisne od uobičajenih aksioma teorije skupova.

Nezavisnost je promenila način na koji matematičari razumeju pitanje i odgovor. Ponekad ni tvrdnja ni njena negacija ne mogu biti izvedene iz aksioma sa kojima smo započeli. Tada problem ne mora biti u nedovoljnoj domišljatosti matematičara. Moguće je da postojeći okvir zaista ne određuje odgovor. Matematičari mogu proučavati šta se događa kada prihvate dodatni aksiom, šta kada prihvate njegovu negaciju i koji novi principi najbolje osvetljavaju oblast koju žele da razumeju. Matematika se time ne pretvara u proizvoljan izbor pravila. Naprotiv, postaje preciznija u razlikovanju zaključka koji nužno sledi od pretpostavke koja je izabrana kao početak.

Nekoliko godina posle Gedelovog rada, Alonzo Čerč i Alan Tjuring utvrdili su granice opštih mehaničkih postupaka. Tjuring je pokazao da ne postoji univerzalni algoritam koji će za svaki mogući program i ulaz uvek odlučiti hoće li se izvršavanje programa zaustaviti. Gedelove teoreme i Tjuringov problem zaustavljanja nisu isti rezultat, ali pripadaju istoj velikoj promeni mišljenja. Postoje potpuno precizno postavljeni problemi za koje nijedan univerzalni formalni ili računarski postupak ne može u svim slučajevima proizvesti odgovor.

Ova saznanja postala su deo temelja teorijskog računarstva. Savremeni programi za automatsko dokazivanje teorema i formalnu verifikaciju proveravaju matematičke dokaze, procesore, operativne sisteme, bezbednosne protokole i softver od kojeg mogu zavisiti ljudski životi. Njihova ograničenja nisu razlog da se od takvih metoda odustane. Ona zahtevaju da se precizno odredi šta se proverava, u kom modelu, pod kojim pretpostavkama i do kog nivoa sigurnosti. Pouzdanost ne znači da je jedan program obuhvatio sve moguće istine, nego da tačno znamo šta je dokazano i u odnosu na koji formalni okvir.

Gedelove teoreme dobile su izvan matematike gotovo mitski život. Pominjane su u filozofiji uma, književnosti, umetnosti, teologiji, politici i raspravama o veštačkoj inteligenciji. Slika sistema koji ne može potpuno obuhvatiti sopstvenu istinu pokazala se izuzetno privlačnom. Ona može biti podsticajna metafora, ali metaforu ne treba zameniti matematičkim dokazom. Teoreme o nepotpunosti ne dokazuju da svaka institucija sadrži protivrečnost, da nijedna naučna teorija ne može opisivati prirodu niti da čovek samim tim mora posedovati sposobnost nedostupnu svakoj mašini.

Posebno je dugotrajna rasprava o tome da li Gedelov rezultat pokazuje da ljudski um nije računar. Jedan formalni sistem ne može dokazati svoju Gedelovu rečenicu, dok čovek koji sistem posmatra spolja može razumeti zbog čega je ona istinita. Ipak, čovek nema unapred dokazanu sopstvenu doslednost, ne misli uvek unutar jednog nepromenljivog formalnog sistema i često greši. Kada prepoznamo granicu određenog sistema, činimo to iz šireg okvira čije pretpostavke ponovo zahtevaju opravdanje. Gedelove teoreme otvaraju ozbiljno pitanje o odnosu uma i računanja, ali same ne pružaju jednostavan dokaz da ljudsko mišljenje mora biti nealgoritamsko.

Ista preciznost potrebna je kada se o Gedelu govori u kontekstu savremene veštačke inteligencije. Neuronske mreže nisu formalni aksiomatski sistemi iste vrste na koju se njegove teoreme neposredno odnose. Njihove greške, pristrasnosti i ograničenja ne mogu se jednostavno proglasiti primerima matematičke nepotpunosti. Gedelova misao ipak pruža važnu kulturu opreza: nijedan model, algoritam ili postupak ne treba poistovetiti sa celinom oblasti koju predstavlja. Svaki sistem radi pomoću određenih podataka, pravila, ciljeva i načina predstavljanja sveta. Razumevanje njegove moći zahteva i razumevanje onoga što tim izborima ostaje izvan njegovog vidokruga.

U obrazovanju se često prećutno neguje predstava da svako pitanje mora imati odgovor na poslednjoj stranici udžbenika. Neznanje tada izgleda samo kao prazno mesto koje treba popuniti već poznatom činjenicom. Gedelova ideja otkriva složeniju geografiju znanja. Neka pitanja ostaju otvorena zato što dokaz još nije pronađen. Druga su nezavisna od pretpostavki koje trenutno koristimo. Treća zahtevaju novi jezik, dodatne aksiome ili prelazak u širi teorijski okvir. Zrelost u učenju počinje kada umemo da razlikujemo ove mogućnosti i kada odsustvo odgovora ne prikrivamo samouverenošću.

Veliki sistemi znanja lako stvaraju autoritet. Njihova složenost, precizan jezik i obilje uspešnih objašnjenja mogu navesti čoveka da poveruje kako se sve što je važno već nalazi unutar prihvaćenog okvira. Gedelov rad uči drugačijoj vrsti intelektualne discipline. Poštovati sistem znači razumeti i njegovu snagu i njegove uslove. Autoritet zasnovan na znanju ume da kaže dokle dokaz dopire. Autoritarnost pokušava da granicu prikrije sigurnošću tona i da ono što sistem ne može potvrditi predstavi kao neposlušnost, neznanje ili besmislicu.

Zato granica sistema nije dozvola za proizvoljnost. Iz činjenice da jedan okvir nije potpun ne sledi da su svi odgovori podjednako dobri. Tvrdnja koja je strogo dokazana i tvrdnja izrečena bez ikakvog pokrića ne dobijaju istu vrednost zato što postoji nešto što formalni sistem ne može da odluči. Gedel nas poziva na veću, a ne na manju odgovornost prema argumentima. Potrebno je znati šta je dokazano, koje su pretpostavke korišćene, šta još ne znamo i na kom mestu počinje tumačenje.

Ova razlika važna je i izvan matematike. Zakoni, naučni modeli, sistemi ocenjivanja i poslovni pokazatelji stvaraju uređene jezike pomoću kojih donosimo odluke. Svaki od njih nešto vidi veoma jasno, a nešto ostavlja izvan svog načina merenja. Finansijski izveštaj može precizno prikazati prihode i rashode, a da ne obuhvati poverenje zaposlenih ili znanje koje će vrednost pokazati tek u budućnosti. Statistički model može pronaći snažnu pravilnost, a da ne objasni uzrok. Takvi primeri nisu formalne primene Gedelovih teorema, ali podsećaju na obavezu da nijednu mapu ne proglasimo čitavom teritorijom.

Najdublji trag Gedelove ideje nalazi se u promenjenom odnosu prema sigurnosti. Savršeno znanje nekada se moglo zamišljati kao zatvoren krug: aksiomi garantuju dokaze, dokazi obuhvataju sve istine, a sistem na kraju potvrđuje sopstvenu pouzdanost. Posle Gedela matematička sigurnost postala je skromnija, ali i preciznija. Možemo dokazati izuzetno mnogo, graditi pouzdane teorije, proveravati zaključke i upoređivati snagu različitih sistema. Ne možemo očekivati da jedan dovoljno snažan, dosledan i efektivno aksiomatizovan okvir istovremeno odluči svaku aritmetičku tvrdnju i sopstvenim sredstvima pruži konačnu potvrdu svoje doslednosti.

U tome nema poraza razuma. Razum pokazuje svoju veličinu i kada rešava problem i kada strogo utvrđuje da određena metoda do rešenja ne može dopreti. Dokaz o granici i sam je znanje. On nas štiti od beskrajnog traženja postupka koji ne može postojati, ali i od lakog zaključka da odgovor ne postoji samo zato što ga nismo pronašli unutar sadašnjeg okvira. Gedel je matematiku naučio da pažljivije razlikuje istinito, dokazivo, opovrgljivo, odlučivo i nezavisno.

Ideja je postala veća od svog autora jer je promenila način na koji posmatramo svaku veliku intelektualnu građevinu. Ona živi kada matematičar pita šta određeni aksiomi mogu da dokažu, kada programer utvrđuje šta algoritam može da odluči i kada naučnik preispituje pretpostavke ugrađene u model. Njena poruka ne poziva da pred granicom odustanemo. Poziva nas da ivicu sadašnje mape označimo pošteno, razumemo zbog čega se pojavila i potražimo širi pogled bez tvrdnje da smo pronašli poslednji mogući horizont.