Wyobraź sobie, że ktoś bierze Księgę Rodzaju, Ewangelię Jana i List do Rzymian, po czym mówi: „Dobrze, panie i panowie i dizadki, teraz przepiszmy to na język logiki modalnej. Bez kadzidła i organów. Same symbole”. Tak w skrócie wygląda przygoda z tzw. ontologicznym dowodem w wersji Gödla. Gödel, ten od twierdzeń o niezupełności, czyli człowiek, który udowodnił, że matematyka ma w sobie dziury jak ser szwajcarski, postanowił kiedyś sformalizować bardzo starą ideę, sięgającą Anzelma z Canterbury. Anzelm twierdził mniej więcej tyle: Bóg to „byt, ponad który nic większego nie można pomyśleć”. A skoro istnieć w rzeczywistości jest „większe” niż istnieć tylko w wyobraźni, to taki byt musi istnieć naprawdę. Brzmi jak scholastyczny TED Talk z XI wieku. Gödel powiedział: sprawdźmy to porządnie. Wprowadził do gry logikę modalną, czyli język, który operuje nie tylko na tym, co jest, ale na tym, co jest możliwe i konieczne. W Biblii słowo „konieczne” pojawia się w innej tonacji: „Musi się to wypełnić”, „Niebo i ziemia przeminą, ale moje słowa nie przeminą”. Modalność, możliwość i konieczność, to w pewnym sensie matematyczny odpowiednik biblijnego napięcia między „teraz” a „na wieki”. Gödel definiuje Boga jako byt posiadający wszystkie „pozytywne własności”. Tu zaczyna się zabawa. „Pozytywne” nie znaczy moralnie miłe jak uśmiech sąsiada. To termin techniczny, pewien zbiór doskonałych cech, którymi natura nie jest do końca rozpisana, ale przyjmowana aksjomatycznie. Potem zakłada kilka rzeczy, m.in. że: - jeśli jakaś własność jest pozytywna, to jej negacja nie jest pozytywna - jeśli własność jest pozytywna i logicznie pociąga inną własność, to ta druga też jest pozytywna - bycie „koniecznie istniejącym” jest własnością pozytywną Wreszcie pokazuje, że jeśli możliwe jest istnienie takiego bytu, to musi on istnieć koniecznie. I tu komputer w 2013 roku mówi: „Tak, zgadza się. Z tych aksjomatów to wynika”. To moment, w którym internet krzyczy: „Udowodnili Boga!”. Tylko że nie do końca. Siła tego dowodu polega na czymś uczciwym: on pokazuje, że klasyczny argument ontologiczny nie jest czystą poetyką średniowiecza. Da się go zapisać w ścisłym języku i sprawdzić krok po kroku. Jeśli przyjmiesz aksjomaty, wniosek jest logicznie spójny. W pewnym sensie przypomina to Prolog z Ewangelii Jana: „Na początku było Słowo”. Tu na początku są aksjomaty. A potem świat wniosków rozwija się nieuchronnie. Jeżeli przyjmiesz, że istnieje coś absolutnie doskonałego i że doskonałość obejmuje konieczne istnienie, to nie możesz zatrzymać się w pół drogi. Ale słabość leży dokładnie w tym samym miejscu. Biblia nie zaczyna od definicji Boga jako „zbioru pozytywnych własności”. Ona zaczyna od historii. Od ogrodu, zdrady, krzyża, milczenia w sobotni poranek. Bóg biblijny nie jest pojęciem maksymalnym ale kimś, kto mówi do Mojżesza „Jestem, który jestem”, co brzmi bardziej jak wyłom w logice niż jak jej triumf. Jest kimś, kto płacze nad Jerozolimą i wisi między dwoma złoczyńcami i nie wygląda na „konieczną własność”. Formalny dowód operuje pojęciem konieczności logicznej. Biblia operuje dramatem relacji. W logice modalnej „konieczne” znaczy: prawdziwe we wszystkich możliwych światach. W Ewangelii „konieczne” znaczy: „Czyż Mesjasz nie miał tego cierpieć?”. To nie jest ta sama konieczność. Największa słabość dowodu Gödla jest taka, że przekonuje tylko tych, którzy już zgodzili się na jego język. Jeśli ktoś powie: „Nie uznaję kategorii ‘pozytywnych własności’ albo nie wierzę, że konieczne istnienie jest doskonałością”, konstrukcja się rozpada jak domek z aksjomatów. *** A jednak jest w tym coś pięknego. Bo nawet jeśli matematyka nie „udowadnia” Boga w sensie biblijnym, to pokazuje, że idea absolutu nie jest logiczną bzdurą a wiara w byt konieczny nie jest sprzeczna z rygorem rozumu. Może więc komputer nie dowiódł Boga, tylko powiedział: - jeśli zaczynasz od światła, dojdziesz do światła. A jeśli zaczynasz od pustki, dojdziesz do pustki. Biblia idzie jeszcze dalej. Ona nie pyta: czy Bóg istnieje, tylko: - czy Go kochasz? I to pytanie nie mieści się w żadnym systemie zerojedynkowym. *** Kurt Gödel (1906-1978) był jednym z najwybitniejszych logików XX wieku. Zasłynął przede wszystkim twierdzeniami o niezupełności, w których wykazał, że każdy wystarczająco złożony system matematyczny zawiera zdania prawdziwe, których nie da się w nim samym udowodnić. Innymi słowy: matematyka ma swoje granice i nie potrafi sama siebie całkowicie domknąć. Równolegle Gödel interesował się filozofią i metafizyką. Zainspirowany klasycznym ontologicznym argumentem św. Anzelma, opracował jego ścisłą, logiczną wersję w języku logiki modalnej. Zdefiniował Boga jako byt posiadający wszystkie „pozytywne własności” i pokazał, że przy przyjęciu określonych aksjomatów z tej definicji wynika konieczne istnienie takiego bytu. W 2013 roku jego szkic został formalnie sprawdzony przez system komputerowy do automatycznego dowodzenia twierdzeń. Komputer potwierdził poprawność wnioskowania, nie dowiódł jednak istnienia Boga w sensie empirycznym, lecz wykazał, że argument jest logicznie spójny w ramach przyjętych założeń. Gödel nie traktował tego projektu jako triumfalnego „dowodu religii”, lecz jako intelektualne ćwiczenie pokazujące, że pytanie o Absolut nie musi być sprzeczne z rygorem rozumu.