Наша математическая вселенная - [126]

Рис. 12.3. FRAC, трёхмерный клон «Тетриса», реализует математическую структуру, где пространство и время дискретны, а не непрерывны.

Рис. 12.4. Компьютерная программа может автоматически генерировать упорядоченный список конечных математических структур, где каждая кодируется последовательностью цифр. В таблице показаны некоторые примеры, заданные при помощи схемы кодирования из моей статьи 2007 года. Слова и диаграммы во второй колонке — это избыточный «багаж», отражающий способы, какими люди называют и иллюстрируют эти структуры.

Или даже так: существует множество математических структур, где нет ни пространства, ни времени, а значит, не имеет и смысла говорить, будто в них что-то происходит. Большинство структур, примеры которых приведены на рис. 12.4, как раз такого типа. Скажем, внутри абстрактного додекаэдра ничего не происходит, поскольку эта математическая структура не содержит времени.

Наш «почтовый индекс» в мультиверсе IV уровня

Как отмечалось в гл. 10, математическая структура — это множество абстрактных элементов с отношениями между ними. Для более систематического изучения мультиверса IV уровня нам понадобится написать компьютерную программу, которая автоматически генерирует список существующих математических структур, начиная с простейших. На рис. 12.4 показаны десять строк этого списка, составленного с помощью схемы кодирования, которую я описал в статье 2007 года о математической Вселенной.[84] Детали этого метода здесь несущественны, кроме того замечательного свойства, что любая математическая структура с конечным числом элементов обязательно появится в этом списке. А значит, любую из этих математических структур можно задать одним числом — её номером в списке.

Для конечных математических структур все отношения можно описать конечными таблицами чисел, распространяющими идею таблицы умножения на другие типы отношений. Для структур с очень большим числом элементов эти таблицы становятся огромными и кодируются длинными числами, что смещает их вниз по списку. Однако для небольшой доли очень больших структур характерна внутренняя элегантная простота, что сильно упрощает их описание. Рассмотрим математическую структуру, элементами которой являются целые числа: 0, 1, 2, 3, …, и отношения сложения и умножения. Было бы напрасной тратой сил выписывать для задания умножения колоссальную таблицу умножения для всех пар чисел: даже если ограничиться первым миллионом чисел, таблица с миллионом строк и миллионом столбцов содержит триллион клеток. Вместо этого мы учим детей лишь таблице умножения первых десяти чисел, а также простому алгоритму, как использовать эту таблицу для умножения многозначных чисел. Для компьютеров мы описываем умножение ещё эффективнее, чем для детей: когда все числа представлены в двоичной системе счисления, нужно задать таблицу умножения размером всего 2 × 2 для нулей и единиц и добавить короткую компьютерную программу, которая указывает, как пользоваться таблицей для перемножения сколь угодно больших чисел.

Программа хранится просто как конечная строка нулей и единиц (битовая строка), которую можно интерпретировать как целое число, записанное в двоичной системе. Это даёт альтернативный способ кодирования и нумерации математических структур на рис. 12.4: пусть каждая математическая структура представляется числом, битовая строка которого является кратчайшей компьютерной программой, и её функции определяют все отношения в данной структуре. Теперь структуры будут появляться вверху списка, если их просто описать, даже если они огромны по числу своих элементов. Пионеры теории сложности Рэй Соломонофф, Андрей Колмогоров и Грегори Хайтин определили алгоритмическую сложность (для краткости — сложность) битовой строки как длину компьютерной программы, которая выдаёт эту строку. Это означает, что альтернативный основной список перечисляет математические структуры в порядке возрастания сложности.

Замечательная особенность этого нового списка состоит в том, что он также может содержать математические структуры с бесконечным числом элементов. Так, для определения математической структуры из всех целых чисел с операциями сложения и умножения понадобится просто задать кратчайшую программу, которая способна считывать сколь угодно длинные числа, складывать и перемножать их. Такие алгоритмы есть в системе Mathematica и других программных пакетах компьютерной алгебры. Математические структуры, включающие бесконечное множество точек, образующее континуум, подобно пространству-времени, электромагнитным полям и волновым функциям, нередко можно хорошо аппроксимировать конечными структурами, пригодными для компьютерной обработки. Именно так я с коллегами и выполняю большую долю расчётов в области теоретической физики.

Короче говоря, мультиверс IV уровня можно систематически отобразить путём перечисления математических структур с помощью компьютера и изучения их свойств. Если однажды нам удастся определить, в какой математической структуре мы живём, можно будет сослаться на неё по номеру в основном списке, и мы получим возможность записать свой адрес в полной физической реальности (