Newsgroups: comp.theory
From: hoey@itd.itd.nrl.navy.mil (Dan Hoey)
Date: 1995/10/08
Subject: Re: P != NP!?

zu...@cs.cornell.edu (Zulfikar Amin Ramzan) writes:

>...I heard recently that someone has claimed
>to have proven that P != NP....

Ed Nelson of Princeton has a preliminary proof, which survived vetting
by some good mathematicians.  I understand he proved the stronger
result that the polynomial hierarchy does not collapse.
(Sigma^p_(k+1) > Sigma^p_k for all k).

There is supposed to be a seminar on this starting Monday, as was
mentioned in sci.math.  I expect further information will appear there
later in the week.

Dan Hoey                 [ posted and e-mailed ]
Hoey@AIC.NRL.Navy.Mil