# Philosophy of Mathematics

**Type:** Concept  
**Domain:** History & Philosophy  
**Codex URL:** /mathematics/history-philosophy/philosophy-of-mathematics/  
**Entry status:** Live — v1.0 (2026-05-27)

## Summary
Studies foundational questions: do mathematical objects exist independently of minds? Three major schools: Platonism, Formalism, Intuitionism.

## Platonism
Mathematical objects exist objectively, independent of minds. Mathematicians discover, not invent. (Gödel)

## Formalism
Mathematics is manipulation of meaningless symbols per formal rules. (Hilbert) Challenged by Gödel's Incompleteness Theorems (1931).

## Intuitionism
Mathematics is mental construction; truth requires constructive proof. Rejects unrestricted law of excluded middle. (Brouwer)

## Logicism
All mathematics derivable from pure logic. (Frege, Russell/Whitehead) Undermined by Russell's Paradox (1901) and Gödel.

## Structuralism
Studies abstract structures/relationships, not intrinsic object identity. (Benacerraf 1965, Shapiro)

## Fictionalism
Mathematical statements are useful fictions. (Field, 1980)

## The "unreasonable effectiveness" puzzle
Wigner (1960): why does abstract math, developed for its own sake, so often perfectly describe physical reality?

## Sources
### Tier 1
- Shapiro, S. (2000). *Thinking About Mathematics*. Oxford University Press.
- Benacerraf, P. and Putnam, H. (eds.) (1983). *Philosophy of Mathematics*. 2nd ed.
### Tier 2
- Lakatos, I. (1976). *Proofs and Refutations*.
### Tier 3
- Wigner, E. (1960). The unreasonable effectiveness of mathematics. *Comm. Pure Appl. Math.*

---
*Mathematics Codex entry v1.0 — added 2026-05-27 — thecodex.expert/mathematics/*