Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The primitive recursive functions are the smallest class containing zero, successor, and projections and closed under composition and primitive recursion. Addition is defined by
and multiplication by
Thus both are primitive recursive directly from the definition. Inductively,
is primitive recursive. For fixed ,
so is primitive recursive.
Encode by . The exponent functions decode the coordinates. Therefore
is a primitive recursive one-number encoding of ; the finite product is built from the primitive recursive multiplication and exponentiation just established.
The Fibonacci function is primitive recursive. Encode the pair by
Starting with , primitive recursion using
constructs , and .
There is no universal exponential bound of the stated form. The primitive recursive function
exceeds for every fixed once is sufficiently large.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 12I
  2. Paper 1
  3. Ii
  4. 2022
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home