Is mathematics discovered or invented? Why there's no definitive answer

There’s no consensus (and that’s already fascinating)

Is mathematics discovered or invented?

There’s no definitive answer. Philosophers and mathematicians have been debating this for centuries — and both sides have convincing arguments.

Some think mathematics exists independently of us (discovered, like planets). Others think it’s a system of symbols we create (invented, like chess).

The most honest answer? We probably invent the systems but discover the consequences.

And when I understood this, I realized the question itself reveals something profound about how we know the world.

---

The case for “discovery”: Mathematical Platonism

This is the most popular view among mathematicians.

Central idea: Mathematical entities (numbers, π, geometric relationships) exist “out there”, independent of the human mind. We merely discover them.

Strong arguments:

1. Isolated cultures arrive at the same truths

The Pythagorean theorem was discovered independently by Greeks, Babylonians, Chinese, and Indians. If it were an invention, why would they invent the same thing?

2. π appears in any circle

It doesn’t matter if you’re human, alien, or AI. If you measure a circle’s circumference divided by its diameter, you’ll get ~3.14159… always.

π doesn’t seem “invented.” It seems discovered.

3. Mathematics describes nature with frightening precision

Physicist Eugene Wigner called this “unreasonably effective.” Maxwell’s equations predict electromagnetic waves. General Relativity predicts black holes. Quantum mechanics predicts particle behavior.

How could invented mathematics be so good at describing reality?

Key phrase:

“Mathematics seems less like a human creation and more like a language we’re learning to read.”

---

The case for “invention”: Mathematical formalism

This is the most popular view among philosophers.

Central idea: Mathematics is a formal system of symbols with rules we create. It’s not “true,” it’s coherent.

Strong arguments:

1. Change axioms, change results

Euclidean geometry (flat) says the sum of a triangle’s angles = 180°.

Spherical geometry (on a ball) says the sum > 180°.

Which is “true”? Both, within their systems.

2. Imaginary numbers were “invented” — and they work

The number i (square root of -1) doesn’t exist on the real number line. It was literally invented to solve equations.

But then we discovered that i is essential for describing waves, electromagnetism, quantum mechanics.

So: we invented an “impossible” number, and it ended up being useful for describing reality. How?

3. Axioms are choices, not discoveries

Peano axioms (which define natural numbers) are chosen, not discovered. We can choose other axioms and have other mathematics.

---

The middle ground: invented form, discovered content

This is where the debate gets sophisticated.

The most reasonable synthesis:

We invent the systems (axioms, notation, rules). We discover the logical consequences.

The chess analogy:

• We invented: Chess rules (pawns move 1 square, rooks move straight)
• We discovered: Optimal strategies, openings, endgames

Nobody “invented” the Queen’s Gambit — they discovered it works, given the rules.

In mathematics:

• We invented: Peano axioms, decimal notation, symbols (+, ×, =)
• We discovered: That 1 + 1 = 2, that there are infinite primes, that π is irrational

The form is ours. The content seems to be “there”.

---

Gödel complicates everything (and makes the debate even more interesting)

In 1931, Kurt Gödel proved something devastating: there are mathematical truths that cannot be demonstrated within the system.

What this means (without going into details):

Imagine a mathematical statement X.

• X is true
• But you’ll never be able to prove that X is true using the system’s rules

It’s like a chess board where a perfect move exists, but you’ll never be able to calculate which one it is.

The devastating question:

If something is true but not demonstrable, was it invented or discovered?

If mathematics is pure invention (formalism), how can there be truths beyond the system we invented?

If mathematics is pure discovery (Platonism), why can’t we access all truths?

Gödel didn’t resolve the debate. He showed the debate is deeper than it seemed.

---

Questions I had (and the answers)

“If mathematics is invention, why does it work so well in nature?”
Maybe because we invented mathematics inspired by nature. Or because we select mathematics that works and discard those that don’t. Still a mystery.

“Would aliens have the same mathematics?”
They’d probably have the same results (like π), but perhaps with different notation and axioms. Like humans using base 10 and aliens using base 8.

“Do numbers really exist?”
Depends on what you mean by “exist.” Physically? No. As a useful concept? Yes. As an independent Platonic entity? That’s already philosophical belief.

“What does Gödel have to do with this?”
Gödel showed that formal systems have limits — there will always be non-demonstrable truths. This suggests mathematics is larger than any system we invent.

---

Why not having an answer is ok (and even beautiful)

Because the debate itself reveals something profound: mathematics sits at the boundary between mind and reality.

It’s invented enough for us to have control (we choose axioms, create notations).

It’s discovered enough to surprise us (unexpected consequences, patterns that emerge on their own).

It’s like music:

• We invent scales (C, D, E)
• But we discover that certain combinations sound “harmonious”
• We didn’t invent harmony — we discovered it emerges from mathematical relationships between frequencies

Or like language:

• We invent words
• But we discover universal grammar (patterns that appear in every human language)

Mathematics is human in form, transcendent in content.

---

My conclusion (which resolves nothing)

I don’t know if mathematics is discovered or invented.

But I know that:

• When I do calculations, I feel like I’m discovering (as if numbers “know” the answers)
• When I create definitions, I know I’m inventing (I freely choose axioms)

Maybe mathematics is both — and the “either/or” question has been wrong from the start.

Maybe it’s “and/and.”

And not knowing the answer doesn’t bother me anymore. Because the debate itself is fascinating.

---

💡 Summary in 3 points:

1. Platonism says mathematics exists independently of us (discovered). Formalism says it’s a system of symbols (invented).
2. The middle ground: we invent systems (axioms, rules), but discover logical consequences
3. Gödel showed there will always be non-demonstrable mathematical truths, further complicating the debate

---

Enjoyed this philosophical debate? I wrote about another fundamental mathematical concept. Check out the post about Axioms and exceptions — it’s about how the “rules of the game” in mathematics are chosen, not discovered.

Leia também Axioms Exceptions Does Every Example Need One

---

References:

• Stanford Encyclopedia of Philosophy: Platonism in Mathematics plato.stanford.edu
• Philosophy Now: Mathematical Platonism philosophynow.org
• The Collector: Mathematical Platonism - Is Mathematics Found or Made? thecollector.com
• WIGNER, Eugene. “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” (1960)

---

Personal note: I want to study more about Quine-Putnam’s indispensability argument (“if mathematics is indispensable for science, then mathematical objects exist”). Also about mathematical constructivism — the idea that we should only accept objects we can explicitly construct. That’s for another post.