What is the point of computers? A question for pure mathematicians (Q6118162)
From MaRDI portal
scientific article; zbMATH DE number 7821721
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | What is the point of computers? A question for pure mathematicians |
scientific article; zbMATH DE number 7821721 |
Statements
What is the point of computers? A question for pure mathematicians (English)
0 references
20 March 2024
0 references
Summary: We discuss the idea that computers might soon help mathematicians 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. For the entire collection see [Zbl 07816356].
0 references
theorem prover
0 references
ITP
0 references
proof assistant
0 references
