4 ms·
Equality can be philosophically troubling, but as a practical matter, what you care about is the indiscernibility of identicals, and if every property you use f
by juped 2y ago
Equality can be philosophically troubling, but as a practical matter, what you care about is the indiscernibility of identicals, and if every property you use follows from a universal property, then equal up to isomorphism is just equal. So every Rubik's cube is equal considered as a group of face rotations, and there's only one Rubik's cube, but if you care about chemical properties of sticker glue, they're no longer equal.
- deleted 2y ago[deleted]
- moomin 2y agoSomething the author points out: sometimes theorems directly rely on specific constructions of mathematical objects, which are then used to establish things that do not mention the construction.
- passion__desire 2y agoThe glue point reminds me of Benacerraf problem. https://en.m.wikipedia.org/wiki/Benacerraf%27s_identification_problem https://en.m.wikipedia.org/wiki/Benacerraf%27s_identificatio...
- Koshkin 2y ago> Equality can be philosophically troubling Which is probably why they are saying "equity" now