Thurston on proof and progress in mathematics

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!

Tagged , , , ,

8 thoughts on “Thurston on proof and progress in mathematics

  1. John Cowan says:

    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.

  2. Richard says:

    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.

  3. […] 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 […]

  4. Graham says:

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

  5. […] 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 […]

  6. Scott Carnahan says:

    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.

  7. Scott Carnahan says:

    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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 639 other followers

%d bloggers like this: