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