Kurt Göbel (1906 – 1978) rond 1935.

Een wezen bestaat als alle positieve eigenschappen er in zijn verenigd. De Oostenrijkse wijsgeer, logicus en wiskundige Kurt Gödel had voor zichzelf het bewijs geleverd dat God bestaat, maar dat lange tijd voor zich gehouden. Twee wetenschappers zouden nu hebben gevonden dat dat godsbewijs klopt, zo stelt het Duitse blad Der Spiegel. Ergo: God bestaat dus, of…?
De informatici Christoph Benzmüller van de vrije universiteit van Berlijn en zijn Weense vakgenoot Bruno Woltzenlogel van de technische universiteit Wenen hebben een MacBook het werk laten doen. Met een beetje hulp had de computer het binnen een minuut voor elkaar. Gödels godsbewijs uit 1941 klopte. De bewijsvoering was, uitgeschreven, zo’n anderhalf kantje lang. 
Tja, wat nu? Als iemand zich ongemakkelijk voelt bij dit nieuws of misschien zelfs opstandig, dan is hij/zij in goed gezelschap. Gödel zelf voelde zich er ook niet lekker bij. Zijn vriend Oskar Morgenstern had hij gezegd dat hij tevreden was over het bewijs, maar dat hij bang was om niet begrepen te worden. Tientallen jaren lang heeft hij het bewijs voor zich gehouden. Gödel was het naziregime ontvlucht en had domicilie gevonden in de Amerikaanse universiteitsstad Princeton. Daar sprak hij Albert Einstein regelmatig, die ook speculeerde over het bestaan van God. Pas toen Gödel in 1970 dacht dat zijn einde naderde,  liet hij een student van hem, Dana Scott, het bewijs zien. Hij hield er een lezing over. Zo bleef de bewijsvoering bewaard.
Voor het godsbewijs gebruikte Gödel een tamelijk ongebruikelijk en, ook voor wiskundigen, ontoegankelijke soort wiskunde. Met deze exotische wiskunde proberen Gödel voorwaarden te vinden voor het bestaan van God, maar wat is God eigenlijk, logisch gezien? Gödel noemde hem een wezen dat alle positieve eigenschappen in zich verenigt. Maar wat is nu weer een positieve eigenschap? Dat legt Göbel niet erg uit. Hij gaf wel twee voorbeelden: God te zijn en noodzakelijkerwijs te bestaan. Vervolgens stelt hij dat elke eigenschap of positief of het tegendeel is. Hij bewees eerst dat God mogelijk bestaat en vervolgens dat het niet anders kon dan dat God bestaat. Q.e.d.: hetgeen te bewijzen was.
Gödels bewijs was niet helemaal ‘hermetisch’. Er zaten gaten in. Hij schreef niet alles op en maakte soms gedachtensprongen. Daarom ook paste zijn bewijs op een bloknootvelletje. Benzmüller en Woltzenlogel vulden de gaten. Uitgeschreven zo’n 300 regels lang.
Kurt Gödel is bij het grote publiek niet erg bekend, maar wordt als een van de grootste logici beschouwd in dezelfde categorie als Aristoteles, zo formuleerde de Amerikaanse wijsgeer Rebecca Goldstein het. Het was daarbij een tamelijk vreemde figuur die doodsbang was vergiftigd te worden. Hij at alleen voedsel dat door zijn vrouw Adéle, een voormalige nachtclubdanseres, was voorgeproefd. Toen zij geveld werd door een hartaanval, moest ze hulpeloos toezien hoe een geniale man -geniale gek, zou je geneigd zijn te zeggen – zich, letterlijk, doodhongerde. Overigens zal dit godsbewijs weinig oprechte atheïsten overtuigen, zegt Der Spiegel.

Bron : Der Spiegel