William Thurston: On Proof and Progress in Mathematics (1994) [pdf]
In this 1994 essay, William Thurston reflects on the nature of mathematical proof, how mathematicians communicate and understand ideas, and the gap between formal proofs and the deep, intuitive grasp that drives mathematical progress. He argues that mathematics is ultimately a human, social activity where understanding—not just logical rigor—is the true goal.
Background
- William Thurston (1946–2012), a Fields Medal-winning mathematician, wrote this essay as a reflection on how mathematics really works — not a technical paper. He argues the field suffers from an overemphasis on formal, theorem-proof publication at the expense of shared intuition and understanding.
- A central idea: mathematicians often present their work in a compressed, rigorous style that hides the actual human thinking process. Thurston advocates for a more social, exploratory approach where half-formed ideas are shared openly.
- The essay is widely cited outside mathematics — in computer science, education, and philosophy of science — as a critique of how expert communities present their work versus how they actually think. It remains relevant to debates about AI, formal verification, and the nature of understanding.