• agamemnonymous@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      9
      ·
      6 months ago

      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- = -∞

    • barsoap@lemm.ee
      link
      fedilink
      English
      arrow-up
      4
      ·
      6 months ago

      IEEE 754

      I mean it’s an algebra, isn’t it? And it definitely was mathematicians who came up with the thing. In the same way that artists didn’t come up with the CGI colour palette.

      • Leate_Wonceslace@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        3
        arrow-down
        2
        ·
        edit-2
        6 months ago

        I’m not familiar with IEEE 754.

        Edit: I think this sort of space shouldn’t be the kind where people get downvoted for admitting ignorance honestly, but maybe that’s just me.

        • Gobbel2000@programming.dev
          link
          fedilink
          English
          arrow-up
          2
          ·
          6 months ago

          IEEE 754 is the standard to which basically all computer systems implement floating point numbers. It specifically distinguishes between +0 and -0 among other weird quirks.

        • barsoap@lemm.ee
          link
          fedilink
          English
          arrow-up
          2
          ·
          edit-2
          6 months ago

          It’s a wonderful world where 1 / 0 is ∞ and 1 / -0 is -∞, making a lot of high school teachers very very mad. OTOH it’s also a very strange world where x = y does not imply 1 / x = 1 / y. But it is, very emphatically, an algebra.

          Mostly it’s pure numerology, at least from the POV of most of the people using it.

      • Leate_Wonceslace@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        1
        ·
        edit-2
        6 months ago

        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.

        • barsoap@lemm.ee
          link
          fedilink
          English
          arrow-up
          1
          ·
          6 months ago

          Depends, I’d say. Is your set theory incomplete or inconsistent?