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

DOI10.1007/s11225-010-9284-0zbMath1239.00020MaRDI 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

induction; deduction; hypotheses; analytic proof; axiomatic proof; mathematical proof; proofs as communicative acts; rigor of proofs

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

00A35: Methodology of mathematics

Related Items

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices, RIGOUR AND PROOF, How to think about informal proofs, 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

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