Abstract

The ontological proof of the existence of God from Gödel´s heritage is presented and analysed in regard to the classical ontological proofs, due to Descartes and Spinoza, and their criticism by Leibnitz and Kant. Some recent works are taken into account as well, mainly the criticism of Descartes´proof by R. M. Smullyan, the emendations to Gödel´s proof by C. A. Anderson and the analysis of the metaphysical presuppositions and biases behind the proof assumed from scholastic, due to P. Vopěnka