Реклама
Книги по философии
Дэвид Дойч
Структура реальности
(страница 28)
Виртуальная среда может быть как ограниченной, так и неограниченной в видимом физическом размере и видимой длительности. Виртуальным домом, созданным архитектором, например, можно будет пользоваться сколько угодно, но объем этой среды, вероятно, будет ограничен. Видеоигра может выделить пользователю только ограниченное время для игры до ее окончания или передать игру-вселенную неограниченных размеров, предоставить неограниченное количество исследований и закончиться только тогда, когда ее закончит сам пользователь. Для упрощения доказательства мы будем рассматривать только непрерывно работающие программы. Это не такое уж большое ограничение, потому что, если программа останавливается, то мы всегда можем рассматривать отсутствие ответной реакции с ее стороны как среду сенсорной изоляции.
Мне хотелось бы определить класс логически возможных сред, которые я назову средами Кантгоуту, частично в честь Кантора (Cantor), Геделя (Godel) и Тьюринга (Turing), а частично по причине, которую я вкратце объясню. Эти среды я определяю следующим образом. В течение первой субъективной минуты среда Кантгоуту ведет себя не так, как Среда 1 (созданная Программой 1 нашего генератора). Не важно, как она себя ведет, важно, что пользователь ощущает отличие ее поведения от поведения Среды 1. В течение второй минуты эта среда ведет себя отлично от Среды 2 (хотя сейчас она может вести себя как Среда 1). В течение третьей минуты она ведет себя отлично от Среды 3 и т.д. Любую среду, которая удовлетворяет этим условиям, я назову средой Кантгоуту.
Далее, поскольку среда Кантгоуту не ведет себя в точности как Среда 1, она не может быть Средой 1; поскольку она не ведет себя в точности как Среда 2, она не может быть Средой 2. Поскольку рано или поздно она точно будет вести себя не так, как Среда 3, Среда 4 и любая другая среда из списка, значит, она не может быть ни одной из этих сред. Однако этот список содержит все среды, созданные каждой возможной программой для этой машины. Следовательно, ни одна среда Кантгоуту не входит в репертуар машины. Среды Кантгоуту -- это среды, в которые мы не можем пойти2, используя генератор виртуальной реальности.
Ясно, что существует невообразимо много сред Кантгоуту, потому что определение оставляет огромную свободу выбора возможного поведения этих сред, единственное ограничение состоит в том, что их поведение должно изменяться по прошествии каждой минуты. Можно доказать, что для каждой среды из репертуара данного генератора виртуальной реальности существует бесконечно много сред Кантгоуту, которые генератор не может передать. Да и места для расширения репертуара путем использования ряда различных генераторов виртуальной реальности не так уж много. Допустим, что у нас есть сто таких генераторов, причем каждый (в целях доказательства) имеет свой репертуар. Тогда весь набор генераторов вместе с программируемой системой управления, определяющей, какие из них нужно использовать для обработки данной программы, -- это просто более крупный генератор виртуальной реальности. Такой генератор подходит к приведенному мной доказательству, поэтому, для каждой среды, которую он может передать, будет существовать бесконечно много сред которые он передать не сможет. Более того, допущение о том, что различные генераторы виртуальной реальности могут иметь различные репертуары, оказывается чрезмерно оптимистичным. Как мы скоро увидим все достаточно сложные генераторы виртуальной реальности имеют по сути один и тот же репертуар.
Таким образом, наш гипотетический проект создания предельного генератора виртуальной реальности, который столь уверенно продвигался вперед, внезапно наткнулся на кирпичную стену. Какие бы усовершенствования ни произошли в ближайшем будущем, репертуар всей технологии виртуальной реальности никогда не выйдет за пределы определенного набора сред. Следует признать, что этот набор бесконечно велик и весьма разнообразен по сравнению с опытом, предшествующим появлению технологии виртуальной реальности. Тем не менее это всего лишь бесконечно малая частица набора всех логически возможных сред.
На что было бы похоже пребывание в среде Кантгоуту? Хотя законы физики и не позволяют нам оказаться в такой среде, логически это возможно, а потому вопрос об ощущениях правомерен. Безусловно она не смогла бы дать нам никаких новых ощущений, поскольку универсальный генератор изображений является возможным и считается частью нашего высокотехнологичного генератора виртуальной реальности. Таким образом, среда Кантгоуту показалась бы нам загадочной только после того, как мы оказались в ней и поразмышляли над результатами. Это было бы примерно так. Допустим, что вы фанат виртуальной реальности из далекого будущего с ультра-технологиями. Вы пресытились: вам кажется, что вы уже испробовали все интересное. Но вдруг однажды появляется джинн и заявляет, что он может перенести вас в среду Кантгоуту. Вы сомневаетесь, но согласны проверить его способности. Вас мгновенно переносят в эту среду. После нескольких экспериментов вам кажется, что вы узнаете ее: она реагирует как одна из ваших любимейших сред, которая на вашей домашней системе виртуальной реальности создается при запуске программы под номером X. Однако вы продолжаете экспериментировать, и, в конце концов, по окончании минуты Х реакция среды становится весьма отличной от той, которую могла бы предложить Среда X. Тогда вы отказываетесь от мысли о том, что это Среда X. Потом вы можете заметить, что все происшедшее очень напоминает другую среду, которую можно передать, -- Среду Y. Но по истечении минуты Y вы понимаете, что вновь ошиблись. Характеристика среды Кантгоуту просто в следующем: сколько бы вы ни гадали, какой бы сложной ни была программа, которую вы приняли за программу, передающую именно эту среду, вы всегда будете ошибаться, потому что ни одна программа не передаст ее ни на вашем генераторе виртуальной реальности, ни на каком-то другом.
Рано или поздно вам придется завершить свою проверку. К тому времени, вы, может быть, справедливо решите признать способности джинна. Я не хочу сказать, что вы когда-либо сможете доказать, что были в среде Кантгоуту, поскольку всегда существует даже более сложная программа, которую мог обрабатывать джинн, и которая могла бы соответствовать полученным вами ощущениям. То, о чем я сейчас говорил, всего лишь общая черта виртуальной реальности, -- ощущение не может доказать пребывание человека в данной среде, будь это Центральный Корт Уимблдона или среда типа Кантгоуту.
В любом случае не существует таких джиннов и таких сред. Таким образом, мы должны сделать вывод, что физика не позволяет репертуару генератора виртуальной реальности приблизиться к тому огромному репертуару, который позволяет одна логика. Насколько же велик может быть этот репертуар?
Поскольку мы не можем надеяться на передачу всех логически возможных сред, давайте рассмотрим меньшую (но в конечном счете более интересную) степень универсальности. Давайте определим универсальный генератор виртуальной реальности как генератор, репертуар которого содержит репертуары всех остальных физически возможных генераторов виртуальной реальности. Может ли существовать такая машина? Может. Размышление о фантастических устройствах, основанных на стимуляции нервов, управляемой компьютером, делает это очевидным -- в действительности, почти слишком очевидным. Такую машину можно было бы запрограммировать на воспроизведение характеристики любой конкурирующей с ней машины. Она смогла бы вычислить реакцию той машины при любой данной программе, при любом поведении пользователя и, следовательно, смогла бы передать эти реакции с совершенной точностью (с точки зрения любого данного пользователя). Я говорю, что это "почти слишком очевидно", потому что здесь содержится важное допущение относительно того, на выполнение каких действий можно запрограммировать предложенное устройство, точнее, его компьютер: при наличии подходящей программы, достаточного времени и средств хранения информации компьютер смог бы подсчитать результат любого вычисления, выполненного любым другим компьютером, в том числе и компьютером конкурирующего генератора виртуальной реальности. Таким образом, возможность реализации универсального генератора виртуальной реальности зависит от существования универсального компьютера -- отдельной машины, способной вычислить все, что только можно вычислить.
Как я уже сказал, такая универсальность была впервые изучена не физиками, а математиками. Они пытались создать точное интуитивное понятие "решения" (или "вычисления", или "доказательства") чего-либо в математике. Они не учитывали, что математическое вычисление -- это физический процесс (в частности, как я уже объяснил, процесс передачи в виртуальной реальности), поэтому, путем математического рассуждения невозможно определить, что можно вычислить математически, а что нельзя. Это полностью зависит от законов физики. Но вместо того чтобы пытаться получить какие-то результаты из законов физики, математики сформулировали абстрактные модели "решения" и определили "вычисление" и "доказательство" на основе этих моделей. (Я вернусь к этой интересной ошибке в главе 10). Вот так и получилось, что за несколько месяцев 1936 года три математика, Эмиль Пост, Алонцо Черч и, главное, Алан Тьюринг независимо друг от друга создали первые абстрактные схемы универсальных компьютеров. Каждый из них считал, что его "вычислительная" модель действительно правильно формализовала традиционное интуитивное понятие математического "вычисления". Следовательно, каждый из них также полагал, что его модель эквивалентна (имеет тот же репертуар) любой другой разумной формализации подобной интуиции. Сейчас это известно как гипотеза Черча - Тьюринга.
