Is There A Simple, Pedestrian Arithmetic Sentence Which Is Independent Of Zfc?
Author: Doria F.A.
Source: Synthese, Volume 125, Numbers 1-2, January 2000 , pp. 69-76(8)
We show that the P < NP conjecture can be formulated as a Pi_2^0 sentence, and explore some of the consequences of that fact. This paper summarizes recent work by the author with N. C. A. da Costa on the P<NP conjecture and on the possibility that this sentence is independent of ZFC supposed consistent.
Document Type: Regular paper
Publication date: 2000-01-01