effective undecidability

Мат. эффективная неразрешимость