Math is an extremely useful tool. My interface with it should be 100% prioritized toward effectively using that tool. I'm glad we don't call them Turning machines for instance.

You talk like it fell out of the sky. Every result you've ever used was proposed by a mathematician.

> I'm glad we don't call them Turning machines for instance.

Are you referring to a Turing machine? Why are you 'glad' it is not named after someone?

Your bizarre position seems to be that not knowing its history somehow makes you more effective? This is honestly the dumbest take I have read all week.