Is mathematics like a game?
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916884435173376 |
|---|---|
| author | Landsman, Klaas Singh, Kirti |
| author_facet | Landsman, Klaas Singh, Kirti |
| contents | We re-examine the old question to what extent mathematics may be compared with a game. Mainly inspired by Hilbert and Wittgenstein, our answer is that mathematics is something like a rhododendron of language games, where the rules are inferential. The pure side of mathematics is essentially formalist, where we propose that truth is not carried by theorems corresponding to whatever independent reality and arrived at through proof, but is defined by correctness of rule-following (and as such is objective given these rules). Goedel's theorems, which are often seen as a threat to formalist philosophies of mathematics, actually strengthen our concept of truth. The applied side of mathematics arises from two practices: first, the dual nature of axiomatization as taking from heuristic practices like physics and informal mathematics whilst giving proofs and logical analysis; and second, the ability of using the inferential role of theorems to make surrogative inferences about natural phenomena. Our framework is pluralist, combining various (non-referential) philosophies of mathematics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_12478 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Is mathematics like a game? Landsman, Klaas Singh, Kirti History and Overview Mathematical Physics 00A30 We re-examine the old question to what extent mathematics may be compared with a game. Mainly inspired by Hilbert and Wittgenstein, our answer is that mathematics is something like a rhododendron of language games, where the rules are inferential. The pure side of mathematics is essentially formalist, where we propose that truth is not carried by theorems corresponding to whatever independent reality and arrived at through proof, but is defined by correctness of rule-following (and as such is objective given these rules). Goedel's theorems, which are often seen as a threat to formalist philosophies of mathematics, actually strengthen our concept of truth. The applied side of mathematics arises from two practices: first, the dual nature of axiomatization as taking from heuristic practices like physics and informal mathematics whilst giving proofs and logical analysis; and second, the ability of using the inferential role of theorems to make surrogative inferences about natural phenomena. Our framework is pluralist, combining various (non-referential) philosophies of mathematics. |
| title | Is mathematics like a game? |
| topic | History and Overview Mathematical Physics 00A30 |
| url | https://arxiv.org/abs/2311.12478 |