可计算实数

computable real number