Solution

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

A subset is a computably enumerable set if there is a program, equivalently a register machine, that halts on input exactly when . It need not halt when .

New to topics? Read the docs here!