[Liverpool] P != NP

Bob Ham rah at bash.sh
Fri Aug 13 11:45:33 UTC 2010


Nice one, thanks

On Wed, 2010-08-11 at 09:42 +0100, Simon Johnson wrote:
> http://michaelnielsen.org/polymath1/index.php?title=Deolalikar's_P!%
> 3DNP_paper
> 
> 
> 
> On 9 August 2010 21:09, Simon Johnson <simon.johnson at gmail.com> wrote:
>         I posted this to sci.crypt a couple of hours ago and Bob
>         Silverman has taken a look at the proof. 
>         
>         Most of you won't know Bob, but he's a big mover in crypto
>         circles; he's an a very able mathematician.
>         
>         
>         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.
>         
>         
>         It will take weeks to years before we're certain that it
>         really is a proof. 
>         
>         
>         
>         On 9 August 2010 15:02, Simon Johnson
>         <simon.johnson at gmail.com> wrote:
>                 I missed it. Thanks very much.
>                 
>                 
>                 If the claims of this paper are verified this is an
>                 extremely significant development in complexity
>                 theory.
>                 
>                 
>                 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.
>                 
>                 
>                 Skimming the paper, it seems that significant
>                 understanding of the problem (and why it exists) has
>                 been obtained. 
>                 
>                 
>                 I, of course, say this as an arm-chair
>                 mathematician. :)
>                 
>                 
>                 Simon
>                 
>                 
>                 On 9 August 2010 12:13, Bob Ham <rah at bash.sh> wrote:
>                 
>                         
>                         In case anybody missed it..
>                         
>                         http://www.scribd.com/doc/35539144/pnp12pt
>                         
>                         --
>                         Bob Ham <rah at bash.sh>
>                         
>                         for (;;) { ++pancakes; }
>                         
>                         
>                         _______________________________________________
>                         Liverpool mailing list
>                         Liverpool at mailman.lug.org.uk
>                         https://mailman.lug.org.uk/mailman/listinfo/liverpool
>                 
>                 
>         
>         
> 
> 
> _______________________________________________
> Liverpool mailing list
> Liverpool at mailman.lug.org.uk
> https://mailman.lug.org.uk/mailman/listinfo/liverpool

-- 
Bob Ham <rah at bash.sh>

for (;;) { ++pancakes; }
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.lug.org.uk/pipermail/liverpool/attachments/20100813/991bfd88/attachment.pgp>


More information about the Liverpool mailing list