Let $P$ be the predicate on natural numbers defined by $P(x) \iff \varphi_x(x) = 1$ where $\varphi_x$ is the $x$-th computable function. Show that $P$ is not computable.
Computability of the function $P(x)=\varphi_x(x)$
computability