Category: Uncategorized

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…

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…

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…

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 logic Pavel Hrubeš (Czech Academy of Sciences): On lengths of proofs in non-classical logics Post-doctoral category Andrey Bovykin (Steklov/Liverpool): Independence results in concrete…

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!

Shawn at Words and Other Things asks about good books on philosophy of logic. If you have suggestions, comment there, please.

Nice! Andrej Bauer has implemented the Hydra Game in a Java applet. The Hydra Game, like Goodstein sequences, is a way of coding ordinals ≤ ε0 … hence they provide independence results from Peano Arithmetic. Andrej has all the deets. (A Java applet for Goodstein sequences is here.)