The Wikipedia article gives 2 proofs for Rice's theorem.
a) As a corollary of Kleene's recursion theorem. This proof seems to rely on quines, and therefore relies on the same principle of self-referential paradox?
b) As a proof by reduction to the halting problem.
I'm not very confident in my interpretation of (a) ...
The Wikipedia article gives 2 proofs for Rice's theorem.
a) As a corollary of Kleene's recursion theorem. This proof seems to rely on quines, and therefore relies on the same principle of self-referential paradox?
b) As a proof by reduction to the halting problem.
I'm not very confident in my interpretation of (a) ...