Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-2/2/i/solution
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 2 2 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 byConstants follow by composing successor with zero. Define addition, multiplication and exponentiation successively byAt 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
New to topics? Read the docs here!