Halting Problem
The Halting Problem is the classic result in computability theory, proven by Alan Turing in 1936, showing that no general algorithm can exist that determines, for every possible program and input, whether that program will eventually halt or run forever.
5 resources across 2 libraries
Glossary Terms(4)
Turing Machine
A Turing machine is a mathematical model of computation, introduced by Alan Turing in 1936, consisting of an infinite tape of cells, a read/write head, and a f…
NP-Complete Problem
An NP-complete problem is a decision problem that is both in the complexity class NP (its solutions can be verified quickly) and is at least as hard as every o…
Computational Complexity
Computational complexity is the branch of theoretical computer science that classifies computational problems by the amount of resources — typically time or me…
Halting Problem
The Halting Problem is the classic result in computability theory, proven by Alan Turing in 1936, showing that no general algorithm can exist that determines,…