Archive for August, 2010

On the supposed proof that P != NP

Monday, August 9th, 2010

I have heard the news that a researcher at HP laps has submitted a proof that P does not equal NP. If his proof turns out to be valid, I will not be updating my license plate.

Why? To me, “P = NP” is not just a statement about computational complexity theory; It’s about optimism: the idea that things which seem impossible are only impossible because they seem that way. It’s about courage and self-confidence: having the intellectual fortitude to challenge conventional thinking. It’s about imagination: considering possibilities rejected by most as unlikely or absurd. Lastly, it’s a statement about the inability of mathematics to completely describe the true nature of existence, in all its full beauty.