"We think of science as discovery, art as invention, but is there a "third world" of mathematics, which is somehow, mysteriously, both?"