algorithmic undecidability

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