- Now just cross that I was enticed to squander an hour on such a third-rate farrago. #lineofduty, Mar 26
- Oh well, that became unwatchably ridiculous self-parody. Pity. #Lineofduty, Mar 26
- You wouldn’t think that (re)writing a page in an intro logic text would turn into a three-espresso problem. But there it is …, Mar 25
- That annoying thing where you realize, writing Ch. 19, that how you handled something crucial in Ch. 2 Really Won’t Do. Yes, THAT thing., Mar 21
- Yes! @BeatriceRana’s new Goldberg Variations CD is pretty terrific. https://t.co/adYmFbPQ7G, Mar 21
Monthly Archives: November 2007
It seems only yesterday that the fourth edition came out: but — as I found in the CUP bookshop today — there’s now a fifth edition of Computability and Logic. The preface announces that the main revision in this addition … Continue reading
Well, this is moderately cheering (about logic matters, at any rate). First, about fifteen people have said that they are interested in a reading group working through the shorter Hodges on model theory. And now, about a fifth [update: over … Continue reading
To Edinburgh yesterday, for the funeral of John Davidson, an old friend going back to early Aberystwyth days, who died far too young. The funeral was done with great aptness to the man. The poet Jeffrey Wainwright read ‘Stoic’, which … Continue reading
At last. If you go to my Gödel book’s website, and click on the link under “Latest Additions” then the link no longer takes you to a rambling, unfinished essay but to a much crisper extended version of the talk … Continue reading
Figes tells us that Turgenev wrote a famous bit of verse about the critic Stasov: the penultimate lines are … Argue even with a fool: You will not gain glory But sometimes it is fun. I confess I’ve been spending … Continue reading
Heck, advancing years are a terrible thing. Apart from the obvious drawbacks — and let’s not go into those — you start forgetting stuff that once upon a time you kinda knew a bit about. Ok, the things that you’ve … Continue reading
I’m back from Oxford where I was giving a talk at Dan Isaacson’s philosophy of maths seminar. I was a bit anxious about the occasion in advance as I knew that Michael Dummett still tends to go. In the event … Continue reading
An article in the Times today: “We segwayed in to a conversation about the au pair …”. Truly, the barbarians are already inside the gate.
It is seriously sad to care about these things. I know. But for those who are equally miffed by the Leopard update’s failure to sort the stack icon flaw — ok, it’s not exactly a bug but everyone thinks it … Continue reading
A wonderful piece in today’s Guardian, reprinted here, by the estimable Ben Goldacre, on quack science and the moral bankruptcy of professional defenders of homeopathy. Read it.