Австрийският математик Курт Гьодел е един от най-важните математици на 20 век.
Той излезе с първата версия на своите онтологични доказателства около 1941 г., но едва през 1970 г. той говори за това за първи път с колегите си. Окончателната версия на доказателствата е публикувана 9 години след смъртта на Гьодел през 1987 г.
Онтологичното доказателство на Гьодел е формален аргумент в полза на съществуването на Бог. Той се основава на оригиналния онтологичен аргумент на схоластичния философ архиепископ Антенм от Кантенбъри.
Кристоф Бензмюлер от Свободния университет в Берлин и Брун Волценлогел Палео от Виенския технологичен университет провериха валидността на доказателството на Гьодел. В статия, публикувана на arxiv.org, те показват, че доказателството на Гьодел е математически правилно. Те обработиха и оцениха математическия модел, за да проверят доказателството на Гьодел чрез компютър.
Както казват в края на статията, „Критичното обсъждане на [философски] концепции, дефиниции и аксиоми остава човешка отговорност, но компютрите могат да помогнат при конструирането и проверката на строго правилни логически аргументи. В случай на логико-философски дискусии, компютрите могат да контролират обсъжданите аргументи. "
Според авторите на статията, техните резултати могат да намерят приложение в развитието на изкуствения интелект в допълнение към приноса към философията.
Те също публикуваха своя преглед на онтологичните доказателства на Gödel като дейност с отворен код в GitHub.
- Основните доказателства, които би трябвало да направят САЩ невъзможни в очите на света. Има нещо нередно с инкриминиращата ФОТО
- Хари Потър унищожава живота, неговият автор е вещица Предполагаемите ДОКАЗАТЕЛСТВА пристигат!
- Доказателства за адаптация на общността към бактериопланктон в отговор на дългосрочно нарушаване на околната среда
- Посещаемост на деца в детската градина Materská škola Častkovce
- Fica не очаква отново опонент в дискусията в неделя