article

On Proof and Progress in Mathematics

by William P. Thurston

When Jaffe and Quinn proposed tighter rules for speculative mathematics, Thurston, the geometer behind geometrization, wrote back with the best essay there is on what mathematicians actually do. His answer is that the product is human understanding, not a stack of formal proofs, and the essay matters more now that machines can produce proofs nobody understands.

Related

Related dispatches

All dispatches