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

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

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

Как следствие, достоверность наших знаний о математике всегда будет проистекать из достоверности знаний о физической действительности. Корректность любого математического доказательства полностью зависит от правильности наших представлений относительно законов, определяющих поведение некоторых физических объектов, таких как компьютеры, чернила и бумага или мозг. Таким образом, в противовес тому, что считал Гильберт, и тому, во что со времен античности верили и верят до сих пор почти все математики, теория доказательств никогда не станет направлением математики. Теория доказательств – это естественная наука, а конкретно информатика [49].

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

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