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