An elementary proof that P =/= NP

Loading...
Thumbnail Image

Date

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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

Citation

Consulte el texto completo en el siguiente enlace:

Collections