Дослідження провели Крістоф Бенцмюллер, що працює в Берліні, і Бруно Вольценлогель з Відня.
Наприкінці 1970-х Гедель припустив, що за визначенням не може існувати нічого більш масштабного, ніж вища істота, і висунув тезу існування Бога, спираючись на логіко-математичну аргументацію. Гедель мав намір довести так званий «онтологічний аргумент» існування Бога.
І ось тепер учені, використовуючи звичайний комп'ютер MacBook, продемонстрували, що аргументи Геделя були математично вірними.
Самі вчені говорять, що швидше хотіли показати, як високі технології допомагають науці, ніж включатися в суперечки про існування Бога.
Джерело: InopressaІА "Вголос": НОВИНИ