Ackermann関数
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/pdf/teach/fom2019spring.pdf
によると，現在のAckermann関数は
Rózsa Péter
による形らしい．
Def:
Ackermann関数
1.
$ A(0,y) = y + 1
2.
$ A(x+1,0) = A(x,1)
3.
$ A(x+1,y+1) = A(x,A(x+1,y))
原始再帰的関数
ではない
ということが知られている．
Ackermann関数は原始再帰的ではない