Статья 2456

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