Ackermann function

Today it means: One of the simplest and earliest examples of a total computable function that is not primitive recursive. Full definition →