• @[email protected]
    link
    fedilink
    English
    77
    edit-2
    9 months ago

    And mathematicians divide by multiplying!

    In formal definitions of arithmetics, division can be defined via multiplication: as a simplified example with real numbers, because a ÷ 2 is the same as a × 0.5, this means that if your axioms support multiplication you’ll get division out of them for free (and this’ll work for integers too, the definition is just a bit more involved.)

    Mathematicians also subtract by adding, with the same logic as with division.

      • @[email protected]
        link
        fedilink
        English
        13
        edit-2
        9 months ago

        Yeah I should maybe just have written

        if your axioms support multiplication you’ll get division out of them for free*

        *certain terms and conditions may apply. Limited availability in some structures, North Korea, and Iran. Known to the state of California to cause cancer or reproductive toxicity

    • @[email protected]
      link
      fedilink
      English
      12
      edit-2
      9 months ago

      Right. The cells are dividing in half, which would be represented in math form by 1/0.5 = 2. Dividing by one half is the same thing as multiplying by 2, and division in general is really just a visually simplified way to multiply by a fraction of 1.

      Any time you divide by some fraction of 1, you will necessarily end up with a larger number because you’re doubling that division which reverses it back into multiplication, much in the same way as a negative x negative = positive. If that makes sense.

      A mathematician would not be bothered by this. A high schooler taking algebra I might be though, if you phrased it the same way this post did.

    • Kogasa
      link
      fedilink
      English
      89 months ago

      a/b is the unique solution x to a = bx, if a solution exists. This definition is used for integers, rationals, real and complex numbers.

      Defining a/b as a * (1/b) makes sense if you’re learning arithmetic, but logically it’s more contrived as you then need to define 1/b as the unique solution x to bx = 1, if one exists, which is essentially the first definition.

      • @[email protected]
        link
        fedilink
        English
        49 months ago

        That’s me, a degree-holding full time computer scientist, just learning arithmetic I guess.

        Bonus question: what even is subtraction? I’m 99% sure it doesn’t exist since I’ve never used it, I only ever use addition.

              • @[email protected]
                link
                fedilink
                English
                29 months ago

                Computers don’t subtract, and you can’t just add a negative, a computer can’t interpret a negative number, it can only store a flag that the number is negative. You need to use a couple addition tricks to subtract to numbers to ensure that the computer only has to add. It’s addition all the way down.

                • Kogasa
                  link
                  fedilink
                  English
                  29 months ago

                  What does this have to do with computers?

        • @[email protected]
          link
          fedilink
          English
          2
          edit-2
          9 months ago

          what even is subtraction?

          It’s just addition wearing a trench coat, fake beard and glasses

      • @[email protected]
        link
        fedilink
        English
        1
        edit-2
        9 months ago

        Defining a/b as a * (1/b) makes sense if you’re learning arithmetic

        The example was just to illustrate the idea not to define division exactly like that