721

submitted 4 months ago* (last edited 4 months ago) by fossilesque@mander.xyz to c/science_memes@mander.xyz

41 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] bort@feddit.de 14 points 4 months ago

if your axioms support multiplication you’ll get division out of them for free

this is true... except when it isn't.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist

https://en.wikipedia.org/wiki/Ring_(mathematics)

[-] hydroptic@sopuli.xyz 12 points 4 months ago* (last edited 4 months ago)

Yeah I should maybe just have written

if your axioms support multiplication you’ll get division out of them for free^*^

^*^certain terms and conditions may apply. Limited availability in some structures, North Korea, and Iran. Known to the state of California to cause cancer or reproductive toxicity