Kurt Gödel osztrák matematikus a 20. század egyik legfontosabb matematikusa.

Gödel ontológiai

Ontológiai bizonyítékainak első változatával 1941 körül állt elő, de csak 1970-ben beszélt erről először kollégáival. A bizonyítékok végleges változatát 9 évvel Gödel 1987-es halála után tették közzé.

Gödel ontológiai bizonyítéka hivatalos érv Isten létezése mellett. Anselm cantenburyi érsek skolasztikus filozófus eredeti ontológiai érvelésére épült.

Christoph Benzmueller a Berlini Szabadegyetemtől és Brun Woltzenlogel Paleo a Bécsi Műszaki Egyetemtől igazolta Gödel bizonyításának érvényességét. Az arxiv.org oldalon megjelent cikkben azt mutatják, hogy Gödel igazolása matematikailag helytálló. Feldolgozták és értékelték a matematikai modellt, hogy számítógéppel ellenőrizzék Gödel igazolását.

Ahogy a cikk végén mondják: "A [filozófiai] fogalmak, definíciók és axiómák kritikus megvitatása továbbra is emberi felelősség, de a számítógépek segítséget nyújthatnak a szigorúan helyes logikai érvek felépítésében és ellenőrzésében. Logikai-filozófiai beszélgetések esetén, a számítógépek vezérelhetik a megvitatott érveket.

A cikk szerzői szerint eredményeik a filozófiához való hozzájárulás mellett a mesterséges intelligencia fejlesztésében is alkalmazhatók.

Ugyancsak közzétették Gödel ontológiai bizonyítékainak áttekintését, mint nyílt forráskódú tevékenységet a GitHub-on.