After yesterday’s exertions on the golf course, I took it a bit easier today. Mostly I worked on Darths & Droids story planning, but I took a lunch break to walk up to the local shops and get a chicken burger for lunch.
I also had some interesting discussions with friends in our online chat. Some of it was Darths & Droids story planning, so I won’t go into that further. But somehow we segued into a discussion of the phasing rules in Magic: the Gathering – I think prompted by Mark Rosewater’s latest design article, in which he says:
We’re experimenting with making phasing deciduous.
Okay, this probably makes no sense if you don’t know the early history of Magic: the Gathering, but bear with me. Phasing is a rule that first appeared in the game in 1996, but which was considered too confusing and cumbersome to use again. But now they’re playing with bringing it back, at least in a limited way. (“Deciduous” in the above quote means a rule mechanic that they always consider available to include in new card sets if it makes sense for that set.)
Phasing, in essence, is an effect that makes cards in play behave as though they are not in play – they “phase out” for a turn and then reappear. While phased out, nothing can affect them, nor can the phased out card affect anything else. It’s as if they are briefly shunted to another reality.
In the ensuing discussion, I said they shouldn’t merely have one “alternate reality” – things should be able to phase into specific other realities, of which there could be several… or even infinitely many. Then if you have two infinite sets of alternate realities orthogonal to one another, and you reference them by real numbers (i.e. all the integers, rationals, algebraic irrationals, and transcendental numbers), you could phase all of your creatures in such a way that you could duplicate them using the Banach-Tarski theorem. (For a reminder on why that premise leads to that conclusion, refer to my Irregular Webcomic! annotation on the Banach-Tarski theorem.)
Someone of course immediately pointed out that you can only use the Banach-Tarski theorem if you assume the axiom of choice to be true. (For a simple primer on the axiom of choice, see my annotation on that.)
Then someone else said that rule 722.2a of the Comprehensive Rules of Magic: the Gathering (June 1, 2020 edition) might actually imply the axiom of choice. Rules 722.2a says:
722.2a At any point in the game, the player with priority may suggest a shortcut by describing a sequence of game choices, for all players, that may be legally taken based on the current game state and the predictable results of the sequence of choices. This sequence may be a non-repetitive series of choices, a loop that repeats a specified number of times, multiple loops, or nested loops, and may even cross multiple turns. It can’t include conditional actions, where the outcome of a game event determines the next action a player takes. The ending point of this sequence must be a place where a player has priority, though it need not be the player proposing the shortcut.
Example: A player controls a creature enchanted by Presence of Gond, which grants the creature the ability “{T}: Create a 1/1 green Elf Warrior creature token,” and another player controls Intruder Alarm, which reads, in part, “Whenever a creature enters the battlefield, untap all creatures.” When the player has priority, they may suggest “I’ll create a million tokens,” indicating the sequence of activating the creature’s ability, all players passing priority, letting the creature’s ability resolve and create a token (which causes Intruder Alarm’s ability to trigger), Intruder Alarm’s controller putting that triggered ability on the stack, all players passing priority, Intruder Alarm’s triggered ability resolving, all players passing priority until the player proposing the shortcut has priority, and repeating that sequence 999,999 more times, ending just after the last token-creating ability resolves.
The argument is that it is not only possible within the rules of MtG to produce a loop of actions, but nested loops of actions, and at each loop this rule says you can specify how many times the loop is executed. If the nest of loops is infinitely deep, this means that you are effectively choosing an element from each of an infinite number of sets, where each set contains an infinite number of elements. The rules of the game say you can do this. Therefore the rules of the game say that you can apply the axiom of choice.
This is, in mathematical terms, a rather simplistic case and doesn’t (I believe) in fact rely on the axiom of choice to be doable in an actual game (although I may be wrong), but that didn’t stop us having a fun discussion about it. It was topped off by the original proposer of the example of rule 722.2a saying:
I’m not sure what it says about us that I can say “the Magic: the Gathering comprehensive rules imply the axiom of choice” as a throwaway joke, and the responses are “your rule numbering is out of date”, “no they don’t” and “actually maybe they do” (and not, for example, “ha”, “what the fuck”, or “you nerd”).
This is nowhere near the nerdiest argument we’ve ever had, by the way…
New content today:
