представить физически возможный генератор виртуальной реальности, репертуар которого охватывает весь сенсорный диапазон. Кроме того, этот генератор полностью интерактивен и не ограничен ни скоростью, ни емкостью памяти своего компьютера. Существует ли что-либо, что не входит в репертуар такого генератора виртуальной реальности? Возможно ли, что этот репертуар мог бы стать набором всех логически возможных сред? Нет. Репертуар даже этой фантастической машины резко ограничен хотя бы тем, что она являет собой физический объект. Она даже поверхностно не затрагивает то, что возможно логически, и сейчас я докажу это.
Основная идея такого доказательства — известного как
Каждая среда в репертуаре нашей машины формируется некой программой, заложенной в ее компьютер. Представьте набор всех адекватных программ для этого компьютера. С точки зрения физики каждая из этих программ точно определяет конкретный набор значений физических переменных на дисках или других носителях, где записана компьютерная программа. Из квантовой теории нам известно, что все такие переменные квантуются, и, следовательно, независимо от того, как работает компьютер, набор возможных программ дискретен. Значит, каждую программу можно выразить как конечную последовательность символов в дискретном коде или на языке компьютера. Существует бесконечное множество таких программ, но каждая из них может содержать только конечное количество символов. Так происходит потому, что символы — это физические объекты, созданные из вещества в узнаваемых конфигурациях, а бесконечное количество символов создать невозможно. Как я поясню в главе 10, эти интуитивно очевидные физические требования: что программы должны квантоваться, что каждая должна состоять из конечного числа символов и выполняться последовательно по этапам, — гораздо более материальны, чем кажутся. Они являются единственными следствиями законов физики, которые необходимы в качестве исходных данных доказательства, но их достаточно, чтобы наложить резкие ограничения на репертуар любой физически возможной машины. Другие физические законы могут наложить даже большие ограничения, но они никак не повлияют на выводы этой главы.
Теперь давайте представим, что из этого бесконечного набора возможных программ составлен бесконечно длинный нумерованный список: Программа 1, Программа 2 и т.д. Эти программы можно расположить, например, в «алфавитном порядке» по отношению к символам, в которых они выражены. Поскольку каждая программа формирует среду, этот список можно рассматривать и как список всех сред из репертуара данной машины; мы можем называть их Среда 1, Среда 2 и т. д. Может случиться и так, что некоторые среды будут повторяться в этом списке, потому что две разные программы в действительности могут осуществлять одинаковые вычисления, но это никак не повлияет на доказательство. Важно, что каждая среда из репертуара нашей машины должна появиться в списке хотя бы один раз.
Виртуальная среда может быть как ограниченной, так и неограниченной в видимом физическом размере и видимой длительности. Виртуальным домом, созданным архитектором, например, можно будет пользоваться сколько угодно, но объем этой среды, вероятно, будет ограничен. Видеоигра может выделить пользователю только ограниченное время для игры до ее окончания или передать игру-вселенную неограниченных размеров, предоставить неограниченное количество исследований и закончиться только тогда, когда ее закончит сам пользователь. Для упрощения доказательства мы будем рассматривать только непрерывно работающие программы. Это не такое уж большое ограничение, потому что, если программа останавливается, то мы всегда можем рассматривать отсутствие ответной реакции с ее стороны как среду сенсорной изоляции.
Мне хотелось бы определить класс логически возможных сред, которые я назову
Далее, поскольку среда Кантгоуту не ведет себя в точности как Среда 1, она не может
Ясно, что существует невообразимо много сред Кантгоуту, потому что определение оставляет огромную свободу выбора возможного поведения этих сред, единственное ограничение состоит в том, что их поведение должно изменяться по прошествии каждой минуты. Можно доказать, что для каждой среды из репертуара данного генератора виртуальной реальности существует бесконечно много сред Кантгоуту, которые генератор не может передать. Да и места для расширения репертуара путем использования ряда различных генераторов виртуальной реальности не так уж много. Допустим, что у нас есть сто таких генераторов, причем каждый (в целях доказательства) имеет свой репертуар. Тогда весь набор генераторов вместе с программируемой системой управления, определяющей, какие из них нужно использовать для обработки данной программы, — это просто более крупный генератор виртуальной реальности. Такой генератор подходит к приведенному мной доказательству, поэтому, для каждой среды, которую он может передать, будет существовать бесконечно много сред которые он передать не сможет. Более того, допущение о том, что различные генераторы виртуальной реальности могут иметь различные репертуары, оказывается чрезмерно оптимистичным. Как мы скоро увидим все достаточно сложные генераторы виртуальной реальности имеют по сути один и тот же репертуар.
Таким образом, наш гипотетический проект создания предельного генератора виртуальной реальности, который столь уверенно продвигался вперед, внезапно наткнулся на кирпичную стену. Какие бы усовершенствования ни произошли в ближайшем будущем, репертуар всей технологии виртуальной реальности никогда не выйдет за пределы определенного набора сред. Следует признать, что этот набор бесконечно велик и весьма разнообразен по сравнению с опытом, предшествующим появлению технологии виртуальной реальности. Тем не менее это всего лишь бесконечно малая частица набора всех логически возможных сред.
На что было бы похоже пребывание в среде Кантгоуту? Хотя законы физики и не позволяют нам оказаться в такой среде, логически это возможно, а потому вопрос об ощущениях правомерен. Безусловно она не смогла бы дать нам никаких новых