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 …

This entry was posted in Gödel's theorems. Bookmark the permalink.

5 Responses to Gödel Without Tears — 1

  1. Bernardo Alonso says:

    Thanks for sharing!

  2. Rowsety Moid says:

    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?

  3. Peter Smith says:

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

  4. Clifford Hall says:

    Please define the term “wff”.

    • Peter Smith says:

      ‘Wff’ means well-formed formula. Though I guess someone who hasn’t met this bit of logic jargon before will find everything in these notes tough — as I am presupposing knowledge of the sort of material that is in a serious first-level logic course.

Leave a Reply

Your email address will not be published. Required fields are marked *