Gödel Without Tears, again?

Last year, a couple of thousand people downloaded Gödel Without (too many) Tears, and the notes continue to be downloaded at the same rate. Which makes me think I could usefully update/expand the notes so that, for a start, they integrate better with the new edition of IGT.

Oh, should I flag that up?

IGT2 is now available in the USA. Hasten to Amazon.com or your local friendly bookseller. Go on, you know you want a copy. As do your logical friends and relations. Total bargain, of course, and full of timeless truths, which is more than be said for most philosophy books. (And don’t forget to tell your uni library to get lots of copies).

 Ahem. As I was saying. I’ve been wondering about re-doing GWT. Perhaps in two halves, say eight or ten instalments for the [UK] autumn term/semester later this year, and then another bunch of instalments for the beginning of 2014. I’m not inclined to do any accompanying lecture-style videos (if only because I get bored watching such things myself: reading is so much quicker than listening/watching!). But I am turning over the idea of setting up a forum for questions/discussions. A heavily moderated forum, so as avoid everything being hijacked by the swivel-eyed loons who want to disprove Gödel’s theorems, or by the likes of those who troll math.stackexchange by inciting people to waste their time explaining standard bookwork.

I’d be interested, though, to hear from (or be put in touch with) anyone who has experience using a discussion forum like this. Would it get used? Is it more hassle than it is worth? (And practically, any recommendations of forum software to use? If you or anyone you know has set up a mathsy forum in a way that allows contributors to use MathJax to render LaTeX symbolism nicely, then I’d be particularly interested to hear about how that was done!) Any suggestions/thoughts about how to proceed with this sort of thing welcome!