@article{4dcf14c37eed4a1aa88c488f3f502d1b,
title = "Why the na{\"i}ve Derivation Recipe model cannot explain how mathematicians{\textquoteright} proofs secure mathematical knowledge",
abstract = "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.",
keywords = "proof , mathematics, derivation, logic",
author = "Brendan Larvor",
note = "This is a pre-copyedited, author-produced PDF of an article accepted for publication in Philosophia Mathematica following peer review. Under embargo. Embargo end date: 7 July 2018 The version of record [Lavor, B., 'Why the Naive Derivation Recipe Model Cannot Explain How Mathematician's Proofs Secure Mathematical Knowledge', Philosophia Mathematica (2016) 24(3): 401-404, is available online at: https://doi.org/10.1093/philmat/nkw012. {\textcopyright} The Author [2016]. Published by Oxford University Press. All rights reserved. ",
year = "2016",
month = oct,
day = "1",
doi = "10.1093/philmat/nkw012",
language = "English",
volume = "24",
pages = "401–404",
journal = "Philosophia Mathematica",
issn = "0031-8019",
publisher = "Oxford University Press (OUP)",
number = "3",
}