Consequences of an exotic definition for P=NP.

DOI10.1016/S0096-3003(03)00176-0MaRDI QIDQ1412482zbMATH OpenFDO

Authors N. C. A. da Costa, Francisco Antonio Doria

Publication date 25 November 2003

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0096-3003(03)00176-0

Mathematics Subject Classification ID

Consistency and independence results (03E35) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• A note on da Costa-Doria ``exotic formalizations
• Concerning existential definition of the class NP: Theoretical analysis of an alternative approach
• On the metamathematics of the P vs. NP question
• scientific article; zbMATH DE number 218550
• Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?

Cites work

• A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
• Arithmetization of metamathematics in a general setting
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• On the Interpretation of Non-Finitist Proofs--Part I
• The axiomatization problem for fragments
• Transfinite recursive progressions of axiomatic theories

Cited in

(7)

• Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
• Concerning existential definition of the class NP: Theoretical analysis of an alternative approach
• On the metamathematics of the P vs. NP question
• Some thoughts on hypercomputation
• Fast-Growing Functions and the P vs. NP Question
• A note on da Costa-Doria ``exotic formalizations
• Informal versus formal mathematics

This page was built for publication: Consequences of an exotic definition for \(\text{P}=\text{NP}\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1412482)