Is Mathematics Real?

Where is the number:

2?

Not the symbol “2.”

The number itself.

It has no obvious:

• mass,
• location,
• color.

Yet two apples,

two stars,

and two ideas

all instantiate the same numerical structure.

Are numbers real?

Mathematical Ontology

The question is not whether mathematics works.

It clearly does.

The question is:

What kind of things are:

• numbers,
• sets,
• functions,
• geometric objects?

Mathematical Platonism

Platonism says mathematical entities exist objectively and independently of minds.

We do not invent:

prime numbers.

We discover them.

Abstract Objects

Platonic mathematical entities are usually described as:

• abstract,
• nonspatial,
• timeless.

The number 7 is not located anywhere.

Yet it is real.

Discovery Intuition

Mathematicians often talk as if they discover facts.

Example:

there are infinitely many primes.

Euclid did not make this true.

He proved something already structurally necessary.

Objectivity

Mathematical facts appear:

• culture-independent,
• stable.

Different civilizations can discover the same theorem.

This supports realism.

Necessity

Many mathematical truths seem necessary.

If:

2 + 2 = 4,

it is difficult to imagine a possible world where arithmetic works differently while the meanings remain fixed.

This gives mathematics unusual modal force.

The Epistemic Problem

If mathematical objects are:

• nonphysical,
• causally inert,

how do physical brains know about them?

This is a major challenge for Platonism.

Benacerraf’s Challenge

Paul Benacerraf highlighted tensions between:

• mathematical ontology,
• causal theories of knowledge.

If numbers cannot causally interact with us, how do we gain reliable knowledge of them?

Mathematical Intuition?

A Platonist might invoke:

• rational insight,
• structural reasoning.

But this requires an epistemology of abstract knowledge.

Nominalism

Nominalism denies independently existing abstract objects.

Mathematics should be understood without literal commitment to:

numbers as entities.

Symbols

One nominalist intuition says mathematics is manipulation of:

• symbols,
• rules.

The numeral “2” exists physically.

The abstract number need not.

Formalism

Formalism treats mathematics as formal symbol systems governed by rules.

A theorem is derivable from axioms.

The focus is syntax rather than abstract ontology.

Hilbert

David Hilbert’s program emphasized formalization and consistency.

But Gödel showed limitations of certain formalist ambitions.

Formalism remains influential as a philosophy of mathematical practice.

Does Formalism Explain Applicability?

If mathematics is merely symbol manipulation, why does it model nature so well?

This is a major challenge.

Fictionalism

Mathematical fictionalism says mathematical discourse is useful but not literally true about abstract entities.

It resembles talking about fictional characters.

We reason as if numbers exist.

Hartry Field

Hartry Field defended a sophisticated mathematical fictionalism.

He tried to show that parts of physical science can be formulated without commitment to numbers.

This is a major nominalist project.

Conservative Extension

One idea is that mathematics may be a conservative extension of nominalistic science.

It makes reasoning easier without adding new physical consequences.

Mathematical Structuralism

Structuralism says mathematics is fundamentally about structures rather than independently identifiable objects.

The number 2 is defined by its position in the natural-number structure.

Position in Structure

What is 2?

It is:

• successor of 1,
• predecessor of 3.

Its identity comes from relations.

This resembles structural realism.

Ante Rem Structuralism

One version says structures exist independently of physical systems.

This remains realist and abstract.

In Re Structuralism

Another version says structures exist only insofar as they are instantiated.

This is more nominalist-friendly.

Eliminative Structuralism

A further approach paraphrases mathematical statements in terms of possible structures.

No abstract structure objects need exist literally.

Logicism

Logicism attempted to reduce mathematics to logic.

Frege and Russell pursued this program.

Set-theoretic paradoxes made the project more difficult.

Frege

Frege argued arithmetic truths are logical truths.

His system was undermined by Russell’s paradox.

But logicism profoundly shaped foundations.

Russell

