Maybe my most controversial opinion: There would be no more worthwhile project in mathematics than a huge project to rename everything and rework notation to be more intuitive
Conversation
The problem is that what people really want is *more real pseudocode* but what math tool writers hear is *everything parsable as a context-free executable grammar*.
1
I just want more standardization, and mostly better names for things. Every idea named after a mathematician is a lost opportunity to make it more accessible.
2
4
