Monthly Archives: April 2013

Revisiting an old result of Hintikka’s

The pedagogic habit dies very hard. In recent months I’ve been hanging out quite a bit at math.stackexchange.com, and answering logicky questions when the mood has taken me (which seems to have been quite often …). You can find over … Continue reading

Posted in Logic | Tagged | 2 Comments

The consistency of NF: meeting in Cambridge

Back in October, I posted a slightly mysterious message noting that Thomas Forster was “in the process of assembling funding for a meeting to discuss and broadcast recent developments in NF” here in Cambridge this Easter. Then in November I was … Continue reading

Posted in This and that | 1 Comment

How do you like your proofs? Round 2 [update]

Even if you didn’t do Timothy Gowers’s questionnaire the first time around, you will be fascinated by his explanation of its hidden purpose and will want to do his follow-up poll. Update: And you will now be fascinated by Gowers’s report … Continue reading

Posted in This and that | 2 Comments