Kurt Godel

Kurt Godel: The halting problem: Turing's 1936 proof that no algorithm can determine whether an arbitrary program halts is a direct application of Gödel's...