I must have read Thurston’s excellent essay “On proof and progress in mathematics,” when it came out, but I don’t have any memory of it. I re-encountered it the other day while playing with Springer’s eBook service, and flipping through the chapters of the recent collection *18 Unconventional Essays on the Nature of Mathematics.*

Thurston makes a passionate case against theorem-proving as the measure of a mathematician’s contribution:

In mathematics,it often happens that a group of mathematicians advances with a certain collection of ideas. There are theorems in the path of these advances that will almost inevitably be proven by one person or another. Sometimes the group of mathematicians can even anticipate what these theorems are likely to be. It is much harder to predict who will actually prove the theorem,although there are usually a few “point people”who are more likely to score. However, they are in a position to prove those theorems because of the collective efforts of the team.The team has a further function,in absorbing and making use of the theorems once they are proven. Even if one person could prove all the theorems in the path single-handedly,they are wasted if nobody else learns them.

There is an interesting phenomenon concerning the “point”people. It regularly happens that someone who was in the middle of a pack proves a theorem that receives wide recognition as being significant. Their status in the community—their pecking order—rises immediately and dramatically.When this happens,they usually become much more productive as a center of ideas and a source of theorems.Why? First,there is a large increase in self-esteem, and an accompanying increase in productivity. Second, when their status increases,people are more in the center of the network of ideas—others take them more seriously. Finally and perhaps most importantly, a mathematical breakthrough usually represents a new way of thinking,and effective ways of thinking can usually be applied in more than one situation.

This phenomenon convinces me that the entire mathematical community would become much more productive if we open our eyes to the real valuesin what we are doing. Jaffe and Quinn propose a system of recognized roles divided into “speculation”and “proving”. Such a division only perpetuates the myth that our progress is measured in units of standard theorems deduced. This is a bit like the fallacy of the person who makes a printout of the first 10,000 primes. What we are producing is human understanding. We have many different ways to understand and many different processes that contribute to our understanding. We will be more satisfied, more productive and happier if we recognize and focus on this.

Thurston concludes with some very interesting and frank reminiscences, including some regrets, about the way certain parts of topology bent around his gravitational field in the 70s and 80s.

By the way, some libraries have stopped buying new physical books from Springer in favor of access to the e-books. If you’re at an institution that’s gone this route, tell me about it in comments!

See Hilary Putnam’s Martian mathematicians in his paper “What is mathematical truth?” (

Collected Papers(1979), p. 60.) You can read the early part, at least, on Google Books.I’ve read Thurston’s essay twice within the last four years, and now for a third time, and it never ceases to be thought provoking.

In regard to Springer eBooks, and electronic subscriptions in general, I would like to know to what extent unaffiliated people will be locked out of access to information. AMS’s MathSciNet is a prime example. If you are not officially connected to an institution and not fabulously wealthy, it is totally out of reach.

[…] 9, 2009 in math, philosophy I have just read (via quomodocumque) a beautifully written and reasoned old essay by William Thurston on “proof and progress in […]

I was but a babe in arms when Thurston’s article came out, so thanks for pointing to it.

[…] assignment for yours truly Posted by toomuchcoffeeman under academe, research Via Quomodocumque, an old essay by Thurston which I remember noticing but whose content I’d forgotten, assuming […]

His writing near the end really rubbed me the wrong way. In particular, his discussion of geometrization seemed a lot like, “I’m so awesome, I don’t need to write proofs. Details should be left to the peasants. I learned my lesson from the foliations fiasco.”

There were a couple other strange details, like his mention of Wiles’s proof (at the time, it had a hole) and his discussion of Godel’s incompleteness without mentioning completeness.

I should mention that my feelings toward this article are certainly not a big ball of hate. I agree with Thurston that there is much value in spreading ideas and sketching out mathematical architectures in broad strokes. My troubles lie in trying to reconcile his “soccer team” model of progress with his description of his own experiences, and the way he justifies his lack of published precision as a positive contribution. It smells like a broken-window fallacy.