4.3(4)

Journey to the Edge of Reason

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