- Logic people might be interested in a PDF of an (old) biblio of Georg Kreisel … https://t.co/HnOdqqdR5W, Jan 20
- RT @Vella_Schiavo: “Tu non fai che cercar di tamponare la solitudine che sfugge da tutte le parti.” John Steinbeck ~ (Quel fantast… https://t.co/Sqqw9Mbxl9, Jan 19
- Logic people … what [metalanguage] symbol do you like to use for assigning a truth value to a wff??? https://t.co/OlouUTAzh0, Jan 13
- My version of dry January was to be not reading anything about blasted Br*x*t this month. Huh. Not going too well … I need to get a grip!, Jan 12
- RT @JoWolffBSG: Suppose you read a book a fortnight. And have an active adult reading life of 60 years. So that's only 1560 books i… https://t.co/8LI4iA7kDh, Jan 12
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.