可計算數

可計算數  ， 是數學名詞 ， 是指可用有限次 、 會結束的算法計算到任意精確度的實數 。 可計算數也被稱爲遞迴數 、 遞迴實數或可計算實數 。 等效的定義可以用遞歸函數 、 圖靈機及λ演算等演算法的形式表示法而得 。 可計算數形成實閉域 ， 可以在許多數學應用上取代實數 。