Larvor, Brendan (2016) Why the Naive Derivation Recipe Model Cannot Explain How Mathematician's Proofs Secure Mathematical Knowledge. Philosophia Mathematica, 24 (3). pp. 401-404. ISSN 0031-8019
Full text not available from this repository.Abstract
Why the Naive Derivation Recipe Model Cannot Explain How Mathematician's Proofs Secure Mathematical Knowledge
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Published Article or Volume | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Keywords: | proof, mathematics, derivation, logic | ||||||
| Subjects: | Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof |
||||||
| Depositing User: | Dr Brendan Larvor | ||||||
| Date Deposited: | 13 Sep 2017 18:19 | ||||||
| Last Modified: | 13 Sep 2017 18:19 | ||||||
| Item ID: | 13423 | ||||||
| Journal or Publication Title: | Philosophia Mathematica | ||||||
| Publisher: | OUP | ||||||
| DOI or Unique Handle: | https://doi.org/10.1093/philmat/nkw012 | ||||||
| Subjects: | Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof |
||||||
| Date: | 1 October 2016 | ||||||
| Page Range: | pp. 401-404 | ||||||
| Volume: | 24 | ||||||
| Number: | 3 | ||||||
| ISSN: | 0031-8019 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/13423 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
![]() |
View Item |



