@fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish • 1 year agoI just cited myself.mander.xyzimagemessage-square222fedilinkarrow-up1853arrow-down10
arrow-up1853arrow-down1imageI just cited myself.mander.xyz@fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish • 1 year agomessage-square222fedilink
minus-square@Sop@lemmy.blahaj.zonelinkfedilinkEnglish23•1 year agoThat’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
minus-square@JohnDClay@sh.itjust.workslinkfedilinkEnglish3•1 year agoThere are versions of math where that isn’t true, with infinitesimals that are not equal to zero. So I think it is an axium rather than a provable conclusion.
minus-squareJackRiddlelinkfedilinkEnglish6•1 year agoThose versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1
That’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
There are versions of math where that isn’t true, with infinitesimals that are not equal to zero. So I think it is an axium rather than a provable conclusion.
Those versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1