Начало бесконечности

Это подводит меня к ещё одному противопоставлению, которое зависит от законов физики: простое и сложное. Мозг — это физический объект. Мысли — это вычисления таких типов, которые допускаются законами физики. Некоторые объяснения схватываются легко и быстро, как, например: «Если Сократ был мужчиной и Платон был мужчиной, то они оба были мужчинами». Оно простое, потому что выражено коротким предложением и опирается на свойства элементарной операции (а именно и). Есть объяснения, суть которых принципиально трудно ухватить, потому что даже в самой короткой своей форме они длинные и зависят от множества таких операций. Но будет ли объяснение длинным или коротким, потребуется ли для его составления много или мало элементарных операций — всё это полностью определяется законами физики, при которых оно формулируется и понимается.

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

Раз так, говорят некоторые, квантовые вычисления — не «настоящие» вычисления, а просто физика и техника. Они считают, что логические возможности, связанные с экзотическими законами физики, допускающими экзотические формы вычислений, не решают вопрос о том, что же такое доказательство «на самом деле». Свои возражения они высказывают примерно так: действительно, при подходящих законах физики мы смогли бы вычислить функции, не вычислимые по Тьюрингу, но это были бы не вычисления. Мы смогли бы установить истинность или ложность неразрешимых по Тьюрингу предложений, но это «установление» не было бы доказательством, потому что тогда наше знание о том, является ли предложение истинным или ложным, всегда зависело бы от наших знаний о том, что представляют собой законы физики. Если бы однажды мы обнаружили, что на самом деле законы физики другие, нам бы, возможно, пришлось пересмотреть и само доказательство и его вывод. Поэтому оно не было бы настоящим: настоящее доказательство не зависит от физики.

И снова мы видим то же самое заблуждение (а также своего рода джастификационизм, гонящийся за авторитетами). Наше знание о том, истинно или ложно высказывание, всегда зависит от знания о том, как ведут себя физические объекты. Если бы мы изменили свой взгляд на то, что делает компьютер или мозг, — например, решили бы, что наша собственная память ошибается в том, какие шаги в доказательстве мы проверили, — то нам пришлось бы изменить своё мнение о том, доказали ли мы что-то или нет. И так же было бы в том случае, если бы мы изменили мнение о том, как согласно законам физики должен работать компьютер.

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

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