The primitive recursive functions are the smallest collection containing zero functions, successor , and coordinate projections, and closed under composition and primitive recursion. The recursion scheme forms from already constructed functions by
Constants follow by composing successor with zero. Define addition, multiplication and exponentiation successively by
At each stage the initial and step functions are compositions of primitive recursive functions already available. Induction on gives , , and , with the recursive convention . Composition with the second projection now gives

Articles by others on the same topic (0)

There are currently no matching articles.