New posts in Mathematical Philosophy

Why aren't functions used predominantly as a model for mathematics instead of set theory etc.?

Why would the category of sets be intuitionistic?

Why is the notion of algorithm a primitive one in Brouwer's intuitionism?

How should a "working mathematician" think about sets? (ZFC, category theory, urelements)

How much should the average mathematician know about foundations?

Did Euler prove theorems by example?

Has Dedekind's proof of existence of infinite sets been analyzed by historians?

What does the axiom of replacement mean and why should I believe it?

What was Hilbert's view of Gödel's Incompleteness Theorems?

Why should we believe in the axiom of regularity?