|Image by Network Osaka|
So Deolalikar sent this proof to his colleagues, and Greg Baker (with permission) posted the manuscript on his blog. Somehow the blog post got Slashdotted and next thing you know everyone was talking about it. What I find really remarkable was how in many places there was a nice, civil discussion among the theory types about the strengths and weaknesses of the proof. (You can read about this in Richard Lipton's blog starting here).
What I especially loved was the peanut gallery. People were just thrilled to be watching the action. Even people with no background on the topic were offering support and encouragement. Here are some comments from Lipton's blog:
And these two really made me say, "awwww" (boldface is mine):Go Vinay!I agree with the spirit of this posting. I am not an expert in complexity theory so I am unable to provide any feedback (not even elementary). However, I like it that there are researchers like Vinay who are not afraid of tackling the hardest problems. I am anxious to know what are the consequences of Vinay’s work.
Professor Lipton,Your accessible and well-written writings motivate me to continue studying mathematics. I develop software for a living; to stay sharp, I try to study ‘real’ proofs in my spare time. Complexity is an amazing field… I cannot wait to see what we’ll learn about computation (and its relation to physics, and to everything else).Thanks for the inspiration!
I applaud Lipton for cultivating a positive exchange of ideas and place for civil discussion and making the review public for all to watch. Even though things got heated at times, in general the discourse was constructive and positive. Top complexity theoreticians came together to help Deolalikar out, for no reason other than they think it's a cool problem and they're nice people, and I think that's just fantastic.“P.S. I hope these discussions are helpful to the community at large.”
This member of the community at large can’t understand a word you say, but is nevertheless fascinated by every new post and comment. Seeing the review process unfold in public has rekindled my long-dormant interest in mathematics. I intend to register for a class this fall and (who knows?) perhaps pursue that Ph.D. after all these years.
Don’t infer from the paucity of experts who can contribute to the public conversation that you might as well confer entirely in private; on the contrary, public discussion is an immense service to the community. Thank you.