Newell, Simon, and the American computer scientist J. Clifford Shaw pointed out the indispensability in creative human thinking, as in its computer simulations, of what they called “heuristics.” https://www.britannica.com/topic/heuristic-reasoning A large number of possibilities may have to be examined, but the search is organized heuristically in such a way that the directions most likely to lead to success are explored first. Means of ensuring that a solution will occur within a reasonable time, certainly much faster than by random hunting, include adoption of successive subgoals and working backward from the final goal (the formula to be proved, the state of affairs to be brought about).Ньюэлл, Саймон и американский компьютерный ученый Дж. Клиффорд Шоу указали на необходимость в творческом человеческом мышлении, как и в его компьютерном моделировании, того, что они называют «эвристикой». Возможно, придется изучить большое количество возможностей, но поиск организован эвристически таким образом, что сначала исследуются направления, которые, скорее всего, приведут к успеху. Средства обеспечения того, что решение будет происходить в разумные сроки, безусловно, намного более быстрые, чем случайная охота, включают принятие последовательных подцелей и работу назад от конечной цели (формула, которая должна быть доказана, состояние дел, которое должно быть выполнено).