Gödel's ontological proof (English Wikipedia)

André Fuhrmann (2005). "Existenz und Notwendigkeit — Kurt Gödels axiomatische Theologie" [Existence and Necessity — Kurt Gödel's Axiomatic Theology] (PDF). In W. Spohn (ed.). Logik in der Philosophie [Logic in Philosophy] (in German). Heidelberg: Synchron. pp. 349–374. Archived (PDF) from the original on 2016-05-18.

files.wordpress.com

appearedtoblogly.files.wordpress.com

Curtis Anthony Anderson (Jul 1990). "Some Emendations of Gödel's Ontological Proof" (PDF). Faith and Philosophy. 7 (3): 291–303. doi:10.5840/faithphil19907325. Archived (PDF) from the original on 2015-06-04.

fu-berlin.de

page.mi.fu-berlin.de

Christoph Benzmüller and Bruno Woltzenlogel-Paleo (2014). "Automating Gödel's Ontological Proof of God's Existence with Higher-Order Automated Theorem Provers" (PDF). Proc. European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications. Vol. 263. IOS Press. pp. 93–98. Archived (PDF) from the original on 2014-07-14.

github.com

"FormalTheology/GoedelGod". GitHub. 28 June 2021.

ijcai.org

Christoph Benzmüller and Bruno Woltzenlogel-Paleo (Jul 2016). "The Inconsistency in Gödel's Ontological Argument: — A Success Story for AI in Metaphysics" (PDF). In Subbarao Kambhampati (ed.). Proc. 25th International Joint Conference on Artificial Intelligence. AAAI Press. pp. 936–942. Archived (PDF) from the original on 2016-11-13.

isa-afp.org

Christoph Benzmüller and David Fuenmayor (May 2017). "Types, Tableaus and Gödel's God in Isabelle/HOL". Archive of Formal Proofs. ISSN 2150-914X.

jeffreykegler.github.io

Jeffrey Kegler (2007), The God Proof, archived from the original on 2021-07-28, retrieved 2021-03-25, full text online.

magiscenter.com

"Godel's Theorem and the Existence of God". Magis Center. 2017-04-26. Retrieved 2018-05-23.

monoskop.org

Gödel's proof is reprinted on p.403-404,429-437 of: Kurt Gödel (Mar 1995). Solomon Feferman and John W. Dawson jr. and Warren Goldfarb and Charles Parsons and Robert M. Solovay (ed.). Unpublished Essays and Lectures (PDF). Collected Works. Vol. III (1st ed.). Oxford: Oxford University Press. ISBN 0-19-507255-3.
Kurt Gödel (Mar 1995). "Texts Relating to the Ontological Proof (App. B)". In Solomon Feferman; John W. Dawson jr.; Warren Goldfarb; Charles Parsons; Robert M. Solovay (eds.). Unpublished Essays and Lectures (PDF). Collected Works. Vol. III (1st ed.). Oxford: Oxford University Press. pp. 429–437. ISBN 0-19-507255-3. Here: p.435; probably, Sobel referred to Gödel's note 4.: "... If $\varphi (x)\Rightarrow \Box \varphi (x)$ is assumed [as following from the essence of $x$ ], ... but that is the inferior way. Rather, $\varphi (x)\Rightarrow \Box \varphi (x)$ should follow first from the existence of God." The note might indicate that Gödel was aware of his axioms implying modal collapse.

projecteuclid.org

Curtis Anthony Anderson and Michael Gettings (Aug 1996). "Gödel's ontological proof revisited". In Petr Hájek (ed.). Proc. Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics — Kurt Gödel's Legacy. Lecture Notes in Logic. Vol. 6. Springer. pp. 167–172.

researchgate.net

Graham Oppy (Oct 1996). "Godelian ontological arguments". Analysis. 54 (4): 226–230. doi:10.1093/analys/56.4.226. — Longer version (2005)

robkoons.net

Robert C. Koons (Jul 2005). Sobel on Gödel's Ontological Proof (PDF) (Unpublished Paper). University of Texas at Austin. Archived from the original (PDF) on 2020-08-02.

spiegel.de

Knight, David (23 October 2013). "Scientists Use Computer to Mathematically Prove Gödel's God Theorem". Der Spiegel. Retrieved 28 October 2013.

web.archive.org

Robert C. Koons (Jul 2005). Sobel on Gödel's Ontological Proof (PDF) (Unpublished Paper). University of Texas at Austin. Archived from the original (PDF) on 2020-08-02.
Curtis Anthony Anderson (Jul 1990). "Some Emendations of Gödel's Ontological Proof" (PDF). Faith and Philosophy. 7 (3): 291–303. doi:10.5840/faithphil19907325. Archived (PDF) from the original on 2015-06-04.
André Fuhrmann (2005). "Existenz und Notwendigkeit — Kurt Gödels axiomatische Theologie" [Existence and Necessity — Kurt Gödel's Axiomatic Theology] (PDF). In W. Spohn (ed.). Logik in der Philosophie [Logic in Philosophy] (in German). Heidelberg: Synchron. pp. 349–374. Archived (PDF) from the original on 2016-05-18.
Christoph Benzmüller and Bruno Woltzenlogel-Paleo (2014). "Automating Gödel's Ontological Proof of God's Existence with Higher-Order Automated Theorem Provers" (PDF). Proc. European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications. Vol. 263. IOS Press. pp. 93–98. Archived (PDF) from the original on 2014-07-14.
Christoph Benzmüller and Bruno Woltzenlogel-Paleo (Jul 2016). "The Inconsistency in Gödel's Ontological Argument: — A Success Story for AI in Metaphysics" (PDF). In Subbarao Kambhampati (ed.). Proc. 25th International Joint Conference on Artificial Intelligence. AAAI Press. pp. 936–942. Archived (PDF) from the original on 2016-11-13.
Jeffrey Kegler (2007), The God Proof, archived from the original on 2021-07-28, retrieved 2021-03-25, full text online.

worldcat.org

search.worldcat.org

Christoph Benzmüller and David Fuenmayor (May 2017). "Types, Tableaus and Gödel's God in Isabelle/HOL". Archive of Formal Proofs. ISSN 2150-914X.