Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4637600 | Applied Mathematics and Computation | 2006 | 4 Pages |
Abstract
We elaborate on the following result which appears in that paper: if ZFC+[ZFCisΣ1-sound]+[P=NP]F is consistent, then so is ZFC + [P = NP].
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
N.C.A. da Costa, F.A. Doria,