Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-2/4i/b/i/solution

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!