Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-2/4i/b/i/solution
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 2 4I b i Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Statement (i) implies (ii) directly from the definition: if is computably enumerable, its semidecision program computes a partial computable function whose domain is exactly ; for example, return the empty word whenever the program halts.
New to topics? Read the docs here!