Gödel's ontological proof

Summary

Gödel's ontological proof is an ontological argument^[1]. It draws 556 Wikipedia views per month (ontological_argument category, ranking #1 of 1).^[2]

Key Facts

• Gödel's ontological proof is credited with the discovery of Kurt Gödel^[3].
• Gödel's ontological proof's instance of is recorded as ontological argument^[4].
• Gödel's ontological proof's instance of is recorded as mathematical proof^[5].
• Kurt Gödel is named after Gödel's ontological proof^[6].
• Gödel's ontological proof's time of discovery or invention is recorded as +1941-00-00T00:00:00Z^[7].
• Gödel's ontological proof's Freebase ID is recorded as /m/03855^[8].
• Gödel's ontological proof's uses is recorded as modal logic^[9].
• Gödel's ontological proof's defining formula is recorded as \begin{array}{rl}A1&(P(p)\land\Box\forall x(p(x)\to q(x)))\to P(q)\A2&P(\neg p)\iff\neg P(p)\T1&P(p)\to\Diamond\exists xp(x)\D1&G(x)\iff\forall p(P(p)\to p(x))\A3&P(G)\T2&\Diamond\exists xG(x)\D2&S(p,x)\iff p(x)\land\forall q(q(x)\to\Box\forall y(p(y)\to q(y)))\A4&P(p)\to\Box P(p)\T3&G(x)\to S(G,x)\D3&E(x)\iff\forall p(S(p,x)\to\Box\exists yp(y))\A5&P(E)\T4&\Box\exists xG(x)\end{array}^[10].
• Gödel's ontological proof's maintained by WikiProject is recorded as WikiProject Mathematics^[11].
• Gödel's ontological proof's Microsoft Academic ID is recorded as 2778817621^[12].

Body

Works and Contributions

Gödel's ontological proof is credited with the discovery of Kurt Gödel^[3].

Why It Matters

Gödel's ontological proof draws 556 Wikipedia views per month (ontological_argument category, ranking #1 of 1).^[2] It has Wikipedia articles in 11 language editions, a strong signal of global cultural recognition.^[13]