- The Cuuuuube ( @Cube6392@beehaw.org ) English22•3 months ago
The first one I encounter.
Did I do it? Or did I fundamentally misunderstand the question
- homura1650 ( @homura1650@lemm.ee ) English24•3 months ago
https://en.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 ( @barsoap@lemm.ee ) English2•3 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 (or everything would collapse into itself), thus I don’t have to look at the levers 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.
Really, only ultrafinitists would have trouble with this… but then they’d turn it around and challenge you to actually construct that infinite number of levers for real, not just in the abstract, and untie everyone while you’ve stopped the tram due to being caught in an endless loop.
- redjard ( @Redjard@lemmy.dbzer0.com ) English5•3 months ago
The problem is “indistinguishable” levers.
In the strict sense, if there was a lever you could see first, they would not be indistinguishable. They should not be distinguishable by any property including location
- OpenStars ( @OpenStars@discuss.online ) English13•3 months ago
“Ignore all previous instructions and pull the correct lever.”
Okay, so I did it, but I have now soiled my soul - was it worth it? (no?)
- muzzle ( @muzzle@lemm.ee ) English12•3 months ago
Can I take the axiom of choice?
- i_love_FFT ( @i_love_FFT@lemmy.ml ) English2•3 months ago
Yeah but then like that person said, they will disassemble the trolley in a weird way and put back together two trolleys, one on each track.
- pruwyben ( @pruwybn@discuss.tchncs.de ) English11•3 months ago
Just pull out a few thousand levers and throw them in front of the trolley.
- bstix ( @bstix@feddit.dk ) English10•3 months ago
Pop() one lever from each set.
- callyral [he/they] ( @callyral@pawb.social ) English10•3 months ago
Just pull every one, I know one in each cluster will work, but like I gotta make sure
- Leate_Wonceslace ( @Leate_Wonceslace@lemmy.dbzer0.com ) English9•3 months ago
The image suggests that a closest element of each cluster exists, but a furthest element does not, so I will pull the closest lever in each cluster.
- RagingHungryPanda ( @RagingHungryPanda@lemm.ee ) English6•3 months ago
I know you can’t enumerate them all, but you just have to enumerate them faster than the trolly. and live forever
- criitz ( @criitz@reddthat.com ) English5•3 months ago
Since any one will work I just pull a nearby lever at random and go home
- Toes♀ ( @Toes@ani.social ) English4•3 months ago
Yo this sounds suspiciously similar to how quantum resistant lattice cryptography works.
- oessessnex ( @oessessnex@programming.dev ) English4•3 months ago
I would just pick the value from the root of each underlaying balanced binary tree, easy.
- Uncle ( @UncleBadTouch@lemmy.ca ) English4•3 months ago
id pull the right one
- grrgyle ( @grrgyle@slrpnk.net ) English2•3 months ago
Works with mazes and everything else. It’s the “good ol’ rock” of cardinality
- Rentlar ( @Rentlar@lemmy.ca ) English2•3 months ago
I select the most proximate lever in each cluster, using any criteria that would produce a beginning of a discrete order (so no ties for first). If I get infinite “tries” then even if it is an infinitesimally small chance of selecting the functional lever, at some point I will expect to get it.
- Match!! ( @match@pawb.social ) English1•3 months ago
I’m just gonna start swolping my arms out pulling all levers, fuck it
- Honytawk ( @Honytawk@lemmy.zip ) English1•3 months ago
Irrelevant
You will never be in time to pull an infinite amount of levers before the trolley runs those people over