Search results
Results From The WOW.Com Content Network
A humorous variant of Gödel's ontological proof is mentioned in Quentin Canterel's novel The Jolly Coroner. [26] [page needed] The proof is also mentioned in the TV series Hand of God. [specify] Jeffrey Kegler's 2007 novel The God Proof depicts the (fictional) rediscovery of Gödel's lost notebook about the ontological proof. [27]
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.
Download as PDF; Printable version; ... Gödel's ontological proof; Original proof of Gödel's completeness theorem; S.
In the context of philosophy, the term is commonly used in critiques of ontological arguments for the existence of God and the principle of divine simplicity. [1] [3] For example, Gödel's ontological proof contains as a theorem, which combined with the axioms of system S5 leads to modal collapse. [4]
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]
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.
Download as PDF; Printable version; In other projects Wikidata item; Appearance. move to sidebar hide ... Gödel's ontological proof This page was last edited on 22 ...
Download as PDF; Printable version ... move to sidebar hide. Gödel's proof may refer to: Gödel's incompleteness theorems ... Gödel's ontological proof; See also ...