• cheese_greater@lemmy.worldOP
      link
      fedilink
      arrow-up
      1
      ·
      1 year ago

      Is it fair to suggest or infer that in order for division to be possible, the divisor must be partitive of the dividend? Like 6 can never be partitive of 14 in the whole number sense such that axiomatically 14/6 = undefined in some vague sense that I can be damned to elaborate or defend currently?

      • megane-kun@lemm.ee
        link
        fedilink
        English
        arrow-up
        5
        ·
        edit-2
        1 year ago

        Like 6 can never be partitive of 14 in the whole number sense such that axiomatically 14/6 = undefined in some vague sense that I can be damned to elaborate or defend currently?

        If I am understanding what you’re trying to say, then yes, 14/6 does not have a solution in the sets of natural numbers, whole numbers (natural numbers and zero), and integers (whole numbers and the negative numbers). This is because 14 is not a multiple of 6.

        However it does have a solution in the set of rational numbers and by extension, the real numbers. Thus, if we’re talking about real numbers, 14/6 does have a solution: 2.3̅3 (two point three three repeating).

        I recognize that I’m veering very closely, if not already have gone to explaining this in axiomatic terms. I apologize.

        At any rate, if you’re wondering if there is any similar extensions to the real numbers that can accommodate 1/0, as far as I understand, such extensions, if they do exist in the way you want them to behave, would still run into the same problems other replies to your post have described. Because of those difficulties (among others), in the two extensions I’ve looked at (hyperreals and the surreals), division by zero (and thus, 1/0) is still impossible in general, but are allowable in certain circumstances corresponding to the situations where y/x at the limit as x→0 exists or is +infinity or -infinity (but not both). However, as far as I understand it, in the real projective line, where there is a “point at infinity” added, you can define 1/0 as being that point at infinity.

        EDIT: added some important clarification.

          • megane-kun@lemm.ee
            link
            fedilink
            English
            arrow-up
            2
            ·
            1 year ago

            Thanks!‌ I hope my reply has helped you somehow. I think that “point at infinity” concept from the real projective line (which I added as an edit) is the closest to a “solution” to your question. It’s likely not an end-all-be-all solution to 1/0 though, since, as far as I understand it, it “collapses” -infinity and +infinity to just one point at infinity, which might not be a desired property in certain circumstances.

            • cheese_greater@lemmy.worldOP
              link
              fedilink
              arrow-up
              2
              ·
              1 year ago

              I so wish I had taken like advanced maths + calculus and not had a narcissistic tormenter of a parent so I could actually think and digest math. None of the above “equation” would have been possible and I mourn that fact but I hope to incrementally refine my thinking and possibly approach that level over time if I can by diffusion like in this thread (a little bit)

              • megane-kun@lemm.ee
                link
                fedilink
                English
                arrow-up
                1
                ·
                1 year ago

                It is possible to grasp (relatively) advanced math like in this discussion via self-study. I myself came from a different background (engineering) though I’ve been somehow interested in math since high school. I wish I can recommend some material for studying such fields of math from a non-math background (at least at the start) but maybe that should be saved for a separate thread. I do remember encountering such a thread in the other place, but it won’t hurt much to ask for it here (if there isn’t already such a thread here).