Неразрешимая алгоритмическая проблема

Неразрешимая (алгоритмическая) проблема (undecidable problem) — см. Теория алгоритмов.