計算可能解析学
計算可能数は実数であって、有限かつ停止するアルゴリズムによって、どんな望みの精度でも計算できるようなものである。これらはまた再帰的数(帰納的数、recursive number)あるいは計算可能実数(computable reals)としても知られる。