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