Kurt Gödel

1 post

Kurt Gödel’s Proof of the Existence of God

Explanation of the terms  in the image above. This is Godel’s formalized proof of the existence of God. P(psi) P is “positive” G(x) x has the property God ess. essential E existing • (bullet) Necessary (Kurt Gödel (1995). “Ontological Proof”. Collected Works: Unpublished Essays & Lectures, Volume III. pp. 403–404. Oxford University Press. Gödel left in his papers a  fourteen-point outline of […]