Monthly Archives: July 2014

Hilbert’s Foundations/Logic Lectures

I’ve just been spending a couple of days looking at the massive volume of David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917-1933, edited by William Ewald and Wilfried Sieg (Springer 2013), which has at last arrived in the library … Continue reading

Posted in Logic | 1 Comment

Cutting the TYL Guide down to size

The Teach Yourself Logic Guide was getting rather ridiculously bloated — 138 pages in the previous version. Oops. That was getting distinctly out of hand. I was losing sight of the originally intended purpose of the Guide. Time to re-boot … Continue reading

Posted in This and that | 4 Comments

Category theory in two sentences

Tom Leinster’s book Basic Category Theory  arrived today on the new book shelves at the CUP bookshop.  I just love the opening two sentences, which seem about as good a minimal sketch of what category theory is up to as … Continue reading

Posted in This and that | 5 Comments

Parsons #5: Gödel on analyticity

The delay in getting round to talking about the next couple of papers in Charles Parsons’s Philosophy of Mathematics in the Twentieth Century signals, I’m afraid, a certain waning enthusiasm. I’m still hopeful that the essays in Part II of … Continue reading

Posted in Logic | 1 Comment

Pavel Haas Qt play the opening movement of Smetena’s 1st Qt.

Sinfini Music have just posted a rather good quality video of the Pavel Haas Quartet playing the opening movement of the first Smetena String Quartet, “From My Life”, with their usual intensity. Apparently, the Pavel Haas have now recorded the two Smetena quartets, and … Continue reading

Posted in Music, Pavel Haas Qt | Leave a comment

Three requests/suggestions

Has your uni library a copy of the 2013 second edition of An Introduction to Gödel’s Theorem? Do please check! It’s a lot better in lots of ways than the first edition (indeed, ideally, the first edition could be quietly put into the library … Continue reading

Posted in This and that | 3 Comments

Not that smart …

An exhortation, repeated with rather surprising approval on various philosophy blogs: “We’re all smart. Distinguish yourself by being kind.” I’m all for being kind, and hope that — when I was in the business — I mostly was (and of … Continue reading

Posted in This and that | 1 Comment

Recommending two recent CD releases

CDs take up room, even if they are not as space-hungry as books (sigh! — it must be time for another trip to Oxfam to offload more never-to-be-read-again philosophy books: but that’s a story for another day). Still, despite running … Continue reading

Posted in Music | 1 Comment