- PVSM.RU - https://www.pvsm.ru -

Можем ли мы доверять решению компьютера, если не можем его проверить?

Если помните [1], Рей Курцвейл обещал приход сингулярности уже в 30 годах этого века. Похоже, что первые предвестники уже появляются: два бывших наших соотечественника, Алексей Лисица и Борис Конев, работающие в Ливерпульском университете, запустили на расчет задачу несоответствия Эрдеша. Задача считается неразрешенной, и программа, запущенная исследователями с задачей справилась. Но! Проблема в том, что доказательства решения сами по себе занимают 13 Гб (еще раз, текстовый лог-файл, по сути и являющийся доказательством, занимает 13 Гб) и с трудом поддается верификации. Отсюда напрашивается простой вопрос – можем ли мы доверять решению компьютера, если не в состоянии проверить его выкладки?

Можем ли мы доверять решению компьютера, если не можем его проверить?

Многие СМИ рассмотрели в этом случае некий рубикон – границу, за которой целый ряд научных вычислений переход в разряд «непроверяемых». Да, для их проверки можно запускать другую программу, работающую на других алгоритмах, но тоже работающую по в чем-то сходной логике. И тут же возникает рекурсивный вопрос – можно ли доверять проверке решения, если мы тоже не можем его проверить?

Собственно, добавить тут нечего. Если вам интересны подробности математического эксперимента и названия программ, то тут [2] есть хорошее объяснение на русском, а тут [3] – оригинал исследования на английском.

Автор: Maslukhin

Источник [4]


Сайт-источник PVSM.RU: https://www.pvsm.ru

Путь до страницы источника: https://www.pvsm.ru/matematika/56116

Ссылки в тексте:

[1] помните: http://habrahabr.ru/post/166393/

[2] тут: http://www.computerra.ru/95029/the-evidence-which-validity-a-human-can-not-check/

[3] тут: http://arxiv.org/abs/1402.2184

[4] Источник: http://habrahabr.ru/post/214229/