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.

Solved by gpt-5.6-sol high.