Concepts2
📚TheoryIntermediate
Halting Problem
The Halting Problem asks whether a given program P will eventually stop when run on input x; there is no algorithm that correctly answers this for all P and x.
#halting problem#undecidable#diagonalization+12
📚TheoryAdvanced
P vs NP Problem
P vs NP asks whether every problem whose solutions can be verified quickly can also be solved quickly.
#p vs np#np-complete#np-hard+12