Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
pp. 69-76
Abstract
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).
Pages: 69-76
Full citation:
Doria Francisco Antonio (2000) „Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?“. Synthese 125 (1-2), 69–76.