effectively undecidable

Мат. эффективно неразрешимый