Неразрешимость алгоритмическая — ситуация, при которой для множества однотипных задач нельзя найти общего алгоритма, решающего их, хотя для подмножеств этого множества можно построить специфические алгоритмы поиска решения. Существование таких алгоритмически неразрешимых проблем строго доказано.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]