calculability problem

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