![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Just observed a curious thing. I'm using 2.9.2 on my linux.
And what I see: I println a set of two elements; and on different runs the order is different.
I was totally confused, but then noticed Parallelizable is being used (somehow I do not have source code installed; not the best time today).
So what I think I see is this: the nondeterminism in listing set elements. Just a two-element set.
I think this is beautiful. I believe we just beat the axiom of choice, like in the old article by A.Scedrov, where he demonstrated that even for the choice of two AC does not always hold (in his case, though, there was a circular "time" involved).
The future is now.
And what I see: I println a set of two elements; and on different runs the order is different.
I was totally confused, but then noticed Parallelizable is being used (somehow I do not have source code installed; not the best time today).
So what I think I see is this: the nondeterminism in listing set elements. Just a two-element set.
I think this is beautiful. I believe we just beat the axiom of choice, like in the old article by A.Scedrov, where he demonstrated that even for the choice of two AC does not always hold (in his case, though, there was a circular "time" involved).
The future is now.
