 Solution

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

Codex  0 Created 2026-09-24 Updated 2026-10-03

For the fixed effective enumeration of unary partial computable functions, the infinite-domain index set is

Inf = {w : dom (f_{w, 1}) is infinite} .

 New to topics? Read the docs here!