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 have 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 […]

Read More...

From the Wikipedia: “A judge tells a condemned prisoner that he will be hanged at noon on one day in the following week but that the execution will be a surprise to the prisoner. He will not know the day of the hanging until the executioner knocks on his cell door at noon that day. […]

Read More...

, Chapter 12 Notes. “It seems hard to find an acceptable answer to the question of how or why the world conceives a desire, and discovers an ability, to see itself, and appears to suffer the process. That it does so is sometimes called the original mystery. Perhaps in view of the form in which […]

Read More...