Michelangelos Stone: an Argument against Platonism in Mathematics

If there is a “platonic world” M of mathematical facts, what does M contain precisely? I observe that if M is too large, it is uninteresting, because the value is in the selection, not in the totality; if it is smaller and interesting, it is not independent from us. Both alternatives challenge mathematical platonism. I suggest that the universality of our mathematics may be a prejudice hiding its contingency, and illustrate contingent aspects of classical geometry, arithmetic and linear algebra.

💡 Research Summary

The paper offers a concise yet powerful argument against mathematical Platonism, the view that mathematical objects and truths exist independently of human minds in a timeless “Platonic world” M. The author begins by asking what M should contain. If M is taken to be the totality of all possible consistent axiom systems and every theorem derivable from them, then M becomes astronomically large, encompassing an overwhelming amount of “junk” – essentially every conceivable structure, most of which are irrelevant to any human endeavor. This situation is likened to Michelangelo’s stone, from which any statue could be “found,” or Borges’s library, which contains every possible book. In such a vast undifferentiated totality, the value lies not in the whole but in the particular selections we make; the whole is bland and uninteresting.

Conversely, if we restrict M to only those structures that we find “interesting,” the restriction inevitably reflects human cognitive capacities, cultural histories, and the physical characteristics of our environment. In other words, the content of mathematics would then be dependent on us, contradicting the Platonist claim of independence. The paper argues that both extremes – an all‑encompassing M and a narrowly selected M – undermine the core of Platonism.

To illustrate the contingency of mathematics, the author examines three major domains traditionally regarded as universal: geometry, arithmetic, and linear algebra.

Geometry. Euclidean plane geometry, famously codified in Euclid’s Elements, is presented as the archetype of universal mathematics. The author traces its historical origin to Egyptian land‑surveying, noting that the very term “geometry” means “measurement of land.” Because the ancient Egyptians worked on a relatively small, locally flat region of the Earth, a two‑dimensional Euclidean framework was a convenient approximation. If humans had lived on a planet where curvature was evident at much smaller scales, the natural geometry would have been spherical rather than Euclidean. The paper shows that spherical geometry is not only more appropriate for a curved surface but also mathematically simpler: triangle side lengths are measured by angles, the area formula is A = α + β + γ − π, and the law of cosines reduces to a single cosine relation. Euclidean results (e.g., the Pythagorean theorem) appear as limiting cases of spherical formulas when the curvature radius is large. Thus, Euclidean geometry’s “universality” is a contingent artifact of our particular planetary scale and cognitive habits, not an inevitable truth about space.

Arithmetic. The natural numbers arise from counting physical objects (e.g., fingers). The author points out that alternative numeral systems (base‑12, base‑60, or even non‑integer bases) are equally coherent, yet the primacy of the base‑10 natural numbers is historically and biologically contingent. Moreover, the notion that the set of all true statements about natural numbers is a Platonic realm ignores that the very concept of “number” is shaped by our embodied experience.

Linear Algebra. Vector spaces are defined in terms of dimensions and linear combinations, concepts that mirror the structure of physical space. If the underlying physical world had a different dimensionality or a fundamentally non‑Euclidean metric, the standard linear algebra taught today would look very different. The choice of fields (real numbers, complex numbers) and the emphasis on inner products are again tied to the geometry of our environment.

Across these examples, the author emphasizes that mathematics is not a discovery of an immutable, observer‑independent realm but a selection of structures that happen to be useful, elegant, or comprehensible given our particular circumstances. The “interesting” subset of M is therefore shaped by human cognition, cultural history, and the physical universe. Consequently, the claim that mathematics is universally true independent of any contingent factors is, according to the author, a parochial prejudice.

In conclusion, the paper asserts that the Platonic view collapses under scrutiny: a fully inclusive Platonic world is too vast to be meaningful, while a restricted, “interesting” world is inevitably anthropocentric. Mathematics, then, should be understood as a human‑centered activity that reflects our contingent environment rather than as a glimpse into a timeless, mind‑independent reality.