 The limitation result of Gödel’s theorem is closely related to another limitation result known as the undecidability of the halting problem. This is a result stating that there are limitations to what can be computed. We will present this result in the following. The result is based on the notion of a Turing machine, which is a generic model of a computer program running on a computer having unbounded memory. Thus any program running on any computer can be thought of as a Turing machine (see the entry on  Turing machines  for more details). When running a Turing machine, it will either terminate after a finite number of computation steps, or will continue running forever. In case it terminates after a finite number of computation steps we say that it halts. The halting problem is the problem of finding a Turing machine that can decide whether other Turing machines halt or not. We say that a Turing machine \(H\) decides the halting problem if the following holds: