▲ 1166 ▼ Big naturals is way easier to pronounce (sub.wetshaving.social) submitted 1 year ago by weird@sub.wetshaving.social to c/memes@lemmy.world 69 comments fedilink hide all child comments
[–] Zwiebel@feddit.org 49 points 1 year ago (2 children) Natural numbers include zero That is a divisive opinion and not actually a fact permalink fedilink source parent hideshow 4 child comments replies: [–] kogasa@programming.dev 5 points 1 year ago (1 child) 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. permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 3 points 1 year ago (2 children) positive interers with addition are not a monoid though, since the identity element of addition is 0 permalink fedilink source parent hideshow 4 child comments replies: [–] kogasa@programming.dev 3 points 1 year ago (1 child) Okay permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 2 points 1 year ago I hope that explains everything permalink fedilink source parent [–] davidagain@lemmy.world 2 points 1 year ago (1 child) They're not a complete algebraically closed field either, but I don't see you advocating for including e - i in the natural numbers! permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 1 point 1 year ago (1 child) yeah, this is kinda weak argument permalink fedilink source parent hideshow 2 child comments replies: [–] davidagain@lemmy.world 1 point 1 year ago 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. permalink fedilink source parent [–] lengau@midwest.social 0 points 1 year ago* Yeah I find it easier to just accept the terminology of natural numbers and whole numbers so we have simple names for both. permalink fedilink source parent
[–] kogasa@programming.dev 5 points 1 year ago (1 child) 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. permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 3 points 1 year ago (2 children) positive interers with addition are not a monoid though, since the identity element of addition is 0 permalink fedilink source parent hideshow 4 child comments replies: [–] kogasa@programming.dev 3 points 1 year ago (1 child) Okay permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 2 points 1 year ago I hope that explains everything permalink fedilink source parent [–] davidagain@lemmy.world 2 points 1 year ago (1 child) They're not a complete algebraically closed field either, but I don't see you advocating for including e - i in the natural numbers! permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 1 point 1 year ago (1 child) yeah, this is kinda weak argument permalink fedilink source parent hideshow 2 child comments replies: [–] davidagain@lemmy.world 1 point 1 year ago 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. permalink fedilink source parent
[–] SchwertImStein@lemmy.dbzer0.com 3 points 1 year ago (2 children) positive interers with addition are not a monoid though, since the identity element of addition is 0 permalink fedilink source parent hideshow 4 child comments replies: [–] kogasa@programming.dev 3 points 1 year ago (1 child) Okay permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 2 points 1 year ago I hope that explains everything permalink fedilink source parent [–] davidagain@lemmy.world 2 points 1 year ago (1 child) They're not a complete algebraically closed field either, but I don't see you advocating for including e - i in the natural numbers! permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 1 point 1 year ago (1 child) yeah, this is kinda weak argument permalink fedilink source parent hideshow 2 child comments replies: [–] davidagain@lemmy.world 1 point 1 year ago 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. permalink fedilink source parent
[–] kogasa@programming.dev 3 points 1 year ago (1 child) Okay permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 2 points 1 year ago I hope that explains everything permalink fedilink source parent
[–] SchwertImStein@lemmy.dbzer0.com 2 points 1 year ago I hope that explains everything permalink fedilink source parent
[–] davidagain@lemmy.world 2 points 1 year ago (1 child) They're not a complete algebraically closed field either, but I don't see you advocating for including e - i in the natural numbers! permalink fedilink source parent hideshow 2 child comments replies: [–] SchwertImStein@lemmy.dbzer0.com 1 point 1 year ago (1 child) yeah, this is kinda weak argument permalink fedilink source parent hideshow 2 child comments replies: [–] davidagain@lemmy.world 1 point 1 year ago 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. permalink fedilink source parent
[–] SchwertImStein@lemmy.dbzer0.com 1 point 1 year ago (1 child) yeah, this is kinda weak argument permalink fedilink source parent hideshow 2 child comments replies: [–] davidagain@lemmy.world 1 point 1 year ago 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. permalink fedilink source parent
[–] davidagain@lemmy.world 1 point 1 year ago 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. permalink fedilink source parent
[–] lengau@midwest.social 0 points 1 year ago* Yeah I find it easier to just accept the terminology of natural numbers and whole numbers so we have simple names for both. permalink fedilink source parent