Алгоритмически неразрешимая задача
Sign in to savedecision problem for which it is impossible to construct an algorithm that always leads to a correct yes-or-no answer
Article · Русский
В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой возможный в качестве входных данных объект, останавливался и давал правильный ответ после конечного числа шагов.
Abstract from DBpedia / Wikipedia · CC BY-SA