Wednesday, July 21, 2010

Gödel without tears

While being nice and technical - Peter Smith's truly excellent textbook An introduction to Gödel's theorems (it's not just about the completeness and incompleteness theorems btw) can be a challenging to the uninitiated. Smith has made available a great supplementary resource, a set of lecture notes he calls Gödel without (too many) tears.
If you're at all interested in these things, I suggest you check it out.


Note: Only a member of this blog may post a comment.