Category Archives: Gödel’s theorems

I’m getting back down to work on the second edition of An Introduction to Gödel’s Theorems. One thing I plan to do is to put up some pages of exercises as I go along, which I’ve been meaning to do … Continue reading →

Good news. I’ve a contract to do a 2nd edition of my Gödel book. Not quite under the terms I’d have ideally liked, like another 50 pages, a couple of years or more to do it, and of course a … Continue reading →

Better late than never — here’s what I said, more or less, in four lectures earlier this term on the First Incompleteness Theorem. The lectures were aimed for maths students, but only the last of the four requires a bit … Continue reading →

As I said in a post here a couple of weeks ago, I’m negotiating with CUP about a second edition for An Introduction to Gödel’s Theorems. (And if you have any suggestions/comments about what improvements you’d like to see, do … Continue reading →

The first two episodes of Gödel Without Tears have been corrected — catching a few typos but mainly to correct the silly thinko that David Makinson caught. And there are new versions of episodes 7 (Arithmetization of Syntax) and 8 … Continue reading →

David Makinson has emailed to point out a foul-up in Episode 2, §9, of Gödel Without Tears. (Actually, he very kindly called it an “anomaly”. This suggests one of those irregular conjugations: “I made a little slip, what you wrote … Continue reading →

Here are the handouts for the last two Gödel lectures: 5. Primitive recursive functions 6. Expressing and capturing the primitive recursive functions (These two haven’t changed greatly from the previous versions from earlier in the year.)

I’m afraid that life has been rather distracting recently, with little time for more-than-minimal blogging. I hope, however, that things will get back to normal after a few more very busy days catching up with life. Here, in the meantime, … Continue reading →

Here are the notes for today’s lecture. 3. Two weak arithmetics To repeat, there’s a dedicated GWT comments page here — still unused, despite many hundred downloads of previous episodes!