It is also easy to see that the halting problem is not in NP since all problems in NP are decidable in a finite number of operations, while the halting problem, in general, is undecidable.
Este ușor de văzut și că problema opririi nu este în NP deoarece toate problemele din NP sunt decidabile într-un număr finit de operații, în timp ce problema opririi este, în general, indecidabilă⁠(d).