U jednadžbi sve štima – ako ne pitaš za smisao
Šikić: Ontološki dokaz Kurta Gödela logički vodi do Boga koji nužno postoji. No, taj “matematički” Bog dijeli malo toga s božanstvima stvarnih vjera
Postoji više filozofskih argumenata za postojanje Boga: dizajnerski, etički, uzročni i logički – no nijedan ne opisuje konkretne bogove religija. Ontološki argument potječe od Anselma, Descartesa i Leibniza, koji definiraju Boga kao savršeno biće koje mora postojati, jer bi inače bilo manje savršeno. Gödel je razvio formaliziranu verziju tog argumenta, no nije ga objavio iz straha da ga ne smatraju vjernikom – jer je dokaz bio logička vježba, a ne teološka izjava. U konačnici, pitanje nije postoji li Bog, nego je li logički dopušten da postoji. Njegov dokaz sadrži niz precizno definiranih logičkih formula i teorema, uključujući definiciju Boga, nužno postojanje i zaključak da takvo biće mora postojati u svakoj mogućoj stvarnosti – barem na papiru. Matematičar Zvonimir Šikić za Ideje.
