Rigor and formalization

DOI10.1007/S11229-024-04521-2MaRDI QIDQ6834132zbMATH OpenFDO

Authors Pawel Pawlowski, Karim Zahidi

Publication date 31 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-024-04521-2

zbMATH Keywords

informal provabilitymathematical practicemathematical rigorthe standard view on informal provability

Mathematics Subject Classification ID

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

Cites work

• A problem with the dependence of informal proofs on formal proofs
• Acceptable gaps in mathematical proofs
• Axioms in mathematical practice
• Formal languages in logic. A philosophical and cognitive analysis
• Formalizability and knowledge ascriptions in mathematical practice
• How to think about informal proofs
• Informal proof, formal proof, formalism
• Informal proofs and mathematical rigour
• Intentional gaps in mathematical proofs
• Logic of informal provability with truth values
• Many-valued logic of informal provability: a non-deterministic strategy
• MATHEMATICAL RIGOR AND PROOF
• On formal and informal provability
• Propositional knowledge and know-how
• Provability interpretations of modal logic
• Rigor and Proof in Mathematics: A Historical Perspective
• Rigor and structure
• RIGOUR AND PROOF
• The Derivation-Indicator View of Mathematical Practice
• Why do informal proofs conform to formal norms?
• Why Do We Prove Theorems?

Cited in

(1)

• Nondeterministic first-order T-BAT logic

This page was built for publication: Rigor and formalization

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