今読んでいる本 『コンピュータは数学者になれるのか？ 数学基礎論から証明とプログラムの理論へ （照井一成）』の155ページに アッカーマン操作 というものが登場した。Ackermann関数の数列版みたいなものである。 非負整数の有限列<...>に対して次のような…