AlephZero and Mathematical Experience
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_ | 1866914866677153792 |
|---|---|
| author | DeDeo, Simon |
| author_facet | DeDeo, Simon |
| contents | This essay explores the impact of automated proof construction on three key areas of mathematical cognition: on how we judge the role one piece of mathematics plays in another, on how we make mistakes in reasoning about mathematical objects, and on how we understand what our theorems are truly about. It concludes by speculating on a new form of mathematical experience that these methods could make possible: ``glitching'', a game-like search for uncanny consequences of our definitions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_05599 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | AlephZero and Mathematical Experience DeDeo, Simon History and Overview This essay explores the impact of automated proof construction on three key areas of mathematical cognition: on how we judge the role one piece of mathematics plays in another, on how we make mistakes in reasoning about mathematical objects, and on how we understand what our theorems are truly about. It concludes by speculating on a new form of mathematical experience that these methods could make possible: ``glitching'', a game-like search for uncanny consequences of our definitions. |
| title | AlephZero and Mathematical Experience |
| topic | History and Overview |
| url | https://arxiv.org/abs/2307.05599 |