Mathematicians writing for mathematicians

DOI10.1007/s11229-019-02145-5zbMath1529.00019OpenAlexW2942519702MaRDI QIDQ6182762

Mikkel W. Johansen, Line Edslev Andersen, Henrik Kragh Sørensen

Publication date: 26 January 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02145-5

zbMATH Keywords

mathematical argumentnature of proofcontextualizationmathematical audiencemathematical publication

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Cites Work

• Unnamed Item
• Unnamed Item
• Some proposals for reviving the philosophy of mathematics
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• Intentional gaps in mathematical proofs
• The argument of mathematics
• Acceptable gaps in mathematical proofs
• Arguments, Proofs, and Dialogues
• Arguing Around Mathematical Proofs
• Strategic Maneuvering in Mathematical Proofs
• Why Do We Prove Theorems?
• On proof and progress in mathematics
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices

This page was built for publication: Mathematicians writing for mathematicians