>>272
それじゃあ問題の定義を、「チューリングマシン上で解法を実行することが可能なもの」とでも書いておきましょう。

＞あと、それとは別の話だけど計算不可能関数は手続きじゃないと思う。
一応手続きの定義を聞かせて頂く。