Mathematical Platonism

Mathematical Platonism is the position that mathematical objects — numbers, sets, functions, geometrical figures — exist independently of minds, language, and physical reality. On this view, the mathematician does not invent but discovers: the truths of Mathematics were true before anyone proved them and would remain true if every mind in the universe were extinguished.

The position gains its strongest support from the unreasonable effectiveness of mathematics in the natural sciences (a phrase due to Eugene Wigner): physical theories use mathematical structures developed for purely abstract reasons centuries before any application was imagined. That Lambda Calculus, invented to investigate logical foundations, became the basis of Computation Theory and eventually all functional programming is a small instance of this pattern. If mathematics is a human invention, why does it fit the world so exactly?

Mathematical Platonism's deepest problem is epistemological: if mathematical objects are non-spatial, non-temporal, and causally inert, how do we come to know anything about them? Our knowledge must be grounded in some form of contact with its objects; Platonism seems to make such contact impossible. This is the challenge that drives rivals — Nominalism, Formalism, and Mathematical Structuralism — each of which purchases epistemological tractability at the cost of some mathematical phenomenon left unexplained.