Matematicianul austriac Kurt Gödel este unul dintre cei mai importanți matematicieni ai secolului XX.
El a venit cu prima versiune a dovezilor sale ontologice în jurul anului 1941, dar abia în 1970 a vorbit despre asta pentru prima dată cu colegii săi. Versiunea finală a dovezilor a fost publicată la 9 ani după moartea lui Gödel, în 1987.
Dovada ontologică a lui Gödel este un argument formal în favoarea existenței lui Dumnezeu. S-a bazat pe argumentul ontologic original al filosofului scolastic Arhiepiscopul Anselm de Cantenbury.
Christoph Benzmueller de la Universitatea Liberă din Berlin și Brun Woltzenlogel Paleo de la Universitatea de Tehnologie din Viena au verificat validitatea dovezilor lui Gödel. Într-un articol publicat pe arxiv.org, acestea arată că dovada lui Gödel este corectă din punct de vedere matematic. Modelul matematic pentru verificarea dovezilor lui Gödel a fost procesat și evaluat de computer.
După cum se spune la sfârșitul articolului, „O discuție critică asupra conceptelor, definițiilor și axiomelor [filozofice] rămâne o responsabilitate umană, dar computerele pot ajuta la construirea și verificarea argumentelor logice corecte riguros. În cazul discuțiilor logico-filosofice, computerele pot controla argumentele discutate. "
Potrivit autorilor articolului, rezultatele lor pot găsi aplicații în dezvoltarea inteligenței artificiale pe lângă contribuția la filozofie.
De asemenea, au publicat recenzia lor despre dovezile ontologice ale lui Gödel ca activitate open-source pe GitHub.
- Principalele dovezi care ar fi trebuit să facă SUA imposibile în ochii lumii Există ceva în neregulă cu FOTO-ul incriminator
- Harry Potter distruge vieți, autorul său este o vrăjitoare!
- Dovezi ale adaptării comunității la bacterioplancton ca răspuns la întreruperea mediului pe termen lung
- Prezența copiilor la grădiniță Materská škola Častkovce
- Fica nu așteaptă din nou un adversar în discuția de duminică