this post was submitted on 12 Dec 2023
857 points (96.4% liked)
Memes
45745 readers
1677 users here now
Rules:
- Be civil and nice.
- Try not to excessively repost, as a rule of thumb, wait at least 2 months to do it if you have to.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Syntax varies, semantics doesn't. e.g. in some places colon is used for division, in others an obelus, but regardless of which notation you use, the interpretation of division is immutable.
They might use different notation, but the semantics is universal.
Writing Maths notation is a way of using Maths, and has to be interpreted according to the rules of Maths - that's what they exist for!
No, you can't prove that some notation is correct and an alternative one isn't. It's all just convention.
Maths is pure logic. Notation is communication, which isn't necessarily super logical. Don't mix the two up.
I never said any of it wasn't correct. It's all correct, just depends on what notation is used in your country as to what's correct in your country.
No, it's all defined. In Australia we use the obelus, which by definition is division. In European countries they use colon, which by definition in those countries means division. 1+1=2 by definition. If you wanna say 1+1=2 is just a convention then you don't understand how Maths works at all.
What you are saying is like saying "there's no such things as dictionaries, there are no definitions, only conventions".
Don't mix up super logical Maths notation with "communication" - it's all defined (just like words which are used to communicate are defined in a dictionary, except Maths definitions don't evolve - we can see the same definitions being used more than 100 years ago. See Lennes' letter).
Yeah, and when you read a paper that contains math, you won't see a declaration about what country’s notation is used for things that aren't defined. So it's entirely possible that you don't know how some piece of notation is supposed to be interpreted immediately.
Of course if there's ambiguity like that, only one interpretation is correct and it should be easy to figure out which one, but that's not guaranteed.
Not hard to work out. It'll be , for decimal point and : for division, or . for decimal point and ÷ or / for division, and those 2 notations never get mixed with each other, so never any ambiguity about which it is. The question here is using ÷ so there's no ambiguity about what that means - it's a division operator (and being an operator, it is separating the terms).