algorithmic insolubility

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