Running a Matharon
Wednesday, March 12th, 2008As I may have mentioned before, I’m in Douglas Hofstadter’s course titled “Group Theory and Galois Theory Visualized.” We’ve been talking a lot about the beauty of mathematics — a slightly strange concept which mathematicians universally acknowledge but cannot quite quantify.
I’ve touched on this subject before — what is beauty (or perhaps, elegance) in mathematics? Last time I addressed it, I concluded that elegance, to me, is a high results to complexity ratio. I gave the example of Euler’s formula, which I find incredibly simple but deep. Beauty is about the insightfulness and depth of results, not just the usefulness.
(Example from group theory: the classification of finite simple groups, as a single corpus, is neither insightful nor deep nor useful! And it’s certainly one of the ugliest — and longest — proofs out there! Not that there aren’t good moments. It’s just kind of silly to represent the whole thing as a “proof.”)
But I’m mostly commenting again on mathematical beauty because of a comment Hofstadter made about beauty in general — what is found beautiful and by whom? (After all, most people don’t find math beautiful at all!)
He noted that, while people claim “beauty is in the eye of the beholder,” there’s clearly some sort of standard for beauty. After all, if there weren’t, why would we have art museums filled with the most “beautiful” art? It does, however, take a special sort of person to enjoy the sort of beauty that math offers. Though, in that regard, math isn’t unlike most other activities — after all, why do marathoners want to run 26 miles for pleasure? It’s just that, as Hofstadter points out, enjoying mathematics requires somebody who wants instead to… “run a matharon,” so to speak.
Have I mentioned that I love puns?