Hacker News Reader

I always wondered why math notation hasn't been replaced by code.

While math notations can be interpreted in different ways, code is going to give an unambiguous result.

Why don't mathematicians, especially those writing in machine learning or computer science domains, do this? Is it just a problem of agreeing on a common language?

View on HN

You mean, "Why don't they use a language you understand, instead of one you don't?"... Why expect they should?

I don't think math notations can be interpreted in different ways usually is right. That would defeat the purpose of using them, if the meaning wasn't exactly clear. And maths notation is more compact, a lot more. Even assuming a translation between the 2 always is possible or makes sense.

If math notation was unambiguous, automatic theorem provers would take that as input instead of inventing their own languages.

Reply on news.ycombinator.com