Computers, Paradoxes and the Foundations of Mathematics (2002) [pdf]