Monday, October 12, 2009

Gödel Without Tears -- 1

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 ...

3 comments:

Bernardo Alonso said...

Thanks for sharing!

Rowsety Moid said...

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?

Peter Smith said...

Thanks R.M.! You are right on both counts. Corrected. :-)