The Derivation-Indicator View of Mathematical Practice

DOI10.1093/philmat/12.2.81zbMath1136.00301OpenAlexW2312838618MaRDI QIDQ4662815

Publication date: 30 March 2005

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/12.2.81

Mathematics Subject Classification ID

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

Related Items (26)

Is there a ``Hilbert thesis? ⋮ The Need for Proof and Proving: Mathematical and Pedagogical Perspectives ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ Confronting ideals of proof with the ways of proving of the research mathematician ⋮ And so on \dots : reasoning with infinite diagrams ⋮ Checking Proofs ⋮ Towards a Theory of Mathematical Argument ⋮ The Parallel Structure of Mathematical Reasoning ⋮ RIGOUR AND PROOF ⋮ How to Frame a Mathematician ⋮ Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs? ⋮ Audience role in mathematical proof development ⋮ The role of syntactic representations in set theory ⋮ Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society ⋮ Reliability of mathematical inference ⋮ Introduction ⋮ Proofs, pictures, and Euclid ⋮ Why do informal proofs conform to formal norms? ⋮ Towards a theory of mathematical argument ⋮ Mathematics and argumentation ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics ⋮ Paraconsistent Computation and Dialetheic Machines ⋮ From Euclidean geometry to knots and nets ⋮ Acceptable gaps in mathematical proofs

This page was built for publication: The Derivation-Indicator View of Mathematical Practice