- Do please check that your library by now has a copy of the second edition of An Introduction of Gödel’s Theorems (it really is significantly better than the first edition, with a lot of changes throughout). Having put in the work to improve the book, I’d like you/your students to have the best version available!
- I’ve just updated the corrections page for IGT2 (thanks to Richard Baron for spotting a few more, fortunately minor, errors).
- I have also updated the page on what to read before/after/instead of IGT2.
- I have further updated the notes Gödel Without Tears (the first three episodes have now been revised).
- In updating those notes I’ve removed a few unnecessarily fancy asides — the material appears in a different guise in the newest set of exercises for the book (which will you will find here). Indeed my plan as I work through updating the GWT notes is, at the same time, to add exercises on the topics of revised episodes as I go along.
- RT @LewyLib: #OnThisDay in 1903, Frank Plumpton Ramsey, the Cambridge philosopher, mathematician and economist and close friend… https://t.co/k8LkiqjzCv, 2 hours ago
- Just a reminder, LaTeX (not just) For Logicians has its own direct url: https://t.co/OCO2zdDxpy Spread the word! #LaTeX #Tex, Feb 21
- The Pavel Haas Quartet and friends obviously not enjoying themselves at all https://t.co/k4zl4Cz10l, Feb 20
- RT @Scruton_Quotes: "When I think of Schubert's death, and lament that he did not live to the age of Mozart, I think of the love that h… https://t.co/C9i5vBgDXY, Feb 20
- RT @Scruton_Quotes: "In Venice or Prague, in Bath, Oxford, or Lisbon, you come to see that there is all the difference in the world bet… https://t.co/4BOCTiZH39, Feb 20