As I understand it Rice\'s Theorem seems to imply the existence of the Halting problem. That is, with Rice\'s Theorem, we can prove that the Halting problem is undecidable.