есть еще цель, во что синтезируем и что именно искать. Целеполагание не алгоритмизировать. Тут вопрос к механизмам мышления. В рамках обычных формальных теорий упремся в Теорему Гёделя
Ещё раз. Целеполагание в смысле "границы проекта" - да. Критерии останова функций в рамках решения стратегической задачи - вполне себе алгоритмиз ируемая.