計算に永遠の時間がかかるってのは、停止しないって意味か。

「f:N→Rで、あるnに対してf(n)の計算が停止しないような
関数をもってくれば、NからRへの全射が作れる」

と主張したいの？