Monthly Archives: August 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 … Continue reading

Posted in This and that | Leave a comment

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 … Continue reading

Posted in This and that | Leave a comment

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 … Continue reading

Posted in Geek stuff | 3 Comments

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 … Continue reading

Posted in Logic | 1 Comment

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 … Continue reading

Posted in This and that | 1 Comment

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 … Continue reading

Posted in Logic | 1 Comment

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 … Continue reading

Posted in This and that | Leave a comment

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, … Continue reading

Posted in Logic | Leave a comment

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 … Continue reading

Posted in Logic | Leave a comment

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 … Continue reading

Posted in This and that | 1 Comment