Вычислительная неприводимость - Computational irreducibility

Вычислительная неприводимость одна из основных идей, предложенных Стивен Вольфрам в его книге Новый вид науки.

Идея

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

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

Подразумеваемое

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

Анализ

Израэли и Гольденфельд обнаружили, что некоторые менее сложные системы ведут себя просто и предсказуемо (таким образом, они позволяют приближения ). Тем не менее, более сложные системы по-прежнему оставались несократимыми и непредсказуемыми. Неизвестно, какие условия позволили бы описать сложные явления просто и предсказуемо.

Смотрите также

Внешние ссылки и ссылки