|
|
Tony Orlow wrote:
> When I say there are problems with the axiom of extensionality, I refer
> to the application of the fact that two sets, when viewed statically,
> contain the same elements. Yes, that means that, without regard to time
> or order or anything else, the sets are, theoretically, the same. I
> don't dispute that. But, I do dispute the application of that fact to
> the exclusion of specifically stated time constraints and their
> resulting definition of iterations. I am not saying that the axiom
> itself is wrong, as a definition. It just doesn't capture the essence of
> what's going on. Static sets are not sequences of arithmetical events.
> Do you disagree?
Okay, fair enough. But then you need to find axioms and definitions
that capture your notion of dynamic sets.
MoeBlee
|
|