It's quite a big assumption to think truth can always be bent so as to satisfy our ridiculously limited cognition. And math has been used instrumentally from the very beginning, so results are often much more important than the process. Theoreticians may still value elegance because that gives them pleasure or whatever, but few other people care about that as long as they can use the results.
The results aren’t often nearly as useful as the techniques used to find them. For example, a completely opaque proof resolving P vs NP is completely useless to theoretical CS.
Comments
It's quite a big assumption to think truth can always be bent so as to satisfy our ridiculously limited cognition. And math has been used instrumentally from the very beginning, so results are often much more important than the process. Theoreticians may still value elegance because that gives them pleasure or whatever, but few other people care about that as long as they can use the results.
The results aren’t often nearly as useful as the techniques used to find them. For example, a completely opaque proof resolving P vs NP is completely useless to theoretical CS.