I wrote a (very long) blog post about those viral math problems and am looking for feedback, especially from people who are not convinced that the problem is ambiguous.
It's about a 30min read so thank you in advance if you really take the time to read it, but I think it's worth it if you joined such discussions in the past, but I'm probably biased because I wrote it :)
Correct, the definitions and the rules define the semantics.
...the rules of Maths. In fact, when we are first teaching proofs to students we tell them they have to write next to each step which rule of Maths they have used for that step.
Apparently a lot of people do! But yes, unambiguous, and therefore the article is wrong.
Nope. An obelus means divide, and "strong juxtaposition" means it's a Term, and needs The Distributive Law applied if it has brackets.
There is no such thing as weak juxtaposition. That is another reason that the article is wrong. If there is any juxtaposition then it is strong, as per the rules of Maths. You're just giving me even more ammunition at this point.
You just gave me yet another reason it's wrong - it talks about "weak juxtaposition". Even less likely to ever read it now - it's just full of things which are wrong.
How about read my damn thread which contains all the definitions and proofs needed to prove that this article is wrong? You're trying to defend the article... by giving me even more things that are wrong about it. 😂