HackerPapers

arXiv:2305.02329cs.LO

Proof in the time of machines

Andrew Granville

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

We compare the values associated with (traditional) community based proof verification to those associated with computer proof verification. We propose ways that computer proofs might incorporate successful strategies from human experiences.

arXiv comments
Comments welcome. arXiv admin note: text overlap with arXiv:2305.02115
Journal reference
DOI
Subjects
cs.LOLogic in Computer Science math.HOHistory and Overview math.NTNumber Theory

On Hacker News

No comments linking this paper were found in the collected sources. Found in 1 HN submission from May 2023 to May 2023. 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.