halting problem

• Methods of Proof — Diagonalization
  June 8, 2015
• Turing Machines—A Primer
  July 4, 2011