Jump to content

Course-of-values recursion

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Michael Hardy (talk | contribs) at 23:28, 29 August 2006 (intro). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics and computing, course-of-value recursion allows the use of any number of values for previous arguments, as opposed to the primitive recursion where only the value for the immediately preceding argument can be used. Although apparently more general, this notion actually turns out to be reducible to the usual primitive recursion as well.[1]

Notes

  1. ^ Odifreddi, I.7.1.

References

  • Odifreddi, P.G., 1989, Classical Recursion Theory, North Holland; second edition, 1999.