“Well,” he said, “in law, we talk about a beautiful summation, or a beautiful judgment: and what we mean by that, of course, is the loveliness of not only its logic but its expression. And similarly, in math, when we talk about a beautiful proof, what we’re recognizing is the simplicity of the proof, its … elementalness, I suppose: its inevitability.”
