Posted 6 ноября 2013,, 08:58
Published 6 ноября 2013,, 08:58
Modified 30 января, 18:58
Updated 30 января, 18:58
БЕРЛИН, 6 ноября. Двое ученых доказали средствами информатики известную теорему Геделя. Исследование провели Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены.
«В конце 1970-х Гедель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию», - поясняют ученые. Гедель был намерен доказать так называемый "онтологический аргумент" существования Бога.
И вот теперь ученые, используя обычный компьютер, продемонстрировали, что аргументы Геделя были математически верными, передает Inopressa.
Однако сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.