Remarks on the use of formal methods

zbMATH Open1440.03023MaRDI QIDQ5116451FDOQ5116451

Authors: Décio Krause, Jonas Rafael Becker Arenhart 

Publication date: 25 August 2020

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

Mathematics Subject Classification ID

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

Cited In (5)

• Explication defended
• Title not available (Why is that?)
• Formal methods: The very idea some thoughts about why they work when they work
• Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
• Remarks on purity of methods

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)