Weatherall, James Owen and Wolfson, Jesse (2024) Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. [Preprint]
This is the latest version of this item.
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/text.png) |
Text
Epistemic_Value_of_Proof (5).pdf - Submitted Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (270kB) |
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: | 20 Jun 2025 13:28 | |||||||||
| Last Modified: | 20 Jun 2025 13:28 | |||||||||
| Item ID: | 25741 | |||||||||
| 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/25741 |
Available Versions of this Item
-
Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. (deposited 01 Dec 2024 21:34)
- Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof. (deposited 20 Jun 2025 13:28) [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}