dc.contributor.author | Larvor, Brendan | |
dc.date.accessioned | 2017-02-08T18:11:37Z | |
dc.date.available | 2017-02-08T18:11:37Z | |
dc.date.issued | 2016-10-01 | |
dc.identifier.citation | Larvor , B 2016 , ' Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge ' , Philosophia Mathematica , vol. 24 , no. 3 , pp. 401–404 . https://doi.org/10.1093/philmat/nkw012 | |
dc.identifier.issn | 0031-8019 | |
dc.identifier.other | ORCID: /0000-0003-0921-1659/work/130151031 | |
dc.identifier.uri | http://hdl.handle.net/2299/17610 | |
dc.description | 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. | |
dc.description.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. | en |
dc.format.extent | 3 | |
dc.format.extent | 839248 | |
dc.language.iso | eng | |
dc.relation.ispartof | Philosophia Mathematica | |
dc.subject | proof | |
dc.subject | mathematics | |
dc.subject | derivation | |
dc.subject | logic | |
dc.subject | Philosophy | |
dc.title | Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge | en |
dc.contributor.institution | School of Humanities | |
dc.contributor.institution | Philosophy | |
dc.description.status | Peer reviewed | |
dc.date.embargoedUntil | 2018-07-07 | |
dc.identifier.url | http://philmat.oxfordjournals.org/content/early/2016/07/04/philmat.nkw012.abstract | |
rioxxterms.versionofrecord | 10.1093/philmat/nkw012 | |
rioxxterms.type | Journal Article/Review | |
herts.preservation.rarelyaccessed | true | |