Более внимательный анализ открывает нам, что Творец без ума от математики. Пифагор в VI веке до нашей эры, вероятно, впервые предположил, что математические соотношения лежат в основе всех физических явлений. Его догадка была подтверждена веками научных исследований, и теперь мы считаем само собой разумеющимся, что природа подчиняется математическим законам. Но если остановиться и задуматься, то тот факт выглядит крайне странным.
Математика кажется продуктом чистого мышления, очень слабо связанным с опытом. Но почему же тогда она так идеально подходит для описания физической Вселенной? Это именно то, что физик Юджин Вигнер называл "непостижимой эффективностью математики в естественных науках". Рассмотрим в качестве простого примера эллипс. Он был известен древним грекам как кривая, которая получается при разрезании конуса плоскостью под определенным углом. Архимед и другие греческие математики изучали свойства эллипса просто из интереса к геометрии. Затем, более 2000 лет спустя, Иоганн Кеплер открыл, что планеты в своем движении вокруг Солнца с высокой точностью описывают эллипсы. Но что общего у движений Марса и Венеры с коническими сечениями?
Ближе к нашему времени, в 1960-х годах, мой друг математик Виктор Кац (Victor Кас) исследовал класс замысловатых математических структур, известных как алгебры Каца-Муди. Единственной мотивом для этого был его нюх, который подсказывал: эти структуры пахнут чем-то интересным и могут привести к красивым математическим результатам. Никто не мот предсказать, что через пару десятилетий эти алгебры станут играть ключевую роль в теории струн.
Эти примеры не являются исключениями. Чаще случается именно так, а не наоборот: физики обнаруживают, что математические построения, необходимые им для описания нового класса явления, уже исследованы математиками по причинам, не имеющим ничего общего с обсуждаемыми явлениями. Похоже, что Творцу присуще математическое чувство красоты. Многие физики, полагаясь на эту его черту, используют математическую красоту в качестве путеводной нити в поисках новых теорий. Согласно Полю Дираку, одному из основоположников квантовой механики, "красота уравнений важнее их соответствия эксперименту, потому что расхождения могут быть вызваны второстепенными причинами, которые прояснятся по мере развития теории".
[174]
Математическую красоту определить ничуть не проще, чем в красоту в искусстве.
[175] Примером того, что математики считают красивым, может служить формула Эйлера: eiπ = 0. Один из критериев красоты — это простота, но одной простоты недостаточно. Формула 1 + 1 = 2 проста, но не особо красива, поскольку тривиальна. Напротив, формула Эйлера демонстрирует весьма неожиданную связь между тремя, казалось бы, независимыми числами: числом e, известным как основание натуральных логарифмов, "мнимым" числом i — квадратным корнем из −1 и числом π — отношением длины окружности к ее диаметру. Это свойство можно назвать глубиной. Красивая математика соединяет простоту и глубину.
Если и в самом деле Творец имеет математический склад ума, тогда уравнения окончательной Теории Всего должны быть поразительно простыми и невероятно глубокими. Некоторые считают, что эта окончательная теория есть теория струн, которую мы сейчас открываем. Безусловно, она очень глубока. Простой ее не назовешь, но простота может проявиться, когда теория будет лучше понята.
Математическая демократия
Если мы когда-нибудь откроем окончательную Теорию Всего, останется вопрос: почему именно эта теория? Математическая красота может быть полезна как путеводная нить, но трудно себе представить, что ее достаточно для выбора единственной теории из бесконечного множества возможностей. Говоря словами физика Макса Тегмарка, "почему одна, и только одна, математическая структура должна быть наделена физическим существованием?" Тегмарк, работающий ныне в Массачусетсом технологическом институте, предложил путь для выхода из этого тупика.
[176]
Его предложение столь же простое, сколь и радикальное: он отстаивает идею, что для любой и каждой математической структуры должна существовать отвечающая ей вселенная.
[177] Существует, например, ньютоновская вселенная, подчиняющаяся законам евклидовой геометрии, классической механики и теории гравитации Ньютона. Есть также вселенные, в которых пространство имеет бесконечное число измерений, и другие — с двумя измерениями времени. Еще труднее представить себе вселенную, управляемую алгеброй кватернионов, не имеющую ни пространства, ни времени.
Тегмарк утверждает, что все эти вселенные существуют "где-то". Мы не знаем о них точно так же, как не знаем о других вселенных, зарождающихся из ничего. Математические структуры в некоторых из этих вселенных достаточно изощренны, чтобы допустить возникновение "самосознающих подструктур", подобных вам и мне. Такие вселенные редки, но, конечно, только они могут быть наблюдаемы.
У нас нет фактов в поддержку столь радикального расширения реальности. Единственная причина повышать статус вселенных с другими математическими структурами до реального существования — это обход необходимости объяснять, почему они не существуют. Возможно, это удовлетворило бы некоторых философов, но физикам нужно что-то более существенное. В духе принципа заурядности можно было бы попробовать показать, что фундаментальная теория нашей Вселенной — в некотором роде типичная среди всех теорий, достаточно богатых, чтобы содержать наблюдателей. Это могло бы поддержать расширенный мультиверс Тегмарка.
В случае успеха эта программа полностью вывела бы Творца за рамки картины мира. Инфляция оставляет ему лишь работу по заданию начальных условий в момент Большого взрыва, квантовая космология снимаете него бремя создания пространства, времени и запуска инфляции, а теперь его изгоняют и из последнего прибежища — выбора фундаментальной теории.
