Структура мультиверса IV уровня
Исследовать мультиверс IV уровня интересно. Если принять популярное формалистическое определение математики как «изучение математических структур», то исследование мультиверса IV уровня окажется тем самым делом, которым занимаются математики. Для физиков вроде меня, признающих гипотезу математической Вселенной, это равносильно исследованию фундаментальной физической реальности и поиску нашего места в ней. Причём исследовать мультиверс IV уровня проще, чем любой нижестоящий мультиверс или даже нашу Вселенную, поскольку для этого не нужны ни ракеты, ни телескопы — достаточно компьютеров и идей. Так что я получил массу удовольствия, создавая компьютерные программы, перечисляющие и классифицирующие математические структуры.
Занимаясь этим на практике, сталкиваешься с ошеломляющей избыточностью. Существует очень много способов написать компьютерную программу, которая выполняет любое вычисление, и столь же огромное число эквивалентных способов описания конечных математических структур с помощью таблиц чисел, соответствующих, например, способам упорядочения или обозначения элементов. В гл. 10 мы упоминали о том, что математическая структура — это класс эквивалентности описаний. Так что каждая математическая структура должна появляться в основном списке всего однажды, причём заданная лишь одним, самым коротким, из множества эквивалентных описаний.
Для любых двух математических структур можно определить новую структуру путём объединения всех элементов двух исходных структур и отношений между ними. Многие структуры в нашем основном списке как раз составные, и при изучении мультиверса IV уровня есть смысл их игнорировать. Это связано с тем, что нет отношений, соединяющих две части, а значит, самосознающий наблюдатель в одной из таких частей никогда не узнает о существовании другой части и не испытает её влияния. Поэтому он может действовать так, будто другой части вовсе не существует либо она не является частью его математической структуры. Единственный случай, при котором составные структуры могут, вероятно, иметь значение, — когда они входят в решение проблемы меры, изменяя вероятности того, что вам выпадет жить в той или иной математической структуре. Поскольку составные структуры описывать гораздо сложнее, они обычно оказываются гораздо дальше в нашем списке, чем их части, и это может придавать им меньшую «меру». На самом деле для любого конечного числа структур мультиверса IV уровня далеко внизу основного списка существует единая составная структура, содержащая их все.
Хотя математические структуры в мультиверсе IV уровня не соединены каким-либо физически осмысленным образом, на метауровне между ними много интересных отношений. Например, мы только что разобрали, как одна структура может быть объединением других. Или: одна структура может в некотором смысле описывать другую. Элементы первой могут соответствовать отношениям во второй, а отношения в первой описывать, что происходит при комбинировании отношений во второй. В этом смысле содержащая 24 отношения структура «повороты куба» (рис. 12.4) описывается структурой, которую математики называют «группа вращений куба». Её 24 элемента соответствуют всем возможным поворотам, сохраняющим идеальный куб внешне неизменным. Множество математических структур обладает симметриями куба и, таким образом, имеет основания считаться кубами — например структуры, элементы которых соответствуют граням, вершинам или рёбрам куба, а отношения указывают, как повороты переупорядочивают эти элементы, либо говорят, какие из них чьими соседями являются.
Ограничения, накладываемые на мультиверс IV уровня: неразрешимость, невычислимость и неопределённость
Насколько велик мультиверс IV уровня? Прежде всего, существует бесконечно много конечных математических структур: их так же бесконечно много, как и чисел: 1, 2, 3, …, поскольку все их можно перечислить в одном пронумерованном списке. Но сколько в мультиверсе IV уровня бесконечных математических структур, где каждая состоит из бесконечного множества элементов? Мы видели, что некоторые бесконечные структуры также могут быть заданы и включены в основной список наряду с конечными структурами за счёт использования компьютерных программ, определяющих их отношения. Однако включение бесконечности вызывает множество онтологических проблем. Чтобы убедиться в этом, рассмотрим математическую структуру, где элементами являются числа 1, 2, 3, …, над которыми определены три отношения (функции) — правила, которые получают на входе числа и определяют новое число согласно следующим определениям:
1. P(n) — для данного числа n, P(n) обозначает наименьшее простое число, большее чем n.
2. T(n) — для данного числа n, T(n) обозначает наименьшее простое число-близнец, большее n (парное простое число — такое, что ближайшее к нему число-близнец отличается от него на 2; примером простых чисел-близнецов служат числа 11 и 13).
3. H(m,n) — для данных двух чисел, m и n, H(m,n) равно 0, если m-ая компьютерная программа в нашем основном списке всех компьютерных программ будет работать бесконечно, если ей на вход подать число n, и H(m, n) равно 1, если, напротив, эта программа завершит работу, сделав конечное число шагов.
Подходит ли эта структура для включения в качестве члена в мультиверс IV уровня, или она недостаточно корректно определена? Первая функция, P(n), совершенно замечательна: нетрудно написать программу, которая начинает проверять, являются ли следующие за n числа простыми, и останавливается, как только находит такое. У нас есть гарантия, что эта программа остановится после конечного числа шагов, поскольку известно, что существует бесконечно много простых чисел (это доказал ещё Евклид). Так что P(n) — пример вычислимой функции.
Вторая функция, T(n), хитрее. Легко написать программу, которая проверяет каждое число, следующее за n, на предмет того, не является ли оно простым-близнецом. Но если подставить число n больше, чем 37 568 016 956 852666 669 —1 (это самое большое простое число-близнец, известное сейчас), то нет гарантии, что программа когда-нибудь остановится и даст ответ. Несмотря на все усилия математиков, мы до сих пор не знаем, бесконечно ли количество простых чисел-близнецов. Так что мы не знаем, является ли T(n) вычислимой, а значит, и строго определённой функцией. Таким образом, остаётся под вопросом, можно ли математическую структуру, содержащую такое неаккуратно заданное отношение, считать корректно определённой.
Третья функция, H(m,n), ещё более скверная: пионеры кибернетики Алонзо Чёрч и Алан Тьюринг установили, что не существует программы, которая могла бы вычислить H(m, n) для произвольных аргументов m и n за конечное число шагов, так что H(m,n) — это пример невычислимой функции. Иными словами, не существует программы, способной определять, какие из других программ в конце концов остановятся. Конечно, любая программа либо остановится, либо нет, но хитрость в том, что, как и в случае с простыми числами-близнецами, вам, возможно, понадобится ждать окончания расчётов вечно. Открытие Черчем и Тьюрингом невычислимых функций тесно связано с открытием логиком Куртом Гёделем того факта, что некоторые арифметические теоремы неразрешимы, то есть их нельзя ни доказать, ни опровергнуть за конечное число шагов.
Следует ли рассматривать математические структуры как корректно определённые, даже если они содержат такие отношения, как H, которые нельзя вычислить и на сколь угодно мощном компьютере? Если да, то такая структура может быть известна лишь подобной оракулу сущности, которая способна реально выполнить бесконечное число вычислительных шагов, необходимых для получения ответа. Такие структуры никогда не появятся в обсуждавшемся выше основном списке: он учитывает лишь структуры, определимые с помощью обычных компьютерных программ, а не при участии всемогущего оракула.
