TB: Thinking About Mathematics (Shapiro)
Core Thesis
Mathematics raises uniquely difficult philosophical questions: What are mathematical objects? How do humans — physical organisms in a physical universe — have knowledge of a causally inert realm of abstract objects? Shapiro defends structuralism: mathematical objects are nothing more than positions in structures; the essence of a natural number is its relation to other numbers.
Key Takeaways
Incompleteness and the limits of formal systems
- Gödel's incompleteness theorem: no consistent formal system can prove all truths of arithmetic, and no consistent theory can prove its own consistency.
- Arithmetic truth and informal arithmetic provability both outrun what any fixed formal system or machine can produce.
- Lowenheim-Skolem theorems: notions like "finitude" and "natural number" cannot be fully captured in first-order theories — any sufficiently rich first-order theory has unintended models.
- Cantor's Continuum Hypothesis cannot be decided by ZFC axioms, despite ZFC capturing virtually all known mathematics.
Structuralism
- The subject matter of arithmetic is a single abstract structure. Numbers are positions in that structure, not independent objects.
- The set-theoretic hierarchy is useful precisely because it contains as many isomorphism types as possible — it is the universal structure.
- Most real numbers do not have names. The nameable ones are a tiny fraction.
Philosophy of mathematics
- Kant: the structure of mathematical reasoning reflects the structure of our perceptual apparatus. This view was widely abandoned after non-Euclidean geometry.
- Frege's logicism: all mathematical propositions are knowable as either true or false from logic alone. Gödel ended this hope.
- Truth values of undecidable statements can be decided by embedding them in a richer structure — mathematicians do this routinely in practice.
Meta-insight
- Classical logic and impredicative definitions are entrenched in mathematics not because they are philosophically justified but because the smooth practice of mathematics needs them.
- Math is accepted pragmatically, not foundationally.
Mental Models
- The Map is Not the Territory — formal systems (ZFC, first-order logic) are maps; Gödel showed the territory of arithmetic truth exceeds any map