Journey to the Edge of Reason

The first major biography of the logician and mathematician whose incompleteness theorems helped launch a modern scientific revolution.