posted
A researcher at HP thinks he has a proof of P!=NP. If so it would be the most important mathematics result at the very least since Wilson proved Fermat's Last Theorem, and possibly since the Church-Turing thesis. Math bloggers seem a bit skeptical, though.
Posts: 10645 | Registered: Jul 2004
| IP: Logged |
posted
Wiles proved FLT. I think a strong argument could be made that the proof of the Poincare Conjecture was a bigger result than FLT.
Posts: 644 | Registered: Sep 2008
| IP: Logged |
posted
That paper was hot. First I saw some existential quantifiers and was turned on by the logic, then I noticed cartesian products and unions. It was at this point I realized they threw set theory into the mix. Wow. I think I need a break after that.
Posts: 2705 | Registered: Sep 2006
| IP: Logged |