>>682
まあそうです。ただ計算可能関数fっていった時点で普通の数学は

F(x) = 0 (f(x)の計算が停止しないとき)
F(x) = f(x) (それ以外)
のような定義を認めてしまうので。それは避けたいけれど。