Tuesday, June 06, 2006

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

No comments: