Math and Philosophy

An aspiring philosopher of mathematics got hold of my post on categorification, and it’s leading to (what I find to be) an interesting discussion of how Hume’s Principle fits into the story, and just what the Peano axioms (not to mention “the natural numbers”) mean. Follow along (or jump in!) at if-then knots — an excellent title, in my opinion.

About these ads