Ad
related to: gödel's ontological proof
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).
He formulated a formal proof for the existence of God known as Gödel's ontological proof. Gödel believed in an afterlife, saying, "Of course this supposes that there are many relationships which today's science and received wisdom haven't any inkling of. But I am convinced of this [the afterlife], independently of any theology."
A more recent ontological argument came from Kurt Gödel, who proposed a formal argument for God's existence. Norman Malcolm also revived the ontological argument in 1960 when he located a second, stronger ontological argument in Anselm's work; Alvin Plantinga challenged this argument and proposed an alternative, based on modal logic.
Kurt Gödel created a formalization of Leibniz' version, known as Gödel's ontological proof. [1] A more recent argument was made by Stephen D. Unwin in 2003, who suggested the use of Bayesian probability to estimate the probability of God's existence. [2]
Bernays included a full proof of the incompleteness theorems in the second volume of Grundlagen der Mathematik , along with additional results of Ackermann on the ε-substitution method and Gentzen's consistency proof of arithmetic. This was the first full published proof of the second incompleteness theorem.
Gödel's proof may refer to: Gödel's incompleteness theorems; Gödel's ontological proof; See also: Gödel's theorem (disambiguation)
In which case it is no longer anything like Godel's proof, and no longer carries even the level of certainty Godel's proof carries, because there is no evidence that the property "exists" is necessary for a thing that is incompatible with God to possess, while in Godel's proof, if you accept that "exists" is a positive property and that God ...
Gödel's ontological proof This page was last edited on 22 February 2022, at 17:49 (UTC). Text is available under the Creative Commons Attribution ...