Repository | Zeitschrift | Band | Artikel
Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
pp. 69-76
Abstrakt
We show that the P < NP conjecture can beformulated as a Pi20 sentence, and explore some of theconsequences of that fact. This paper summarizes recent workby the author with N. C. A. da Costa on the P
Publication details
Published in:
(2000) Synthese 125 (1-2).
Seiten: 69-76
Referenz:
Doria Francisco Antonio (2000) „Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?“. Synthese 125 (1-2), 69–76.