Russell and Whitehead’s Principia Mathematica attempted formal derivation of mathematics from logical principles.

The project revealed both power and complexity.

Intuitionism

L. E. J. Brouwer’s intuitionism ties mathematics to constructive mental activity.

A mathematical object exists when it can be constructed.

This rejects some classical principles.

Law of Excluded Middle

Intuitionists do not universally accept:

[ P \lor \neg P ]

for arbitrary mathematical propositions unless one side can be constructed.

This changes mathematical logic.

Constructivism

Broader constructive mathematics requires explicit methods for demonstrating existence.

To prove:

there exists x,

one should ideally construct x.

Mathematical Practice

Working mathematicians rarely commit explicitly to one philosophy.

They may speak Platonistically while proving formally.

Practice can be ontologically flexible.

Unreasonable Effectiveness

Eugene Wigner famously discussed the unreasonable effectiveness of mathematics in the natural sciences.

Why should abstract mathematics describe physical reality so well?

Examples

Mathematical structures developed without immediate physical application later became central to physics.

Examples include:

• non-Euclidean geometry,
• group theory.

This feels mysterious.

Non-Euclidean Geometry

Geometry once seemed to describe physical space directly.

Mathematicians developed alternative geometries abstractly.

General relativity later used differential geometry to describe spacetime.

Group Theory

Group theory began as abstract algebra.

It became essential for:

• particle physics,
• symmetry.

Abstract structure found physical realization.

Is This Surprising?

One response:

humans build mathematics from patterns abstracted from the world.

It is therefore unsurprising that some mathematics returns to describe nature.

Selection Effect

There is also enormous mathematics that has not found physical application.

We notice spectacular successes.

This creates a selection effect.

Mathematical Universe Hypothesis

Max Tegmark has proposed that physical reality is a mathematical structure.

This is the Mathematical Universe Hypothesis.

It is a strong form of mathematical realism.

If Reality Is Mathematics

Then mathematics works because:

the universe literally is mathematical.

This is elegant.

It is also highly speculative.

Map vs Territory Again

An alternative says:

mathematics is the best map language for structure.

The map need not be identical to the territory.

Structural Match

Physics succeeds when mathematical relations correspond to physical relations.

This may require only structural realism, not full Platonism.

Physicalism About Mathematics?

Could mathematics be entirely physical:

marks on paper, brain states?

Then how do we explain the apparent universality of mathematical truth?

Physical tokens vary.

The abstract structure seems stable.

Type vs Token

The written symbol:

“2”

is a token.

The abstract numeral type can have many physical instances.

This pushes us toward some level of abstraction.

Abstraction Does Not Automatically Mean Separate Realm

Software is abstract relative to hardware.

We need not place it in a mystical Platonic world.

Perhaps mathematics is similar.

Pattern Ontology

Numbers may be real patterns.

The natural-number structure can be instantiated in:

• objects,
• symbols,
• processes.

This is a structuralist compromise.

Sets

Set theory introduces entities such as:

[ {1,2,3} ]

Are sets real?

Modern mathematics uses them extensively.

Ontology becomes enormous quickly.

Infinite Sets

Platonism often accepts actual infinite sets.

Nominalists may resist.

Infinity sharpens the ontological issue.

Cantor

Cantor’s set theory revealed multiple sizes of infinity.

These structures feel discovered.

Yet their existence is not physical in ordinary terms.

Mathematical Independence

Some propositions are independent of standard axiom systems.

Example:

the continuum hypothesis is independent of ZFC, assuming consistency.

What does this mean for mathematical truth?

Pluralism

One response is mathematical pluralism.

Different axiom systems define different legitimate mathematical universes.

There may be no one absolute structure.

Multiverse View of Set Theory

Some set theorists discuss a mathematical multiverse:

many set-theoretic universes.

Truth can become model-relative.

Does This Undermine Realism?

Not necessarily.

A realist can accept many structures.

But it complicates the idea of one unique mathematical realm.

Gödel

