http://abcnews.go.com/Technology/computer-scientists-prove-god-exists/story?id=20678984
http://www.theepochtimes.com/n3/335543-scientists-prove-god-exists-german-scientists-say-they-have/
Я нахожу это увлекательным.
С одной из статей:
котировка
Теорема Gцdel основана на модальной логике, тип формальной логики, узко, предполагает использование выражений «обязательно» и «возможно,» в соответствии с Стэнфордского университета.
Теорема говорит, что Бог или высшее существо, в том, что, для которых нет больше не может быть понят. Бог существует в понимании. Если Бог существует в понимании, мы можем представить Его, чтобы быть больше, существующими в реальности. Следовательно, Бог должен существовать.
Палео и Benzmьller говорят, что они доказали, что теорема верна, по крайней мере, на математическом уровне.
Теорема говорит, что Бог или высшее существо, в том, что, для которых нет больше не может быть понят. Бог существует в понимании. Если Бог существует в понимании, мы можем представить Его, чтобы быть больше, существующими в реальности. Следовательно, Бог должен существовать.
Палео и Benzmьller говорят, что они доказали, что теорема верна, по крайней мере, на математическом уровне.