БУДНИ НАУКИ
Ученые смогли доказать теорему Гёделя, из которой следует, что некое высшее существо действительно есть
Два ученых доказали средствами информатики теорему Гёделя, сообщает Voz de Galicia. Исследование провели Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены.
"В конце 1970-х Гёдель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию", - пишет издание. Гёдель был намерен доказать так называемый "онтологический аргумент" существования Бога.
"И вот теперь ученые, используя обычный компьютер MacBook, продемонстрировали, что аргументы Гёделя были математически верными", - говорится в статье. Сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.
Инопресса
Via religioznik