A note on da Costa-Doria ``exotic formalizations

DOI10.1007/S00153-010-0203-XzbMATH Open1206.03011OpenAlexW2166613262MaRDI QIDQ711567FDOQ711567

Authors L. N. Gordeev

Publication date 27 October 2010

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-010-0203-x

zbMATH Keywords

proof theoryfirst-order theoriesexotic formalizationsP vs. NPGödel's theorem

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Classical first-order logic (03B10) Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Consequences of an exotic definition for \(\text{P}=\text{NP}\).
• On the metamathematics of the P vs. NP question
• Fast-Growing Functions and the P vs. NP Question
• scientific article; zbMATH DE number 27190
• Informal versus formal mathematics

Cites work

• scientific article; zbMATH DE number 5604094 (Why is no real title available?)
• Classifying the Provably Total Functions of PA
• Consequences of an exotic definition for \(\text{P}=\text{NP}\).
• How to prove representation-independent independence results
• On the metamathematics of the P vs. NP question
• Some thoughts on hypercomputation

Cited in

(3)

• Informal versus formal mathematics
• Consequences of an exotic definition for \(\text{P}=\text{NP}\).
• Fast-Growing Functions and the P vs. NP Question

This page was built for publication: A note on da Costa-Doria ``exotic formalizations

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