An elementary proof that P =/= NP
综合数学
2007-05-23 v2
摘要
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.
引用
@article{arxiv.math/0603605,
title = {An elementary proof that P =/= NP},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0603605},
year = {2007}
}
备注
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