Ackermann function in Portuguese

(comptheory) One of the simplest and earliest examples of a total computable function that is not primitive recursive.