Monthly Archives: January 2013

Teach Yourself Logic, #10. The Big Books — Shoenfield 1967

I think I might be going to regret this. I’ve just realized that there are over 25 “Big Books” on math logic on my shelves that could reasonably warrant a mention in the planned chapter in the Teach Yourself Logic … Continue reading

Posted in Logic, TYL | 5 Comments

David Fray plays Bach

One of the most wonderful CDs of Bach keyboard music (indeed surely one of greatest Bach recordings ever) is Martha Argerich’s 1979 disc of the Partita No. 2, the Toccata BWV 911, and the English Suite No. 2. She plays with … Continue reading

Posted in Music | 1 Comment

Teach Yourself Logic, #9. The Big Books — Mendelson 1964

Continuing with a draft of the next section in the Big Books part of the Guide (see the previous post for more explanation): Elliot Mendelson’s Introduction to Mathematical Logic (Van Nostrand, 1964: pp. 300) was first published in the distinguished … Continue reading

Posted in Logic, TYL | 2 Comments

Teach Yourself Logic, #8. The Big Books — starting with Kleene 1952

OK, after a bit of a gap, it is back to thinking about the Teach Yourself Logic self-study Guide. The shape of the Guide is evolving as I write it (well, at least there is random mutation …). I’m now … Continue reading

Posted in Logic, TYL | 1 Comment

Ticking over quietly …

My short joint review of Volker Halbach’s and Leon Horsten’s not-now-so-recent books on truth (surprisingly published as a ‘Critical Notice’), which I’d already posted excerpts from here on the blog, is now online. Things have been ticking over quietly since … Continue reading

Posted in This and that | Leave a comment

So that’s done then!

So … there it is. Or rather, there it was, a print-out of Gödel Mk 2 sitting on the table, before being taken off to the CUP building today, as an electronic version was emailed. Done and dusted. I hope. … Continue reading

Posted in This and that | 12 Comments