| Information | |
|---|---|
| has gloss | eng: Gödels ontological proof is a formalization of Saint Anselms ontological argument for God's existence by the mathematician Kurt Gödel. |
| lexicalization | eng: Godel's ontological proof |
| lexicalization | eng: Goedel ontological proof |
| lexicalization | eng: Gödel's ontological proof |
| instance of | (noun) the supernatural being conceived as the perfect and omnipotent and omniscient originator and ruler of the universe; the object of worship in monotheistic religions God, Supreme Being |
| Meaning | |
|---|---|
| Catalan | |
| has gloss | cat: 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. |
| lexicalization | cat: Demostració ontològica de Gödel |
| Estonian | |
| has gloss | est: Gödeli ontoloogiline jumalatõestus on argumendid Jumala olemasolu kasuks, mis leiduvad kuulsa loogiku Kurt Gödeli märkmikes ja mis avaldati alles pärast tema surma (1987). Need argumendid on ontoloogilise jumalatõestuse tüüpi. |
| lexicalization | est: Gödeli ontoloogiline jumalatõestus |
| French | |
| has gloss | fra: La Preuve ontologique de Gödel est une démonstration, dans le système de logique modale, de l'existence de Dieu : |
| lexicalization | fra: Preuve ontologique de Godel |
| lexicalization | fra: Preuve ontologique de gödel |
| Hungarian | |
| has gloss | hun: 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. |
| lexicalization | hun: Gödel ontológiai istenérve |
| Chinese | |
| has gloss | zho: 哥德爾本體論證明是數學家库尔特·哥德尔為安瑟倫對於神存在性的本體論論點整理後所作的數學表達方式。安瑟倫的論點用最簡潔的表達如下：「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.」一個較複雜的版本由戈特弗里德·威廉·莱布尼茨提出，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。 |
| lexicalization | zho: 哥德爾本體論證明 |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint