Wow, so disagreeing with the point of this article immediately provokes a typed-out condescending sigh from you? That's worth a sigh more than anything. Furthermore, I was a mathematics person first, and got into computer science later, so I'm not a "CS person" insisting on calling it an abuse of notation.
I have two points:
Firstly, although the article does a good job making the point that there's no reason to get on programming languages' case for using formalized, ad hoc syntax, it does a terrible job of backing up it's actual title. The bottom line is the equals sign is very closely associated with the concept of RST equivalence in mathematics, to the point where a specificity such as the symbol for the isomorphism (which, ironically, he used as a counterexample) is abstracted away, because isomorphism is an RST relation. If two things are isomorphic, they are, in some sense, the same (or equal), so use of an equals sign is natural.
Secondly, if you had read the first source you posted, maybe you wouldn't have claimed programmers/CS people were the ones pedantically insisting on calling it an abuse of notation since, on page 6, Bruijin writes, "The trouble is, of course, due to abusing the equality sign =."[1] Furthermore, after defining the parameters around the use of the O-symbol, he also writes, on page 7, "It is obvious that the sign = is really the wrong sign for such relations, because it suggests symmetry, and there is no such symmetry."[1]
I have two points:
Firstly, although the article does a good job making the point that there's no reason to get on programming languages' case for using formalized, ad hoc syntax, it does a terrible job of backing up it's actual title. The bottom line is the equals sign is very closely associated with the concept of RST equivalence in mathematics, to the point where a specificity such as the symbol for the isomorphism (which, ironically, he used as a counterexample) is abstracted away, because isomorphism is an RST relation. If two things are isomorphic, they are, in some sense, the same (or equal), so use of an equals sign is natural.
Secondly, if you had read the first source you posted, maybe you wouldn't have claimed programmers/CS people were the ones pedantically insisting on calling it an abuse of notation since, on page 6, Bruijin writes, "The trouble is, of course, due to abusing the equality sign =."[1] Furthermore, after defining the parameters around the use of the O-symbol, he also writes, on page 7, "It is obvious that the sign = is really the wrong sign for such relations, because it suggests symmetry, and there is no such symmetry."[1]
1. https://shreevatsa.wordpress.com/2014/03/13/big-o-notation-a...