同じく高橋正子著 『計算論』 近代科学社のp.51から: 補題1.6.10をが個の引数を取る計算プログラムのコードとしたとき，その計算結果を返す関数とする(がプログラムのコードでなかったり，計算が止まらないときは未定義とする）. このとき任意の帰納的な全域…

原始帰納的関数でない帰納的関数の例としてよく知られているAckermann関数について，高橋正子著『計算論』近代科学社 のP.22の練習問題を解いてみた． ちょっと調べてみると1900年代の初期には計算可能な関数（今でいう帰納的関数）は全て原始帰納的関数であ…

もう，正月からずいぶん過ぎてしまったわけだが．．． 実は『群論』から『ロジック』方向へ少々興味が移ってしまい，かなり長い間，記事を書いていないような気がする． 有限群ファンの日記というタイトルでロジックの話題を書くことには，あまり抵抗ないの…