An elementary proof that P =/= NP
arXiv:math/0603605
Abstract
We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.
8 pages; major revision; earlier argument replaced by an elementary proof that PA has no non-standard model; an HTML version is available at http://alixcomsi.com/An_elementary_proof.htm