Nothing super-illuminating here

Lots of background on Gödel's incompleteness proof, which was part of the reason I was a little disappointed by Incompleteness, by Rebecca Goldstein. This was a more mathematical treatment than hers, but probably about the same as in Gödel, Escher, Bach: An Eternal Golden Braid. I did appreciate the fact that they covered the Gödel numbering (or at least a fairly close and simplified version of it) to allow the reader to feel assured that a unique formula of Principia Mathematica resulted in a unique Gödel number. They do leave the reader to accept certain steps in the proof, but oh well. I could've gone for something a little more rigorous. Might be a good, brief intro to his proof if you haven't been exposed before. If you want more of a biography, try Incompleteness; if you don't mind investing a little more time, I'd recommend Gödel, Escher, Bach instead.