Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-1/12g/c/solution
Past exam of the mathematics course of the University of Cambridge 2018 ii Paper 1 12G c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-03
Let be the successor function. Define by primitive recursionInduction gives . Then defineby composition. Initial functions, composition, and primitive recursion produce primitive recursive functions, so and are partial recursive functions and are visibly defined for every . Both functions are total.
New to topics? Read the docs here!