Gödel Without Tears — 2

As promised, Episode 2 of Gödel Without Tears (in which we prove sufficiently strong theories are undecidable and incomplete — just like that!)

As explained, I’m writing these notes as just-after-the-event handouts for weekly lectures. And each week I’ll be checking through the previous handout (and no doubt finding small corrections to make) before I give the next lecture. So here’s the latest version of Episode 1, dated 16 October.

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

5 Responses to Gödel Without Tears — 2

  1. Aldo Antonelli says:

    Peter, the link to Epsidoe 2 of GWT is broken.

  2. Anonymous says:

    …as is the link to the updated Episode 1. It appears that the problem is that "logicmatters.blogspot.com" is being prepended to the otherwise correct url.

  3. Peter Smith says:

    Oops — Links corrected!

  4. a.c. says:

    Next to last sentence of next to last paragraph doesn't make sense:

    "And it takes much doing than we need to prove incompleteness by G¨del’s original method."

    Should be "And it takes as much doing as we need …" ?

  5. Peter Smith says:

    Thanks a.c.! There was supposed to be a "more" before the "much". But I've very slightly rewritten.

Leave a Reply

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