Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912902175260672 |
|---|---|
| author | Weatherall, James Owen Wolfson, Jesse |
| author_facet | Weatherall, James Owen Wolfson, Jesse |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_12463 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof Weatherall, James Owen Wolfson, Jesse History and Overview Artificial Intelligence 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. |
| title | Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof |
| topic | History and Overview Artificial Intelligence |
| url | https://arxiv.org/abs/2602.12463 |