Ads
related to: godel's proof of god's existence
Search results
Results From The WOW.Com Content Network
Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109).
In Spinoza's Short Treatise on God, Man, and His Well-Being, he wrote a section titled "Treating of God and What Pertains to Him", in which he discusses God's existence and what God is. He starts off by saying: "whether there is a God, this, we say, can be proved". [27] His proof for God follows a similar structure as Descartes' ontological ...
Gödel believed that God was personal, [47] and called his philosophy "rationalistic, idealistic, optimistic, and theological". [48] He formulated a formal proof for the existence of God known as Gödel's ontological proof.
Therefore, the question of God's existence may lie outside the purview of modern science by definition. [27] The Catholic Church maintains that knowledge of the existence of God is the "natural light of human reason". [28] Fideists maintain that belief in God's existence may not be amenable to demonstration or refutation, but rests on faith alone.
Gödel's original proofs of the incompleteness theorems, like most mathematical proofs, were written in natural language intended for human readers. Computer-verified proofs of versions of the first incompleteness theorem were announced by Natarajan Shankar in 1986 using Nqthm ( Shankar 1994 ), by Russell O'Connor in 2003 using Coq ( O'Connor ...
For example, Kurt Godel (1905–1978) used modal logic to elaborate and clarify Leibniz's version of Saint Anselm of Canterbury's ontological proof of the existence of God, known as Godel's Ontological Proof. [18]