FTA: > Ultimately every named construct or concept in pure mathematics needs to have a place in our symbolic language.
The reason your plea confuses me is that I don't understand the social value in encoding all _public_ "named construct or concept" in a _private_ "symbolic language" that only one proprietary piece of software that can be monetized by one corporation can benefit from?
Why would we want to do that?
The mathematicians and software engineers at Wolfram Research should be compensated for their efforts, just like the authors and publishers of textbooks. And I'd much rather pay for my textbooks than see them filled with ads.
As a lover of mathematics I'm happy to see people writing and thinking about the ideas in this post. It's a noble pursuit.
It's not a noble pursuit when the gain is too one-sided. Wolfram and his company would accrue to much material advantage at the expense of an open and public mathematical discourse. This much is plain to see, watch out for rhetoric of the kind on display in that post!