Квантовая механика имеет формально неразрешимые проблемы. В чем философский смысл этого?

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

Нет, это не означает, что квантовая механика остановится. Нет, это означает, что квантовая механика будет отвергнута как метафизика. Однако я чувствую, что это повлияет на философию механики и науку в целом.

Что касается аналогии, то теорема Гёделя о неполноте оказала огромное влияние на философию математики . Это не разрушило математику, но ее философию и даже некоторые части самой математики изменились. Проблема остановки, связанная с этой теоремой, имела близкие эффекты .

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

Действительно ли он делает предсказание, если его буквально невозможно найти? Можно ли его фальсифицировать, если нет процедуры для его фальсификации?

Возможный дубликат «Смерти редукционизма»?
Если это правда, то это опровергло бы тезис Черча Тьюринга, что для многих ученых-компьютерщиков имело бы большое значение. Но я не верю, что КМ невычислима. Какую часть КМ вы считаете невычислимой?
@AlexFlint Я забыл добавить ссылку. Это отредактировано в настоящее время. (Кроме того, я никогда не думал об обратном, поскольку это может означать, что мы можем использовать его для невычислимых вычислений.)
@AlexFlint результат, о котором он говорит, не опровергает тезис Черча-Тьюринга. Люди не осознают, насколько фундаментален тезис Черча-Тьюринга.
По этому вопросу есть этот ресурс: scottaaronson.com/blog/?p=2586 неразрешимость в недавнем результате касается только конкретных проблем с системами бесконечного размера.
@quen_tin Здесь написано неограниченное, а не бесконечное.
@quen_tin Тем не менее, хорошая ссылка. (Одна важная вещь, которую он отмечает, заключается в том, что этот результат беспокоит не больше, чем тот факт, что если вы физически построите машину Тьюринга, вы не сможете предсказать, остановится она или нет.)

Ответы (2)

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

Если бы кто-то нашел реальный конечный (время, пространство) физический эксперимент с невычислимыми результатами, это опровергло бы тезис Черча-Тьюринга.

Уже есть много хорошо известных вопросов физики «предельного поведения», которые неразрешимы. Например, задача разбиения на плитки Ванга спрашивает, можно ли замостить 2D-плоскость, используя определенный набор 2D-плиток, и оказывается, что этот вопрос неразрешим. Однако нет и конечного (времени, пространства) физического эксперимента, который мог бы определить ответ на этот вопрос, поэтому факт неразрешимости этого вопроса не означает, что сама физика невычислима.

Подробнее здесь: http://www.scottaaronson.com/blog/?p=2586

КМ уже «неразрешима»; измерение состояния сворачивает его в собственное состояние; этот коллапс обычно описывается как недетерминированный, то есть невозможно определить или решить, какое собственное состояние будет иметь знание состояния и измерения, которые необходимо выполнить.

Это обычно считается частью Копенгагенской интерпретации — основной интерпретации КМ — где (макроскопический и сознательный) наблюдатель наблюдает за измерением; но также и в реляционной КМ, которая демократизирует наблюдателей, рассматривая все подсистемы как способные к наблюдениям, то есть измерениям (но не в ММИ, которая обменивает это на всегда бесконечно умножающееся бесчисленное количество миров, везде и почти все сразу).

Философски тогда он противостоит, по крайней мере, классическому представлению о детерминизме природы — часовой вселенной или механистической философии 18 века; сделав индетерминизм полностью неотъемлемой частью природы.

Теперь стоит отметить, что, учитывая другие интерпретации, такие как MWI или Bohmian Mechanics, которые пытаются таким образом покончить с индетерминизмом, вынуждены признать его наличие в ситуациях, исследованных в вопросе OP; там все интерпретации вынуждены признать индетерминизм

Также; что более поздний анализ Аристотелем концепции движения, спровоцированный Зеноном, требует онтологии, структурированной потенциальностями и актуальностями.

В связи с чем может возникнуть вопрос, зачем сначала от него отказываться, чтобы вернуться к классической концепции физической онтологии?

+1 голос. Я считаю это умным ответом, основанным на Копенгагенской интерпретации.
Непредсказуемость результата измерения не требует коллапса. В MWI все, что вы можете знать перед измерением, это то, что у вас будет две версии вас. В принципе нет способа узнать, какой из этих двух версий вы будете, потому что нет единого факта по этому вопросу.
Похоже, это не отвечает на вопрос ОП: каковы философские последствия неразрешимости в QM?
@alanf: правда, также в Bohmian Mechanics; Я добавил квалификатор, называющий интерпретацию, которую я использую.
@sunami: хорошо, я добавил несколько строк.
Вероятность и неразрешимость разные. На математику определенно по- разному повлияли оба (вероятность в основном вызывает споры о частоте и байесе, неразрешимость вызывает гораздо более фундаментальные проблемы). Как это отвечает на вопрос?
Сама случайность не влияет на неразрешимость. Класс сложности BQP вполне разрешим, несмотря на присущую ему случайность.
@py rulez: я предлагаю вам дать свой собственный ответ, а не придираться: я не сосредотачиваюсь на математической концепции неразрешимости; но неразрешимость как понятие - и это подразумевается в моем ответе.
@alexander king: конечно; проще говоря, подбрасывая монету, можно решить, что она всегда будет падать орлом или решкой; и не превратиться в единорога.
@MoziburUllah Я думаю, что ОП использует здесь разрешимость в формальном смысле .
Спасибо, я отменил свой отрицательный голос. Тем не менее, он все еще кажется немного абстрактным, вы можете немного расширить свой новый раздел.