Massive Open Collaboration In Math Declared a Success 60
nanopolitan writes "In late January, Tim Gowers, a Fields Medal winner at Cambridge University, used his blog for an experiment in massive online collaboration for solving a significant problem in math — combinatorial proof of the density Hales-Jewett theorem. Some six weeks (and nearly 1000 comments) later, Gowers has declared the project a success, and some of the ideas have already been written up as a preprint."
halp! (Score:1, Insightful)
Can someone explain this problem in terms that an engineering grad would understand?
Also, what does the solution means in that framework? I kind of want to understand the why/how/what now...
List of authors (Score:5, Insightful)
Re:Why now? (Score:2, Insightful)
Well, given that as far as I can tell everyone involved was a research mathematician, that is, a professor of mathematics, and that it included a few Fields medalists, that is the equivalent of Nobel Prize winners in maths, I would say that for this problem slashdot noise would have been highly counterproductive.
This is something for the cathedral, not the bazaar. That said he did mention intending to try to make the next problem more accessible.
Re:halp! (Score:2, Insightful)
Your first paragraph is wrong (of course they're trying to prove a theorem, one that asserts that parameters exist for which the result they want is true), the method isn't "simple enough" unless you're a Ph.D.-level expert in combinatorics, and the rest of your post is absolute nonsense. Linux doesn't have the same rigid structure as the combinatorial objects being studied, and even if it did the constants involved in this theorem would very quickly get much bigger than the number of modules or even lines of code in the Linux kernel.
Exactly what is an "arc through a module" supposed to mean, anyway, and how does knowing the existence of a "buggy arc" give you even the slightest idea of where it is?