計算可能数
数学において、計算可能数は実数であって、有限かつ停止するアルゴリズムによって望んだいかなる精度でも計算可能なもののことである。再帰的な数、実効的な数、計算可能実数、再帰的実数などとしても知られる。
同値な定義はμ再帰関数、チューリングマシン、ラムダ計算などを用いたアルゴリズムの形式的表現によっても得られる。計算可能数は実閉体をなし、全てではないが多くの数学的な目的において実数の代わりに用いることができる。