Godel's Proof  (English, Electronic book text, Nagel Ernest)

I started reading this book before I read the Russell'd Introduction to Mathematical Philosophy and surprisingly followed it pretty easily up till the 5th chapter when things started getting a little mathematical and complicated. However, Nagel and Newman have done a tremendous job of explicating the hitherto mysterious and profound results of the theorem proposed by Godel. Godel challenged the most-taken-for-granted absolute truths of modern science and mathematics - axiomatic system underly...