Два математики засобами інформатики довели теорему Геделя, який припустив, що не може існувати нічого масштабнішого, ніж вища істота, і висунув тезу існування Бога.
Про це повідомляє Voz de Galicia.
Вчені довели, що його аргументи математично вірні. Дослідження провели Крістоф Бенцмюллер, який працює у Берліні, і Бруно Вольценлогель з Відня.
Наприкінці 1970-х Гедель припустив, що за визначенням не може існувати нічого більш масштабного, ніж вища істота, і висунув тезу існування Бога, опираючись на логіко-математичну аргументацію, пише видання.
Гедель мав намір довести так званий «онтологічний аргумент» існування Бога.
Тепер учені, використовуючи звичайний комп’ютер MacBook, довели, що аргументи Геделя були математично вірними, йдеться у статті.
Самі вчені зазначають, що хотіли показати, як високі технології допомагають науці, а не приєднуватися до суперечки про існування Бога.