Comment Comment by isaacfrond Right. To be clear: the halting problem is not in the class NP. Any problem in NP can trivially be reduced to the halting problem and so the latter is NP-hard. parent isaacfrond 5 days ago