Monthly Archives: July 2012

Whoosh …!

In the immortal words of Douglas Adams, “I love deadlines. I like the whooshing sound they make as they fly by.” The second edition of my Gödel book was supposed to be off to CUP today. But it will be two or … Continue reading

Posted in This and that | Leave a comment

The Search for Immortality

The Fitzwilliam Museum mounts quite wonderful small exhibitions. The last major one (major in terms of its interest and the quality of what was on show) was the Vermeer exhibition last year. Now there is a beautifully mounted show of … Continue reading

Posted in This and that | Leave a comment

Cambridge Foundations, 3

I was particularly looking forward to two of the talks scheduled for the last day of the Foundations conference, those by Steven Methven and Dan Isaacson. Sadly, for different reasons, neither happened. That left just three talks. Sam Sanders spoke … Continue reading

Posted in Logic | Leave a comment

Cambridge Foundations, 2

I missed Mic Detlefsen’s talk, and arrived half-way through Steve Awodey’s “Homotopy type theory and univalent foundations”, which was a beautifully presented advertising pitch for the project you can read a lot more about here. James Studd (a graduate student … Continue reading

Posted in Logic | 3 Comments

Cambridge Foundations, 1

I am taking some time off from revising the Gödel book, going to (most of) a local conference, Foundations of Mathematics: What are they and what are they for? Yes, it really is all fun, fun, fun at Logic Matters. The … Continue reading

Posted in Logic | Leave a comment

Pavel Haas Quartet, once more

I have mentioned this young Czech quartet a couple of times before in this blog, to rave about their great recording of Dvořák’s American Quartet, and about some truly wonderful radio broadcasts of them playing Beethoven and Schubert. Today we … Continue reading

Posted in Music, Pavel Haas Qt | Leave a comment