Вычислительная неприводимость — одна из основных идей, предложенных Стивеном Вольфрамом в его книге 2002 года «Новый вид науки» , хотя сама концепция восходит к исследованиям 1980-х годов.
Многие физические системы настолько сложны, что их невозможно эффективно измерить. Даже более простые программы содержат большое разнообразие поведения . Поэтому ни одна модель не может предсказать, используя только начальные условия , что именно произойдет в данной физической системе до проведения эксперимента. Из-за этой проблемы неразрешимости на формальном языке вычислений Вольфрам называет эту неспособность «укоротить» систему (или «программу») или иным образом описать ее поведение простым способом, «вычислительной неприводимостью». Эта идея показывает, что существуют случаи, когда предсказания теории фактически невозможны. Вольфрам утверждает, что несколько явлений обычно вычислительно неприводимы [ требуется ссылка ] .
Вычислительная неприводимость объясняет наблюдаемые ограничения существующей мейнстримной науки. В случаях вычислительной неприводимости можно использовать только наблюдение и эксперимент.
Навот Исраэли и Найджел Голденфельд обнаружили, что некоторые менее сложные системы ведут себя просто и предсказуемо (таким образом, они допускают приближения ). Однако более сложные системы все еще вычислительно неприводимы и непредсказуемы. Неизвестно, какие условия позволили бы описывать сложные явления просто и предсказуемо.
Мариус Крумм и Маркус П. Мюллер связывают вычислительную несводимость с компатибилизмом . [1] Они уточняют концепции с помощью промежуточного требования новой концепции, называемой вычислительным источником, которая требует по существу полного и почти точного представления характеристик, связанных с представленной проблемой или процессом, и полного вычисления без сокращений. Подход упрощает концептуализацию проблемы с помощью метафоры «Никаких сокращений» . Это можно сравнить с процессом приготовления пищи, где требуются все ингредиенты в рецепте, а также следование «графику приготовления» для получения желаемого конечного продукта. Это параллельна проблемам глубоких различий между сходством и идентичностью.