俄语 ⇄ 英语

доказуемо неразрешимый 强调
编程	provably unsolvable (о множестве задач, для которых не существует никаких алгоритмов решения ssn)