@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",

}