Thursday, August 24, 2006

Bad news for trees ...

... but very good news for me! CUP have just agreed definitely to publish my Gödel book, having had a very positive "clearance review" from an obviously Very Wise Reader with Impeccable Logical Judgement. It just remains to continue working away improving it here and there, and taking account of the very assorted but very useful comments I'm getting (including from the Very Wise Reader). The next major task: to disassemble the rather rambling Chapter 22 and put it back together as two chapters.

Meanwhile, the project of getting on top of category theory will inevitably have to be put on the back burner for a while.

Monday, August 21, 2006

Joined up thinking and noisy cafés

Jacob Plotkin has e-mailed to point out a stupid mistake just five pages into the previous version(s) of the Gödel book. I'd given a really, really bad reason for saying (what is true) that the incompleteness of arithmetic entails the incompleteness of the theory of rational fields. Of course, it's not enough for Gödelian incompleteness to carry over to a theory T that T can define 0, 1, 2 and so on (and knows about adding and multiplying these). T has got to be able to define a predicate Nat applying to the numbers so that T can replicate numerical quantifications. Only that way can T count as e.g. embracing Robinson arithmetic, and hence be incomplete-if-consistent for Gödelian reasons. Well, Q, the standard theory of rational fields, can define a suitable predicate Nat, so incompleteness does apply. But that is not at all obvious. In fact, defining Nat in Q was part of the work that Julia Robinson got her PhD for (see her JSL 1949 paper).

Now I kind of knew all that, but it didn't stop me writing something that completely ignored it. And it stayed in a number of successive drafts. These kinds of cognitive glitches -- these failures in joined up thinking -- are very odd, and maddeningly annoying when you succumb to them. (I once saw my wife, who'd spent some of the afternoon making a large pot of chicken stock, very attentively pouring the stock away down the sink, carefully saving the boiled bones and vegetables ...)

