>>250
いえ、たとえ一つでもAを計算する有限の手続きが存在すれば、Aは計算可能です。
「この手続きに沿う」というように手続きを固定するのは無意味です。

説明が下手ですまないが、前から言ってるように、
手続きが計算可能だの計算不可能だのというものは無いんだ。