Ackermann function
It may also be defined according to the recursion rule part of the definition, as in Knuth's up-arrow version of the Ackermann function: