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