Automated Mathematics and the Reconfiguration of Proof and Labor
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917704897658880 |
|---|---|
| author | Ochigame, Rodrigo |
| author_facet | Ochigame, Rodrigo |
| contents | This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_11457 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Automated Mathematics and the Reconfiguration of Proof and Labor Ochigame, Rodrigo History and Overview Computers and Society Logic in Computer Science Number Theory This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit. |
| title | Automated Mathematics and the Reconfiguration of Proof and Labor |
| topic | History and Overview Computers and Society Logic in Computer Science Number Theory |
| url | https://arxiv.org/abs/2309.11457 |