Электронная библиотека » Дэвид Дойч » » онлайн чтение - страница 10


  • Текст добавлен: 25 января 2015, 12:36


Автор книги: Дэвид Дойч


Жанр: Зарубежная образовательная литература, Наука и Образование


Возрастные ограничения: +12

сообщить о неприемлемом содержимом

Текущая страница: 10 (всего у книги 29 страниц) [доступный отрывок для чтения: 10 страниц]

Шрифт:
- 100% +
Терминология

Генератор образов – прибор, способный создавать у пользователя точно определенные ощущения.

Универсальный генератор образов – генератор образов, который можно запрограммировать на создание любого ощущения, которое способен испытать пользователь.

Внешний опыт – впечатление о чем-либо, что находится за пределами собственного разума.

Внутренний опыт – впечатление о чем-либо, что находится в собственном разуме.

Физически возможный – не запрещенный законами физики. Среда физически возможна тогда и только тогда, когда она существует где-либо в мультиверсе (предполагается, что начальное состояние и другие дополнительные данные мультиверса определяются какими-то, еще неизвестными законами физики).

Логически возможный – внутренне непротиворечивый.

Виртуальная реальность – любая ситуация, в которой пользователю дается ощущение нахождения в точно описанной среде.

Репертуар генератора виртуальной реальности – это набор сред, для которых генератор может создать пользователю ощущение присутствия в них.

Образ – что-либо, рождающее ощущения.

Точность – образ является точным настолько, насколько создаваемые им ощущения близки к тем, которые нужно было создать. Виртуальная среда является точной настолько, насколько она способна отреагировать должным образом на каждое возможное действие пользователя.

Совершенная точность – точность настолько высокая, что пользователь не может отличить образ или виртуальную среду от тех, которые нужно было создать.

Резюме

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


Каковы же крайние пределы – полная сфера применимости – виртуальной реальности (а следовательно, вычислений, науки, воображения и всего остального)? В следующей главе мы увидим, что в одном отношении сфера применимости виртуальной реальности безгранична, а в другом – чрезмерно ограничена.

6. Универсальность и пределы вычислений

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

Как и в случае с генераторами образов, здесь мы не подразумеваем, что один этот генератор виртуальной реальности мог бы содержать в себе описания всех логически возможных сред. Мы только имеем в виду, что его можно было бы запрограммировать для воспроизведения любой логически возможной среды. Можно предусмотреть кодирование таких программ, например, на магнитных дисках. Чем выше сложность среды, тем больше понадобится дисков для хранения соответствующей программы. Таким образом, для создания сложных сред машина должна обладать механизмом (который я уже описал для универсального генератора образов), способным прочитать неограниченное количество дисков. В отличие от генератора образов, генератору виртуальной реальности может также понадобиться увеличение объема рабочей памяти, чтобы хранить промежуточные результаты вычислений. Для этого можно предусмотреть наличие чистых дисков. И снова тот факт, что машина должна обеспечиваться энергией, чистыми дисками и обслуживанием, не мешает нам считать эту установку «отдельной машиной» при условии, что все эти действия не равносильны изменению конструкции машины и не запрещены законами физики.

В этом смысле компьютер с фактически неограниченной емкостью памяти можно себе представить, по крайней мере принципиально. В отличие от компьютера с неограниченной скоростью вычислений. Компьютер определенной конфигурации всегда будет иметь фиксированную максимальную скорость, которую можно увеличить, только изменив эту конфигурацию. Следовательно, данный генератор виртуальной реальности не сможет выполнять неограниченное количество вычислений в единицу времени. Разве это не будет ограничивать его репертуар? Если вычисление того, что должен увидеть пользователь через одну секунду, из-за сложности среды занимает у машины больше секунды, то каким образом машина сможет точно воспроизвести эту среду? Для достижения универсальности нам необходим новый технологический трюк.

