Monthly Archives: January 2007

Gentzen, praise and regret

Posted on January 24, 2007

By popular request, I’m continuing an informal lunchtime Mathematical Logic Reading Group with a number of grad students. This term, the plan is to do a ‘slow read’ of Gentzen’s two great papers on the consistency of arithmetic. But we … Continue reading →

Posted in This and that | 3 Comments

Divas

Posted on January 21, 2007

One of my Christmas presents was Renée Fleming’s Homage: The Age of the Diva. It is luxurious, wonderful, singing, with some of the arias quite unknown to me (and I’d have thought to many opera fans). A few of Fleming’s … Continue reading →

Posted in This and that | Leave a comment

Size matters

Posted on January 20, 2007

One thing that distracted me for a while was getting myself a new laptop, a 17″ MacBook Pro. Simply fantastic, of course. Huge and very bright sharp screen — I got a matte one — and fast. Oh, very fast. … Continue reading →

Posted in Geek stuff | Leave a comment

Spluttering into life again …

Posted on January 19, 2007

I did slightly lose the will to blog, partly through overwork, partly through the blog being spammed, partly through other distractions. But the mood takes me again, so let’s see how things go … The Gödel book hasn’t left my … Continue reading →

Posted in This and that | Leave a comment