Automata, Computability and Complexity: Theory & Applications

The 3x+1 problem

The halting problem inspires poetry