Thanks for the recommendation, this sounds fascinating. By any chance have you also read "Godel's Proof" by Ernest Nagel and James Newman? http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814... It sounds very similar in scope.