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