Why do informal proofs conform to formal norms?

DOI10.1007/s10699-008-9144-9zbMath1182.03009OpenAlexW2088842326MaRDI QIDQ2271071

Jody Azzouni

Publication date: 6 August 2009

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10699-008-9144-9

zbMATH Keywords

reasoningnatural languagelogicmeaningmathematical proof

Mathematics Subject Classification ID

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

Related Items (13)

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ The Parallel Structure of Mathematical Reasoning ⋮ Formal and Natural Proof: A Phenomenological Approach ⋮ How to Frame a Mathematician ⋮ Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs? ⋮ Audience role in mathematical proof development ⋮ Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society ⋮ Reliability of mathematical inference ⋮ Introduction ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ From Euclidean geometry to knots and nets ⋮ Acceptable gaps in mathematical proofs

Cites Work

• Stipulation, Logic, and Ontological Independence†
• Why Do We Prove Theorems?
• The Derivation-Indicator View of Mathematical Practice
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Why do informal proofs conform to formal norms?