Comment on Tough Trolly Choices

finestnothing@lemmy.world ⁨4⁩ ⁨months⁩ ago

• MamboGator@lemmy.world ⁨4⁩ ⁨months⁩ ago

  I’d say whichever lever in each group feels the most like a “Steve” to me.

  source

  • Bonsoir@lemmy.ca ⁨4⁩ ⁨months⁩ ago

    I’d prefer the last lever I see in each group.

    source
  • grrgyle@slrpnk.net ⁨4⁩ ⁨months⁩ ago

    This feels like a Stanley Parable reference but it’s been a while…

    source
• wisha@lemmy.ml ⁨4⁩ ⁨months⁩ ago

  It might sound trivial but it is not! Imagine there is a lever at every point on the real number line; easy enough right? you might pick the lever at 0 as your “first” lever. Now imagine in another cluster I remove all the integer levers. You might say, pick the lever at 0.5. Now I remove all rational levers. You say, pick sqrt(2). Now I remove all algebraic numbers. On and on…

  If we keep playing this game, can you keep coming up with a choice of lever to pick indefinitely? If you think you can, that means you believe in the Axiom of Countable Choice.

  Believing the axiom of countable choice is still not sufficient for this meme. Because now there are uncountably many clusters, meaning we can’t simply play the pick-a-lever game step-by-step; you have to pick levers continuously at every instant in time.

  source

  • finestnothing@lemmy.world ⁨4⁩ ⁨months⁩ ago

    This would apply if I had to pick based on the set of levers in each group. By picking the first one I see I get out of the muck of pure math, I don’t care about the set as a whole, I pick the first lever I see, lever x. Doesn’t matter if it’s levers -10 to 10 real numbers only, my lever x could be lever -7, the set could be some crazy specific set of numbers, doesn’t matter I still pick the first one I see regardless of all the others in the set.

    Pure math is super fun, but reality is a very big loophole

    source

    • wisha@lemmy.ml ⁨4⁩ ⁨months⁩ ago

      But look at the picture: the levers are not all the same size- they get progressively smaller until (I assume from the ellipsis) they become infinitesimally small. If a cluster has this dense side facing you, then you won’t “see” a lever at all. You would only see a uniform sea of gray or whatever color the levers are. You now have to choose where to zoom in to see your first lever.

      source

      • finestnothing@lemmy.world ⁨4⁩ ⁨months⁩ ago

        They get smaller to show that they’re further away in the background not that they get infinitely small. If they were actually getting smaller, then sure, I grab an electron microscope, look at a field of levers, zoom until I see one, and pick that one, then somehow throw an electron sized lever, move to the next, smaller, physics defying lever group and just wait for quantum mechanics to do it’s thing I guess

        source

        • -> View More Comments
    • sushibowl@feddit.nl ⁨4⁩ ⁨months⁩ ago

      What if you couldn’t see all the levers. Like every set of levers was inside a warehouse with a guy at a desk who says “just tell me which one you want and I’ll bring it out for you.”

      source

      • finestnothing@lemmy.world ⁨4⁩ ⁨months⁩ ago

        The first one that that guy sees, or the first one listed when they tell me what levers they have in the warehouse

        source
  • sushibowl@feddit.nl ⁨4⁩ ⁨months⁩ ago

    It seems to me that, since the set of real numbers has a total ordering, I could fairly trivially construct some choice function like “the element closest to 0” that will work no matter how many elements you remove, without needing any fancy axioms.

    source

    • wisha@lemmy.ml ⁨4⁩ ⁨months⁩ ago

      If I give you the entire real line except the point at zero, what will you pick? Whatever you decide on, there will always be a number closer to zero then that.

      source

      • sushibowl@feddit.nl ⁨4⁩ ⁨months⁩ ago

        I guess I can pick another number x to be closest to but it has the same problem unless I can guarantee it’s in the set. And successfully picking a number in the set is the problem to begin with! Foiled again!

        source
  • wisha@lemmy.ml ⁨4⁩ ⁨months⁩ ago

    This reply applies to @Cube6392@beehaw.org comment too.

    source