My main point is that even though there is theoretically an ambiguity there, the way it would be interpreted in the real world, by mathematicians working by hand (when presented in a way that people aren't specifically on the lookout for a "trick") would be overwhelmingly in favour of juxtaposition being evaluated before division. Maybe I'm wrong, but the examples given in those videos certainly seem to point towards the idea that people performing maths at a high level don't even think twice about it.

And while there is a theoretical ambiguity, I think any tool which is operating counter to how actual mathematicians would interpret a problem is doing the wrong thing. Sort of like a dictionary which decides to take an opinionated stance and say "people are using the word wrong, so we won't include that definition". Linguists would tell you the job of a dictionary should be to describe how the word is used, not rigidly stick to some theoretical ideal. I think calculators and tools like Wolfram Alpha should do the same with maths.

[–] vithigar@lemmy.ca 2 points 11 months ago (1 children)

Linguists would tell you the job of a dictionary should be to describe how the word is used, not rigidly stick to some theoretical ideal. I think calculators and tools like Wolfram Alpha should do the same with maths.

You're literally arguing that what you consider the ideal should be rigidly adhered to, though.

"How mathematicians do it is correct" is a fine enough sentiment, but conveniently ignores that mathematicians do, in fact, work at WolframAlpha, and many other places that likely do it "wrong".

The examples in the video showing inline formulae that use implicit priority have two things in common that make their usage unambiguous.
First, they all are either restating, or are derived from, formulae earlier in the page that are notated unambiguously, meaning that in context there is a single correct interpretation of any ambiguity.

Second, being a published paper it has to adhere to the style guide of whatever body its published under, and as pointed out in that video, the American Mathematical Society's style guide specifies implicit priority, making it unambiguous in any of their published works. The author's preference is irrelevant.

Also, if it's universally correct and there was no ambiguity in its use among mathematicians, why specify it in the style guide at all?

[–] Globulart@lemmy.world 2 points 11 months ago (1 children)

Mathematicians know wolfram is wrong and it was warned in my maths degree that you should "over bracket" in WA to make yourself understood. They tried hard to make it look like handwritten notation because reading maths from a word processor is typically tough and that creates the odd edge case like this.

1/2x does not equal 0.5x or it'd be written x/2 and I challenge you to find a mathematician who would argue differently. There's no ambiguity and claiming there is because anyone anywhere is having this debate is like claiming the world isn't definitely round because some people argue its flat.

Sometimes people are wrong.

[–] SmartmanApps@programming.dev 1 points 8 months ago

Mathematicians know wolfram is wrong

Woo hoo! I hadn't heard of anyone else pointing this out (rather, I'm always on the receiving end of "But Wolfram says..."), so thanks for this comment! :-) Now I know I'm not alone in knowing that Wolfram is wrong.

like claiming the world isn’t definitely round because some people argue its flat

OMG, I've run into so many people like that. They seem to believe (via saying "look, this blog says it's ambiguous too") that 2 wrongs make a right. No, you're both just wrong! Wolfram, Google, ChatGPT(!), the guy who should mind his own business, are all wrong.

Sometimes people are wrong

Yes, they are... and unfortunately a whole bunch of the time they're unwilling to face it and/or admit it, even when faced with Maths textbooks which clearly show what they said is wrong.