алгоритмическая неразрешимость

Algorithmic insolubility