Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-2/4h/b/i/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 2 4H b i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
Fix an effective numbering of Turing machines and use the diagonal halting setIt is computably enumerable: dovetail all the computations and output each index when its computation halts. It is not a recursive set. Otherwise a machine could, on input , loop if the alleged decider says and halt otherwise. Applying this machine to its own index contradicts either answer. Hence is computably enumerable but not a recursive set.
New to topics? Read the docs here!