Чтобы расширить свой репертуар в такой степени, в какой это физически возможно, генератору виртуальной реальности пришлось бы взять под контроль еще одно свойство сенсорной системы пользователя: скорость обработки информации мозгом пользователя. Будь человеческий мозг подобен электронному компьютеру, достаточно было бы изменить скорость испускания синхронизирующих импульсов его генератором тактовой частоты. Несомненно, «часами» мозга управлять не так просто, но в принципе это не проблема. Мозг – конечный физический объект, и все его функции – физические процессы, которые в принципе можно замедлить или остановить. Предельный генератор виртуальной реальности должен обладать такой способностью.

Чтобы добиться совершенного воспроизведения сред, требующих большого объема вычислений, генератор виртуальной реальности должен был бы действовать приблизительно следующим образом. Каждый сенсорный нерв физически способен передавать сигналы с определенной максимальной частотой, поскольку возбудившаяся и передавшая импульс нервная клетка сможет вновь возбудиться только через одну миллисекунду. Следовательно, сразу после срабатывания определенного нерва у компьютера есть по крайней мере одна миллисекунда, чтобы решить, возбудится ли этот нерв снова и когда это произойдет. Если он вычислил решение, скажем, за половину миллисекунды, то в корректировке скорости работы мозга нет необходимости, и компьютер просто возбуждает этот нерв в нужное время. В противном случае компьютер заставляет мозг замедлить (или при необходимости остановить) свою работу до завершения вычисления следующего события; затем компьютер восстанавливает нормальную скорость работы мозга. Как бы это ощутил пользователь? По определению никак. Пользователь получил бы ощущение нахождения в среде, заданной в программе, без каких бы то ни было замедлений, остановок или повторных пусков. К счастью, генератору виртуальной реальности не нужно заставлять мозг работать быстрее нормального, поскольку это привело бы в итоге к принципиальным проблемам, так как, кроме всего прочего, ни один сигнал не может двигаться быстрее скорости света.

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

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

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

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

Основная идея такого доказательства – известного как диагональный аргумент – предшествует идее виртуальной реальности. Впервые этот аргумент использовал математик XIX века Георг Кантор[17]17
  Георг Фердинанд Людвиг Филипп Кантор (1845–1918) – германский математик, создатель теории множеств, понятия о мощности бесконечного множества и о континууме. – Прим. ред.


[Закрыть]
, чтобы доказать существование бесконечных величин, превышающих бесконечность натуральных чисел (1, 2, 3…). Такого же рода доказательство лежит в основе современной теории вычислений, разработанной Аланом Тьюрингом[18]18
  Алан Мэтисон Тьюринг (1912–1954) – британский математик и криптоаналитик, родоначальник информатики, создатель концепции абстрактной машины Тьюринга и участник разработки первых цифровых компьютеров. – Прим. ред.


[Закрыть]
и другими в 1930-х годах. Им также пользовался Курт Гёдель[19]19
  Курт Фридрих Гёдель (1906–1978) – австрийский математик, логик и философ. В 1931 г. опубликовал доказательство теоремы о неполноте, утверждающей, что для любой формальной системы аксиом существует утверждение, истинность или ложность которого в ее рамках не может быть доказана. – Прим. ред.


[Закрыть]
для доказательства своей знаменитой «теоремы о неполноте», о которой я подробнее расскажу в главе 10.

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

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

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

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

Далее, поскольку CGT-среда не ведет себя в точности как среда № 1, она не может быть средой № 1; поскольку она не ведет себя в точности как среда № 2, она не может быть средой № 2. Поскольку рано или поздно она гарантированно будет вести себя не так, как среда № 3, среда № 4 и любая другая среда из нашего списка, значит, она не может быть ни одной из этих сред. Однако по допущению этот список содержит все среды, созданные каждой возможной программой для этой машины. Следовательно, ни одна CGT-среда не входит в репертуар машины. CGT-среды – это те среды, в которые мы не можем пойти[20]20
  В оригинале автор использует название Cantgotu, составленное из начальных частей фамилий Cantor, Gödel и Turing и созвучное английской фразе «Can’t go to» («Не могу пойти в…»). – Прим. ред.


