Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
- Citation data:
Philosophia Mathematica, ISSN: 0031-8019, Vol: 24, Issue: 3, Page: 401-404
- Publication Year:
- Mathematics; Arts and Humanities
- Most Recent Tweet View All Tweets
The view that a mathematical proof is a sketch of or recipe for a formal derivation requires the proof to function as an argument that there is a suitable derivation. This is a mathematical conclusion, and to avoid a regress we require some other account of how the proof can establish it.