Gödel, die geldt als een van de belangrijkste logici aller tijden, is vooral bekend van zijn zogeheten ”onvolledigheidsstelling”, die inhoudt dat de consistentie van de wiskunde uiteindelijk niet te bewijzen is.
De wiskundige stelde ook een variant op van het ontologische godsbewijs, dat teruggaat op de middeleeuwse theoloog Anselmus van Canterbury. De kern van deze redenering is dat God als het volmaaktst denkbare wezen noodzakelijk moet bestaan....Lees hier verder.....
