I was wondering whether to spruce up my very rapidly written hand-outs on Gödel’s Theorems which I produced for the Cameleon weekend and publish them here. I was beginning to think I wouldn’t bother, as there are other things I want to be getting on with. But I just now read the chapter on incompleteness in Shawn Hedman’s A First Course in Logic, and that reminded me how crummy some textbook treatments can be, and hence of the need for crisp and clear presentations. Not that Hedman is technically wrong, of course (well, I haven’t read him that carefully, but the details look ok). But I defy any beginning student to take away from his chapter a really clear sense of what the key big ideas are, or of how to distinguish the general results from the hack-work needed to show that they apply to this or that particular theory. So back to those hand-outs!
- 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
- RT @davidallengreen: "Deign on the passing world to turn thine eyes, And pause awhile from Twitter, to be wise." Adapting Samuel Johnso… https://t.co/woweD4ZSaN, Feb 20