Here, as promised, is the first of a series of lecture handouts (roughly weekly, and about twelve in all) encouragingly titled Gödel Without Tears -- 1. As is the way with lecture handouts, this was dashed off at great speed, and I don't promise that this is free of either typos or thinkos. So do please let me know of any needed corrections, or indeed of any passage which is too unclear/could do with just a little amplification. Enjoy!
Later: I've already replaced the first version with a slightly better one ...
Monday, October 12, 2009
Gödel Without Tears -- 1
Subscribe to:
Post Comments (Atom)
3 comments:
Thanks for sharing!
Good stuff.
A couple of very minor things:
In the first paragraph of section 2.1, the definition of formal axiomatized theories, the phrase "it has" should be before the "(i)" rather than after, because it should also have (ii) and (iii) in its scope.
The final sentence of the first paragraph of section 1 reads oddly, at least to me. It's the "however" at the end that bugs me. Perhaps just leave it out?
Thanks R.M.! You are right on both counts. Corrected. :-)
Post a Comment