• KnilAdlez [none/use name]@hexbear.net
    link
    fedilink
    English
    arrow-up
    18
    ·
    2 months ago

    I now vote for defederation due to this pedantic response. Division by zero is undefined under the rational number set which is what pretty much anyone on earth will think of. It does not reach the same value as you take the limit from either side. It’s not a convention it is an axiom. Math is not arbitrary, it must all be proven n^0=1 is not a convention, it is proven in many different ways.

    • naevaTheRat@lemmy.dbzer0.com
      link
      fedilink
      English
      arrow-up
      5
      ·
      edit-2
      2 months ago

      I guess that’s fair, I’m being a bit sloppy. We prove things inside of axioms we accept, and can develop systems consistent with different sets of axioms but there’s not necessarily any reason to choose one set over another. Doesn’t 0^0 come from Euler being like “shut up it works nicer this way” though? or was it Russel?

      We can’t prove our axioms, and the rational number set isn’t more true than anything else, it just tends to be more useful in normal arse problems.

        • naevaTheRat@lemmy.dbzer0.com
          link
          fedilink
          English
          arrow-up
          5
          ·
          2 months ago

          And anyone who’s cared for a baby would tell you that lullabies are the most useful sort of music but they’re hardly what I want to talk about when music comes up :P

      • booty [he/him]@hexbear.net
        link
        fedilink
        English
        arrow-up
        4
        ·
        2 months ago

        Does everyone have to provide a disclaimer on every comment they ever make regarding math? (Note: This comment refers only to the system of mathematics every single person reading this comment is familiar with. If you make up different rules then those rules will apply instead of the ones I’m talking about.)

        • naevaTheRat@lemmy.dbzer0.com
          link
          fedilink
          English
          arrow-up
          3
          ·
          2 months ago

          I didn’t intend any hostility, the world is just nuanced and really fun. I often see assertions of rules of thumb presented as factual statements without any hint of further complexity existing and it makes me sad as people read that and think the world is simple and makes sense.

          It’s much more true to say something like “usually we can’t divide by zero” and that leaves room for someone curious to go “huh!” and scurry off on their own and learn something fascinating.