01/30/2005: New draft of Gödel's Theorems
Prof. Peter Smith of Cambridge has posted a
new draft of the first thirteen chapters of his upcoming book An
Introduction to Gödel's Theorems, with promises of more to come.
(I blogged about a previous
draft at Signifying Nothing.)
You'll need a background in symbolic logic to follow the work. If you have the logic background, you're interested in mathematics, and you've never worked your way through proofs of Gödel's theorems (or if you have worked your way through the proofs, but have forgotten how they go, or if you've only read the hand-waving proof in Hofstadter's Gödel, Escher, Bach), I highly recommend reading Prof. Smith's work.
Brock on 01.30.05 @ 09:43 PM CST