What is the point of computers? A question for pure mathematicians
Kevin Buzzard
Department of Mathematics, Imperial College London, London, UK
Download Chapter PDF
This book chapter is published open access.
Abstract
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.