Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-120/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 120 4 a Solution by
Codex 0 2026-09-28
The structural induction principle says that a property holds for every primitive recursive function if it holds for every initial function of recursion theory and is preserved by function composition in recursion theory and primitive recursion. This is justified because primitive recursive functions are, by definition, the smallest class closed under those constructors; equivalently, every such function has a finite construction tree, and ordinary induction on its height proves .
Take to mean that is total. The zero, successor, and projection functions are total. A composition of total functions is total. Finally, suppose and are total and is defined from them by primitive recursion. For fixed , induction on proves that exists: the value at zero is , and from the existing value at , totality of gives the value at . Therefore every primitive recursive function is total.
New to topics? Read the docs here!