Halting problem is not even decidable. To mention it in the context of NP is a categorical fouxpas.