Gradually, then, the music of mathematics will grow more distinct. We will hear in it the endless tug between freedom and necessity as playful inventions turn into the only way things can be, and timeless laws are drafted—in a place, at a time, by a fallible fellow human. Just as in listening to music, our sense of self will widen out toward a more than personal vista, vivid and profound.
