I have to start singing for my supper today, and earning my keep as an Erskine Fellow. This means giving a dozen lectures on Gödel, plus a few talks to various seminars. The Gödel lectures kick off today, and I’ve started updating/extending the notes to accompany the lectures. The notes are now called — perhaps more honestly — Gödel Without (Too Many) Tears. The first instalment of the new version can be found here, where further episodes will be posted at the rate of two a week for the next six weeks.
Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
- What to read before, after, or instead of my Gödel book. http://t.co/Laf0nD5j Any suggested additions, further recommendations?? Posted 14 minutes ago
- Drat. Seeing the tag #LansleyOut had me checking the bbc … Posted 23 hours ago
- String quartets (currently playing) I most want to listen to. 1. Takacs. 2. Belcea. 3. Pavel Haas. Your favourites? #classical Posted 1 day ago
You have enough material for another book, although a shorter one, it seems to me, or to revise the existing book to provide a tearless path through it.