Report question

Question: Proof that the halting problem is NP-hard?