Mathematicians should stop naming things after each other

Some profiling would show that names increase the difficulty of math by 0.001%. I don’t see an issue here.

This is the nature of mathematics.

Statements and theorems are extremely dense with information, where every word might have a it's own area of study.

Of a problem may begin with something benign like, the following function is blah blah, but even then, the term function is well defined, and you may need to know the intricacies of functions to be able to solve the problem.

I fear the alternative would be all the good names becoming heavily overloaded: https://en.wikipedia.org/wiki/Normal.

There's an equally annoying problem in software engineering at large corporations (aka Google), where hundreds of services you need to know about are named with some cute name that gives you no idea what the thing actually is.

Sounds reasonable. Let's call this new policy "Ball's Law".