[FOM] Galois and P NP

Richard Heck rgheck at brown.edu
Sun Aug 15 10:49:49 EDT 2010

On 08/15/2010 10:31 AM, Martin Davis wrote:
> Harvey Friedman wrote:
> So now it is your responsibility to inform us about Galois
> "circulating an outright public claim to have solved P vs. NP".
> I thank Harvey for crediting me with the ability to raise the dead.
> Galois did "circulat[e] an outright public claim" to have found a
> necessary and sufficient condition for an algebraic equation to be
> solvable in radicals. It is said to have languished on Cauchy's desk.
And, unless I am mistaken, Deolalikar is not the one who released the 
purported proof into the wild. That seems worth remembering.

Richard Heck

More information about the FOM mailing list