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 in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.
known for
1970 in science1987 in scienceAgnosticismExistence of GodFrode Alfson BjørdalGodel's ontological argumentGodel's ontological proofGodel ontological proofGodels ontological proofGoedel's ontological proofGoedel ontological proofGoedels ontological proofGödel's ontological argumentGödel's proofGödel's theoremGödel ontological proofHarvey FriedmanHigher-order logicIndex of contemporary philosophy articlesIndex of philosophy articles (D–H)Index of philosophy of religion articlesKurt GödelList of eponyms (A–K)List of mathematical proofsOntologyPhilosophical theismReligious philosophyUltrafilter
Link from a Wikipage to another Wikipage
primaryTopic
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 in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.
has abstract
A demonstração ontológica de G ...... arte, más, mas religião não é.
@pt
Gödel's ontological proof is a ...... part, bad—but religion is not.
@en
La Preuve ontologique de Gödel ...... Gottfried Leibniz (1646-1716).
@fr
La demostració ontològica de G ...... de la demostració matemàtica.
@ca
La prueba ontológica de Gödel ...... aclarar con su argumentación.
@es
哥德爾本體論證明是數學家库尔特·哥德尔對11世紀意大利僧侶聖 ...... 推論去假設極致偉大的存有不存在,也同樣沒有任何自相矛盾之處。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,246,386
Link from a Wikipage to another Wikipage
date
August 2016
@en
March 2017
@en
reason
They should be stated.
@en
Which episode?
@en
wikiPageUsesTemplate
hypernym
comment
A demonstração ontológica de G ...... com seu argumento ontológico.
@pt
Gödel's ontological proof is a ...... with his ontological argument.
@en
La Preuve ontologique de Gödel ...... Gottfried Leibniz (1646-1716).
@fr
La demostració ontològica de G ...... amb el seu argument ontològic.
@ca
La prueba ontológica de Gödel ...... aclarar con su argumentación.
@es
哥德爾本體論證明是數學家库尔特·哥德尔對11世紀意大利僧侶聖 ...... 推論去假設極致偉大的存有不存在,也同樣沒有任何自相矛盾之處。
@zh
label
Demonstração ontológica de Gödel
@pt
Demostració ontològica de Gödel
@ca
Gödel's ontological proof
@en
Preuve ontologique de Gödel
@fr
Prueba ontológica de Gödel
@es
哥德爾本體論證明
@zh