Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-1/12g/d/iii/solution

Let total computable and witness and . Define
Parity testing and integer division by two are computable, so is total computable. For every ,
Therefore .

New to topics? Read the docs here!