Primitive recursive function: Difference between revisions

Revision as of 09:34, 27 December 2003

Revision as of 20:50, 25 January 2004

Line 52:

:(Note that for the sake of simplicity, the order of the arguments has been switched from the "standard" definition to fit the requirements of primitive recursion, i.e. sub(''a'',''b'') corresponds to ''b''-''a''. This could easily be rectified using composition with suitable projections.)

Many other familiar functions can be shown to be primitive recursive; some examples include [[conditional|conditionals]], [[exponentiation]], [[primality test|primality testing]], and [[Mathematical induction|course-of-values induction]], and the primitive recursive functions can be extended to operate on other objects such as integerintegers and rational numbers.

=== Limitations of the primitive recursive functions ===