Дэвид Дойч - Начало бесконечности. Объяснения, которые меняют мир

Таким образом, нечто особенное – похоже, бесконечно особенное – содержится в законах физики, какими мы их находим, делающее их исключительно благоприятными для вычислений, предсказаний и объяснений. Физик Юджин Вигнер [50]называл это «непостижимой эффективностью математики в естественных науках». По приведенным мною причинам этого не объяснить одними только антропными рассуждениями. Нужно что-то еще.

Эта проблема, похоже, просто притягивает к себе неразумные объяснения. Так же, как религиозные люди считают, как правило, что непостижимая эффективность математики в науке – заслуга Провидения, некоторые эволюционисты усматривают в ней знак эволюции, а некоторые космологи – результат антропного отбора, а некоторые ученые, занимающиеся информатикой, и программисты видят в небе огромный компьютер. Например, одна из версий этой идеи состоит в том, что все, обычно воспринимаемое нами как действительность, – это просто виртуальная реальность: программа, запущенная на гигантском компьютере, «Великом симуляторе». На первый взгляд кажется, что это перспективный подход к объяснению связей между физикой и вычислениями: возможно, причина выразимости законов физики в компьютерных программах состоит в том, что они и есть компьютерные программы. Быть может, существование вычислительной универсальности в нашем мире – это частный случай способности компьютеров (в данном случае «Великого симулятора») эмулировать другие компьютеры и так далее.

Но такое объяснение – это химера. Это бесконечный регресс. Ведь оно ведет к отказу от объяснений в науке. В самой природе вычислительной универсальности заложено, что, если мы и наш мир состояли бы из программного обеспечения, у нас не было бы возможности понять настоящую физику – физику, на основе которой построен «Великий симулятор».

Другой способ поставить вычисления в центр физики и справиться с неоднозначностями антропных рассуждений – это представить, что все возможные компьютерные программы уже запущены. То, что мы воспринимаем как реальность, на самом деле виртуальная реальность, созданная одной или несколькими такими программами. Затем мы определим понятия «обычный» и «необычный» в терминах среднего по всем этим программам, считая их в порядке их длины (количества элементарных операций в каждой из них). Но здесь снова подразумевается, что есть предпочтительное представление о том, что такое «элементарная операция». Поскольку длина и сложность программы полностью зависят от законов физики, эта теория снова требует внешнего мира, в котором работают эти компьютеры, – мира, который был бы для нас непостижимым.

Оба эти подхода терпят неудачу, потому что они пытаются обратить направление реальной объяснительной связи между физикой и вычислениями. Они кажутся возможными лишь потому, что опираются на стандартную ошибку Зенона, но применительно к вычислениям: заблуждение о том, что множество классически вычислимых функций имеет в математике априорно привилегированный статус. Но это не так. Единственное, что как-то выделяет данное множество операций, – это то, что они воплощаются законами физики. Вся суть универсальности теряется, если представить, что вычисления каким-то образом предшествовали физическому миру и создавали его законы. Вычислительная универсальность относится только к компьютерам внутри нашего физического мира, которые связаны друг с другом по универсальным законам физики, к которым мы (таким образом) имеем доступ.

Но как все эти сильные ограничения на то, что мы можем знать и что может быть достигнуто с помощью математики и вычислений, включая существование в математике неразрешимых вопросов, уживаются с принципом, гласящим, что проблемы можно решить ?

Проблемы – это конфликты идей. Большая часть математических вопросов, которые существуют абстрактно, никогда появляются в качестве предмета такого конфликта: они никогда не бывают предметом любопытства или центром конфликтующих заблуждений о какой-либо черте мира абстракций. Одним словом, большинство их них просто неинтересны.

Кроме того, напомню, что поиск доказательств не есть цель математики, это просто один из ее методов. Цель ее в том, чтобы понять, а общий метод, как и во всех областях, – составлять гипотезы и критиковать их, исходя из того, насколько разумны они в качестве объяснений. Нельзя понять математическое утверждение, просто доказав, что оно истинно. Вот почему существуют лекции по математике, а не просто списки доказательств. И наоборот, отсутствие доказательства не обязательно означает, что утверждение нельзя понять. Напротив, обычно математик сначала понимает что-то в рассматриваемой абстракции, затем на основе этого понимания выдвигает предположение, как можно было бы доказать истинные утверждения о ней, и лишь потом их доказывает.