Sudan function

The Sudan function was the first function having this property to be published.

In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive.

Sudan published the lesser-known Sudan function, then shortly afterwards and independently, in 1928, Ackermann published his function .

The Ackermann and Sudan functions are chronologically the first examples of recursive functions which are not primitive recursive.