[FOM] P NP buzz

[Alasdair Urquhart]

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