Links:Halting problem


 * The proof as a poem!
 * Theory (mathematics)