[FOM] Who released Deolalikar's proof into the wild?
rgheck at brown.edu
Sun Aug 15 16:49:00 EDT 2010
So I said:
> And, unless I am mistaken, Deolalikar is not the one who released the
> purported proof into the wild. That seems worth remembering.
and then Alasdair Urquhart said:
> Deolalikar sent his manuscript to 22 very distinguished
> researchers. Neither the manuscript nor the covering
> note swore the recipients to secrecy, so the purported proof
> was very rapidly disseminated.
> Under these circumstances, I believe that Vinay
> Deolalikar "released the purported proof into the wild."
and Harvey Friedman said:
> This is not the case. Here is the email that Deolalikar sent around on
> August 6 that started everything, without the attachments. It is
> followed below by an email from Steve Cook, one of the receipients,
> and the originator of the problem, not Galois as Martin Davis implies,
> which apparently was sent rather widely. I received it a bit down the
> food chain - not directly from Steve.
So now I say:
I could possibly be wrong about one fact, but, unless I am, I have to
disagree with both of you. Perhaps the phrase "into the wild" misled.
It's a common phrase in internet security---one speaks of a virus or
other sort of exploit being found "in the wild", i.e., out in
public---and it was in that sense that I was using it.
Sending a paper to 22 people is quite different from making a public
announcement. What on earth would you have the man do? He thinks he's
proved (or might have proved) P <> NP, and it's not like he's some
quack. He's published serious work in serious journals, including prior
work on similar topics. I think sending the paper out for comment, via
email, is about as sensible a thing as one could do. Maybe 22 seems a
bit heavy, but surely we're not supposed to count here. And maybe the
details weren't as worked out as they should have been. I don't know.
It's not my area. But I'm definitely with Harvey as far as the low
standard for what seems to count as a proof these days is concerned.
Maybe Deolalikar would have gone on to make a public announcement, but
he wasn't the one who did so. He posted the paper on his website *after*
its existence had been made public. That is when the internet phenomenon
starts. I can't quite tell if Harvey means to blame Cook for that or
not. If so, then he agrees with me---not about blaming Cook (I don't
have a view on that) but about not blaming Deolalikar.
Frankly, I feel bad for the guy. As Harvey said elsewhere, we've all
been in this kind of position. Either that, or we're not reaching far
enough. Fortunately, in my case, it's usually only a few people who know
about it, and my mistakes haven't come in such grand attempts. But I do
well remember once sending a proof to a handful of people, because I
thought I'd proved something and couldn't believe it was true. Lucky for
me, it actually was.
More information about the FOM