When taking about limits, you can approach 0 from the positive or negative direction, which can give very different results. For example, lim cotx, x->0+ = ∞ while lim cotx, x->0- = -∞
I’m aware. Algebra is what I’m most interested in, and so when someone says “0” I think “additive identity of a ring” unless context makes the use obvious.
Edit: I’ve given it some thought, and I’m not convinced all algebras can fit in a set, because every non-empty set can have at least one algebra imposed upon them, and so the set of all algebras must have cardinality no less than the proper class of all sets. We also can’t have a set of all algebras (up to isomorphism) because iirc the surreal numbers are an algebra imposed on a structure that itself incorporates a proper class, and is thus incapable of being a set element.
Also in Math.
Unknowingly from the GP, that’s exactly where CE got it from.
What is gp/ce?
Grand parent / computer engineering
What algebra uses negative 0?
When taking about limits, you can approach 0 from the positive or negative direction, which can give very different results. For example, lim cotx, x->0+ = ∞ while lim cotx, x->0- = -∞
Speaking as a mathematician, it’s not really accurate to call that -0.
Yes, but it is infinitesimally close.
You also can’t call something infinity. People call stuff names. It is just important that they define their terms well enough.
Why do you think that?
Math is more than just the set of all algebras.
I’m aware. Algebra is what I’m most interested in, and so when someone says “0” I think “additive identity of a ring” unless context makes the use obvious.
Edit: I’ve given it some thought, and I’m not convinced all algebras can fit in a set, because every non-empty set can have at least one algebra imposed upon them, and so the set of all algebras must have cardinality no less than the proper class of all sets. We also can’t have a set of all algebras (up to isomorphism) because iirc the surreal numbers are an algebra imposed on a structure that itself incorporates a proper class, and is thus incapable of being a set element.