Weatherall, James Owen and Wolfson, Jesse (2024) Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. [Preprint]
 | There is a more recent version of this item available. |
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/text.png) |
Text
Epistemic_Value_of_Proof.pdf - Submitted Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (249kB) |
Abstract
We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be “correct”, in the sense of formalizable in a formal proof system. We then present a view on the relationship between mathematics and logic that clarifies the role of formal correctness in mathematics. Finally, we discuss the significance of these arguments for recent discussions about automated theorem provers and applications of AI to mathematics.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Creators: |
|
|||||||||
| Keywords: | formal proof, mathematical correctness, artificial intelligence, philosophy of logic | |||||||||
| Subjects: | Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof Specific Sciences > Mathematics > Values Specific Sciences > Mathematics |
|||||||||
| Depositing User: | James Owen Weatherall | |||||||||
| Date Deposited: | 01 Dec 2024 21:34 | |||||||||
| Last Modified: | 01 Dec 2024 21:34 | |||||||||
| Item ID: | 24324 | |||||||||
| Subjects: | Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice Specific Sciences > Mathematics > Proof Specific Sciences > Mathematics > Values Specific Sciences > Mathematics |
|||||||||
| Date: | 2024 | |||||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/24324 |
Available Versions of this Item
- Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. (deposited 01 Dec 2024 21:34) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}