So the colloquium honoring the recipients of the Gödel Research Fellowships is tomorrow. There should be a live feed. It starts at 9:00 CDT (that's midnight tonight on the West Coast, and 3 am Eastern). I'll try to find out if the lectures will be archived.

Erich Reck's entry on Richard Dedekind in the SEP is now online. I'm particularly happy about this one: It's time Dedekind gets some of the attention for his philosophy of math that Frege's been getting for his, and Erich's entry as well as his other work, I hope, will help bring that about. While many … Continue reading Reck on Dedekind

Two more new entries in the Stanford Encyclopedia of interest to logicians:The Development of Proof Theory by Jan von Plato and Non-wellfounded Set Theory by Larry Moss.From Jan's entry I see that his translation of the interesting third chapter of Genzen's thesis--wherein Gentzen proved normalization of natural deduction derivations--is out in the next issue of … Continue reading More SEP Entries

I am in favor of

There's a very laudable enterprise: Blogging on Pseudoscience (at BPSDB.org) aggregates blog posts debunking or pointing out pseudo-scientific nonsense such as Intelligent Design. Lots of good stuff, PZ Meyers is part of it, etc. But, look at the logo they use:Yes, that's a sequent calculus for linear logic. I know Girard has an idiosyncratic style, … Continue reading Linear Logic is Pseudoscience?

New SEP entry on Definitions by Anil Gupta.

Paolo's Stanford Encyclopedia entry on explanation in mathematics is online.

Ok, that was faster than I expected: The winners of the Kurt Gödel Centenary Research Fellowships have been announced. They are: Pre-doctoral category David Fernández Duque (Stanford): Non-deterministic semantics for dynamic topological logicPavel Hrubeš (Czech Academy of Sciences): On lengths of proofs in non-classical logics Post-doctoral category Andrey Bovykin (Steklov/Liverpool): Independence results in concrete mathematicsPeter … Continue reading Kurt Gödel Centenary Research Fellowship Winners

Hi, I promise to post something logic-related very soon. In the meantime, please enjoy this funny video:[youtube=http://www.youtube.com/watch?v=Ahg6qcgoay4&hl=en]Please look in the mirror before you open your car door!