On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) (Q1920039)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) |
scientific article |
Statements
On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) (English)
0 references
19 August 1996
0 references
See the review in Zbl 0718.03030.
0 references
Markov principle
0 references
constructive selection
0 references
polynomial computability
0 references
intuitionistic logic
0 references
constructivity of a formal theory
0 references
