[Paper Review] On proof and progress in mathematics

William P. Thurston|ArXiv.org|Apr 1, 1994

Geometric and Algebraic Topology4 citations

TL;DR

William P. Thurston argues that mathematical progress extends beyond formal proofs, emphasizing intuitive understanding, visualization, and conceptual insight—especially in topology and dynamical systems. He illustrates how progress arises through evolving mental models and shared understanding, not just theorem-proving, challenging the notion that only formal logic captures mathematical advancement.

ABSTRACT

In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.

Motivation & Objective

• To challenge the view that mathematical progress is solely measured by formal proofs of theorems.
• To articulate alternative forms of progress in mathematics, particularly in low-dimensional topology and dynamical systems.
• To emphasize the role of intuition, visualization, and shared understanding in advancing mathematical insight.
• To respond to Jaffe and Quinn's formalist critique by illustrating how deep understanding emerges through non-formal means.
• To advocate for a broader conception of mathematical rigor that includes conceptual clarity and mental modeling.

Proposed method

• Uses personal experiences in foliation theory and geometrization of 3-manifolds as case studies.
• Analyzes how mathematical understanding evolves through iterative refinement of mental models and visual intuition.
• Contrasts formal proof with the process of building conceptual frameworks that guide research.
• Illustrates the role of communication and shared understanding in advancing mathematical ideas.
• Emphasizes the importance of diagrams, analogies, and heuristic reasoning in shaping mathematical insight.
• Argues that progress is measurable in terms of increased clarity and coherence of ideas, not just logical derivations.

Experimental results

Research questions

• RQ1 What constitutes mathematical progress beyond the formal proof of theorems?
• RQ2 How do mathematicians develop and refine deep conceptual understanding in the absence of formal proof?
• RQ3 In what ways do visualization and intuition contribute to breakthroughs in topology and dynamical systems?
• RQ4 How can shared understanding and communication be considered valid measures of progress in mathematics?
• RQ5 What role do mental models and evolving frameworks play in advancing mathematical research?

Key findings

• Mathematical progress is not confined to formal proofs but includes the development of deeper conceptual understanding.
• Intuition and visualization play essential roles in advancing research, especially in geometric and topological fields.
• The evolution of mental models and shared frameworks contributes significantly to solving complex problems.
• Progress is often marked by increased clarity and coherence in ideas, even before formal proofs are completed.
• The process of understanding is more central to mathematical advancement than the final formal statement of results.
• Formal proof is a necessary but insufficient measure of mathematical achievement; insight and communication are equally vital.