[FOM] P NP buzz

Alasdair Urquhart urquhart at cs.toronto.edu
Fri Aug 13 15:22:00 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,
click on "Fatal Flaws in Deolalikar's Proof?", 
and read the entry by Neil Immerman.  Earlier, very similar objections 
were made by Albert Atserias, Anuj Dawar and Steven Lindell
(click on "Update on Deolalikar's Proof that P \neq NP").

Alasdair Urquhart

More information about the FOM mailing list