English

An elementary proof that P =/= NP

General Mathematics 2007-05-23 v2

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.

Cite

@article{arxiv.math/0603605,
  title  = {An elementary proof that P =/= NP},
  author = {Bhupinder Singh Anand},
  journal= {arXiv preprint arXiv:math/0603605},
  year   = {2007}
}

Comments

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