Monthly Archives: January 2014

Any suggestions for web resources on Robinson Arithmetic, PA, primitive recursive functions, etc.?

As I’ve said, I’m in the middle of revising my much-downloaded introductory notes Gödel Without (Too Many) Tears. I’d rather like to add to the end of each chunk of the notes a very short section of “Further/Parallel Reading”, where … Continue reading

Posted in This and that | 2 Comments

GWT again, TYL again, Haydn again

Just to note that more sections of Gödel Without (Too Many) Tears have been revised: you can always get the latest version here. I hope it isn’t laziness or fatigue, but I find (slightly to my surprise) that I’m proceeding with … Continue reading

Posted in Logic, Music | Leave a comment

Konstancja Duff playing Schubert

Another post today, again spreading the word — this time not about a maths result I chanced to stumble across, but about a young pianist (who happens to be a recent Cambridge philosophy student, and who is now studying for … Continue reading

Posted in Music | Leave a comment

Colouring natural numbers, colouring real numbers

If you have lots of objects lined up in a row, and only a relatively small palette of colours to paint them with, then you’ll expect to be able to find some patterns lurking in any colouring of the objects. … Continue reading

Posted in Logic | 1 Comment

Gödel book related …

Do please check that your library by now has a copy of the second edition of An Introduction of Gödel’s Theorems (it really is significantly better than the first edition, with a lot of changes throughout). Having put in the work … Continue reading

Posted in This and that | Leave a comment

The Higgins

We hadn’t been to The Higgins since the now united galleries and museum in Bedford re-opened last year after a really major refurbishment. The building is beautifully renovated    (or mostly so — the café is not particularly attractively laid out), … Continue reading

Posted in This and that | Leave a comment

Introducing Homotopy Type Theory

Yes, Homotopy Type Theory is the latest, greatest, thing (we are told). Yes, a free book is available, following on from a major year-long program at the Institute for Advanced Study at Princeton in 2013-13, and this will tell you … Continue reading

Posted in Logic | Leave a comment

Gödel Without (Too Many) Tears, 2014 version

I’ve made a start updating the notes Gödel Without Tears. The previous version of the notes was downloaded nearly three thousand times in the last twelve months: so it certainly seems worth putting in the effort to produce a better … Continue reading

Posted in Gödel's theorems, Logic | 2 Comments