Proof Formalization in Mathematics: Guest Post by Jeremy Avigad

There's a discussion going on at the Foundations of Mathematics mailing list about the purpose and value, actual and potential, for formalized proofs in mathematics.  Harvey Friedman asked Jeremy Avigad to comment; he sent this super-useful list of references, republished here with his approval. John Harrison and I recently wrote a survey on formalized mathematics, … Continue reading Proof Formalization in Mathematics: Guest Post by Jeremy Avigad

Edward Nelson, 1932-2014

Just found out that Edward Nelson died last month. http://www.princeton.edu/main/news/archive/S41/11/36I14/index.xml http://en.wikipedia.org/wiki/Edward_Nelson

SotFoM II: Competing Foundations

The second installment of SotFom (Symposium on the Foundations of Math) is asking for papers by Halloween: http://sotfom.wordpress.com/2014/10/14/final-cfp-and-extended-deadline-sotfom-ii-competing-foundations-12-13-january-2015-london/ FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?’, 12-13 January 2015, London. The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant … Continue reading SotFoM II: Competing Foundations

Free Schlick!

Did you know? The Moritz Schlick Gesamtausgabe is available for free at the Moritz-Schlick-Forschungsstelle! Just click on the cover image to download the PDF (instead of the "order online" link).  Alas, it's only in German.

Cambridge Graduate Conference on the Philosophy of Mathematics and Logic

If you're in that part of the world (or will be in January), you might be interested to know that registration for the 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic (17-18 January 2015) is now open: The conference will be held in St. John's College, Cambridge. There will be two … Continue reading Cambridge Graduate Conference on the Philosophy of Mathematics and Logic

Putnam Blogging on Tarski on Truth

Hilary Putnam is writing on Tarski's theory of truth (and Field's analysis of it) at Sardonic Comment. First two blog posts are up: http://putnamphil.blogspot.ca/2014/09/first-of-series-of-posts-on-tarski-i-am.html http://putnamphil.blogspot.ca/2014/09/a-second-post-on-tarski-this-post.html

Steve Awodey gives inaugural Calgary Mathematics & Philosophy Lecture

I'm very excited that Steve Awodey is on his way here to deliver the first Calgary Mathematics & Philosophy Lecture tomorrow! He's speaking on "Univalence as a New Principle of Logic." If you're in Calgary, you should come.  It'll be exciting. Thursday, 3:30 pm, in Engineering Building A aka ENA 101 on the UofC campus. … Continue reading Steve Awodey gives inaugural Calgary Mathematics & Philosophy Lecture