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.
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]
Gödel's proof may refer to: Gödel's incompleteness theorems; Gödel's ontological proof; See also: Gödel's theorem (disambiguation)
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.
The name of this formula derives from Beweis, the German word for proof. A second new technique invented by Gödel in this paper was the use of self-referential sentences. Gödel showed that the classical paradoxes of self-reference, such as " This statement is false ", can be recast as self-referential formal sentences of arithmetic.
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 ...