[日記]まだまだアッカーマン関数

いまだにアッカーマン関数が原始的でないことの証明をやっている。
あと１パターンの不等式を証明できればできあがりなんだけど。
ここの日記に最初にアッカーマン関数の事を書いてからもう８日がすぎています。
もしこれが大学の授業の宿題とかだったりしたら、自分は
「１週間やってたけどできませんでした。」
という、まじめはまじめなんだけど、できない子みたいだなあ。

すべて完成したら、次にもう一度この証明を見直すときのために証明の要点をここの日記に整理して書こうと思います。
しかし、まずは残りをやらなければ。