New posts in Mathematical Philosophy

Is there a compendium of the consistency strength between the most important formal theories?

What's special about the Simplex category?

Euler's mathematics in terms of modern theories?

2D Problems Which are Easier to Solve in 3D

In what ways did Leibniz's philosophy foresee modern mathematics?

Are proper classes objects?

Why hasn't mereology succeeded as an alternative to set theory?

Examples in mirror symmetry that can be understood.

Physics and Church–Turing Thesis

where can you find Grothendieck's "Recoltes et Semailles"?