Что касается виртуальной реальности: ни один физически возмож­ный генератор виртуальной реальности не сможет передать среду, в ко­торой ответы на невычислимые вопросы даются по запросу пользова­теля. Такие среды относятся к средам Кантгоуту. Верно и обратное: каждая среда Кантгоуту соответствует классу математических вопро­сов («что произошло бы далее в среде, определенной так-то и так-то?»), на которые физически невозможно дать ответ.

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

Вскоре была доказана идентичность репертуаров трех очень раз­ных абстрактных компьютеров, определенных Тьюрингом, Черчем и Постом. Таковыми же являются и репертуары всех абстрактных моделей математического вычисления, которые с тех пор предлагались. Это считается аргументом в поддержку гипотезы Черча-Тьюринга и универсальности универсальной машины Тьюринга. Однако, вычисли­тельная мощность абстрактных машин не имеет никакого отношения к тому, что вычислимо в реальности. Масштаб виртуальной реальнос­ти и ее расширенное применение для постижимости природы и других аспектов структуры реальности зависит от того, реализуемы ли необ­ходимые компьютеры физически. В частности, любой настоящий уни­версальный компьютер должен быть физически реализуем сам по себе. Это ведет к более определенному варианту принципа Тьюринга:

Принцип Тьюринга (для физических компьютеров, имитирую­щих друг друга)

Возможно построить универсальный компьютер: машину, которую можно запрограммировать для выполнения любого вычисления, которое может выполнить любой другой физический объект.