Nearly a hundred years after its publication, Kurt G?del's famous proof that every mathematical system must contain propositions that are true--yet never provable--continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein, with whom he formed a warm and abiding friendship, G?del has long escaped all but the most casual scrutiny of his life. Stephen Budiansky's Journey to the Edge of Reason is the first biography...