<a href="http://michaelnielsen.org/polymath1/index.php?title=Deolalikar's_P!%3DNP_paper">http://michaelnielsen.org/polymath1/index.php?title=Deolalikar's_P!%3DNP_paper</a><div><br></div><div><br><div class="gmail_quote">
On 9 August 2010 21:09, Simon Johnson <span dir="ltr"><<a href="mailto:simon.johnson@gmail.com">simon.johnson@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I posted this to sci.crypt a couple of hours ago and Bob Silverman has taken a look at the proof. <br><br><div>Most of you won't know Bob, but he's a big mover in crypto circles; he's an a very able mathematician.</div>
<div><br></div><div>More importantly, he's an expert in this field and he says, that so far, after his fourth reading, the proof holds. It looks like he's going to spend some serious effort looking at this anyway.</div>
<div><br></div><div>It will take weeks to years before we're certain that it really is a proof. </div><div><div></div><div class="h5"><div><br></div><div><div class="gmail_quote">On 9 August 2010 15:02, Simon Johnson <span dir="ltr"><<a href="mailto:simon.johnson@gmail.com" target="_blank">simon.johnson@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I missed it. Thanks very much.<div><br></div><div>If the claims of this paper are verified this is an extremely significant development in complexity theory.</div>
<div><br></div><div>It also appears that the paper isn't a "trick proof." Such a proof is one that use a tiny trick to get the result required but gives no real insight in to any issues surrounding the problem.</div>
<div><br></div><div>Skimming the paper, it seems that significant understanding of the problem (and why it exists) has been obtained. <br><br></div><div>I, of course, say this as an arm-chair mathematician. :)</div><div>
<br>
</div><div>Simon</div><div><br><div class="gmail_quote"><div><div></div><div>On 9 August 2010 12:13, Bob Ham <span dir="ltr"><rah@bash.sh></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div></div><div>
In case anybody missed it..<br>
<br>
<a href="http://www.scribd.com/doc/35539144/pnp12pt" target="_blank">http://www.scribd.com/doc/35539144/pnp12pt</a><br>
<font color="#888888"><br>
--<br>
Bob Ham <rah@bash.sh><br>
<br>
for (;;) { ++pancakes; }<br>
</font><br></div></div>_______________________________________________<br>
Liverpool mailing list<br>
<a href="mailto:Liverpool@mailman.lug.org.uk" target="_blank">Liverpool@mailman.lug.org.uk</a><br>
<a href="https://mailman.lug.org.uk/mailman/listinfo/liverpool" target="_blank">https://mailman.lug.org.uk/mailman/listinfo/liverpool</a><br></blockquote></div><br></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>