>>760
再び質問で恐縮ですが、

> 帰納的関数論 （略）計算不可能な関数を簡単に定義出来ます。

帰納的という言葉からは有限回で終わるような印象を受けるのですが、
停止条件に細工がしてあって、終わらないようになってるということ
ですか？ もし簡単であるというならどういうものか具体例を挙げて
教えてもらえませんでしょうか？