| dbpprop:abstract
|
- Gödel's ontological proof is a formalization of Saint Anselm's ontological argument for God's existence by the mathematician Kurt Gödel. St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that than which a greater cannot be thought. 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; this is the version that Gödel studied and attempted to clarify with his ontological argument. The first version of the ontological proof in Gödel's papers is dated "around 1941". Gödel is not known to have told anyone about his work on the proof until 1970, when he thought he was dying. In February, he allowed Dana Scott to copy out a version of the proof, which circulated privately. In August 1970, Gödel told Oskar Morgenstern that he was "satisfied" with the proof, but Morgenstern recorded in his diary entry for 29 August 1970 that Gödel would not publish because he was afraid that others might think "that he actually believes in God, whereas he is only engaged in a logical investigation (that is, in showing that such a proof with classical assumptions correspondingly axiomatized, is possible)."
- La demostració ontològica de Gödel és una formalització del principi de sant Anselm: el seu argument ontològic per l'existència de Déu pel matemàtic Kurt Gödel. L'argument ontològic de Sant Anselm, en la seva forma més succinta, és: "Déu, per definició, és allò sobre el qual no es pot imaginar res més gran. Déu existeix a l'enteniment. Si Déu existís a l'enteniment, el podríem imaginar a Ell més gran si existís a la realitat. Així, cal que Déu existeixi (Déu existeix). " Gottfried Leibniz va donar una versió més elaborada; aquesta és la versió que Gödel va estudiar i va intentar clarificar amb el seu argument ontològic. Encara que Gödel era profundament religiós, mai va publicar la seva prova ja que temia que no s'interpretaria bé i que es pensaria que l'existència de Déu estava demostrada més enllà de qualsevol dubte. En canvi, només ho va considerar com una investigació lògica i una formulació clara de l'argument de Leibniz amb totes les suposicions expresades. Va ensenyar els arguments repetidament als amics al voltant dels anys 1970 i es van publicar després de la seva mort el 1987. A continuació es mostra un resum de la demostració matemàtica.
- La Preuve ontologique de Gödel est une démonstration, dans le système de logique modale, de l'existence de Dieu : Bien que Gödel ait été croyant, il n'a jamais publié cette preuve car il craignait qu'elle soit interprétée comme l'établissement de l'existence de Dieu au-delà du doute. Au lieu de cela, il ne la voyait que comme une étude logique et une formulation claire des arguments de Leibniz. Il a à plusieurs reprises présenté cette preuve à des amis vers 1970 mais la preuve a été publiée en 1987, neuf années après sa mort.
- Gödel ontológiai istenérve Isten létezésének egy Kurt Gödel matematikus által adott modális logikai levezetése. Más ontológiai érvekhez hasonlóan Isten létére nem megfigyelésekből, hanem tisztán logikai úton, szükségesnek tartott premisszákból következtet. Gödel a levezetéssel Anzelm ontológiai istenérvét (pontosabban annak Leibniz általi megfogalmazását) öntötte matematikai formába. Bár 1940-től egészen 1978-ig bekövetkezett haláláig többször visszatért a témához, eredményeit sohasem publikálta. 1970-ben, amikor úgy érezte hogy meg fog halni, osztotta csak meg tudását Dana Scottlal, aki a programozási logika egyik megalapítója. Dana Scott egyetemi előadásaiban többször is ismertette Gödel elméletét. Gödel eredeti, rendkívül tömör, két oldalas kéziratát csak 1987-ben, kilenc évvel halála után publikálták először.
- 哥德爾本體論證明是數學家库尔特·哥德尔為安瑟倫對於神存在性的本體論論點整理後所作的數學表達方式。安瑟倫的論點用最簡潔的表達如下：「God, by definition, is that than which a greater cannot be thought. 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. 」一個較複雜的版本由戈特弗里德·威廉·莱布尼茨提出，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。 雖然哥德爾有宗教信仰，他從未發表這個證明。他在1970年代不斷將這個論點向身邊的朋友們展示，他過身九年後，即1987年，這論點才被出版。
|
| rdfs:comment
|
- Gödel's ontological proof is a formalization of Saint Anselm's ontological argument for God's existence by the mathematician Kurt Gödel. St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that than which a greater cannot be thought. 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.
- La demostració ontològica de Gödel és una formalització del principi de sant Anselm: el seu argument ontològic per l'existència de Déu pel matemàtic Kurt Gödel. L'argument ontològic de Sant Anselm, en la seva forma més succinta, és: "Déu, per definició, és allò sobre el qual no es pot imaginar res més gran. Déu existeix a l'enteniment. Si Déu existís a l'enteniment, el podríem imaginar a Ell més gran si existís a la realitat.
- La Preuve ontologique de Gödel est une démonstration, dans le système de logique modale, de l'existence de Dieu : Bien que Gödel ait été croyant, il n'a jamais publié cette preuve car il craignait qu'elle soit interprétée comme l'établissement de l'existence de Dieu au-delà du doute. Au lieu de cela, il ne la voyait que comme une étude logique et une formulation claire des arguments de Leibniz.
- Gödel ontológiai istenérve Isten létezésének egy Kurt Gödel matematikus által adott modális logikai levezetése. Más ontológiai érvekhez hasonlóan Isten létére nem megfigyelésekből, hanem tisztán logikai úton, szükségesnek tartott premisszákból következtet. Gödel a levezetéssel Anzelm ontológiai istenérvét (pontosabban annak Leibniz általi megfogalmazását) öntötte matematikai formába.
- 哥德爾本體論證明是數學家库尔特·哥德尔為安瑟倫對於神存在性的本體論論點整理後所作的數學表達方式。安瑟倫的論點用最簡潔的表達如下：「God, by definition, is that than which a greater cannot be thought. 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.
|
![[RDF Data]](/statics/sw-cube.png)
