Remarks on the use of formal methods

MaRDI QIDQ5116451zbMATH OpenFDO

Authors Décio Krause, Jonas Rafael Becker Arenhart

Publication date 25 August 2020

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)

Recommendations

• Explication defended
• Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
• scientific article; zbMATH DE number 761257
• On Formal Proofs
• Formal methods in the philosophy of science

Cited in

(5)

• Formal methods: The very idea some thoughts about why they work when they work
• Explication defended
• Remarks on purity of methods
• Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
• scientific article; zbMATH DE number 3285198 (Why is no real title available?)

This page was built for publication: Remarks on the use of formal methods

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