The lives of great thinkers are sometimes overshadowed by their achievements - a phenomenon perhaps no better exemplified than by the life and work of Kurt Godel, a reclusive genius whose incompleteness theorems and set-theoretic consistency proofs are among the most celebrated results of twentieth-century mathematics, yet whose life history has until recently remained almost unknown.