by Stephen Budiansky
The life and times of Kurt Gödel, Austrian logician and crucial early 20th century mathematician.