How to think about informal proofs

DOI10.1007/s11229-011-0007-5zbMath1275.00022OpenAlexW2159502610WikidataQ58180374 ScholiaQ58180374MaRDI QIDQ383052

Brendan P. Larvor

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/13424/2/904683.pdf

zbMATH Keywords

argumentation theoryinferential actioninformal proofmathematical practicespeech-act

Mathematics Subject Classification ID

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

Related Items

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ RIGOUR AND PROOF ⋮ The material reasoning of folding paper ⋮ The role of syntactic representations in set theory ⋮ Reliability of mathematical inference ⋮ Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950 ⋮ Introduction ⋮ Reshaping the metaphor of proof ⋮ An Inquiry into the Practice of Proving in Low-Dimensional Topology ⋮ Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics ⋮ From Euclidean geometry to knots and nets

Cites Work

• Confronting ideals of proof with the ways of proving of the research mathematician
• Towards a new epistemology of mathematics
• The growth of mathematical knowledge
• Mathematical arguments in context
• Perspectives on mathematical practices. Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Based on the international conference on perspectives on mathematical practices (PMP2002), Vrije Universiteit Brussel, Brussel, Belgium, October 24--26, 2002
• Why Do We Believe Theorems?
• Explanation and Proof in Mathematics
• Proper Knot Theory in Open 3-Manifolds
• Why Do We Prove Theorems?
• Diagrams and Proofs in Analysis
• Why Do Mathematicians Re-prove Theorems?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: How to think about informal proofs