Monthly Archives: October 2007

Leopard, first impressions

Posted on October 29, 2007

Leopard arrived today, in its rather cool box. And I installed it by the book — the book in question being the useful, confidence-inspiring, and very inexpensive e-book Take Control of Upgrading to Leopard. So I used SuperDuper! to clone … Continue reading →

Posted in Geek stuff | Leave a comment

G. C. Lichtenberg

Posted on October 28, 2007

Fellow local blogger James Warren recently posted a seemingly depressing list of “top books” listed on Cambridge students’ Facebook pages. But I’d not be too downhearted. Probably the moral is: don’t believe all you read in Facebook entries! I know … Continue reading →

Posted in Books | Leave a comment

The art of ordinal analysis

Posted on October 27, 2007

I’ve just come across Michael Rathjen’s 2006 paper The art of ordinal analysis. A useful and pretty clear survey.

Posted in Logic | Leave a comment

Not Leopard

Posted on October 26, 2007

Sigh. This was going to be the post where I gave you my calm, judicious, balanced, critical appraisal of the truly awesome OS X Leopard. So imagine my frustration — or at least, fellow macheads will be able to imagine … Continue reading →

Posted in This and that | Leave a comment

Mocking the pomos

Posted on October 23, 2007

I was amused to (re)discover Communications from Elsewhere‘s wonderful Postmodern Generator. Just refresh the link and you are served up each time with a new generous helping of a randomly generated postmodernist-style word-salad: very clever and very funny. And yes, … Continue reading →

Posted in This and that | Leave a comment

In bed with a Trollope

Posted on October 22, 2007

I’ve been struck down over the last few days, and – judging from previous experiences with the same unpleasantness – it will be a few more days before I’m really up and about again, and a while yet before really … Continue reading →

Posted in This and that | Leave a comment

Anjan gets real

Posted on October 17, 2007

Continuing the project of bankrupting my readers by recommending unmissable books to buy, let me add another warm recommendation, for Anjan Chakravartty’s A Metaphysics for Scientific Realism which has just appeared on the new book shelves at the University Press’s … Continue reading →

Posted in Books | Leave a comment

Harmless geekery

Posted on October 16, 2007

I was going to sound off on the subject of tripos reform: but on second thoughts, it’s probably safer to indulge in harmless geekery instead. So … (roll of drums): There’s now another much bigger, much better edition of the … Continue reading →

Posted in Books, Geek stuff | Leave a comment

Semantics, Toyota style

Posted on October 12, 2007

Our math logic reading group is going through Manzano’s Model Theory as therapy/revision before tackling Hodges’s Shorter Model Theory. I’m not sure that Manzano was, after all, a good choice; though equally it isn’t clear what would have served our … Continue reading →

Posted in Logic | 2 Comments

Gödel: chapter one online

Posted on October 12, 2007

I’ve put Chapter One of my Gödel book — very short, and hopefully accessible — online at the book’s website here. Perhaps not of terrific interest to too many visitors here, as it is very introductory, but you can always … Continue reading →

Posted in Logic | Leave a comment