Структура реальности. Наука параллельных вселенных

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

Рассматривая всевозможные трюки — стимуляцию нервов, остановку и запуск мозга и т. д., — мы смогли представить себе физически возможный генератор виртуальной реальности, репертуар которого охватывает весь сенсорный диапазон. Кроме того, этот генератор полностью интерактивен и не ограничен ни скоростью, ни объёмом памяти своего компьютера. Существует ли что-либо, что не входит в репертуар такого генератора виртуальной реальности? Будет ли этот репертуар набором всех логически возможных сред? Нет. Репертуар даже этой фантастической машины резко ограничен хотя бы тем, что она представляет собой физический объект. Она даже поверхностно не затрагивает то, что возможно логически, и сейчас я докажу это.

Основная идея такого доказательства — известного как диагональный аргумент — предшествует идее виртуальной реальности. Впервые этот аргумент использовал математик XIX века Георг Кантор[17], чтобы доказать существование бесконечных величин, превышающих бесконечность натуральных чисел (1, 2, 3…). Такого же рода доказательство лежит в основе современной теории вычислений, разработанной Аланом Тьюрингом[18] и другими в 1930-х годах. Им также пользовался Курт Гёдель[19] для доказательства своей знаменитой «теоремы о неполноте», о которой я подробнее расскажу в главе 10.

Каждая среда в репертуаре нашей машины формируется некой программой, заложенной в её компьютер. Представьте себе набор всех адекватных программ для этого компьютера. С точки зрения физики каждая из этих программ задаёт конкретный набор значений физических переменных на дисках или других носителях, которые представляют компьютерную программу. Из квантовой теории нам известно, что все такие переменные квантуются, и, следовательно, независимо от того, как работает компьютер, набор возможных программ дискретен. Значит, каждую программу можно выразить как конечную последовательность символов в дискретном коде или на компьютерном языке. Существует бесконечное множество таких программ, но каждая из них может содержать лишь конечное количество символов. Так происходит потому, что символы — это физические объекты, созданные из вещества в узнаваемых конфигурациях, и бесконечное количество символов создать невозможно. Как я объясню в главе 10, эти интуитивно очевидные физические требования (что программы должны квантоваться, что каждая должна состоять из конечного числа символов и выполняться последовательно по этапам) гораздо более существенны, чем кажется. Они являются единственными следствиями законов физики, которые необходимы в качестве посылок нашего доказательства, но их достаточно, чтобы наложить очень сильные ограничения на репертуар любой физически возможной машины. Другие физические законы могут наложить более серьёзные ограничения, но они никак не повлияют на выводы этой главы.

Теперь давайте представим себе, что весь этот бесконечный набор возможных программ организован в виде бесконечно длинного нумерованного списка: программа № 1, программа № 2 и т. д. Эти программы можно расположить, например, в «алфавитном» порядке в соответствии с символами, в которых они выражены. Поскольку каждая программа формирует некую среду, этот список можно рассматривать и как список всех сред из репертуара данной машины; мы можем называть их среда № 1, среда № 2 и т. д. Возможно, некоторые среды в списке будут повторяться, потому что две разные программы в действительности могут осуществлять одинаковые вычисления, но это никак не повлияет на доказательство. Важно то, что каждая среда из репертуара нашей машины должна появиться в списке хотя бы один раз.