Another psychological oddity: why do I often find it easier to read in my favourite noisy Italian café (Savino's, since you ask) with Italian radio blaring and a lot of comings and goings, than in a quiet library which can be all too conducive to sleepiness. I don't think it is just the supply of espresso. Presumably it is something to do with the noise and bustle keeping part your brain alert for signs of danger and threat in the background, and so stopping processing from shutting down ...

Tuesday, August 15, 2006

How to make life difficult for yourself

A posting on philos-l, on corner quotes:

Choose a common font such as Arial. You'll find a good enough corner there somewhere. Copy the symbol you want so you have it on the clipboard, then paste it into a Word document. THEN shrink it, adjust the baseline shift, etc., and you'll have as good a corner quote as any fancy font will get you.

So much easier than typing \ulcorner or \urcorner, eh?

I suspect that the reason we still see people talking about this sort of simply daft palaver with the awful Word has nothing much to do with some intrinsic difficulty in learning LaTeX (because basic mark-up is a piece of cake), but more to do with the off-putting look of the standard manuals which makes it seems that LaTeX is only for hard-core scientists and mathematicians, etc.

Partly that's because the manuals spend a lot of time on LaTeX's stunning maths typesetting capabilities, which is understandable. But also the tendency has been (especially in the Guide and the Companion) to write manuals that go absolutely clean against the LaTeX philosophy of separating structural mark-up from typographically fine tuning. So the manuals tell you e.g. both how to mark up a list and how to do all kinds of clever fine tuning in the same few pages, and hence they bury the terse headline news -- all you really need to know -- in a mess of unnecessary detail. I'm almost tempted to try my hand at writing a logically structured manual for non-scientists!

Greg Restall on arithmetic

Greg Restall has put a very nice paper online, called 'Anti-realist classical logic and realist mathematics'. I've always been tempted by logicism in the very broadest sense: but Greg's critics, of course, will say that he's just smuggled the rabbit into the hat before pulling it out again. Still, his piece is nicely thought-provoking.

Oddly, given his multiple-conclusion logical framework, Greg doesn't mention Shoesmith and Smiley's great book in his biblio. (Very regrettably, it had the bad luck to be published in 1978, around when a number of publishers used early computers to print books with what looked like typewritten pages. The first edition of Fogelin's fine book on Wittgenstein suffered the same fate. And in both cases, I think the repellent and amateurish look of the results was enough to put readers off and stop the books making the impact they deserved at the time. At least Fogelin got a properly printed second edition. But Shoesmith and Smiley has gone out of print, and seems widely forgotten.)

Sunday, August 13, 2006

Gödeling along again

I've just posted a "maintenance upgrade" of the first 14 chapters of An Introduction to Gödel's Theorems on the book's website (and, now I've got a bit of time, redone the site from scratch as well so it is a lot neater). As I work through the book again, I've not myself yet found anything that needed drastic emergency surgery, though the old Chapter 14 messed up at one point, conflating Frege and Russell. Oops. I've managed to delete a few distracting paragraphs and tidy some discussions enough to save four pages so far, which will gladden the publisher's heart.

About 500 people have now downloaded the book. I guess I don't really want 500 sets of comments at this stage in the game -- no chance of that, though! Still, it would be very good to get a few more than the very small handful I've had so far. Comments can be immensely helpful, often in unexpected ways. Keep them coming!

Friday, August 11, 2006

Categories: episode three

Kai von Fintel has just e-mailed, to send a link to the Good Math, Bad Math blog on category theory which is excellent -- a series of mini-essays on concepts of category theory with some very helpful introductory explanations of some of the Big Ideas. Worth checking out, so thanks Kai!

I've now read quite a lot of Steve Awodey's new book. Disappointing: or at least, it doesn't do quite what I was hoping it would do. Awodey's two papers in Philosophia Mathematica were among the pieces that got me interested in category theory in the first place (see his 'Structure in mathematics and logic: a categorical perspective', 1996, and his reply to Hellman, 2004). So I suppose I was hoping for a book that had more of the discursive, explanatory, commentary that Awodey is good at. But there's very little of that. And although Awodey says in the preface that, if Mac Lane's book is for mathematicians, his is for 'everyone else', in fact Category Theory is still pretty well orientated to maths students (for example, there is a telegraphic proof sketch of Cayley's Theorem that every group is isomorphic to a permutation group by pp. 11-12!). Of course, there are good things: for just one example it helped me understand better the general idea of limits and colimits. But I wouldn't really recommend this book to the non-mathematician.

So over the next week or two, I think it's Goldblatt's lucid Topoi, and Lawvere and Rosebrugh's Sets for Mathematics for me.

Wednesday, August 09, 2006

Slow work ...

It's slow work, going through my Gödel book a couple of chapters at a time checking for typos (down to the level of missing brackets or periods, 'x' for 'y', etc.), and looking for thinkos, sentences where the prose could be improved, passages where the book drags unnecessarily, paragraphs which could be deleted, cases where what happens in one chapter doesn't quite tally with what happens in another, and so on and so forth. Thankfully, I'm not finding too much that needs attention yet; but there is more than enough to make the exercise well worthwhile.

It's slow work too, getting into category theory. As I remember it, it was a lot easier mastering quite a bit of non-linear dynamics (when I was working on what became Explaining Chaos). I suppose that it could just be that I'm getting too old to readily learn new tricks. It could be that category theory's high level of abstraction makes it more difficult to get your head around. But I rather think that it's because I then had a whole stack of wonderfully clearly written, well-structured, zestful, example-packed, highly explanatory, dynamics books to lean on, while category theory seems not at all so well served.

But I'll press on, as the partially understood glimpses I'm getting are intriguing! Being in sight of retirement, with little prospect of promotion, at least has one very enjoyable advantage, which I might as well make the best of: I can cheerfully follow such interests wherever they happen to take me, without getting at all fussed about whether they will ever lead to publications that will "count".

Tuesday, August 08, 2006

Categories: episode two

A copy of Steve Awodey's new Category Theory (Oxford Logic Guides 49) has just been delivered. His preface starts

Why write a new textbook on Category Theory, when we already have Mac Lane's Categories for the Working Mathematician? Simply put, because Mac Lane's book is for the working (and aspiring) mathematician. What is needed now ... is a book for everyone else.

First impressions look very encouraging, though the book covers quite a lot in under 250 pages, judging from the table of contents, so the pace promises to be pretty speedy. (Grumble to OUP: given this is intended to be a textbook for a relatively wide audience, why exactly is it published only in hardback and at the extremely steep price of £65 pounds/$124.50?)

I've just noticed too that Robert Goldblatt's Topoi: The Categorical Analysis of Logic -- which has been out of print for ages -- has been republished by Dover (Amazon have it for £14.63/$19.77 which is a bargain for a book twice the length of Awodey's). I found before that Goldblatt's book starts pretty gently in a very helpful way, even though it seems to accelerate a bit alarmingly after the first three chapters. Anyway, my plan of action now is to parallel-process Goldblatt, Awodey, and Lawvere/Rosebrugh. Watch this space for further reports!

(Mmm, I hope that one or two greedy booksellers on abebooks.com who have been trying to sell on second-hand copies of Topoi for quite extortionate prices up to $500 have just found themselves stuck with now unwanted stock!)

Friday, August 04, 2006

Categories: episode one

I said I'd post occasional progress reports on getting to grips with Category Theory, to pass on recommendations about what I've found helpful, etc. (Perhaps I should explain that -- when trying to get into a new chunk of maths or math. logic -- I find it works best to dive in and read a number of books quite quickly, skipping and skimming when the mood takes me, rather than plod very carefully through one key text. Also, though I know a few bits and pieces, I thought I should start over again from the very beginning.)

Two frequent recommendations for entry points are Lawvere and Schanuel's Conceptual Mathematics (CUP, 1997), and Lawvere and Rosebrugh's Sets for Mathematicians (CUP, 2003). But I can only say, give the first book a miss. It's not very good: the authors seem to have no clear idea about their intended audience, so they veer between the irritatingly condescending/extremely laboured on the one hand, and sudden jumps in difficulty/sheer opaqueness on the other. For just one example, it is very difficult to believe that someone who needs a noddy explanation of why proving if p, q establishes if not-q, not-p is going to make anything at all of the sudden excursus on Gödel and Tarski at p. 307. But worse, you can get to the end of the book with no clear idea about what it is supposed to have achieved, or why it might matter. The second book is so far proving also a bit uneven but much better.

I'm dipping into various expository/philosophical articles as I go along. One I've just come across which I found prokoving and illuminating is Barry Mazur's 'When is one thing equal to some other thing?'. Recommended.

Wednesday, August 02, 2006

Getting categorical

For a bit of light relief from matters Gödelian, I'm hoping to spend the next couple of months getting more to grips with category theory (well, and why not? -- there are world-class category theorists just down the road at CMS, Martin Hyland and Peter Johnstone for a start, and it might be fun to be able to sit at the back of the category theory seminar and have some sense of what is going on). So I've gathered a somewhat daunting stack of books, and am plunging in ... I'll report progress!

Meanwhile, over 250 people have downloaded the Gödel book, and I've already had some very useful comments. In particular, Toby Ord has quite rightly taken me to task for getting a bit overexuberant in saying of Section 33.5 that it gives a proof that the Church-Turing Thesis entails the First Incompleteness Theorem. What the section does, in fact, is take the Kleene Normal Form Theorem and deduce incompleteness, assuming CTT along the way. But like any appeal to CTT in proving a formal result, that's a labour-saving device that is dispensable -- and if it weren't, we'd be able construct a related counter-example to CTT (as I'd already pointed out in Section 28.7). So really, I guess I should have said, less dramatically, that KNFT entails incompleteness. Still, it's a lovely argument if you don't know it: and the point remains that in thinking about CTT, and proving recursiveness is equivalent to Turing computability as a step in its support (and that equivalence yields KNFT very easily), then we get incompleteness almost immediately -- and that's surely a nice surprise!