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

DOI10.1007/s11225-010-9284-0zbMath1239.00020OpenAlexW2068595239MaRDI QIDQ603906

Michèle Friend, Norma B. Goethe

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

inductiondeductionhypothesesanalytic proofaxiomatic proofmathematical proofproofs as communicative actsrigor of proofs

Mathematics Subject Classification ID

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

Related Items (8)

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ How to think about informal proofs ⋮ RIGOUR AND PROOF ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ Definition in mathematics ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ From Euclidean geometry to knots and nets

Cites Work

• Solving Wigner's mystery: the reasonable (though perhaps limited) effectiveness of mathematics in the natural sciences
• The phenomenology of mathematical proof
• Why Proof? What is a Proof?
• On proof and progress in mathematics
• Logical Pluralism
• 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

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