Prove $B = \{ \varphi_n(n) | n \in \mathsf{K} \}$ to be recursive

81 Views Asked by At

The set $B$ is the range of universal function given the domain $\mathsf{K}$, where $\mathsf{K} = \{ n | \varphi_n(n) \textit{ halts} \}$. How can we prove such claim?

1

There are 1 best solutions below

3
On BEST ANSWER

You might find it easier to prove the stronger result that $B$ contains all of the natural numbers. (A sneaky question)