массовых проблем, допускающих применение алгоритмов, для которых тем не менее доказано отсутствие каких-либо алгоритмов их решения [Плесневич, 1974]. Поскольку основным предметом нашего обсуждения является не математика и кибернетика, а психология, мы приведем определение алгоритма, используемое в психологии, которое, тем не менее, содержательно очень близко к кибернетическому. Алгоритм определяется как общепонятная система точных предписаний, представляющая в общем виде решение всех задач определенного класса и позволяющая безошибочно решать любую задачу этого класса [Ланда, 1966; Талызина, 1969]. Алгоритм характеризуется: а) детерминированностью – однозначностью результата при заданных исходных данных; б) дискретностью – расчлененностью процесса на отдельные акты, возможность выполнения которых не вызывает сомнения; в) массовостью – способностью обеспечить решение любой задачи из класса однотипных задач. Тем не менее, строго доказано, что многие однотипные массовые задачи в принципе не имеют алгоритма своего решения.
Алгоритмическая неразрешимость массовой проблемы не означает неразрешимости той или иной единичной проблемы данного класса. Та или иная конкретная проблема может иметь решение, причем даже вполне очевидное, а для другой проблемы может существовать простое и очевидное доказательство отсутствия решения (доказательство того, что множество решений пусто). Но в целом данный класс проблем не имеет ни общего универсального алгоритма решения, применимого ко всем проблемам этого класса, ни ветвящегося алгоритма разбиения класса на подклассы, к каждому из которых был бы применим свой специфический алгоритм. Для решения отдельных подклассов задач нужно разрабатывать свои алгоритмы; для некоторых отдельных задач требуется разработка методов, вынужденно ограниченных, уникальных.
Алгоритмически неразрешимыми являются, например, проблема распознавания: остановится или нет произвольно выбранная машина Тьюринга (идеальная теоретическая модель любого программируемого устройства, на которой может быть реализован любой алгоритм) и вообще любая программа алгоритмического типа; проблема эквивалентности программ; тождества двух математических выражений; проблема распознавания того, можно ли из имеющихся автоматов собрать заданный автомат; а также множество других проблем, относящихся к топологии, теории групп и другим областям [Плесневич, 1974, с. 87–89].
Мы выдвигаем следующее положение: алгоритмическая неразрешимость как невозможность обобщенной системы точных предписаний по решению задач одного и того же типа имеет принципиальное значение для психологии и педагогики. Она означает наложение ряда принципиальных ограничений на основные компоненты деятельности человека или деятельности любой другой системы, обладающей психикой. Это ограничения на планирование деятельности, на ее осуществление, на контроль результатов, коррекцию.