[Закрыть]
, используя данный генератор виртуальной реальности.

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

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

На что было бы похоже пребывание в CGT-среде? Хотя законы физики и не позволяют нам оказаться в такой среде, логически это возможно, а потому вопрос об ощущениях правомерен. Безусловно, она не дала бы нам никаких новых ощущений, поскольку универсальный генератор образов является возможным и считается частью нашего высокотехнологичного генератора виртуальной реальности. Таким образом, CGT-среда показалась бы нам загадочной лишь после того, как мы оказались бы в ней и поразмышляли над результатами. Это было бы примерно так. Допустим, что вы фанат виртуальной реальности из далекого ультратехнологического будущего. Вы пресытились: кажется, вы уже испробовали все интересное. Но вдруг однажды появляется джинн и заявляет, что он может перенести вас в CGT-среду. Вы сомневаетесь, но согласны проверить его способности. Вас мгновенно переносят в эту среду. После нескольких экспериментов вам кажется, что вы узнаете ее: она реагирует как одна из ваших любимейших сред, которая на вашей домашней системе виртуальной реальности создается при запуске программы под номером X. Однако вы продолжаете экспериментировать, и в конце концов по окончании субъективной минуты номер Х реакция среды становится явно отличной от той, которую могла бы предложить среда X. Тогда вы отказываетесь от мысли, что это есть среда X. Потом вы можете заметить, что все происшедшее очень напоминает другую воспроизводимую у вас среду – среду Y. Но по истечении субъективной минуты номер Y вы понимаете, что вновь ошиблись. Для CGT-среды характерно следующее: сколько бы вы ни гадали, какой бы сложной ни была программа, которую вы приняли за программу, создающую именно эту среду, вы всегда обнаружите ошибку, потому что ни одна программа не создаст ее ни на вашем генераторе виртуальной реальности, ни на каком-то другом.

Рано или поздно вам придется завершить свою проверку. К тому времени вы, может быть, справедливо решите признать правоту джинна. Я не хочу сказать, что вы когда-либо сможете доказать, что были в CGT-среде, поскольку всегда существует еще более сложная программа, которую мог выполнять джинн и которая могла бы соответствовать полученным вами до этого момента ощущениям. Просто такова общая черта виртуальной реальности, о которой я уже говорил, – опыт не может доказать пребывание человека в данной среде, будь это центральный корт Уимблдона или среда типа CGT.

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

Поскольку мы не можем надеяться на воспроизведение всех логически возможных сред, давайте рассмотрим более слабую (но в конечном счете более интересную) степень универсальности. Определим универсальный генератор виртуальной реальности как генератор, репертуар которого содержит репертуары всех остальных физически возможных генераторов виртуальной реальности. Может ли существовать такая машина? Может. Размышление о фантастических устройствах, основанных на управляемой компьютером стимуляции нервов, делает это очевидным – в действительности почти слишком очевидным. Подобную машину можно было бы запрограммировать так, чтобы она имела характеристики любой машины-конкурента. Она могла бы вычислить реакции иной машины при любой данной программе в ответ на любое поведение пользователя и, следовательно, смогла бы воспроизвести эти реакции с совершенной точностью (с точки зрения любого данного пользователя). Я говорю, что это «почти слишком очевидно», потому что здесь содержится важное допущение относительно того, на выполнение каких действий можно запрограммировать предлагаемое устройство, а точнее, его компьютер: при наличии подходящей программы, достаточного времени и средств хранения информации компьютер смог бы рассчитать результат любого вычисления, выполненного любым другим компьютером, в том числе и компьютером конкурирующего генератора виртуальной реальности. Таким образом, возможность реализации универсального генератора виртуальной реальности зависит от существования универсального компьютера – отдельной машины, способной вычислить все, что только можно вычислить.

