Interesting, but... 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 quin

Interesting, but... 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) ...