When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. Gödel's ontological proof - Wikipedia

    en.wikipedia.org/wiki/Gödel's_ontological_proof

    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]

  3. Kurt Gödel - Wikipedia

    en.wikipedia.org/wiki/Kurt_Gödel

    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.

  4. Gödel's theorem - Wikipedia

    en.wikipedia.org/wiki/Gödel's_theorem

    Print/export Download as PDF; Printable version; In other projects Wikidata item; ... Gödel's ontological proof This page was last edited on 22 ...

  5. Gödel's proof - Wikipedia

    en.wikipedia.org/wiki/Gödel's_proof

    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 ...

  6. Modal collapse - Wikipedia

    en.wikipedia.org/wiki/Modal_collapse

    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]

  7. Category:Arguments for the existence of God - Wikipedia

    en.wikipedia.org/wiki/Category:Arguments_for_the...

    Download as PDF; Printable version; ... Pages in category "Arguments for the existence of God" ... God of the gaps; Gödel's ontological proof; I. Intelligent design;

  8. Talk:Gödel's ontological proof/Archive 1 - Wikipedia

    en.wikipedia.org/wiki/Talk:Gödel's_ontological...

    Main page; Contents; Current events; Random article; About Wikipedia; Contact us

  9. On Formally Undecidable Propositions of Principia Mathematica ...

    en.wikipedia.org/wiki/On_Formally_Undecidable...

    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.