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

Виртуальная среда может быть как ограниченной, так и неограниченной в видимом физическом размере и видимой длительности. Виртуальным домом, созданным архитектором, например, можно будет пользоваться сколь угодно долго, но объём этой среды, вероятно, будет ограничен. Видеоигра может выделить пользователю только конечное игровое время до её окончания, но может генерировать игру-вселенную неограниченных размеров, давая возможность неограниченного количества исследований, и пользователь может лишь сознательно завершить её. Для упрощения доказательства мы будем рассматривать только неограниченно долго работающие программы. Это не такое уж большое ограничение, потому что если программа останавливается, то мы всегда можем рассматривать отсутствие ответной реакции с её стороны как ответ от среды сенсорной изоляции.

Мне хотелось бы определить класс логически возможных сред, которые я назову CGT-средами, частично в честь Кантора, Гёделя и Тьюринга, а частично по причине, которую я скоро объясню. Я определяю их следующим образом. В течение первой субъективной минуты среда типа CGT ведёт себя не так, как среда № 1 (созданная программой № 1 нашего генератора). Неважно, как именно она себя ведёт, важно, что пользователь ощущает отличие её поведения от поведения среды № 1. В течение второй минуты эта среда ведёт себя отлично от среды № 2 (но теперь может напоминать среду № 1). В течение третьей минуты она ведёт себя отлично от среды № 3 и т. д. Любую среду, которая удовлетворяет этим условиям, я назову CGT-средой.

Далее, поскольку CGT-среда не ведёт себя в точности как среда № 1, она не может быть средой № 1; поскольку она не ведёт себя в точности как среда № 2, она не может быть средой № 2. Поскольку рано или поздно она гарантированно будет вести себя не так, как среда № 3, среда № 4 и любая другая среда из нашего списка, значит, она не может быть ни одной из этих сред. Однако по допущению этот список содержит все среды, созданные каждой возможной программой для этой машины. Следовательно, ни одна CGT-среда не входит в репертуар машины. CGT-среды — это те среды, в которые мы не можем пойти[20], используя данный генератор виртуальной реальности.

Ясно, что существует невообразимо много сред типа CGT, потому что данное определение оставляет огромную свободу выбора возможного поведения этих сред; единственное ограничение состоит в том, что в течение каждой минуты они не должны вести себя вполне определённым образом. Можно доказать, что для каждой среды из репертуара данного генератора виртуальной реальности существует бесконечно много CGT-сред, которые генератор не может создать. Не удастся принципиально расширить репертуар и путём использования ряда различных генераторов виртуальной реальности. Допустим, что у нас есть сто таких генераторов, причём у каждого (в целях доказательства) отличный от других репертуар. Тогда весь набор генераторов вместе с программируемой системой управления, определяющей, какие из них нужно использовать для запуска данной программы, — это просто более крупный генератор виртуальной реальности. Такой генератор также подчиняется приведённому мной доказательству, поэтому для каждой среды, которую он может создать, будет существовать бесконечно много сред, которые он создать не сможет. Более того, допущение о том, что различные генераторы виртуальной реальности могут иметь различные репертуары, оказывается чрезмерно оптимистичным. Как мы скоро увидим, все достаточно сложные генераторы виртуальной реальности имеют по сути один и тот же репертуар.

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