Monthly Archives: February 2014

Logical snippets

For about eighteen months now, I’ve been a regular visitor to the useful question-and-answer site, — this is a student-orientated forum, not to be confused with the truly wonderful which is its research-level counterpart. OK, you can think of these visits as … Continue reading

Posted in Logic | 3 Comments

In praise of … Rachel Podger/ATOS Trio

We’ve been to two exceptional concerts in the last few days. First we went up to the Wigmore Hall for the Schubert birthday concert, where the ATOS trio played the two Schubert piano trios to deserved acclaim from a rapt audience. Wonderfully … Continue reading

Posted in Music | 2 Comments


A complete first draft of the revised version of Gödel Without Tears is now available for download here. I hope in due course to improve the suggestions for further reading, particularly with pointers to resources on the web. But the … Continue reading

Posted in Gödel's theorems | Leave a comment