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.
Thanks a.c.! There was supposed to be a "more" before the "much". But I've very slightly rewritten.
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 …" ?
Oops — Links corrected!
…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.
Peter, the link to Epsidoe 2 of GWT is broken.