• prototact@lemmy.zip
      link
      fedilink
      English
      arrow-up
      17
      arrow-down
      1
      ·
      2 days ago

      It’s not a matter of accuracy even, if for any two natural numbers x < y it holds x - y = 0 then x = y, which is a contradiction. So this is basic consistency requirement, basically sabotaging any effort to teach kids math.

        • SinAdjetivos@lemmy.world
          link
          fedilink
          arrow-up
          3
          ·
          2 days ago

          The answer would still not be 0 as 0 is clearly still well defined within that system. NaN, undefined, etc. would be acceptable answers though. Otherwise you define:

          for x > y, y - x = 0

          Which defines that x = y

          Resulting in the conditional x > y no longer being true

          Also x/0 isn’t NaN. It’s just poorly defined and so in computing will often return “NaN” because what the answer is depends on the numbering system used and accidentally switching/conflating numbering systems is a very easy way to create a mathmatical fallacy like the one above.

            • SinAdjetivos@lemmy.world
              link
              fedilink
              arrow-up
              3
              ·
              1 day ago

              Have you?!?! IEEE 754 defines NaN, but also both a positive and negative zero (+0, -0) in addition to infinities such that x/+0 = ∞, x/-0 = -∞ and the single edge case ±0/±0 = NaN

        • gandalf_der_12te@discuss.tchncs.de
          link
          fedilink
          arrow-up
          1
          ·
          2 days ago

          I was under the impression that there is in fact such a thing as a complete mathematical system (if you take “mathematical system” in the broader sense of “internally consistent system”), but such a system would be pretty limited and therefore rather useless.

    • Soup@lemmy.world
      link
      fedilink
      arrow-up
      2
      ·
      2 days ago

      Yea, or “the first twenty are free but the remaining five you don’t have to give are a problem”.