4 - Theory of Computation Flashcards
1
Q
Describe the significance of the Halting problem for commutation.
A
The Halting problem demonstrates that there are some problems that cannot be solved by a computer.
2
Q
What is the question posed by the by the Halting problem?
A
Is it possible in general to write a program that can tell, given any program and its inputs, and without running the program, whether the given program with its given inputs will halt?
3
Q
Why is it not possible to create a Turing machine that solves the Halting problem?
A
The Halting problem is non-computable