Consequences of an exotic definition for \(\text{P}=\text{NP}\).

DOI10.1016/S0096-3003(03)00176-0zbMath1046.68060MaRDI QIDQ1412482

Newton C. A. Da Costa, Francisco Antonio Doria

Publication date: 25 November 2003

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

Mathematics Subject Classification ID

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

Related Items

On the metamathematics of the P vs. NP question, Informal versus formal mathematics, A note on da Costa-Doria ``exotic formalizations, Some thoughts on hypercomputation

Cites Work

• Unnamed Item
• Unnamed Item
• Arithmetization of metamathematics in a general setting
• The axiomatization problem for fragments
• Transfinite recursive progressions of axiomatic theories
• On the Interpretation of Non-Finitist Proofs--Part I