. . . . . "They should be stated."@en . . . . "August 2016"@en . . "La demostraci\u00F3 ontol\u00F2gica de G\u00F6del \u00E9s una formalitzaci\u00F3 del principi d'Anselm de Canterbury: el seu argument ontol\u00F2gic per l'exist\u00E8ncia de D\u00E9u pel matem\u00E0tic Kurt G\u00F6del. L'argument ontol\u00F2gic de Sant Anselm, en la seva forma m\u00E9s succinta, \u00E9s: \"D\u00E9u, per definici\u00F3, \u00E9s all\u00F2 sobre el qual no es pot imaginar res m\u00E9s gran. D\u00E9u existeix a l'enteniment. Si D\u00E9u exist\u00EDs a l'enteniment, el podr\u00EDem imaginar a Ell m\u00E9s gran si exist\u00EDs a la realitat. Aix\u00ED, cal que D\u00E9u existeixi (D\u00E9u existeix).\" Gottfried Leibniz va donar una versi\u00F3 m\u00E9s elaborada; aquesta \u00E9s la versi\u00F3 que G\u00F6del va estudiar i va intentar clarificar amb el seu argument ontol\u00F2gic. Encara que G\u00F6del era profundament religi\u00F3s, mai va publicar la seva prova, ja que temia que no s'interpretaria b\u00E9 i que es pensaria que l'exist\u00E8ncia de D\u00E9u estava demostrada m\u00E9s enll\u00E0 de qualsevol dubte. En canvi, nom\u00E9s ho va considerar com una investigaci\u00F3 l\u00F2gicai una formulaci\u00F3 clara de l'argument de Leibniz amb totes les suposicions expressades.Va ensenyar els arguments repetidament als amics al voltant de 1970 (segons consta al diari d'Oskar Morgenstern) i es van publicar despr\u00E9s de la seva mort.A continuaci\u00F3 es mostra un resum de la demostraci\u00F3 matem\u00E0tica."@ca . . "28842"^^ . . . . "La demostraci\u00F3 ontol\u00F2gica de G\u00F6del \u00E9s una formalitzaci\u00F3 del principi d'Anselm de Canterbury: el seu argument ontol\u00F2gic per l'exist\u00E8ncia de D\u00E9u pel matem\u00E0tic Kurt G\u00F6del. L'argument ontol\u00F2gic de Sant Anselm, en la seva forma m\u00E9s succinta, \u00E9s: \"D\u00E9u, per definici\u00F3, \u00E9s all\u00F2 sobre el qual no es pot imaginar res m\u00E9s gran. D\u00E9u existeix a l'enteniment. Si D\u00E9u exist\u00EDs a l'enteniment, el podr\u00EDem imaginar a Ell m\u00E9s gran si exist\u00EDs a la realitat. Aix\u00ED, cal que D\u00E9u existeixi (D\u00E9u existeix).\" Gottfried Leibniz va donar una versi\u00F3 m\u00E9s elaborada; aquesta \u00E9s la versi\u00F3 que G\u00F6del va estudiar i va intentar clarificar amb el seu argument ontol\u00F2gic."@ca . . "G\u00F6del's ontological proof"@en . "Prueba ontol\u00F3gica de G\u00F6del"@es . . "Demostraci\u00F3 ontol\u00F2gica de G\u00F6del"@ca . "\u54E5\u5FB7\u723E\u672C\u9AD4\u8AD6\u8B49\u660E\u662F\u6578\u5B78\u5BB6\u5E93\u5C14\u7279\u00B7\u54E5\u5FB7\u5C14\u5C0D11\u4E16\u7D00\u610F\u5927\u5229\u50E7\u4FB6\u8056\u5B89\u745F\u502B\u5C0D\u65BC\u795E\u5B58\u5728\u6027\u7684\u672C\u9AD4\u8AD6\u8AD6\u9EDE\u6574\u7406\u4E26\u6539\u9032\u5F8C\u6240\u4F5C\u7684\u6578\u5B78\u8868\u9054\u65B9\u5F0F\u3002\u8056\u5B89\u745F\u502B\u5F8C\u66FE\u670917\u4E16\u7D00\u7684\u83B1\u5E03\u5C3C\u8328\u63D0\u51FA\u4E86\u53E6\u4E00\u500B\u8F03\u8907\u96DC\u7684\u7248\u672C\uFF0C\u800C\u9019\u500B\u5C31\u662F\u54E5\u5FB7\u723E\u6240\u7814\u7A76\u4E26\u5617\u8A66\u7528\u5176\u672C\u9AD4\u8AD6\u908F\u8F2F\u8AD6\u9EDE\u53BB\u6F84\u6E05\u7684\u7248\u672C\u3002 \u96D6\u7136\u54E5\u5FB7\u723E\u6709\u5B97\u6559\u4FE1\u4EF0\uFF0C\u4ED6\u5F9E\u672A\u767C\u8868\u9019\u500B\u8B49\u660E\u3002\u4ED6\u57281970\u5E74\u4EE3\u7D55\u98DF\u800C\u6B7B\u7684\u524D\u5E7E\u5E74\u4E0D\u65B7\u5C07\u9019\u500B\u8AD6\u9EDE\u5411\u8EAB\u908A\u7684\u670B\u53CB\u5011\u5C55\u793A\uFF0C\u4ED6\u53BB\u4E16\u4E5D\u5E74\u5F8C\uFF0C\u53731987\u5E74\uFF0C\u9019\u8AD6\u9EDE\u624D\u88AB\u51FA\u7248\u3002 \u54E5\u5FB7\u723E\u7684\u8AD6\u8B49\u8B49\u660E\u7528\u4E0A\u4E86\u7531\u4ED6\u672C\u4EBA\u53CA\u514B\u91CC\u666E\u514B\u7B4920\u4E16\u7D00\u908F\u8F2F\u5B78\u5BB6\u6240\u767C\u5C55\u7684\u6A21\u6001\u903B\u8F91\uFF0C\u5206\u958B\u4E86\u5FC5\u9700\u7684\u771F\u8207\u5076\u7136\u7684\u771F\u3002 \u8868\u793A\u5FC5\u7136\u6027\uFF0C\u800C \u8868\u793A\u53EF\u80FD\u6027\u3002\u8B49\u660E\u7684\u95DC\u9375\u5728\u65BC\u5229\u7528\u300C\u795E\u53EF\u80FD\u5B58\u5728\u300D\uFF08\u5B9A\u7406\uFF12\uFF09\u53CA\u795E\u7684\u6975\u81F4\u6027\uFF08\u5B9A\u7FA9\uFF11\uFF09\u53BB\u63A8\u5C0E\u51FA\u300C\u795E\u5FC5\u7136\u5B58\u5728\u300D\uFF08\u5B9A\u7406\uFF14\uFF09\u3002\u5728S5\u6A21\u614B\u908F\u8F2F\u7CFB\u7D71\u7684\u6846\u67B6\u4E0B\uFF0C\u9019\u9805\u7D50\u8AD6\u53EF\u8B02\u5168\u7136\u6709\u6548\uFF0C\u56E0\u6B64\u76F8\u7576\u9A5A\u4EBA\u3002\u7136\u800C\uFF0C\u82E5\u4F7F\u7528\u76F8\u540C\u7684\u908F\u8F2F\u63A8\u8AD6\u53BB\u5047\u8A2D\u6975\u81F4\u5049\u5927\u7684\u5B58\u6709\u4E0D\u5B58\u5728\uFF0C\u4E5F\u540C\u6A23\u6C92\u6709\u4EFB\u4F55\u81EA\u76F8\u77DB\u76FE\u4E4B\u8655\u3002"@zh . . . . . . . . . . . . . . . "Which episode?"@en . . "La prueba ontol\u00F3gica de G\u00F6del es un argumento formal para la existencia de Dios propuesto por el matem\u00E1tico Kurt G\u00F6del (1906\u20131978). Contin\u00FAa una l\u00EDnea de desarrollo que viene desde Anselmo de Canterbury (1033 \u20131109). El argumento ontol\u00F3gico de S. Anselmo, en su forma m\u00E1s resumida, es como sigue: \"Dios, por definici\u00F3n, es lo m\u00E1s grande concebido. Dios existe en nuestro entendimiento. Si Dios existe en nuestro entendimiento, lo podr\u00EDamos imaginar como el m\u00E1s grandioso por existir en la realidad. Por lo tanto, Dios tiene que existir\". Una versi\u00F3n m\u00E1s elaborada fue dada por Gottfried Leibniz (1646\u20131716); esta es la versi\u00F3n que G\u00F6del estudi\u00F3 e intent\u00F3 aclarar con su argumentaci\u00F3n."@es . . . . . . "12420"^^ . . . . . . . "La Preuve ontologique de G\u00F6del est un argument formel de logique modale du math\u00E9maticien Kurt G\u00F6del (1906-1978) pour l'existence de Dieu. L'id\u00E9e de l'argumentation ontologique pour d\u00E9montrer logiquement la n\u00E9cessit\u00E9 de l'existence de Dieu et sa coh\u00E9rence remonte \u00E0 Anselme de Cantorb\u00E9ry (1033-1109) et a \u00E9t\u00E9 reprise, sous de nombreuses variantes, entre autres par Descartes (1596-1650), Spinoza (1632-1677), Leibniz (1646-1716), Hegel (1770-1831) ; elle a \u00E9t\u00E9 refus\u00E9e ou r\u00E9fut\u00E9e par Thomas d'Aquin (1225-1274) et par Kant (1724-1804) ; jusqu'\u00E0 aujourd'hui o\u00F9 elle est reprise, reformul\u00E9e, discut\u00E9e et critiqu\u00E9e par plusieurs philosophes et logiciens contemporains."@fr . . . . "A demonstra\u00E7\u00E3o ontol\u00F3gica de G\u00F6del \u00E9 um argumento formal para a exist\u00EAncia de Deus pelo matem\u00E1tico e fil\u00F3sofo Kurt G\u00F6del (1906-1978). \u00C9 uma linha de pensamento que data desde Anselmo de Cantu\u00E1ria (1033-1109). O argumento ontol\u00F3gico de S\u00E3o Anselmo, na sua mais sucinta forma, \u00E9 o seguinte: \"Deus, por defini\u00E7\u00E3o, \u00E9 aquele para o qual, nada maior pode ser concebido. Deus existe no entendimento. Se Deus existe no entendimento, n\u00F3s poder\u00EDamos imagin\u00E1-lo maior por existir na realidade. Portanto Deus tem que existir.\". Uma vers\u00E3o mais elaborada foi feita por Gottfried Leibniz (1646-1716); essa \u00E9 a vers\u00E3o que G\u00F6del estudou e tentou esclarecer com seu argumento ontol\u00F3gico. G\u00F6del deixou quatorze pontos destacados de sua cren\u00E7a filos\u00F3fica em seus escritos. Pontos relevantes para a prova ontol\u00F3gica incluem: 4. Existem mundos e seres racionais de esp\u00E9cies diferentes e mais evolu\u00EDdos.5. O mundo em que vivemos n\u00E3o \u00E9 o \u00FAnico em que devemos viver, ou temos vivido.13. Existe uma filosofia e teologia cient\u00EDfica (exata), que lida com conceitos da maior abstra\u00E7\u00E3o; e isso \u00E9 em geral muito frut\u00EDfero para a ci\u00EAncia.14. Religi\u00F5es s\u00E3o, em sua maior parte, m\u00E1s, mas religi\u00E3o n\u00E3o \u00E9."@pt . . . . "Preuve ontologique de G\u00F6del"@fr . . "\u54E5\u5FB7\u723E\u672C\u9AD4\u8AD6\u8B49\u660E"@zh . . "1124520059"^^ . . . . . . "G\u00F6del's ontological proof is a formal argument by the mathematician Kurt G\u00F6del (1906\u20131978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033\u20131109). 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\u20131716); this is the version that G\u00F6del studied and attempted to clarify with his ontological argument. G\u00F6del left a fourteen-point outline of his philosophical beliefs in his papers. Points relevant to the ontological proof include 4. There are other worlds and rational beings of a different and higher kind.5. The world in which we live is not the only one in which we shall live or have lived.13. There is a scientific (exact) philosophy and theology, which deals with concepts of the highest abstractness; and this is also most highly fruitful for science.14. Religions are, for the most part, bad\u2014but religion is not."@en . "Demonstra\u00E7\u00E3o ontol\u00F3gica de G\u00F6del"@pt . "\u54E5\u5FB7\u723E\u672C\u9AD4\u8AD6\u8B49\u660E\u662F\u6578\u5B78\u5BB6\u5E93\u5C14\u7279\u00B7\u54E5\u5FB7\u5C14\u5C0D11\u4E16\u7D00\u610F\u5927\u5229\u50E7\u4FB6\u8056\u5B89\u745F\u502B\u5C0D\u65BC\u795E\u5B58\u5728\u6027\u7684\u672C\u9AD4\u8AD6\u8AD6\u9EDE\u6574\u7406\u4E26\u6539\u9032\u5F8C\u6240\u4F5C\u7684\u6578\u5B78\u8868\u9054\u65B9\u5F0F\u3002\u8056\u5B89\u745F\u502B\u5F8C\u66FE\u670917\u4E16\u7D00\u7684\u83B1\u5E03\u5C3C\u8328\u63D0\u51FA\u4E86\u53E6\u4E00\u500B\u8F03\u8907\u96DC\u7684\u7248\u672C\uFF0C\u800C\u9019\u500B\u5C31\u662F\u54E5\u5FB7\u723E\u6240\u7814\u7A76\u4E26\u5617\u8A66\u7528\u5176\u672C\u9AD4\u8AD6\u908F\u8F2F\u8AD6\u9EDE\u53BB\u6F84\u6E05\u7684\u7248\u672C\u3002 \u96D6\u7136\u54E5\u5FB7\u723E\u6709\u5B97\u6559\u4FE1\u4EF0\uFF0C\u4ED6\u5F9E\u672A\u767C\u8868\u9019\u500B\u8B49\u660E\u3002\u4ED6\u57281970\u5E74\u4EE3\u7D55\u98DF\u800C\u6B7B\u7684\u524D\u5E7E\u5E74\u4E0D\u65B7\u5C07\u9019\u500B\u8AD6\u9EDE\u5411\u8EAB\u908A\u7684\u670B\u53CB\u5011\u5C55\u793A\uFF0C\u4ED6\u53BB\u4E16\u4E5D\u5E74\u5F8C\uFF0C\u53731987\u5E74\uFF0C\u9019\u8AD6\u9EDE\u624D\u88AB\u51FA\u7248\u3002 \u54E5\u5FB7\u723E\u7684\u8AD6\u8B49\u8B49\u660E\u7528\u4E0A\u4E86\u7531\u4ED6\u672C\u4EBA\u53CA\u514B\u91CC\u666E\u514B\u7B4920\u4E16\u7D00\u908F\u8F2F\u5B78\u5BB6\u6240\u767C\u5C55\u7684\u6A21\u6001\u903B\u8F91\uFF0C\u5206\u958B\u4E86\u5FC5\u9700\u7684\u771F\u8207\u5076\u7136\u7684\u771F\u3002 \u8868\u793A\u5FC5\u7136\u6027\uFF0C\u800C \u8868\u793A\u53EF\u80FD\u6027\u3002\u8B49\u660E\u7684\u95DC\u9375\u5728\u65BC\u5229\u7528\u300C\u795E\u53EF\u80FD\u5B58\u5728\u300D\uFF08\u5B9A\u7406\uFF12\uFF09\u53CA\u795E\u7684\u6975\u81F4\u6027\uFF08\u5B9A\u7FA9\uFF11\uFF09\u53BB\u63A8\u5C0E\u51FA\u300C\u795E\u5FC5\u7136\u5B58\u5728\u300D\uFF08\u5B9A\u7406\uFF14\uFF09\u3002\u5728S5\u6A21\u614B\u908F\u8F2F\u7CFB\u7D71\u7684\u6846\u67B6\u4E0B\uFF0C\u9019\u9805\u7D50\u8AD6\u53EF\u8B02\u5168\u7136\u6709\u6548\uFF0C\u56E0\u6B64\u76F8\u7576\u9A5A\u4EBA\u3002\u7136\u800C\uFF0C\u82E5\u4F7F\u7528\u76F8\u540C\u7684\u908F\u8F2F\u63A8\u8AD6\u53BB\u5047\u8A2D\u6975\u81F4\u5049\u5927\u7684\u5B58\u6709\u4E0D\u5B58\u5728\uFF0C\u4E5F\u540C\u6A23\u6C92\u6709\u4EFB\u4F55\u81EA\u76F8\u77DB\u76FE\u4E4B\u8655\u3002"@zh . . . "Prova ontologica di G\u00F6del"@it . . "A demonstra\u00E7\u00E3o ontol\u00F3gica de G\u00F6del \u00E9 um argumento formal para a exist\u00EAncia de Deus pelo matem\u00E1tico e fil\u00F3sofo Kurt G\u00F6del (1906-1978). \u00C9 uma linha de pensamento que data desde Anselmo de Cantu\u00E1ria (1033-1109). O argumento ontol\u00F3gico de S\u00E3o Anselmo, na sua mais sucinta forma, \u00E9 o seguinte: \"Deus, por defini\u00E7\u00E3o, \u00E9 aquele para o qual, nada maior pode ser concebido. Deus existe no entendimento. Se Deus existe no entendimento, n\u00F3s poder\u00EDamos imagin\u00E1-lo maior por existir na realidade. Portanto Deus tem que existir.\". Uma vers\u00E3o mais elaborada foi feita por Gottfried Leibniz (1646-1716); essa \u00E9 a vers\u00E3o que G\u00F6del estudou e tentou esclarecer com seu argumento ontol\u00F3gico."@pt . . . . . . . . . . . . . . "G\u00F6del's ontological proof is a formal argument by the mathematician Kurt G\u00F6del (1906\u20131978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033\u20131109). 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\u20131716); this is the version that G\u00F6del studied and attempted to clarify with his ontological argument."@en . . . . . . . . . . "La Preuve ontologique de G\u00F6del est un argument formel de logique modale du math\u00E9maticien Kurt G\u00F6del (1906-1978) pour l'existence de Dieu. L'id\u00E9e de l'argumentation ontologique pour d\u00E9montrer logiquement la n\u00E9cessit\u00E9 de l'existence de Dieu et sa coh\u00E9rence remonte \u00E0 Anselme de Cantorb\u00E9ry (1033-1109) et a \u00E9t\u00E9 reprise, sous de nombreuses variantes, entre autres par Descartes (1596-1650), Spinoza (1632-1677), Leibniz (1646-1716), Hegel (1770-1831) ; elle a \u00E9t\u00E9 refus\u00E9e ou r\u00E9fut\u00E9e par Thomas d'Aquin (1225-1274) et par Kant (1724-1804) ; jusqu'\u00E0 aujourd'hui o\u00F9 elle est reprise, reformul\u00E9e, discut\u00E9e et critiqu\u00E9e par plusieurs philosophes et logiciens contemporains."@fr . "March 2017"@en . . . . . . . "La prueba ontol\u00F3gica de G\u00F6del es un argumento formal para la existencia de Dios propuesto por el matem\u00E1tico Kurt G\u00F6del (1906\u20131978). Contin\u00FAa una l\u00EDnea de desarrollo que viene desde Anselmo de Canterbury (1033 \u20131109). El argumento ontol\u00F3gico de S. Anselmo, en su forma m\u00E1s resumida, es como sigue: \"Dios, por definici\u00F3n, es lo m\u00E1s grande concebido. Dios existe en nuestro entendimiento. Si Dios existe en nuestro entendimiento, lo podr\u00EDamos imaginar como el m\u00E1s grandioso por existir en la realidad. Por lo tanto, Dios tiene que existir\". Una versi\u00F3n m\u00E1s elaborada fue dada por Gottfried Leibniz (1646\u20131716); esta es la versi\u00F3n que G\u00F6del estudi\u00F3 e intent\u00F3 aclarar con su argumentaci\u00F3n."@es .