С другой стороны, работа Геделя может вызвать беспокойство: не лишена ли смысла ГМВ в применении к бесконечным структурам? Наша Вселенная тогда оказалась бы в некотором смысле противоречивой или неопределенной. Если принять тезис математика Давида Гильберта о том, что «математическое существование сводится, по сути, к отсутствию противоречий», то внутренне противоречивая структура не существует математически, не говоря уже о физическом существовании, как в ГМВ. Стандартная модель физики включает такие повседневно применяемые математические структуры, как целые и вещественные числа. Тем не менее работа Геделя оставляет открытыми вопросы, не является ли повседневная математика внутренне противоречивой и не существует ли в рамках теории чисел доказательства конечной длины, демонстрирующего, что 0 = 1. На основе такого шокирующего результата можно было бы доказать, что любое синтаксически корректное утверждение о целых числах является истинным, и математика в том виде, как мы ее знаем, обрушилась бы, подобно карточному домику.
Подобные сомнения относительно неразрешимости и внутренней противоречивости применимы лишь к математическим структурам, содержащим бесконечно много элементов. Присущи ли бесконечности, неразрешимости и потенциальные внутренние противоречия непосредственно фундаментальной физической реальности? Или это, по сути, миражи, артефакты, возникающие в результате нашей игры с огнем и применения мощных математических инструментов, которые скорее более удобны в использовании, нежели подходят для фактического описания нашей Вселенной? То есть – насколько корректно определенными должны быть математические структуры, чтобы быть реальными, выступать членами мультиверса IV уровня?
Есть целый спектр интересных возможностей для квалификации структур:
1. Нет структур (т. е. гипотеза математической Вселенной неверна).
2. Финитные (конечные) структуры. Они тривиально вычисляются, поскольку все их отношения можно задать таблицами конечного размера.
3. Вычислимые структуры (отношения в которых определяются останавливающимися вычислениями).
4. Структуры с отношениями, определяемыми вычислениями, которые не обязательно останавливаются (могут потребовать бесконечного числа шагов), подобно примеру с функцией H.
5. Еще более общего вида структуры, включающие в том числе континуум, где типичные элементы требуют для своего описания бесконечного количества информации.
Гипотеза вычислимой Вселенной
Интересные возможности предоставляет нам гипотеза вычислимой Вселенной (ГВВ). Она состоит в том, чтобы провести границу по варианту № 3 и дисквалифицировать структуры более общего вида:
Математическая структура, которая является нашей внешней физической реальностью, задана вычислимыми функциями.
Я имею в виду следующее: все отношения (функции), которые определяют математическую структуру, могут быть реализованы как вычисления, которые гарантированно останавливаются после конечного числа шагов. Если ГВВ неверна, то еще более консервативной гипотезой является гипотеза финитной Вселенной (ГФВ). Она проводит границу по варианту № 2: наша внешняя реальность является финитной математической структурой.
Мне кажется интересным, что очень близкие вопросы дебатировались среди математиков без ссылок на физику. Согласно финитистской школе математиков, к которой принадлежали Леопольд Кронекер, Герман Вейль и Рубен Гудстейн, математический объект не существует, если его нельзя построить из целых чисел за конечное число шагов. Это ведет прямо к варианту № 3.
Согласно ГВВ, математическая структура, которая является нашей физической реальностью, обладает привлекательным свойством вычислимости, а значит, является корректно определенной в строгом смысле (то есть все ее отношения могут быть вычислены). Таким образом, у нашей Вселенной не может быть никаких невычислимых (неразрешимых) физических особенностей, а значит, можно не беспокоиться, что работы Черча, Тьюринга и Геделя каким-то образом сделают наш мир неполным или внутренне противоречивым. Я не знаю точно, каковы свойства нашей физической реальности, но уверен, что эти свойства существуют в том смысле, что они корректно определены: природа наверняка знает, что делает.
Многих авторов озадачивало, почему наши физические законы выглядят относительно просто. Например, почему Стандартная модель физики элементарных частиц обладает такими простыми симметриями, которые мы обозначаем как SU(3) × SU(2) × U(1), и требует всего 32 параметра (гл. 10), тогда как большинство альтернатив значительно сложнее ее? Очень соблазнительно думать о том, что свой вклад в эту простоту внесла ГВВ, которая строго ограничивает сложность природы. Может быть, изгнав континуум, ГВВ также поможет уменьшить размер инфляционного ландшафта и разрешить космологическую проблему меры? Она в значительной мере связана с возможностью истинного континуума вечно испытывать экспоненциальное расширение, порождая бесконечное число наблюдателей.
Это были хорошие новости. Однако, хотя ГВВ имеет привлекательные черты, гарантирующие строгую определенность нашей Вселенной и, возможно, снижающие остроту космологической проблемы меры за счет ограничения того, что считается существующим, она также приводит к серьезным вызовам.
Прежде всего меня беспокоит, что ГВВ кажется сдачей важных философских высот, так как, по сути, она признает: хотя где-то существуют все математические структуры, некоторые из них обладают привилегированным статусом. Но если ГВВ верна, то все остальные математические ландшафты являются, по большому счету, иллюзиями, фундаментально неопределенными и в любом смысле несуществующими.
Более насущной является та проблема, что наша нынешняя Стандартная модель (как и все исторически успешные теории) нарушает ГВВ, и совершенно неочевидно, что существует жизнеспособная вычислимая альтернатива. Главная причина нарушения ГВВ состоит в использовании континуума, обычно в форме вещественных и комплексных чисел. Они не могут служить даже исходными данными для финитных вычислений, поскольку в общем случае требуют для своего задания бесконечно много битов. Даже те подходы, в рамках которых предпринимается попытка избавиться от классического континуума пространства-времени путем дискретизации или квантования, обычно применяют непрерывные переменные для других элементов теории, таких как напряженность электромагнитного поля или амплитуда квантовой волновой функции.
Один из интересных подходов к проблеме континуума состоит в замене вещественных чисел математической структурой, которая имитирует континуум, сохраняя вычислимость, – например алгебраическими числами. Другой подход (он кажется мне перспективнее) состоит в том, чтобы перестать рассматривать континуум в качестве фундаментальной структуры и попробовать относиться к нему как к аппроксимации. Я уже отмечал, что физики никогда ничего не измеряли с точностью более 16 значащих цифр, и нет эксперимента, исход которого зависел бы от гипотезы существования истинного континуума или от способности природы вычислять нечто невычислимое. Поразительно, но многие основанные на континууме модели классической математической физики (например уравнения, описывающие волны, диффузию или течение жидкости) являются не более чем аппроксимацией лежащего в основе поведения совокупностей дискретных атомов. Исследования в области квантовой гравитации указывают на то, что даже классическое пространство-время на очень малых масштабах распадается. Таким образом, нет уверенности, что величины, с которыми мы обращаемся как с непрерывными (вроде пространства-времени, напряженности поля, амплитуды квантовой волновой функции), не являются лишь аппроксимациями чего-то дискретного. На самом деле некоторые дискретные вычислимые структуры (и даже финитные, удовлетворяющие ГФВ) могут аппроксимировать континуальную физическую модель настолько хорошо, что физики применяют их, когда нужно выполнить практические вычисления, оставляя открытым вопрос о том, что ближе к математической структуре Вселенной – первое или второе. Некоторые исследователи, например Конрад Цузе, Джон Барроу, Юрген Шмидхубер и Стивен Вольфрам, зашли по этому пути настолько далеко, что предполагают и вычислимость, и финитность законов природы, подобно клеточным автоматам или компьютерным моделям. Отмечу, однако, что эти предположения отличаются от ГВВ и ГФВ тем, что требуют вычислимости эволюции во времени, а не просто описания (отношений) структуры.
Еще один поворот. Физики нашли примеры того, как нечто непрерывное (вроде квантовых полей) может порождать дискретное решение (вроде кристаллической решетки), которая, в свою очередь, кажется похожей на непрерывную среду в больших масштабах, и при этом подвержена колебаниям, которые ведут себя как дискретные частицы, называемые фононами. Мой коллега из МТИ Вэнь Сяоган показал, что «эмерджентные» частицы могут даже вести себя, как частицы в нашей Стандартной модели. Это открывает возможность существования множества слоев эффективно непрерывных и дискретных описаний, надстроенных над дискретной вычислимой структурой в основании.