Наша математическая вселенная - [127]
Рис. 12.5. Для задания адреса в полной физической реальности мне понадобится указать своё положение в мультиверсе IV уровня (номер моей математической структуры), в мультиверсе III уровня (ветвь квантовой волновой функции), в мультиверсе II уровня (постинфляционный пузырь), в мультиверсе I уровня (хаббловский объём), а также положение внутри нашей Вселенной. Я привёл здесь небольшие числа, хотя на каждом из четырёх уровней может быть бесконечно много членов, так что в мой реальный адрес будут входить числа слишком большие, чтобы они поместились на конверте.
Структура мультиверса IV уровня
Исследовать мультиверс IV уровня интересно. Если принять популярное формалистическое определение математики как «изучение математических структур», то исследование мультиверса IV уровня окажется тем самым делом, которым занимаются математики. Для физиков вроде меня, признающих гипотезу математической Вселенной, это равносильно исследованию фундаментальной физической реальности и поиску нашего места в ней. Причём исследовать мультиверс IV уровня проще, чем любой нижестоящий мультиверс или даже нашу Вселенную, поскольку для этого не нужны ни ракеты, ни телескопы — достаточно компьютеров и идей. Так что я получил массу удовольствия, создавая компьютерные программы, перечисляющие и классифицирующие математические структуры.
Занимаясь этим на практике, сталкиваешься с ошеломляющей избыточностью. Существует очень много способов написать компьютерную программу, которая выполняет любое вычисление, и столь же огромное число эквивалентных способов описания конечных математических структур с помощью таблиц чисел, соответствующих, например, способам упорядочения или обозначения элементов. В гл. 10 мы упоминали о том, что математическая структура — это класс эквивалентности описаний. Так что каждая математическая структура должна появляться в основном списке всего однажды, причём заданная лишь одним, самым коротким, из множества эквивалентных описаний.
Для любых двух математических структур можно определить новую структуру путём объединения всех элементов двух исходных структур и отношений между ними. Многие структуры в нашем основном списке как раз составные, и при изучении мультиверса IV уровня есть смысл их игнорировать. Это связано с тем, что нет отношений, соединяющих две части, а значит, самосознающий наблюдатель в одной из таких частей никогда не узнает о существовании другой части и не испытает её влияния. Поэтому он может действовать так, будто другой части вовсе не существует либо она не является частью его математической структуры. Единственный случай, при котором составные структуры могут, вероятно, иметь значение, — когда они входят в решение проблемы меры, изменяя вероятности того, что вам выпадет жить в той или иной математической структуре. Поскольку составные структуры описывать гораздо сложнее, они обычно оказываются гораздо дальше в нашем списке, чем их части, и это может придавать им меньшую «меру». На самом деле для любого конечного числа структур мультиверса IV уровня далеко внизу основного списка существует единая составная структура, содержащая их все.
Хотя математические структуры в мультиверсе IV уровня не соединены каким-либо физически осмысленным образом, на метауровне между ними много интересных отношений. Например, мы только что разобрали, как одна структура может быть объединением других. Или: одна структура может в некотором смысле описывать другую. Элементы первой могут соответствовать отношениям во второй, а отношения в первой описывать, что происходит при комбинировании отношений во второй. В этом смысле содержащая 24 отношения структура «повороты куба» (рис. 12.4) описывается структурой, которую математики называют «группа вращений куба». Её 24 элемента соответствуют всем возможным поворотам, сохраняющим идеальный куб внешне неизменным. Множество математических структур обладает симметриями куба и, таким образом, имеет основания считаться кубами — например структуры, элементы которых соответствуют граням, вершинам или рёбрам куба, а отношения указывают, как повороты переупорядочивают эти элементы, либо говорят, какие из них чьими соседями являются.
Ограничения, накладываемые на мультиверс IV уровня: неразрешимость, невычислимость и неопределённость
Насколько велик мультиверс IV уровня? Прежде всего, существует бесконечно много конечных математических структур: их так же бесконечно много, как и чисел: 1, 2, 3, …, поскольку все их можно перечислить в одном пронумерованном списке. Но сколько в мультиверсе IV уровня бесконечных математических структур, где каждая состоит из бесконечного множества элементов? Мы видели, что некоторые бесконечные структуры также могут быть заданы и включены в основной список наряду с конечными структурами за счёт использования компьютерных программ, определяющих их отношения. Однако включение бесконечности вызывает множество онтологических проблем. Чтобы убедиться в этом, рассмотрим математическую структуру, где элементами являются числа 1, 2, 3, …, над которыми определены три отношения (функции) — правила, которые получают на входе числа и определяют новое число согласно следующим определениям:
