Gödeling along

I’m still working away on my draft book on the incompleteness theorems, in between the delights of marking tripos papers. I’ve just uploaded a new near-final(?) version of Chapters 1 to 22 — the first two hunded pages — to www.godelbook.net; all comments are still most welcome. Don’t all rush at once …

This entry was posted in This and that. Bookmark the permalink.

Leave a Reply

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