Past exam of the mathematics course of the University of Cambridge / 2018 / ii / Paper 4 / 4G / d / Solution

No. The propertyis extensional: it depends only on the partial function computed, not on its program index. It is nontrivial, since some partial recursive functions have a nine-element domain and others do not. The Rice theorem therefore implies that its index setis undecidable. Hence