Comment on Tough Trolly Choices
homura1650@lemm.ee 5 months agoen.m.wikipedia.org/wiki/Axiom_of_choice
The axiom of choice asserts that it is possible to pick an arbitrary element from every set. Most of mathametics accepts this. However constructivist math does not.
barsoap@lemm.ee 4 months ago
Not as a general principle. That doesn’t mean that constructivists say that there can’t be sets for which the operation is valid. In particular enumeration is not a precondition for a thing to be pickable.
Now they say that the levers are indistinguishable, which means that their difference actually does not lie in their identities, but their relationship to the space they’re in, I don’t have to look at the levels I can look at the space. They say that “I can’t enumerate them all” but that means that there’s at least a countably infinite number of them.
So the solution is easy: I take the space, throw away all of it that doesn’t hold a that countably infinite subset, observe that the result is now isomorphic to the naturals, then cut it down to six, and throw a dice. There, not just arbitrary but even (a bit) random.