Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-4/4g/b/solution

By the S-m-n theorem, there is a total recursive function such that
for all . Apply the recursion theorem to . It supplies an index for which
Consequently

New to topics? Read the docs here!