Вченим вдалося довести теорему Геделя, яка доходить до цього висновку, спираючись на принципи логіки

Пов’язані новини

Вчені Крістоф Бензмюллер з Вільного університету Берліна та Бруно Вольценлогель з Віденського технічного університету обчислили теорему Геделя, розроблену в кінці минулого століття австрійським математиком Курт Гедель і це робить висновок, що заснований на принципах логіки повинна бути вища істота.

вища

Наприкінці 70-х років Гедель стверджував, що за визначенням "не може існувати нічого більшого, ніж верховна істота", і запропонував за допомогою логіко-математичних аргументів існування Бога. Його намір був показати, що так званий "онтологічний аргумент" про існування Бога є дійсним.

Тепер вчені на звичайному MacBook показали, що їх аргументи були математично правильний. У цьому сенсі дослідники підкреслили, що ця робота, опублікована на Arxiv.org, «більше пов’язана з демонстрацією, що чудова технологія може допомогти науці, що з теорією про те, що Бог існує чи ні ".

Таким чином, вони зазначили, що головне, що те, чого вони досягли за допомогою комп'ютерів, є "успіхом блискучих міркувань Геделя". Бензмюллер вказував на це онтологічний доказ це було більше за все іншим хорошим прикладом чогось недоступного в математиці чи штучному інтелекті, що було вирішено за допомогою сучасних технологій.

На його думку, той факт, що формалізацію цих складних теорем можна зробити непрофесійні комп’ютери відкриває всілякі можливості. Вчений зазначив, що "це абсолютно неймовірно, що Теорема Геделя можна перевірити автоматично за лічені секунди або навіть менше на звичайному ноутбуці ».