Rakúsky matematik Kurt Gödel patrí k najvýznamnejším matematikom 20. storočia.
S prvou verziou svojho ontologického dôkazu prišiel okolo roku 1941, no až v roku 1970 o ňom prvý krát hovoril so svojimi spolupracovníkmi. Konečná verzia dôkazu bola publikovaná 9 rokov po Gödelovej smrti v roku 1987.
Gödelov ontologický dôkaz je formálny argument v prospech Božej existencie. Vychádzal z pôvodneho ontologického argumentu scholastického filozofa arcibiskupa Anselma z Cantenbury.
Christoph Benzmueller z Berlínskej Slobodnej Univerzity a Brun Woltzenlogel Paleo z Viedenskej Technickej Univerzity preverili platnosť Gödelovho dôkazu. V článku, ktorý zverejnili na arxiv.org ukazujú, že Gödelov dôkaz je matematicky korektný. Matematický model na preverenie Gödelovho dôkazu spracovali a vyhodnocovali počítačovo.
Ako vravia na konci článku "Kritická diskusia o [filozofických] konceptoch, definíciách a axiómach ostáva ľudskou zodpovednosťou, ale počítače môžu asistovať pri konštruovaní a kontrole rigorózne korektných logických argumentov. V prípade logicko-filozofických diskusií môžu počítače kontrolovať diskutované argumenty."
Podľa autorov článku môžu ich výsledky okrem príspevku pre filozofiu nájsť aplikáciu pri vývoji umelej inteligencie.
Svoje preverenie Gödelovho ontologického dôkazu zverejnili aj ako open-source aktivitu na GitHub.
Zdroj: upi.com
Pjetro_de
kamar
Pjetro_de
jimminko
Pjetro_de
Pjetro_de
Pjetro_de
Pjetro_de
melon
Admin@XOOL.cz
Ivn154
Posmrtný život existuje a dokazujem ho tu :
https://www.posmrtnyzivotexistuje.sk/