Solution

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

The Rice theorem states that every nontrivial index set of partial computable functions is not computable.

New to topics? Read the docs here!