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.

Articles by others on the same topic (0)

There are currently no matching articles.