Primitive recursion can be extended to double-recursion as in the following link:


How can this be generalized to n-iterated recursion? I got the term "n-iterated recursion" from Hans Hyttel on Quora. The idea is that double-recursion extends primitive recursion in a manner similar to the way that (n+1)-iterated recursion extends n-iterated recursion. I am looking for a clear function based definition, similar to the definition of primitive recursion and double-recursion in the link above.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.