Monthly Archives: September 2015

A Friendly Introduction to Mathematical Logic

If you have read the Teach Yourself Logic 2015 Study Guide, then you will know that I there particularly recommend as an admirably lucid and, yes, friendly introduction to first-order logic Christopher Leary’s 2000 book, A Friendly Introduction to Mathematical … Continue reading

Posted in Books, Logic | 4 Comments

The art of not reading

Wise words, found in my twitter stream: The art of not reading is a very important one. It consists in not taking an interest in whatever may be engaging the attention of the general public at any particular time. When some … Continue reading

Posted in This and that | 1 Comment

PHQ in astonishing form, again

To the Wigmore Hall this morning, to hear the Pavel Haas Quartet play Schubert’s “Rosamunde” Quartet and Beethoven’s “Serioso”. An extraordinary short concert, with the PHQ at their unsurpassed best. Of recorded performances of the “Rosamunde”, I perhaps know the … Continue reading

Posted in Music, Pavel Haas Qt | Leave a comment

A Gentle Introduction

You can now download here the first instalment (88pp.) of a Gentle Introduction to category theory, reworked from my Notes on Category Theory. Gentleness is relative, of course. Peter Johnstone plans, in his first 13 lectures for this (academic) year’s Part … Continue reading

Posted in Category theory | Leave a comment

Chilling

There was an article in the Guardian a few days ago on Why does music give us chills? (shivers down the spine, goosebumps…). This has been the subject of  some interesting neuropsychological investigations; there are a few links in the article. I was … Continue reading

Posted in Music | Leave a comment

Tony Roy: Symbolic Logic

Tony Roy has kindly alerted me to the existence of his freely available Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic. It is now in version 7.1, so I guess I should have discovered this before! It looks, at a quick first glance, … Continue reading

Posted in Books, Logic | Leave a comment

One future for journal publishing

On his blog, Tim Gowers has announced a new journal, Discrete Analysis for which he is to be the managing editor. The content of the journal probably won’t be of much interest to most readers of Logic Matters. It will cover topics in additive … Continue reading

Posted in This and that | 2 Comments

Procrastinating, but in a good way …

When the thinking or writing has got stuck, and work on the next book (if that’s what it ever becomes) is stalled for a while, one entirely harmless diversion on the internet is to go along to math.stackexchange.com to see if I can usefully … Continue reading

Posted in This and that | Leave a comment