Comment on I just cited myself.

<- View Parent
barsoap@lemm.ee ⁨5⁩ ⁨months⁩ ago

0.999… = 1 requires more advanced algebra in a pointed argument,

You’re used to one but not the other. You convinced yourself that because one is new or unacquainted it is hard, while the rest is not. The rule I mentioned Is certainly easier that 2x/x that’s actual algebra right there.

It’s as if all math must be regarded as infinitely perfect, and any unbelievers must be cast out to the pyre of harsh correction

Why, yes. I totally can see your point about decimal notation being awkward in places though I doubt there’s a notation that isn’t, in some area or the other, awkward, and decimal is good enough. We’re also used to it, that plays a big role in whether something is judged convenient.

On the other hand 0.9999… must be equal to 1. Because otherwise the system would be wrong: For the system to be acceptable, for it to be infinitely perfect in its consistency with everything else, it must work like that.

And that’s what everyone’s saying when they’re throwing “1/3 = 0.333… now multiply both by three” at you: That 1 = 0.9999… is necessary. That it must be that way. And because it must be like that, it is like that. Because the integrity of the system trumps your own understanding of what the rules of decimal notation are, it trumps your maths teacher, it trumps all the Fields medallists. That integrity is primal, it’s always semantics first, then figure out some syntax to support it (unless you’re into substructural logics, different topic). It’s why you see mathematicians use the term “abuse of notation” but never “abuse of semantics”.

source
Sort:hotnewtop