The Values of Mathematical Proofs

Rebecca Lea Morris ()
Additional contact information
Rebecca Lea Morris: Independent Scholar

A chapter in Handbook of the History and Philosophy of Mathematical Practice, 2024, pp 2081-2112 from Springer

Abstract: Abstract Proofs are central, and unique, to mathematics. They establish the truth of theorems and provide us with the most secure knowledge we can possess. It is thus perhaps unsurprising that philosophers once thought that the only value proofs have lies in establishing the truth of theorems. However, such a view is inconsistent with mathematical practice. If a proof’s only value is to show a theorem is true, then mathematicians would have no reason to reprove the same theorem in different ways, yet this is a practice they frequently engage in. This suggests that proofs can have a wide variety of values. My purpose in this chapter is to provide a survey of some of them. I will discuss how proofs can have practical value, for example, by helping mathematicians to make new discoveries or learn new mathematical tools, and how they can have abstract value, for example, by being beautiful or explanatory. I will also explore the relationships between different proof values.

Keywords: Mathematical practice; Proofs; Values (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-40846-5_34

Ordering information: This item can be ordered from
http://www.springer.com/9783031408465

DOI: 10.1007/978-3-031-40846-5_34

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().