# Monthly Archives: June 2009

## Rum and reason

Long time readers will remember I used to link to The Daughter’s cooking blog, BakeMeHappy (that’s still on line, full of good things, and beautifully written — but apart from a little late flurry, it really came to a halt … Continue reading

## Rosser’s Theorem

Wolfgang Rautenberg’s very nice A Concise Introduction to Mathematical Logic states Gödel’s first theorem in the usual sort of way. Roughly: given a suitably axiomatized omega-consistent theory T containing enough arithmetic, there’s a Pi_1 undecidable sentence. He proves this by … Continue reading

Posted in This and that | 5 Comments

## Functions and gunctions

Tim Gowers has a very nice piece on his blog about functions, multivalued functions, relations and the like, called “Why aren’t all functions well-defined?“.

Posted in This and that | 1 Comment

## The book problem

So you start buying books — I mean academic, work-related, books of one kind or another — in your late teens. As retirement age looms you’ve been doing it for more than forty-five years. Suppose you average a couple of … Continue reading

Posted in This and that | 7 Comments

## Gowers on Razborov’s theorem about monotone circuit complexity

I mentioned before that I’d been to Tim Gowers’s lectures on computational complexity. As I noted before, videos of his lectures are available here. But, as promised, he has also written up the proof which was the topic of the … Continue reading

## It’s tough (reprise)

I was on leave last Easter term, and so not examining. But the previous year I commented here, under the heading “It’s tough being a philosophy student”, It strikes me again while marking that it’s quite tough being a philosophy … Continue reading

Posted in This and that | 3 Comments

## Thank heavens that’s over …

I’ve been chair of the examining boards for Parts IB and II of the Philosophy Tripos (so that’s the second and third [final] year exams here). The process is now over, reasonably painlessly for me. But it’s not so painless … Continue reading

Posted in This and that | 2 Comments

## Another very warm recommendation

Hard on the heels of Viktoria Mullova’s re-recording of the Bach Partitas, and Angela Hewitt’s re-recording of the Well-Tempered Clavier, Imogen Cooper is re-recording late Schubert. I love her earlier recordings on Ottavo; but this first disk in the projected … Continue reading

Posted in This and that | 1 Comment

## All’s well that ends well

It was by the sheerest fluke that I discovered that there had been a third printing of my Gödel book. I was in Waterstone’s in Bloomsbury with time to kill, looking through the maths books, and there were a couple … Continue reading

Posted in This and that | 1 Comment