Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
From MaRDI portal
Publication:2965651
DOI10.1093/PHILMAT/NKW012zbMath1357.00020OpenAlexW2470044575WikidataQ58180351 ScholiaQ58180351MaRDI QIDQ2965651
Publication date: 3 March 2017
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2299/17610
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (5)
MATHEMATICAL RIGOR AND PROOF ⋮ Audience role in mathematical proof development ⋮ The role of syntactic representations in set theory ⋮ Reliability of mathematical inference ⋮ From Euclidean geometry to knots and nets
This page was built for publication: Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
