Confronting ideals of proof with the ways of proving of the research mathematician

DOI10.1007/S11225-010-9284-0MaRDI QIDQ603906zbMATH OpenOpenAlexFDO

Authors Norma B. Goethe, Michèle Friend

Publication date 8 November 2010

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-010-9284-0

zbMATH Keywords

analytic proofaxiomatic proofdeductionhypothesesinductionmathematical proofproofs as communicative actsrigor of proofs

Mathematics Subject Classification ID

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

Recommendations

• Reshaping the metaphor of proof
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• The phenomenology of mathematical proof
• Proofs and guarantees
• Proof and the evolution of mathematics

Cites work

• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• scientific article; zbMATH DE number 5161496 (Why is no real title available?)
• scientific article; zbMATH DE number 5722772 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 1064418 (Why is no real title available?)
• scientific article; zbMATH DE number 1560721 (Why is no real title available?)
• scientific article; zbMATH DE number 1868659 (Why is no real title available?)
• scientific article; zbMATH DE number 1426644 (Why is no real title available?)
• scientific article; zbMATH DE number 1426647 (Why is no real title available?)
• Logical pluralism
• On proof and progress in mathematics
• Representation and productive ambiguity in mathematics and the sciences
• Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
• The Derivation-Indicator View of Mathematical Practice
• The phenomenology of mathematical proof
• Why proof? What is a proof?

Cited in

(13)

• Despite physicists, proof is essential in mathematics
• The phenomenology of mathematical proof
• Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
• From Euclidean geometry to knots and nets
• Definition in mathematics
• Informal proof, formal proof, formalism
• Conceptions of Proof – In Research and Teaching
• How to think about informal proofs
• Mathematical inference and logical inference
• Pluralism and ``bad mathematical theories: challenging our prejudices
• Reshaping the metaphor of proof
• RIGOUR AND PROOF
• Rigour and intuition

This page was built for publication: Confronting ideals of proof with the ways of proving of the research mathematician

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