News for hackers. Stuff that matters.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by Grustaf on Monday February 24, 2020 @12:36PM (#22406200)
Reading math is hard because math is hard. The notation is incredibly powerful, intuitive and flexible. In all my years hanging around mathematicians I’ve never heard anyone complain about notation. After all, you are always free to use your own notation if you want, and if others like it they will follow.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by munificent on Monday February 24, 2020 @12:39PM (#22406225)
> In all my years hanging around mathematicians I’ve never heard anyone complain about notation.

There's likely to be some survivorship bias at play here.

Re:Legible Mathematics: Sketches of interactive arithmetic f... by Grustaf on Monday February 24, 2020 @12:48PM (#22406344)
No, since anyone is free to invent and use whatever notation they prefer. That’s how mathematical notation has evolved so far. People come up with new notation all the time.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by ivanbakel on Monday February 24, 2020 @01:05PM (#22406521)
"Free" here is a bit abstract. In what way is an undergraduate mathematician free to use their own notation, as opposed to the notation of their lecturer, textbooks, and examination papers? You can think in your own terms, but mathematics has to be taught and communicated with some kind of consensus - and unless you're lucky enough to be the first in the field, that consensus has preceeded you.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by Grustaf on Monday February 24, 2020 @02:35PM (#22407553)
Mathematics is completely meritocratic. If you invent a notation that is better than some existing notation, people WILL use it, without asking for your credentials.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by ivanbakel on Monday February 24, 2020 @04:10PM (#22408493)
I think that's a naive statement, and it's also not really relevant to the original point being made, which is that existing mathematical notation can be difficult to grok.

Inventing new notation does not help with existing material - and that material is what makes mathematicians. People who can put up with old notation, especially if it is bad, are much more likely to become mathematicians: that gives a survivorship bias.

Besides which, you are welcome to invent your own notation, but good luck trying to get anyone to adopt it, particularly if the mathematical field involved is studied enough. Inertia is very strong, even in very abstract disciplines - aren't physicists still treating current as flowing the wrong direction?

Re:Legible Mathematics: Sketches of interactive arithmetic f... by eru on Monday February 24, 2020 @12:52PM (#22406395)
Though when you are writing a paper, it's useful to pick standard notation.

But yeah, when working something mathematical out for the first time, picking / making up the right notation is crucial.

Re:Legible Mathematics: Sketches of interactive arithmetic f... by michaelbrave on Tuesday February 25, 2020 @05:35PM (#22418254)
sure unless you quit because you struggled to learn what was in place.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by julienreszka on Monday February 24, 2020 @10:48PM (#22410772)
Inertia
Re:Legible Mathematics: Sketches of interactive arithmetic f... by wtallis on Monday February 24, 2020 @12:50PM (#22406374)
The most likely place to be hanging around mathematicians is at a school, and that's also where you would expect to hear students complaining about notation as an impediment to learning.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by Someone on Monday February 24, 2020 @01:34PM (#22406879)
I don’t think it is a given that students are good judges about what impedes them from learning.

Having said that, I personally have never had issues with notation in mathematics nor did I have the impression others I helped had. IMO, abstraction is the main stumbling block, not notation.

Re:Legible Mathematics: Sketches of interactive arithmetic f... by Grustaf on Monday February 24, 2020 @02:14PM (#22407321)
I’m talking about the math institutions at the two universities I attended, I took a lot of phd classes. But same with students, the complaint has never been about notation. In fact the only people that seem to complain about notation is computer programmers who find it too loose, but that is precisely its power.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by Ar-Curunir on Monday February 24, 2020 @12:44PM (#22406293)
Are you kidding? Bad notation abounds in mathematics and theoretical computer science
Re:Legible Mathematics: Sketches of interactive arithmetic f... by Grustaf on Tuesday February 25, 2020 @08:03AM (#22412825)
Do you have any examples?
Re:Legible Mathematics: Sketches of interactive arithmetic f... by 317070 on Monday February 24, 2020 @01:23PM (#22406741)
Well, here you have one! Computer science notation is vastly superior to the common mathematical one. It's a different league of clarity.

But my papers need to follow the consensus, as I'm already trying to get a hard idea across to my reader who decides to spend 15 minutes to try and understand me, maybe.

So yes, then I need to introduce 15 symbols, half of them greek, and a number of operations between them using whatever line/subscript/superscript/brace is fashionable.

The biggest difference is in slides. In slides I try and can usually avoid the math notation. Because I am there talking it through, which makes notation less important and gives me an opportunity to switch to long variable names and everything a function, more akin to the software notation.

Re:Legible Mathematics: Sketches of interactive arithmetic f... by Grustaf on Monday February 24, 2020 @02:32PM (#22407527)
The only people I’ve ever heard having problems with math notation (as opposed to math concepts, which are often extremely abstract) are computer scientist and computer people in general. I think what irritates them is the fluidity and flexibility of most math notation. It’s not really machine readable since it really assumes you know what you’re doing. The same string of symbols can mean vastly different things in different contexts, which is precisely the power of math notation. Brevity is actually a goal in itself, it makes it possible to keep even larger constructions in your mind at the same time.

Consider einteinian notation, with implicit summation. Very terse, and very powerful when you know what you’re doing.

I’m sure CS notation is great for CS but trust me, math notation is pretty damn near optimal for math. Second only to theoretical physicists, mathematicians are probably the smartest of scientists.

Re:Legible Mathematics: Sketches of interactive arithmetic f... by invalidOrTaken on Monday February 24, 2020 @12:57PM (#22406450)
Ken Iverson complained so much about notation he came up with his own and won the Turing award.