I’ve just started (re)reading John Burgess’ Fixing Frege. It is really full of useful things, but I still think what I thought on a first reading — namely that this is a pretty annoying book, as it surely could have been done so much better. Done better, for a start, by being done more slowly, with some of the technical exposition being handled more carefully and more transparently, with more commentary. For example, which grad students are going to see what’s natural about the Friedman/Simpson hierarchy of subsystems of second-order arithmetic just from the exposition on pp. 67-68? The book is a must-read; but it is also an unnecessarily difficult read given its presumbably intended audience.
- 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