### Pages

### Posts feed

### Archives

### Recent Comments

- André Gargoura on Raymond Smullyan (1919–2017)
- Peter Smith on Raymond Smullyan (1919–2017)
- Kai von Fintel on Conditionals again
- Jan von Plato on Raymond Smullyan (1919–2017)
- Jon Awbrey on Frege on “if”

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- How better to relieve the gloom of Brexit day than sitting in the sun in Piazza Navona? https://t.co/noqYzjNNsh, 21 hours ago
- 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

# 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

## 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

## 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