While everyone else is blogging from the NDC, I'm in Turin at the European Summer Meeting of the Association of Symbolic Logic, aka LC'04.  Highlights so far: Grisha Mints' opening talk on Monday, in which he presented a result showing that all intuitionistic Frege systems polynomially simulate each other.  It uses some interesting recent work … Continue reading Live from the Logic Colloquium

Two exciting conferences coming up next academic year: In November, the 5th Midwest Philosophy of Mathematics Workshop will be held at Notre Dame. I went last year, and it was a fabulous experience. There will be a special presentation by Dana Scott. And at the end of March 2005, the 1st World Congress and School … Continue reading Two Interesting Conferences Next Year