HackerPapers

arXiv:2405.04699math.HO

Algorithm and abstraction in formal mathematics

Heather Macbeth

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

Abstract

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.

arXiv comments
14 pages, 2 figures; extended abstract for an invited lecture at the 2024 International Congress on Mathematical Software
Journal reference
DOI
Subjects
math.HOHistory and Overview

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from Jul 2024 to Jul 2024. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.