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

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