News for hackers. Stuff that matters.
Re:Problems of Traditional Math Notation (2004) by anigbrowl on Sunday November 05, 2017 @03:00PM (#15631249)
Typically, mathematicians will just say it doesn't matter, because by context it makes it clear to humans. I disagree. I think it introduces lots of mis-understanding and garbage into our minds, especially those who have not studied symbolic logic and proof systems (which, is actually majority of mathematicians). The wishy-washy, ill-defined, subconscious, notions and formulas make logical analysis of math subjects difficult. Of course, mathematicians simply grew up with this, got used to it, so don't perceive any problem. They'd rather attribute the problem to the inherent difficulty of math concepts.

You could substitute quite a lot of other things for 'mathematicians/math' and this would ring equally true. I've noticed that people often defend the system they learned within even (or perhaps because?) when its limitations are creating a barrier for potential new entrants.

Re:Problems of Traditional Math Notation (2004) by yorwba on Monday November 06, 2017 @12:35AM (#15633625)
For most of mathematics, potential new entrants would be mathematicians from a different field. Then using familiar notation is actually helping them understand the new concepts, even if it erects a barrier for people with zero background knowledge. But if you have zero background, you'd be better off starting from the fundamentals (and learning the prevalent notation on the way) rather than diving straight into deeper mathematics.

In that, notation is really no different from a specialized language. A sentence like "a monad is a monoid in the category of endofunctors" doesn't make sense if you don't know what those strange words mean; but if you understand the concepts, you probably also know what they are called.

Re:Problems of Traditional Math Notation (2004) by Grustaf on Monday November 06, 2017 @03:41PM (#15638822)
It doesn't create a barrier, except possibly for people from CS. I learned math before programming and it really struck me how much more OCD programmers are. Math notation is fine, ambiguity is not an issue, it's a strength. People only have philosophical objections to it.

Contrived examples of ambiguous expressions like in the article are pointless, since there are always non-ambiguous ways to write the same thing.

The flexibility of math notation makes it flow much better, you can vary the level of verbosity to suit the context. There are even conventions around variables names, so that no one would misunderstand an expression such as f = x^2 and think that f is a constant.

It's a beautiful, intuitive, highly efficient system evolved over millennia. It might not be perfect but if someone had come up with an improvement it would have been implemented already.

Re:Problems of Traditional Math Notation (2004) by taeric on Monday November 06, 2017 @12:12AM (#15633563)
In this case, it is less about defending the system and more just confusion that these would be the sticking points.

I mean, I get that there is a lot to be confused by. There is a lot going on. But the points being argued here seem irrelevant to the point of someone just trying to get pedantry points.

If anything, I think everyone should be encouraged to create their own notation and have fun with it. A large part of the challenge will be translating it between their notation and a common one.

Re:Problems of Traditional Math Notation (2004) by protonfish on Monday November 06, 2017 @07:07AM (#15634888)
I understand that some symbolic systems are meant to be parsed by a machine (programming languages) and others are designed to be understood by people (spoken language) but mathematical notation is unique in that it does neither.