New posts in Mathematical Philosophy

Is there a metamathematical $V$?

Searching for an early, highly theoretical, even philosophical, math paper on models or small-world networks

The Lucas argument vs the theorem-provers -- who wins and why?

Constructivist defininition of linear subspaces of $\mathbb{Q}^n$?

Complex analytic vs algebraic geometry

Reasoning Using Countable Subsets of Real Numbers

In what respect are univalent foundations "better" than set theory?

History of the abstract method in mathematics

(Fictive) story of a time where people reasoned only up to isomorphism

How to improve writing mathematics?