Ackermann's formula

Ackermann's formula typically refers to the Ackermann function, which is a classic example of a recursive function that is not primitive recursive.