Mathematicians writing for mathematicians

DOI10.1007/S11229-019-02145-5MaRDI QIDQ6182762zbMATH OpenOpenAlexFDO

Authors Line Edslev Andersen, Mikkel W. Johansen, 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

contextualizationmathematical argumentmathematical audiencemathematical publicationnature of proof

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Recommendations

• Going to the source(s) of sources in mathematicians' drafts
• Audience role in mathematical proof development
• scientific article; zbMATH DE number 6819830
• scientific article; zbMATH DE number 48878
• scientific article; zbMATH DE number 427400

Cites work

• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Acceptable gaps in mathematical proofs
• Arguing Around Mathematical Proofs
• Arguments, proofs, and dialogues
• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• Intentional gaps in mathematical proofs
• On proof and progress in mathematics
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• Some proposals for reviving the philosophy of mathematics
• Strategic maneuvering in mathematical proofs
• The argument of mathematics
• Why Do We Prove Theorems?

Cited in

(3)

• Audience role in mathematical proof development
• Going to the source(s) of sources in mathematicians' drafts
• What is an experiment in mathematical practice? New evidence from mining the \textit{Mathematical Reviews}

This page was built for publication: Mathematicians writing for mathematicians

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