проблема вычислимости

Мат. calculability problem