Saturday, October 17, 2009

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.

5 comments:

Aldo Antonelli said...

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

Anonymous said...

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

Oops -- Links corrected!

a.c. said...

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

Peter Smith said...

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