• prototact@lemmy.zip
    link
    fedilink
    English
    arrow-up
    18
    arrow-down
    1
    ·
    13 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
        ·
        13 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
            4
            ·
            13 days 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
        ·
        13 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.