Gödel himself held strongly realist, Platonist intuitions.

He believed mathematical truths exist independently of formal proof.

His incompleteness theorems fit naturally with that worldview, though they do not logically prove Platonism.

Incompleteness Does Not Prove Platonism

A common mistake is:

Gödel showed formal systems incomplete, therefore mathematical Platonism is true.

The conclusion does not follow automatically.

Multiple philosophies can accommodate incompleteness.

Indispensability Argument

Quine and Putnam developed an influential argument:

1. We should accept entities indispensable to our best scientific theories.
2. Mathematics is indispensable to science.
3. Therefore we should accept mathematical entities.

This is the indispensability argument.

Naturalism

The argument connects mathematical ontology to scientific realism.

If we believe in electrons because science requires them, why reject numbers science also requires?

Nominalist Reply

Nominalists try to reformulate science without mathematical ontology.

If successful, indispensability weakens.

This motivates Field’s project.

Explanatory Role

Some philosophers argue mathematics does more than bookkeeping.

It can provide genuine explanations.

Example:

why certain biological cycles avoid predators may depend on prime-number periodicity.

Mathematical Explanation

If prime structure explains a physical phenomenon, numbers appear explanatorily active.

But critics say only physical instantiations cause events.

The explanation may be structural rather than causal.

Causal Inertness

Abstract numbers do not push atoms.

How can they explain physical events?

This is a continuing puzzle.

Truthmakers

What makes:

2 + 2 = 4

true?

Possible answers include:

• abstract structure,
• formal derivability,
• conceptual rules.

Different philosophies supply different truthmakers.

Invented Symbols, Discovered Constraints

A useful middle position is:

we invent:

• notation,
• axioms to study,

but discover:

• consequences,
• structural constraints.

Chess rules are invented.

Once fixed, not every game outcome is invented.

Chess Analogy

We invented chess.

But given the rules, whether a position is checkmate is objective.

Mathematics may combine:

creation of frameworks

with:

discovery within them.

Where Does Necessity Come From?

If axioms are invented, why do mathematical truths feel necessary?

Necessity may be conditional:

given these definitions and axioms, the result follows.

Platonists think this is not enough.

Mathematics and Mind

Would mathematics exist in a universe with no minds?

Platonist:

yes.

Constructivist:

not in the same sense.

This question reveals the core disagreement.

Aliens

If intelligent aliens developed mathematics, would they discover:

prime numbers?

Probably, if they study discrete quantities.

This supports structure independent of human culture.

Different Notation

Aliens might use radically different symbols.

Yet underlying relations could match ours.

This separates notation from structure.

Mathematics as Language

Mathematics is often called the language of nature.

But a language has:

• syntax,
• semantics.

What gives mathematical symbols physical meaning?

Scientific interpretation supplies the mapping.

Models

A differential equation is not the river.

It models relations among quantities.

Mathematical truth and empirical truth interact but remain distinct.

Mathematical Idealization

Perfect circles do not exist physically.

Yet circular mathematics applies approximately to:

• wheels,
• orbits.

Ideal objects can model imperfect reality.

Approximation

Physical systems rarely instantiate mathematical structures exactly.

Measurement has finite precision.

Science succeeds through approximation.

Exactness in Mathematics

Mathematics itself permits exact proof.

This contrasts with empirical science.

The difference arises because mathematical systems are formally specified.

Epistemic Certainty

A theorem can be certain relative to axioms and logic.

But whether the axioms describe physical reality remains empirical.

The Philosophical Lesson

Mathematics is unquestionably real as:

• practice,
• structure,
• indispensable explanatory tool.

Whether numbers and sets exist independently of minds remains unresolved.

Platonism, nominalism, fictionalism, structuralism

each capture part of our mathematical experience.

The Next Question

Mathematics describes physics with extraordinary precision.

But what does physics itself tell us is actually real?

Particles?

Fields?

Wavefunctions?

Spacetime?

The next essay asks:

What Does Physics Say Is Real?