>>241

取りあえず、

問題

∞
Σ(1/(2^k))=1+(1/2)+(1/(2^2))+(1/(2^3))+・・・・+(1/(2^∞))
k=0

は計算可能で、


私が示した関数(この手続きに沿う)

1.変数k=0を用意する。
2.変数S=0を用意する。
3.SにS+1/(2^k)を代入する。
4.kにk+1を代入する。
5.kが∞では無いならば3に戻る。
6.Sを出力する。

は計算可能関数ではない。

ということですよね？