[FOM] P NP Buzz (message from Alasdair Urquhart)

Martin Davis eipye at pacbell.net
Fri Aug 13 14:55:35 EDT 2010


Researchers in finite model theory have found what
appear to be fundamental flaws in Vinay Deolalikar's
paper.  If you are interested in the details, go
to Richard Lipton's blog:

http://rjlipton.wordpress.com/2010/08/12/fatal-flaws-in-deolalikars-proof=
/

and read Researchers in finite model theory have found what
appear to be fundamental flaws in Vinay Deolalikar's
paper.  If you are interested in the details, go
to Richard Lipton's blog:

http://rjlipton.wordpress.com/2010/08/12/fatal-flaws-in-deolalikars-proof


and read the entry by Neil Immerman.  Earlier, very similar but
less detailed versions of these objections were made by
Albert Atserias and Anuj Dawar.  See:

http://rjlipton.wordpress.com/2010/08/10/update-on-deolalikars-proof-that-p%e2%89%a0np/

Alasdair Urquhart



More information about the FOM mailing list