In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive. This is also true of the better-known Ackermann function. In 1926, David Hilbert conjectured that every computable... Wikipedia