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

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)
38 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 languageEnglish
Pages (from-to)401–404
Number of pages3
JournalPhilosophia Mathematica
Volume24
Issue number3
Early online date7 Jul 2016
DOIs
Publication statusPublished - 1 Oct 2016

Keywords

  • proof
  • mathematics
  • derivation
  • logic

Fingerprint

Dive into the research topics of 'Why the naïve Derivation Recipe model cannot explain how mathematicians’ proofs secure mathematical knowledge'. Together they form a unique fingerprint.

Cite this