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