Mindblown: a blog about philosophy.

Thomas Dolby has a blog. And so do the UConn philosophy grad students.

Amazon.de emailed me today, suggesting that I preorder Kurt Gödel: The Album. There’s not that much info on the amazon.de page, nor on the Vieweg page, but it’s the book to accompany the exhibition the editors (Karl Sigmund, John Dawson and Kurt Mühlberger) are putting on for the Gödel Centenary in Vienna.

Don’t know how I missed this: Yarden Katz has a blog, CrunchyLogic.

The new issue of the Notices of the American Mathematical Society is devoted to Kurt Gödel’s life and work.

The 2006 RZ World tour just started at the “Truth and Proof” conference in Edinburgh. Thanks Jeff Ketland and Jean-Louis Hudry for putting this on and inviting me! So far we had some excellent talks by John Dawson on the history of the notion of truth and use of semantic methods in logic; by Hannes…

Long time no blog. Sorry, been busy planning my 2006 world tour. Dates will be announced shortly. While you’re waiting, there’s a neat little piece of metamathematics that should be more widely known than it is. You all know that if T is a consistent theory satisfying the usual assumptions, then Con(T) is undecidable in…

I linked to it before, but now the deadline is nigh: Call for Participation Young Scholars’ Competition The Kurt Gödel Centenary: Horizons of Truth organizers and sponsors invite young scholars in logic, mathematics, physics, philosophy, computer science and theology to submit project proposals for the young scholars’ competition honoring Kurt Gödels hundredth birthday. Web: http://www.logic.at/goedel2006/index.php?students…

Sad. Peter Strawson has passed away. Obits from the Times, the Telegraph, the Guardian, .

The Studia Logica special issue on cut-elimination, edited by Alex Leitsch, is out. A bunch of very interesting papers. I’m especially glad to see Alessandra Carbone publish in proof theory again! I’m a big fan. (Self-promotion: the issue also contains the final version of Georg Moser and my epsilon calculus paper. And while I’m linking,…

Via OPP: Thierry Coquand‘s entry on Type Theory in the Stanford Encyclopedia went online a few days ago.