This paper makes a ton of brilliant points all of which strongly resonate with me:
* The results that will last are the ones that can be organized coherently and explained economically to future generations (yes! effective compression!)
* How effectively a result can be communicated to another mathematician (and perhaps even s/mathematician/person/)
90% of my time spend 'studying mathematics' is spent lexing the notation. What do those symbols even mean? I can't even copy-paste this into Google to get any meaningful results!!!!!!!!!!!!@#!$@#$@#$@#$#@!$@#$
Have you noticed how we don't have this problem in Computer Science? Because the source code gives you the context in which to interpret the meaning of the grammar!
I do think there needs to be a better search system for latex/math symbols. That would be amazing. As far as using the notation, I forget where I read this but I remember seeing that one excuse for the use of abstract symbols is keep the ideas abstract so as to not narrow your mind into just what you're working on. So many areas of math cross over so keeping things abstract could aid in that recognition.
I remember in our intro to AI course our prof would sometime run out of English letters for symbols, then start introducing German ones, and eventually start using triangles and squares for stuff
* The results that will last are the ones that can be organized coherently and explained economically to future generations (yes! effective compression!)
* How effectively a result can be communicated to another mathematician (and perhaps even s/mathematician/person/)
90% of my time spend 'studying mathematics' is spent lexing the notation. What do those symbols even mean? I can't even copy-paste this into Google to get any meaningful results!!!!!!!!!!!!@#!$@#$@#$@#$#@!$@#$
Have you noticed how we don't have this problem in Computer Science? Because the source code gives you the context in which to interpret the meaning of the grammar!
Homoiconicity is the panacea of formal languages.