On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) (Q1920039)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) |
scientific article; zbMATH DE number 917944
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) |
scientific article; zbMATH DE number 917944 |
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
