Re: It's a Bianary Operation 00000001 ?

Posted By: Shade <wwight@wso.williams.edu>
Date: 11 June 2001, 23:57

In Response To: Re: It's a Bianary Operation 00000001 ? (Angus)

> The aformentioned Wolfram is connected with this Wolfram proposal.
> http://www.ams.org/html-math/wolfram-proposal-960531.html
> It's greek to me, maybe someone more net savvy can shed some light.

From what I can tell, the square subset symbol (I'll use "[" for now) defines a relationship between functions.

given two functions, "foo" and "bar"
foo [ bar (read "foo is a square subset of bar") if and only if foo(x) = bar(x) for all defined values of foo(x).

Unfortunately, that means that there have to be two functions or values or whatever -- one on either side of the symbol. Additionally, values wouldn't fall inside of the sqare subset symbol, but would follow it like after an equals sign. It was a great find, but I don't think it's the key to this answer.

Backtracking a bit:
Now wasn't someone talking about this being a sigma before? Doesn't sigma represent summation, and don't sigmas (though I've always seen them looking like stylized E's) actually contain the numbers that they sum up?