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

Мат. effectively undecidable