HackerPapers

arXiv:2112.11598math.HO

What is the point of computers? A question for pure mathematicians

Kevin Buzzard

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 discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same computer tools will also help us in the communication and teaching of mathematics.

arXiv comments
28 pages, companion paper to ICM 2022 talk
Journal reference
DOI
Subjects
math.HOHistory and Overview

On Hacker News

No comments linking this paper were found in the collected sources. Found in 2 HN submissions from Jan 2022 to Apr 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.