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)

Publisher: Springer

Abstract:

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.

Language: English

Document Type: Regular paper

Affiliations: 1: Research Group on Logic and Foundations Institute for Advanced Studies University of São Paulo Brazil E-mail: fadoria@rio.com.br

Publication date: 2000-01-01

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Doria F.A.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers