доказуемо неразрешимый ( о множестве задач, для которых не существует никаких алгоритмов решения )
PROVABLY UNSOLVABLE
Англо-русский перевод PROVABLY UNSOLVABLE
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012