Марш против подлецов. Москва, 13 января 2013 года.
"Марш против подлецов" в Москве
RuCompromat: РуКомпромат

Два ученых доказали средствами информатики теорему Гёделя. Исследование провели Кристоф Бенцмюллер, работающий в Берлине, и Бруно Вольценлогель из Вены.

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

И вот теперь ученые, используя обычный компьютер MacBook, продемонстрировали, что аргументы Гёделя были математически верными. Сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.

По материалам Voz De Galicia 

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

В Москве прошел Всероссийский Фестиваль науки NAUKA 0+

Многочисленные посетители московской выставочной площадки Всероссийского фестиваля науки NAUKA 0+ не могли пройти мимо стенда, на котором представил свои разработки Центр молодежного инновационного творчества «Нанотехнологии» (ЦМИТ).

Подробнее »

Москве обещан год без лета

Синоптики полагают, что в Центральной России лета в полном смысле слова так и не наступит.

Подробнее »

В Иркутске прошел второй испытательный полет новейшего авиалайнера

МС-21 благополучно взлетел с испытательного аэродрома Иркутского авиазавода второй раз. 

Подробнее »