weird@sub.wetshaving.social to memes@lemmy.world · 8 days agoBig naturals is way easier to pronouncesub.wetshaving.socialimagemessage-square69linkfedilinkarrow-up11.18Karrow-down19
arrow-up11.17Karrow-down1imageBig naturals is way easier to pronouncesub.wetshaving.socialweird@sub.wetshaving.social to memes@lemmy.world · 8 days agomessage-square69linkfedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up5·8 days agoYeah, it’s a matter of convention rather than opinion really, but among US academia the convention is to exclude 0 from the naturals. I think in France they include it.
minus-squareSchwertImStein@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up3·8 days agopositive interers with addition are not a monoid though, since the identity element of addition is 0
minus-squareLog in | Sign up@lemmy.worldlinkfedilinkarrow-up2·7 days agoThey’re not a complete algebraically closed field either, but I don’t see you advocating for including e - i in the natural numbers!
minus-squareSchwertImStein@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up1·7 days agoyeah, this is kinda weak argument
minus-squareLog in | Sign up@lemmy.worldlinkfedilinkarrow-up1·6 days agoNot sure if you’re conceding the monoid part or not. We can agree that the natural numbers are a semigroup, I think, which should make us all happy.
minus-squareSchwertImStein@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up2·7 days agoI hope that explains everything
Yeah, it’s a matter of convention rather than opinion really, but among US academia the convention is to exclude 0 from the naturals. I think in France they include it.
positive interers with addition are not a monoid though, since the identity element of addition is 0
They’re not a complete algebraically closed field either, but I don’t see you advocating for including e - i in the natural numbers!
yeah, this is kinda weak argument
Not sure if you’re conceding the monoid part or not.
We can agree that the natural numbers are a semigroup, I think, which should make us all happy.
Okay
I hope that explains everything