Transfinite ArithmeticA minimal collection of comments and references might be worthwhile here. It's the sort of thing many programmers seem to find both intriguing and difficult.
See also ImpossibleOnaTuringMachine
EditText of this page
(last edited July 30, 2008)
or FindPage with title or text search