fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 6 months agoI just cited myself.mander.xyzexternal-linkmessage-square235fedilinkarrow-up1820arrow-down141
arrow-up1779arrow-down1external-linkI just cited myself.mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 6 months agomessage-square235fedilink
minus-squareSop@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up24·6 months agoThat’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
minus-squareJohnDClay@sh.itjust.workslinkfedilinkEnglisharrow-up3arrow-down7·6 months 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-squareJack Riddle@sh.itjust.workslinkfedilinkEnglisharrow-up7·6 months agoThose versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1
minus-squareFeathercrown@lemmy.worldlinkfedilinkEnglisharrow-up2·6 months agoThat’s not what “axiom” means
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
That’s not what “axiom” means