Как я уже сказал, такая универсальность была впервые изучена не физиками, а математиками. Они пытались придать строгость интуитивному понятию «вычисления» («расчета» или «доказательства») в математике. Они не учитывали, что математическое вычисление – это физический процесс (в частности, как я уже объяснил, процесс создания в виртуальной реальности), поэтому путем математического рассуждения невозможно определить, что можно вычислить математически, а что нельзя. Это полностью зависит от законов физики. Но вместо того, чтобы пытаться вывести свои результаты из законов физики, математики постулировали абстрактные модели «вычисления» и определили «расчет» и «доказательство» на основе этих моделей. (Я вернусь к этой интересной ошибке в главе 10.) Вот так и получилось, что за несколько месяцев 1936 года три математика – Эмиль Пост[21]21
  Эмиль Леон Пост (1897–1954) – американский математик и логик, работавший в области математической логики, теории вычислимости и теории рекурсии. Независимо от Тьюринга разработал математическую модель вычисления. – Прим. ред.


[Закрыть]
, Алонзо Чёрч[22]22
  Алонзо Чёрч (1903–1995) – американский математик и логик, создатель лямбда-исчисления. – Прим. ред.


[Закрыть]
и, главное, Алан Тьюринг – независимо друг от друга создали первые абстрактные схемы универсальных компьютеров. Каждый из них считал, что его модель «вычисления» действительно правильно формализует традиционное интуитивное понятие математического «вычисления». Следовательно, каждый из них также полагал, что его модель эквивалентна (имеет тот же репертуар) любой другой разумной формализации подобной интуиции. Сейчас это известно как гипотеза Чёрча – Тьюринга.

Модель вычисления Тьюринга и концепция природы проблемы, которую он решал, была наиболее близка к физике. Его абстрактный компьютер, машина Тьюринга, представлял собой бумажную ленту, разделенную на квадраты, причем на каждом квадрате был написан один из конечного числа легко различимых символов. Вычисление осуществлялось следующим образом: на каждом шаге считывался один квадрат, затем лента перемещалась вперед или назад и производилось стирание или запись одного из символов в соответствии с простыми недвусмысленными правилами. Тьюринг доказал, что один конкретный компьютер такого типа, универсальная машина Тьюринга, имеет объединенный репертуар всех других машин Тьюринга. Он предположил, что этот репертуар в точности состоит из «всех функций, которые естественно полагать вычислимыми». Он имел в виду вычислимость математиками.

Однако математики – это достаточно нетипичные физические объекты. Почему мы должны допускать, что воспроизведение их в ходе выполнении вычислений – предел вычислительных задач? Оказывается, что не должны. Как я объясню в главе 9, квантовые компьютеры могут выполнять вычисления, которые ни один человек-математик никогда, даже в принципе, не сможет выполнить. В работе Тьюринга неявно выражено его ожидание того, что функции, которые «естественно полагать вычислимыми», могли бы, по крайней мере в принципе, быть вычисленными и в природе. Это ожидание эквивалентно более сильной, физической версии гипотезы Чёрча – Тьюринга. Математик Роджер Пенроуз[23]23
  Роджер Пенроуз (род. 1931) – британский физик-теоретик, философ и популяризатор науки. Известен работами в области общей теории относительности и космологии. – Прим. ред.


[Закрыть]
предложил назвать его принципом Тьюринга.

Внимание! Это не конец книги.

Если начало книги вам понравилось, то полную версию можно приобрести у нашего партнёра - распространителя легального контента. Поддержите автора!

Страницы книги >> Предыдущая | 1 2 3 4 5 6 7 8 9 10
  • 4.2 Оценок: 6

Правообладателям!

Данное произведение размещено по согласованию с ООО "ЛитРес" (20% исходного текста). Если размещение книги нарушает чьи-либо права, то сообщите об этом.

Читателям!

Оплатили, но не знаете что делать дальше?


Популярные книги за неделю


Рекомендации