  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.
