Varieties of mathematical understanding
arXiv:2310.20100 · doi:10.1090/bull/1726
Abstract
This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a possible resolution.