俺の説明が分かりにくくてすまない。
そもそも``手続きが計算可能''ってのが間違いだと言いたいんだ。

関数という場合、値を代入したら値を返すものだよな？（別に入力は無くてもいいが）
>>240の最終的なSを返す関数が計算可能かどうかというなら、
``最終的なSを計算する手続きは存在する''ので、それは計算可能だ。