Feb-27-2021, 06:59 PM
I had an idea for how we write shorthand for a few binary functions (I'll use + as my example).
When we write
On top of that for any function which isn't even binary, applying the same idea would yield the following shorthand for
When we write
x += 2, it really means
x = x + 2, more generally since we can write addition as a binary relation, we can define it as
fand then equivalently
x = f(x,2)in that case, why not write the original statement as
x f= 2?
On top of that for any function which isn't even binary, applying the same idea would yield the following shorthand for
x = g(x, a, b, c, ...)to be
x g= a,b,c,...What do you think?