Математика доказывает: Вселенная не является симуляцией

Исследователи утверждают, что математический предел делает идеальную симуляцию невозможной

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

Почему логическая неразрешимость важна для физики

Проще говоря, Гёдель показал, что в любой достаточно богатой формальной системе существуют истинные утверждения, которые сама система доказать не может. Тарский продемонстрировал, что определенные семантические понятия нельзя определить внутри системы, а Хайтин добавил в этот микс теорию информации, показав, что многие строки являются алгоритмически случайными — для них не существует описания короче, чем сама строка. Авторы статьи утверждают, что при попытке построить пространство-время и физические законы на чисто алгоритмической основе эти ограничения переносятся и на реальность: вы столкнетесь с подлинными чертами мира, которые не поддаются алгоритмическому выводу. С их точки зрения, это делает невозможной полную, непротиворечивую алгоритмическую симуляцию реальности.

Как трактовать это утверждение и его границы

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

Голоса скептиков и почему они важны

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

Так ставит ли это точку в дебатах о симуляции?

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

Почему это важно не только для досужих рассуждений

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

Что ученые будут делать дальше

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

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

— James Lawson, Dark Matter