A note on da Costa-Doria ``exotic formalizations
From MaRDI portal
Publication:711567
Recommendations
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)
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)