Algorithm and abstraction in formal mathematics
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909195084759040 |
|---|---|
| author | Macbeth, Heather |
| author_facet | Macbeth, Heather |
| contents | I analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. I note two aspects where good style seems to differ between the two: in their incorporation of computation and of abstraction. I argue that this reflects a different mathematical aesthetic for formalised mathematics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_04699 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Algorithm and abstraction in formal mathematics Macbeth, Heather History and Overview 68V20 (Primary) 00A30, 03B35, 68-02, 68V15 (Secondary) F.4.1 I analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. I note two aspects where good style seems to differ between the two: in their incorporation of computation and of abstraction. I argue that this reflects a different mathematical aesthetic for formalised mathematics. |
| title | Algorithm and abstraction in formal mathematics |
| topic | History and Overview 68V20 (Primary) 00A30, 03B35, 68-02, 68V15 (Secondary) F.4.1 |
| url | https://arxiv.org/abs/2405.04699 |