Monthly Archives: June 2008

An Introduction to Gödel’s Theorems revamped!

I’ve just, at last, got hold of a printed copy of the revised version of An Introduction to Gödel’s Theorems which came into stock with CUP about six weeks ago. Of course, as soon as it went to press, three … Continue reading

Posted in Books, Logic | 2 Comments

Galois connections again

For some reason, I found myself minded to spend a bit of time tidying up the pages on posets and Galois connections that I was working on some weeks ago. They have the form of the first two chapters of … Continue reading

Posted in Logic | 1 Comment

The Review of Symbolic Logic

The first issue of The Review of Symbolic Logic is out and available online (if your library has the right subscription). And two Cambridge friends have papers in it, both on set theory. Luca Incurvati has a piece on Kripke … Continue reading

Posted in Logic | 2 Comments

Conference: Computation and Cognitive Science

There’s an upcoming conference in Cambridge on Computation and Cognitive Science with an impressive line-up. The plan is for the papers to be made available in advance, for there to be no formal presentations, but for the sessions to be … Continue reading

Posted in This and that | Leave a comment

Back in Cambridge. Sigh.

So this is the borgo we’ve left behind for a while (the little white patch in the centre distance in the centre of the photo is the distant dome of the duomo in Siena, or rather its covers during restoration … Continue reading

Posted in This and that | 1 Comment

Postcard from Siena – 8

The meteo predicts that really good weather will start on Thursday. Since we are leaving on Wednesday, this is just a bit galling. This morning it was so cold we put the heating on again. And jazz last night in … Continue reading

Posted in Italian matters | 1 Comment

Awodey’s Category Theory: Ch. 2

The second chapter of Awodey’s book is called ‘Abstract Structures’. It gives the usual abstract category-theoretic definitions of epis and monos, of sections and retractions, of initial and terminal objects, of products, and so on. This would certainly be tough … Continue reading

Posted in Books, Logic | 1 Comment

Postcard from Siena – 7

Here, everyone has to park outside the walls of the old part of the borgo. But that’s no hardship. There’s stone and gravel put down between the olive trees just under the house, and you park the car among them, … Continue reading

Posted in Italian matters | Leave a comment

Parsons’s Mathematical Thought: Sec. 7

Back in Sec. 1, Parsons says “Roughly speaking, an object is abstract if it is not located in space and time and does not stand in causal relations.” In the last section of the first chapter, he returns to question … Continue reading

Posted in Logic, Math. Thought and Its Objects, Phil. of maths | 3 Comments

Postcard from Siena – 6

It’s sunnier and warmer (for a while). This year the excellent restaurant just a few steps across the piazza has put a few tables outside, and will bring you a coffee and cornetto from when they open up in the … Continue reading

Posted in Italian matters | Leave a comment