Re:Problems of Traditional Math Notation (2004)
by contravariant on Monday November 06, 2017 @10:19AM
(#15636034)
I'm fairly sure infix notation is easier to read for associative operations. It's hard to beat the simplicity of a + (b + c) = (a + b) + c.
I'm also not convinced that (a x n ^ *) is going to catch on as a replacement for ax^n.
I think some kind of postfix notation could be nice for category theory though, it always confuses me that X -f-> Y -g-> Z is a diagram for gf, not fg.
It is easy to see that the postfix expression is just a composition of a bunch of functions "fac ln 2 ^ -1 ^", but not so easy in the infix case. It is also easy to derive the inverse of it: "-1 ^ 1/2 ^ exp fac^-1"