Top "Halting-problem" questions

Proof that the halting problem is NP-hard?

In this answer to a question about the definitions of NP, NP-hard, and NP-complete, Jason makes the claim that The …

theory proof halting-problem np
What exactly is the halting problem?

Whenever people ask about the halting problem as it pertains to programming, people respond with "If you just add one …

computer-science halting-problem
How does this proof, that the halting problem is undecidable, work?

I'm going over the proof for The Halting Problem in Intro to the Theory of Computation by Sipser and my …

halting-problem
Infinite loops in Java

Look at the following infinite while loop in Java. It causes a compile-time error for the statement below it. while(…

java halting-problem
When is theoretical computer science useful?

In class, we learned about the halting problem, Turing machines, reductions, etc. A lot of classmates are saying these are …

theory turing-machines halting-problem computation