Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-1/4j/d/solution
Past exam of the mathematics course of the University of Cambridge 2026 ii Paper 1 4J d Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Assume a complete list were primitive recursive. Closure under diagonal composition and successor makesprimitive recursive. Completeness gives a row with for every , but at this says . This is the diagonal argument.
New to topics? Read the docs here!