Структура реальности. Наука параллельных вселенных

Благодаря Гёделю мы знаем, что никогда не будет неизменного метода определения истинности математического утверждения, как не существует и неизменного способа определения истинности научной теории. Не будет никогда и неизменного способа создания нового математического знания. Следовательно, прогресс в математике всегда будет зависеть от творческого подхода. Изобретение новых типов доказательств всегда будет возможным и необходимым делом для математиков. Они будут проверять их с помощью новых аргументов и новых способов объяснения, зависящих от непрерывно растущего понимания используемых при этом абстрактных сущностей. Примером служат теоремы самого Гёделя: чтобы доказать их, ему пришлось изобрести новый метод доказательства. Я сказал, что этот метод был основан на «диагональном аргументе», однако Гёдель по-новому расширил это доказательство. До него так ничего не доказывали; никакие правила вывода, составленные кем-либо, кто никогда не видел метода Гёделя, не обладали бы, вероятно, такой предсказательной силой, чтобы определить его как корректный. Однако его корректность самоочевидна. Откуда исходит эта самоочевидность? Она возникает из понимания Гёделем природы доказательства. Доказательства Гёделя столь же убедительны, как и любые другие математические доказательства, но только для того, кто прежде поймёт сопутствующее им объяснение.

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

Роджер Пенроуз извлёк из результатов Гёделя ещё более глубокий, радикальный и достойный Платона урок. Как и Платона, Пенроуза восхищает способность человеческого разума постигать абстрактные достоверные факты математики. Но в отличие от Платона, Пенроуз не верит в сверхъестественное и принимает как само собой разумеющееся, что мозг — часть естественного мира и имеет доступ только к этому миру. Таким образом, проблема для него встаёт даже острее, чем для Платона: как может нечёткий и ненадёжный мир давать математическую уверенность такой нечёткой и ненадёжной части себя, какой является математик? В особенности Пенроуза удивляет, каким образом нам удаётся почувствовать безошибочность новых корректных форм доказательства, которых, как уверяет Гёдель, бесконечно много.

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

Большинство специалистов по информатике несогласны с Пенроузом, что слабое звено в этом рассуждении — это принцип Тьюринга. Они бы сказали, что математик из этого рассуждения на самом деле не сможет признать гёделевское утверждение доказанным. Может показаться странным, почему математик вдруг не сможет понять самоочевидное доказательство. Но взгляните на следующее утверждение:

Дэвид Дойч не может непротиворечиво признать, что данное утверждение является истинным.