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.
CITATION STYLE
Larvor, B. (2016). Why the naïve derivation recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge. Philosophia Mathematica, 24(3), 401–404. https://doi.org/10.1093/philmat/nkw012
Mendeley helps you to discover research relevant for your work.