Primitive recursive function: Difference between revisions

Revision as of 09:38, 23 June 2024

Revision as of 09:42, 23 June 2024

Line 181:

=== Other operations on natural numbers ===

[[Exponentiation]] and [[primality test]]ing are primitive recursive. Given primitive recursive functions ''<math>e''</math>, ''<math>f''</math>, ''<math>g''</math>, and ''<math>h''</math>, a function that returns the value of ''<math>g''</math> when ''<math>e''≤'' \leq f''</math> and the value of ''<math>h''</math> otherwise is primitive recursive.

=== Operations on integers and rational numbers ===