Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge

Brendan Larvor

doi:10.1093/philmat/nkw012

Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge

Brendan Larvor

Research output: Contribution to journal › Article › peer-review

11 Citations (Scopus)

69 Downloads (Pure)

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.

Original language	English
Pages (from-to)	401–404
Number of pages	3
Journal	Philosophia Mathematica
Volume	24
Issue number	3
Early online date	7 Jul 2016
DOIs	https://doi.org/10.1093/philmat/nkw012
Publication status	Published - 1 Oct 2016

Keywords

proof
mathematics
derivation
logic

Access to Document

10.1093/philmat/nkw012

Accepted_ManuscriptAccepted author manuscript, 820 KB

Cite this

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

}

TY - JOUR

T1 - Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge

AU - Larvor, Brendan

N1 - 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. © The Author [2016]. Published by Oxford University Press. All rights reserved.

PY - 2016/10/1

Y1 - 2016/10/1

N2 - 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.

AB - 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.

KW - proof

KW - mathematics

KW - derivation

KW - logic

UR - http://philmat.oxfordjournals.org/content/early/2016/07/04/philmat.nkw012.abstract

U2 - 10.1093/philmat/nkw012

DO - 10.1093/philmat/nkw012

M3 - Article

SN - 0031-8019

VL - 24

SP - 401

EP - 404

JO - Philosophia Mathematica

JF - Philosophia Mathematica

IS - 3

ER -

Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this