Are the foundations of computer science logic-dependent?

MaRDI QIDQ3003827zbMATH OpenFDO

Authors Francisco Antonio Doria, Walter Carnielli

Publication date 31 May 2011

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Turing machines and related notions (03D10)

Recommendations

• scientific article; zbMATH DE number 2109540
• scientific article; zbMATH DE number 2226385
• Metamathematical limits to computation
• Paraconsistent Machines and their Relation to Quantum Computing
• On the logical relativity of quantum computability

Cited in

(5)

• Anti-Platonic logic and mathematics
• scientific article; zbMATH DE number 2109540 (Why is no real title available?)
• On the logical relativity of quantum computability
• Paraconsistent computation and dialetheic machines
• From here to eternity

This page was built for publication: Are the foundations of computer science logic-dependent?

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