Practical reasoning and the witnessably rigorous proof

DOI10.1007/s11229-020-02883-xzbMath1529.00026OpenAlexW3088741555MaRDI QIDQ6142455

Unnamed Author

Publication date: 26 January 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-020-02883-x

zbMATH Keywords

theorem provingdeductive logicmathematical practicepractical reasoning

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Cites Work

• Philosophy of Mathematical Practice — Motivations, Themes and Prospects†
• Philosophy of mathematics
• The Disciplinarity of Mathematical Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Practical reasoning and the witnessably rigorous proof