How to think about informal proofs

DOI10.1007/S11229-011-0007-5zbMATH Open1275.00022OpenAlexW2159502610WikidataQ58180374 ScholiaQ58180374MaRDI QIDQ383052FDOQ383052

Authors: Brendan 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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• The informal logic of mathematical proof
• Informal proofs and mathematical rigour
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• On formal and informal provability
• Mathematical inference and logical inference

zbMATH Keywords

argumentation theoryinferential actioninformal proofmathematical practicespeech-act

Mathematics Subject Classification ID

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

Cites Work

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The growth of mathematical knowledge
• Title not available (Why is that?)
• History and philosophy of modern mathematics. Proceedings of the conference, University of Minnesota, Minneapolis, MN, USA, May 17--19, 1985
• Mathematical arguments in context
• Embodied strategies in mathematical cognition
• Proof: some notes on a phenomenon between freedom and enforcement
• Why Do We Believe Theorems?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explanation and Proof in Mathematics
• On proof and progress in mathematics
• The informal logic of mathematical proof
• How and why mathematics is unique as a social practice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proper Knot Theory in Open 3-Manifolds
• Why Do We Prove Theorems?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagrams and Proofs in Analysis
• Why Do Mathematicians Re-prove Theorems?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representation and productive ambiguity in mathematics and the sciences
• Title not available (Why is that?)
• Confronting ideals of proof with the ways of proving of the research mathematician
• Towards a new epistemology of mathematics

Cited In (20)

• Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
• The informal logic of mathematical proof
• Reshaping the metaphor of proof
• From Euclidean geometry to knots and nets
• RIGOUR AND PROOF
• Managing Informal Mathematical Knowledge: Techniques from Informal Logic
• Proving Things About the Informal
• Envisioning transformations -- the practice of topology
• MATHEMATICAL RIGOR AND PROOF
• Mathematical inference and logical inference
• Informal proofs and mathematical rigour
• The material reasoning of folding paper
• The role of syntactic representations in set theory
• A problem with the dependence of informal proofs on formal proofs
• An inquiry into the practice of proving in low-dimensional topology
• Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
• Rigour and intuition
• Formal ontology and mathematics. A case study on the identity of proofs
• Introduction
• Reliability of mathematical inference

This page was built for publication: How to think about informal proofs

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