1. This style of notation was, I believe first really developed in Principia Mathematica in 1910ish. Some of the proofs in that book are big, and would be vastly longer if they were in plain english.
2. Part of the goal of that book was precision. They could reuse existing words, but those have pesky connotations that might mislead. So instead they'd either be left to invent new terminology "sqaggle x, y lemmy ror, x grorple y" or pick something symbologicial.
There are really good conversations about intuitiveness of notation (see, e.g. https://mathoverflow.net/questions/366070/what-are-the-benef...), and I think that comes down to things being hard. Notation is almost always created by an expert who is making something useful to them. It's not clear that the correct expressive notation would even be the same as the correct layman's/teaching notation. Those two concepts may simply be at odds.
The linked MathOverflow answer was written by Dr. Terence Tao, and it really is an excellent dissection of the many needs levied upon notation. I find the two "Suggestiveness" items to be most related to concision as practices in research papers.
This bit from the tail end should not be missed, in our context:
> ADDED LATER: One should also distinguish between the "one-time costs" of a notation (e.g., the difficulty of learning the notation and avoiding standard pitfalls with that notation, or the amount of mathematical argument needed to verify that the notation is well-defined and compatible with other existing notations), with the "recurring costs" that are incurred with each use of the notation. The desiderata listed above are primarily concerned with lowering the "recurring costs", but the "one-time costs" are also a significant consideration if one is only using the mathematics from the given field X on a casual basis rather than a full-time one. In particular, it can make sense to offer "simplified" notational systems to casual users of, say, linear algebra even if there are more "natural" notational systems (scoring more highly on the desiderata listed above) that become more desirable to switch to if one intends to use linear algebra heavily on a regular basis.
I see using this word was a bad choice, I edited the post. What I meant was "to stay within the character set the reader already knows how to read".
A more interesting question.
I think there are two answers:
1. This style of notation was, I believe first really developed in Principia Mathematica in 1910ish. Some of the proofs in that book are big, and would be vastly longer if they were in plain english.
2. Part of the goal of that book was precision. They could reuse existing words, but those have pesky connotations that might mislead. So instead they'd either be left to invent new terminology "sqaggle x, y lemmy ror, x grorple y" or pick something symbologicial.
There are really good conversations about intuitiveness of notation (see, e.g. https://mathoverflow.net/questions/366070/what-are-the-benef...), and I think that comes down to things being hard. Notation is almost always created by an expert who is making something useful to them. It's not clear that the correct expressive notation would even be the same as the correct layman's/teaching notation. Those two concepts may simply be at odds.
The linked MathOverflow answer was written by Dr. Terence Tao, and it really is an excellent dissection of the many needs levied upon notation. I find the two "Suggestiveness" items to be most related to concision as practices in research papers.
This bit from the tail end should not be missed, in our context:
> ADDED LATER: One should also distinguish between the "one-time costs" of a notation (e.g., the difficulty of learning the notation and avoiding standard pitfalls with that notation, or the amount of mathematical argument needed to verify that the notation is well-defined and compatible with other existing notations), with the "recurring costs" that are incurred with each use of the notation. The desiderata listed above are primarily concerned with lowering the "recurring costs", but the "one-time costs" are also a significant consideration if one is only using the mathematics from the given field X on a casual basis rather than a full-time one. In particular, it can make sense to offer "simplified" notational systems to casual users of, say, linear algebra even if there are more "natural" notational systems (scoring more highly on the desiderata listed above) that become more desirable to switch to if one intends to use linear algebra heavily on a regular basis.
2 replies →