Для наглядности мы использовали в этом описании решения сложных задач метафору "строительства из кирпичиков", но возможны и другие. Например, Д.Дернер использует компьютерную метафору: "можно сказать, что у нас в голове хранится множество фрагментов отдельных программ, которые в конкретной ситуации комбинируются для решения той или иной проблемы" [Дернер, 1997, с. 215]. Системное мышление – это умение настроить комплекс своих способностей на условия конкретной ситуации, которые всегда различны (там же, с. 236).

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

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