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.
Print/export Download as PDF; Printable version; In other projects Wikidata item; ... Gödel's ontological proof This page was last edited on 22 ...
I'm not saying that this proves God exists. I'm saying that this is, succinctly, Godel's proof. I'm not interested in whether or not Godel has proved God exists. I'm interested in accurately describing Godel's proof and reasonable objections to the proof based on the proof its self, not some ridiculous misreading of it. 6.
Main page; Contents; Current events; Random article; About Wikipedia; Contact us
Download as PDF; Printable version; In other projects ... move to sidebar hide. Gödel's proof may refer to: Gödel's incompleteness theorems ... Gödel's ontological ...
Kurt Gödel (1925) The proof of Gödel's completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a shorter version of the proof, published as an article in 1930, titled "The completeness of the axioms of the functional calculus of logic" (in German)) is not easy to read today; it uses concepts and formalisms that are no longer used and terminology that is often obscure.
Moreover, one may define a statement form Proof(x,y), which for every two numbers x and y is provable if and only if x is the Gödel number of a proof of the statement S and y = G(S). Proof(x,y) is in fact an arithmetical relation, just as "x + y = 6" is, though a much more complicated one.