Monthly Archives: January 2010

KCL

The word has got around quickly of tough times ahead for philosophy at KCL. Quoting the letter of vigorous protest from the UCL philosophy department, which you can read in full in the comments here,  “Prof Shalom Lappin and Dr … Continue reading

Posted in This and that | 2 Comments

There’s Something about Gödel, Ch. 12

I’ve been distracted by various things (including preparing talks/lectures for my upcoming NZ trip): but at last it’s time to get back to thinking about Francesco Berto’s book. The last chapter is called “Gödel versus Wittgenstein and the Paraconsistent Interpretation”. … Continue reading

Posted in This and that | Leave a comment

Planet de Botton

I’m all for popularizing philosophy in the right kind of way, and admire — not to say envy — the likes of A.C. Grayling and my colleague Simon Blackburn for their prose styles, their immense energy, good sense, ability to … Continue reading

Posted in Rants | 22 Comments

Gödel Without Tears — 10

There are slightly revised versions of the episodes on the First Incompleteness Theorem and the Diagonalization Lemma now online. And there is a cheeringly short episode on The Second Theorem, newly added. (As before, you can download the latest versions … Continue reading

Posted in This and that | Leave a comment

Routledge go mad

I have on my desk my copy of Hartley Rogers’s wonderful Theory of Recursive Functions and Effective Computability. I’ve been checking my memory that he says that, for effective computability, the steps in a particular algorithm must be idiot-proof at … Continue reading

Posted in Rants | 4 Comments

On a winter’s afternoon, the charm of a bookshop

Not my photo, I should add: but I couldn’t resist posting it here.

Posted in This and that | 1 Comment

Gödel Without Tears — 9

There’s a slightly extended version of the treatment of the First Incompleteness Theorem now online, with a short section added about the historically first First Theorem. And newly added is an episode on The Diagonalization Lemma, also covering Rosser’s and … Continue reading

Posted in This and that | 1 Comment

Standing in King’s Parade, tearing up tenners

I had to go along  to a meeting today, ostensibly about the future of funding for graduate students. It lasted an hour, though it was fortunately held just fifteen minutes away. Still, that’s an hour-and-a-half out of my life. There … Continue reading

Posted in Rants | 4 Comments

What’s it all about then?

I’ve one more chapter of Berto’s Gödel book to comment on here, which I’ll do very shortly, and I mean to get back to the rest of Franks’s The Autonomy of Mathematical Knowledge (I got rather stuck on Franks’s tussle … Continue reading

Posted in This and that | 2 Comments