MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM

DOI10.1017/S1755020319000583zbMath1437.00025arXiv2001.02657OpenAlexW3100976489WikidataQ113857266 ScholiaQ113857266MaRDI QIDQ5221288

Rebecca Morris

Publication date: 25 March 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.02657

zbMATH Keywords

proofsphilosophy of mathematical practice

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophy and mathematics (educational aspects) (97E20)

Related Items (2)

Reliability of mathematical inference ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two proofs of Fine's theorem
• The phenomenology of mathematical beauty
• Mathematical beauty, understanding, and discovery
• The concept of ``character in Dirichlet's theorem on primes in an arithmetic progression
• Depth and Explanation in Mathematics
• Discovering and Proving that π Is Irrational
• How to Add a Noninteger Number of Terms: From Axioms to New Identities
• A generalized form of hajós' theorem
• A Constructive Proof of the Representation Theorem for Polyhedral Sets Based on Fundamental Definitions
• Why Do We Prove Theorems?
• On proof and progress in mathematics
• Mathematical Explanation and the Theory of Why-Questions
• Opinion: The Mechanization of Mathematics
• Mathematical Fit: A Case Study
• Why proofs by mathematical induction are generally not explanatory
• A Short Proof of the Simple Continued Fraction Expansion of 𝑒
• Lusin's Second Separation Theorem
• CHARACTER AND OBJECT
• Best approximation in inner product spaces

This page was built for publication: MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM