upvote
The halting problem is NP hard, technically speaking, but it's much harder than that - it's uncomputable. I don't think it's common to refer to it as NP-hard because it's confusing.
reply
Thanks for the correction! I updated my answer to fix that :)
reply