Collaborative Mathematics and The Future of Science
February 25, 2010
Mathematical research is traditionally seen as a one-man job. To quote Jean Dieudonné in The Music of Reason:
In spite of that, about a year ago Tim Gowers asked himself if it would be possible to solve important mathematical problems by collaborating openly over the internet. Not a collaboration among a few colleagues, but among everybody that had any insight about the problems. He shared this question with the mathematical community through a post in his blog. That was the birth of the Polymath project.
The first problem that the Polymath group worked on is the attempt to obtain a simple proof for the Hales–Jewett theorem. This theorem is a very important result from Ramsey theory. In very gross terms Ramsey theory says that for many mathematical structures, there is no such thing as complete randomness.
For example, take a group of six people: Alice, Bob, Charles, David, Erin and Fritz. The Ramsey theorem tells us that there are either 3 people that all know each other, or 3 people that are all strangers to each other. Even in something as random as a party, if there are at least 6 people then we can find a very special subgroup of 3 people.
Here is the proof: Take Alice, imagine that she knows less than 3 people at the party. That is, she knows only Bob, or knows only Bob and Charles. Then we consider David, Erin and Fritz. If they all know each other, we have a group of 3 people that know each other. If not, two of them don't know each other, for example David doesn't know Erin. As a consequence Alice, David and Erin are all strangers to each other. If Alice knows 3 people or more, the proof is the same, say she knows Bob, Charles and David. If none of them knows each other then there we have our group of 3 strangers. But if two of them know each other, for example Bob knows Charles, the group Alice, Bob and Charles all know each other.
So far the Polymath group has discussed 5 problems, which are all shown in the Wiki and they have started to publish some of the results. Here is link to a paper from D.H.J. Polymath on arXiv, A new proof of the density Hales-Jewett theorem.
The following image is a part of a 3D Maldelbrot fractal, as described here. It has nothing to do with the rest of the post, but the Hales-Jewett theorem doesn't lend itself easily to fancy pictures.
And for comparison purposes this is a piece of romanesco broccoli.
Of course, Mathematics is not the only scientific discipline in which people collaborate openly in interesting problems. Michael Nielsen has a great blog post about doing science online. Probably the most important point is that the way that scientists work with each other is changing. And the change is driven mostly by new online collaboration tools. To finish the post I will quote Michael: