Статьи

Німецькі вчені підтвердили, що теорема Геделя про існування Бога вірна

Проаналізувавши теореми покійного австрійського математика Курта Геделя за допомогою Macbook, Крістоф Бенцмюллер з Вільного університету Берліна і його колега Бруно Вольценлогел Палео з технічного університету у Відні заявили, що Бог існує.

Справа: знаменитий учений Курт Гедель Справа: знаменитий учений Курт Гедель. Фото: Justin Sullivan / Getty Images

Теорема Геделя заснована на модальної логіки - типі формальної логіки, яка використовує вирази «необхідність» і «можливість».

Бог, або вища істота, існує в мисленні. Але реальне існування більше, ніж існування в думки. Отже, Бог повинен існувати, стверджує Гедель.

Палео і Бенцмюллер стверджують, що його теорема вірна, по крайней мере, на математичному рівні.

Вчені направили на сервер дослідження під назвою «Формалізація, механізація і автоматизація докази Геделя про існування Бога», для того щоб онтологічний доказ Геделя було вперше проаналізовано з високим ступенем деталізації і формальності за допомогою програм автоматичного доведення теорем вищого порядку.

Вчені повідомили, що були проведені наступні дослідження: докладний природне доказ віднімання, формалізації аксіом, визначень і теорем в синтаксисі TPTP ТГФ, автоматична перевірка несуперечності аксіом і визначень з Nitpick, автоматична демонстрація теорем випробувачем LEO-II і Satallax, покрокова формалізація за допомогою програм докази теорем Coq і Isabelle.

Бенцмюллер розповів щотижневому німецькому журналу Der Spiegel, що він захоплений тим, як теореми можуть бути проаналізовані за допомогою комп'ютера.

«Це зовсім дивно, що всі аргументи Геделя можуть бути доведені автоматично, протягом декількох секунд або навіть менше, на стандартному ноутбуці», - сказав він.

Математики кажуть, що їх доказ аксіоми Геделя було потрібно для того, щоб продемонструвати, що передові технології здатні привести до нових досягнень в науці.

«Я не знав, що могло б викликати великий суспільний інтерес, і не знайшов більш кращого прикладу, ніж онтологічний доказ Геделя, раніше недоступне для математики або штучного інтелекту, - сказав Бенцмюллер.- Це дуже маленький, але чіткий приклад, так як ми маємо справа з шістьма аксіомами невеликий теореми. За допомогою потрібних аксіом можна отримати будь-який доказ. Чи можемо ми розвинути комп'ютерні системи до такого рівня, щоб перевіряти кожен крок і переконуватися, що він правильний? »

Вчені вважають, що їх робота може принести користь в таких областях, як штучний інтелект, перевірка програмного забезпечення та апаратних засобів.

Версія англійською

Чи можемо ми розвинути комп'ютерні системи до такого рівня, щоб перевіряти кожен крок і переконуватися, що він правильний?

Новости

Арт-терапия в педагогике
Ещё в 1927 году германский психиатр А. Кронфельдом смог обосновать необходимость тесноватого взаимодействия психотерапии и педагогики. Свои идеи он выложил в научной статье “Психогогика, или  Психотерапевтическое

Автозапчасти mercedes-benz
С каждым годом растет количество игроков на автомобильном рынке. Японцы, корейцы, китайцы уже становятся законодателями мод на наших дорогах. Но многим автомобилистам по прежнему дороги мерседесы и форды,

Поставки насосного оборудования
Москва, 20 сентября. /ТАСС/. АО "ОКБМ Африкантов" (заходит в машиностроительный дивизион Росатома - "Атомэнергомаш") прошло аудиторскую проверку на готовность к поставке оборудования для нужд "Газпрома",

Купить iPhone 5s
21 марта 2016 года Apple представила усовершенствованную версию пользующегося популярностью телефона купить iPhone 5s — iPhone SE. «В 2-ух словах» разницу меж ними обычно обрисовывают так: снаружи новинка

Массовка для сьемок киев
Приглашаем поучаствовать в увлекательном проекте парней и дам от 16 до 55 лет готовых провести на съемочной площадке оба денька! Оплата настоящая потому что массовка первого плана(вероятны высказывания)Заявки

50 дней хостинга в подарок
Замечательный хостинг, подходит для тех, у кого несколько сайтов, например у нас 5 сайтов и стоимость всего 299 р/месяц. Для тех, у кого один сайт, вообще цена 99 р/месяц. Мне кажется, дешевле уже просто

Купить осаго
Реальным даю согласие ООО «Сравни.ру», место нахождения: 109544, г. Москва, бульвар Энтузиастов, дом 2, 26 этаж, на обработку моих индивидуальных

Создание сайтов
Свой веб-сайт сегодня не роскошь, а средство продвижения продуктов и услуг! Юзеры веба временами заходят на разные веб-сайты, читают, изучают и рассматривают их. Так почему бы эти веб-сайты не будут вашими.

Лодочные моторы в Тольятти
Новый лодочный мотор нуждается в правильной обкатке. Это условие касается и мотора марки “Ветерок” казанского завода и титулованого “Меркурия”, американо-японского производства. От того как лодочный мотор

Заказать Блиц-проект интерьеров любой степени сложности в любом регионе
Настал тот самый страшны момент - необходимость делать ремонт. Жена настаивает категорически. С чего ремонт начинается? С выбора "чего хочу". Как я задолбался кататься по магазинам: Леруа, Очаг, Куприян,