• Tilgare@lemmy.world
    link
    fedilink
    English
    arrow-up
    142
    ·
    9 months ago

    The bait and switch on this one really caught me off guard and gave me a great laugh. Good post.

  • edinbruh@feddit.it
    link
    fedilink
    English
    arrow-up
    79
    ·
    9 months ago

    Finite games are all definite, either player 1 as a winning strategy or player 2 has, all other “outcomes” are just mental illnesses. Get over it, math doesn’t care about your feelings.

  • TomMasz@piefed.social
    link
    fedilink
    English
    arrow-up
    41
    ·
    9 months ago

    I thought I understood sets until I saw a show on PBS where a guy showed how there were different infinities using them and I realized I knew nothing.

  • davidgro@lemmy.world
    link
    fedilink
    English
    arrow-up
    24
    ·
    9 months ago

    On the other hand, he Doesn’t think you can double a sphere by cutting it into 5 pieces and reassembling them, so there’s that.

  • Zizzy@lemmy.blahaj.zone
    link
    fedilink
    English
    arrow-up
    20
    ·
    9 months ago

    Ok, i dont understand this level of math, but cant you force a win in a 2 player game of non-infinite moves? Why wouldnt you be able to? Genuinely asking

      • Venator@lemmy.nz
        link
        fedilink
        English
        arrow-up
        3
        ·
        edit-2
        9 months ago

        You could design a different game that does though. E.g. A Tic-tac-toe variant but the player who starts looses if they don’t get 3 in a row by the end of the game.

          • Venator@lemmy.nz
            link
            fedilink
            English
            arrow-up
            3
            ·
            edit-2
            9 months ago

            You can force a win in a specific 2 player game of non-infinite moves(if it has no draw condition). But yeah , it doesn’t apply generally to any 2 player game of non-infinite moves. And the converse also doesn’t apply generally.

  • FishFace@piefed.social
    link
    fedilink
    English
    arrow-up
    17
    ·
    9 months ago

    Hey now, just because someone isn’t pro-choice doesn’t mean they’re pro-AD. Honestly, people nowadays think everyone who disagrees with them on one thing must have every unhinged belief under the sun.

      • FishFace@piefed.social
        link
        fedilink
        English
        arrow-up
        12
        ·
        9 months ago

        The axiom of determinacy, which implies some of (or all?) of the statements in op, and is more or less stated at the end. AD implies ~AC but they’re not equivalent.

      • tetris11@feddit.uk
        link
        fedilink
        English
        arrow-up
        2
        ·
        edit-2
        9 months ago

        If I open up a pack of biscuits, and we each take turns eating a biscuit, AD says that there’s a dominant strategy that can ensure that I eat the last biscuit. (e.g. there’s only 1 biscuit; I win, or there’s an odd number of biscuits; I win)

        i.e. AD says you can rig games like this from the start

    • woodenghost [comrade/them]@hexbear.net
      link
      fedilink
      English
      arrow-up
      4
      ·
      9 months ago

      Sure, why just this morning I got me a second car by choosing five sets of points of my old car and rotating them around a bit in my garage. No, you can’t see it, it was uh… a non constructive job. (jk I don’t own a car, or a garage for that matter)

    • tetris11@feddit.uk
      link
      fedilink
      English
      arrow-up
      6
      ·
      edit-2
      9 months ago

      For anyone wondering what this is

      Bertrand Russell coined an analogy: for any (even infinite) collection of pairs of shoes, one can pick out the left shoe from each pair to obtain an appropriate collection (i.e. set) of shoes; this makes it possible to define a choice function directly.

      For an infinite collection of pairs of socks (assumed to have no distinguishing features such as being a left sock rather than a right sock), there is no obvious way to make a function that forms a set out of selecting one sock from each pair without invoking the axiom of choice

      So mathematicians always make the assumption that they can make a set from an infinite list of other non-empty sets based on this hunch, rather than any concrete choice function. And then they build mansions on top of this foundation, and use it to score chicks and ferraris, smh

  • Venator@lemmy.nz
    link
    fedilink
    English
    arrow-up
    6
    ·
    9 months ago

    It’s been a while since I’ve done products of sets, but what if one of the sets in the product is a set of empty sets?