Lesson · 4 min Stretch
Discovered or Invented?
In one line Are numbers out there to be found, or made up by us? Platonists, formalists and intuitionists answer differently.
Was it true that there are infinitely many prime numbers before anyone proved it? Mathematical Platonists say yes. Numbers and sets are abstract objects that exist outside space and time, and mathematicians discover truths about them, as explorers map a coast. Frege and Gödel held views of this kind.
Formalists, inspired by David Hilbert, treat mathematics more like a game played with symbols by strict rules. L. E. J. Brouwer’s intuitionists said mathematical objects are constructions of the mind, so a claim is true only once it has been built or proved.
Each view faces a puzzle. If numbers are abstract, how do we, who live in space and time, come to know them? If we invent them, why does mathematics fit the physical world so well?
Go deeper
Paul Benacerraf pressed the first puzzle in 1973: knowledge usually involves some contact with what is known, yet abstract objects cause nothing. The physicist Eugene Wigner called the second puzzle the unreasonable effectiveness of mathematics: equations worked out for their own beauty often turn out, decades later, to describe nature. Fictionalists such as Hartry Field argue that mathematics is a useful story that need not be literally true.
The new pattern
Two students notice that adding up odd numbers, 1, then 1 + 3, then 1 + 3 + 5, keeps giving square numbers. One says they discovered it. The other says they made it up, since people chose the rules of arithmetic.
Their teacher asks a further question: could they have set up the rules so that the pattern failed? If not, something about it was not up to them. And if it was their choice, why does the same pattern appear when tiles are laid out in a square?
Try this today Pick a fact you learned in math class. Ask whether it was true before anyone thought of it, and how you could tell.
Cite or share this lesson
A plain reference you can paste into notes or an essay:
Quest2Reason. “Discovered or Invented?.” https://quest2reason.com/learn/lesson/discovered-or-invented. Accessed 13 November 2026.
Sources
- Stanford Encyclopedia of Philosophy, “Philosophy of Mathematics” — Surveys Platonism, formalism, intuitionism and later views.
- Stanford Encyclopedia of Philosophy, “Platonism in the Philosophy of Mathematics” — Covers the case for Platonism and Benacerraf’s challenge.
- Wikipedia, “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” — Summarizes Wigner’s 1960 essay and responses to it.