• barsoap@lemm.ee
        link
        fedilink
        English
        arrow-up
        2
        ·
        edit-2
        5 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@lemmy.dbzer0.com
      link
      fedilink
      English
      arrow-up
      5
      ·
      5 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@discuss.online
    link
    fedilink
    English
    arrow-up
    15
    ·
    5 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?)

  • RagingHungryPanda@lemm.ee
    link
    fedilink
    English
    arrow-up
    12
    ·
    5 months ago

    I know you can’t enumerate them all, but you just have to enumerate them faster than the trolly. and live forever

  • mcz@lemmy.world
    link
    fedilink
    English
    arrow-up
    8
    ·
    5 months ago

    Help me, I assumed that it’s possible but then two men appeared to decompose the train and put the parts back together into two copies of the original train

  • Leate_Wonceslace@lemmy.dbzer0.com
    link
    fedilink
    English
    arrow-up
    8
    ·
    5 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.

  • Toes♀@ani.social
    link
    fedilink
    English
    arrow-up
    5
    ·
    5 months ago

    Yo this sounds suspiciously similar to how quantum resistant lattice cryptography works.