Monthly Archives: January 2007

Gentzen, praise and regret

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

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

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 …

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