Мы будем Вам очень признательны, если Вы оцените данную книгуили оставить свой отзыв на странице комментариев.

122

Hans Moravec, «Robot: Mere Machine to Transcendent Mind». New York: Oxford University Press, 2000. См. также: Ray Kurzweil, «The Singularity Is Near: When Humans Transcend Biology». New York: Penguin, 2006.

123

См., например: Robin Hanson, «How to Live in a Simulation», «Journal of Evolution and Technology» 7, 1 (2001).

124

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

125

Философ Дэвид Льюис развил похожую идею, названную им модальным реализмом. См.: Lewis David, «On the Plurality of Worlds». Malden, Mass.: Wiley-Blackwell, 2001. Однако, мотивация Льюиса для введения всех возможных вселенных отличается от мотивации Нозика. Льюису нужен был контекст, в котором, например, могли бы воплотиться нереализованные утверждения (такие как «если бы Гитлер выиграл войну, то мир был бы другим»).

126

Джон Барроу высказывал похожее мнение в: John Barrow, «Pi in the Sky». New York: Little, Brown, 1992.

127

Как объяснялось в комментарии , размер этой бесконечности превышает размер бесконечного набора целых чисел 1, 2, 3… и так далее.

128

Это вариация на тему знаменитого парадокса брадобрея из Севильи, в котором брадобрей бреет всех, кто не бреет самого себя. Отсюда вопрос: кто бреет брадобрея? (Предполагается, что брадобрей мужчина, ибо если брадобрей женщина, то ответ слишком прост.)

129

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

130

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

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

Чтобы законы физики были вычислимы, или даже вычислимы с любой наперёд заданной точностью, следует отказаться от традиции опираться на вещественные числа. Причём не только при описании пространства и времени, где обычно задействуются вещественнозначные координаты, но также для всех остальных математических составляющих законов природы. Например, величина силы электромагнитного поля не должна пробегать вещественные значения, а только принимать набор дискретных значений. То же самое должно выполняться для вероятности нахождения электрона в том или ином месте. Шмидхубер обращает внимание, что все когда-либо проделанные в физике вычисления вовлекают манипуляции с дискретными символами (на бумаге, на доске, на компьютере). Поэтому хотя всегда считалось, что эта часть научной работы использует вещественные числа, на практике оказывается, что это не так. То же самое справедливо для всех когда-либо проведённых измерений. Ни один из приборов не имеет абсолютной точности, поэтому наши измерения всегда выдавали дискретные численные результаты. В этом смысле все успехи в физике можно считать успехами цифровой парадигмы. Тогда возможно, что истинные законы сами являются вычислимыми (или вычислимыми с любой наперёд заданной точностью).

Есть много разных взглядов на «цифровую физику». См., например, книгу С. Вольфрама: Stephen Wolfram, «A New Kind of Science». Champaign, Ill.: Wolfram Media, 2002; и книгу С. Ллойда: Seth Lloyd, «Programming the Universe». New York: Alfred A. Knopf, 2006. Математик Роджер Пенроуз считает, что человеческий разум основывается на невычислимых процессах и, следовательно, Вселенная, в которой мы обитаем, обязана содержать невычислимые математические функции. С этой точки зрения наша Вселенная не соответствует цифровой парадигме. См., например: Penrose Roger, «The Emperor’s New Mind». New York: Oxford University Press, 1989; Penrose Roger, «Shadows of the Mind». New York: Oxford University Press, 1994.

131

Steven Weinberg, «The First Three Minutes». New York: Basic Books, 1973, p. 131.