On the metamathematics of the P vs. NP question (Q2383632)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the metamathematics of the P vs. NP question |
scientific article |
Statements
On the metamathematics of the P vs. NP question (English)
0 references
19 September 2007
0 references
The unresolved issue under consideration is whether \(\text{P}=\text{NP}\) and/or its negation is consistent with, say, ZFC. This paper surveys, comments upon, and sometimes reformulates work that has been done on this topic over the last thirty years. Particular attention is given to contributions of da~Costa and Doria themselves.
0 references
\(\text{P}=\text{NP}\)
0 references
consistency
0 references
independence
0 references
Peano arithmetic
0 references
Zermelo-Fraenkel set theory
0 references
