Gödel's ontological proof [SEP] named after
Gödel's ontological proof
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). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing
.
- Hazen, A. P. "On Gödel's Ontological Proof", Australasian Journal of Philosophy, Vol. 76, No 3, pp. 361–377, September 1998
External links.
- Annotated bibliography of studies on Gödel's Ontological Argument
- Thomas Gawlick, "Was sind und was sollen mathematische Gottesbeweise?", Jan. 2012 — shows Gödel's original proof manuscript on p. 2-3
- A Divine Consistency Proof for Mathematics — A submitted work by Harvey Friedman showing that if God exists