Repository | Journal | Volume | Articles

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