konkin

3 ms·

1. 1.▲
   by konkin 5y ago

   > Try out your notation, which I will agree can be unambiguous in a technical sense, but will quickly become unreadable for actual human beings, on a few modest examples. It's perfectly legible to me and I use it daily in my (mathe
2. 2.▲
   by konkin 5y ago

   >Hah, no, "-> -> a b c" is not easy to parse, except for a computer. going are people not to read easily. It's a silly argument that prefix is fundamentally easier for humans when it disrupts the flow even in your ex
3. 3.▲
   by konkin 5y ago

   >Why do mathematicians need to be told what notation to use by non-mathematicians when their notations (note the plural) are in wide, and apparently successful, use today? The same reason why geometers needed to be told to start using Ar
4. 4.▲
   by konkin 5y ago

   Math notation is hopelessly stuck in the 19th century and needs an update to the 20th. Polish notation with operators of known arity is an excellent way to ease natural scientists/mathematicians into a modern tree based grammar for mat