Automata, Computability, and Complexity: Theory and Applications by Elaine Rich

The 3x+1 problem

  1. Lagarias’s survey of the problem
  2. An applet to try out the problem

The halting problem inspires poetry

  1. "Scooping the Loop Snooper", by Geoffrey K. Pullum