确度的实数。可计算数也被称为递回数、递回实数或可计算实数。等效的定义可以用递归函数、图灵机及λ演算等演算法的形式表示法而得。可计算数形成实闭域，可以在许多数学应用上取代实数。
定义.如果一个实数formula_1能被某个可计算函数formula_2 以下述方式来近似，那么 formula_1 就是一个可计算数：给定任何正整数formula_4，函数值formula_5都满足：
不可计算数.非可计算的实数即为不可计算数。1975年，计算机学家做了一个有