Австрійський математик Курт Гедель - один із найважливіших математиків 20 століття.
Він висунув першу версію своїх онтологічних доказів приблизно в 1941 році, але лише в 1970 році він вперше поговорив про це зі своїми колегами. Остаточна версія доказів була опублікована через 9 років після смерті Геделя в 1987 році.
Онтологічний доказ Геделя є офіційним аргументом на користь існування Бога. Він базувався на оригінальному онтологічному аргументі схоластичного філософа архієпископа Кентенберійського Ансельма.
Крістоф Бенцмюллер з Вільного університету Берліна та Брун Вольценлогель Палео з Віденського технологічного університету підтвердили справедливість доказу Геделя. У статті, опублікованій на arxiv.org, вони показують, що доказ Геделя математично правильний. Вони обробили та оцінили математичну модель, щоб перевірити доказ Геделя за допомогою комп'ютера.
Як сказано в кінці статті, "Критичне обговорення [філософських] концепцій, визначень та аксіом залишається відповідальністю людини, але комп'ютери можуть допомогти у побудові та перевірці суворо правильних логічних аргументів. У випадку логіко-філософських дискусій, комп’ютери можуть контролювати обговорювані аргументи ".
На думку авторів статті, їх результати можуть знайти застосування у розвитку штучного інтелекту на додаток до внеску у філософію.
Вони також опублікували огляд онтологічних доказів Геделя як діяльності з відкритим кодом на GitHub.
- Основні докази, які повинні були зробити США неможливими в очах світу. Щось не так із викривальним ФОТО
- Гаррі Поттер знищує життя, його автором є відьма. Прибулі докази!
- Докази адаптації громади до бактеріопланктону у відповідь на довгострокові порушення довкілля
- Участь дітей у дитячому садку Materská škola Častkovce
- Фіка знову не очікує суперника в недільній дискусії