804: Pumpkin Carving
Title text: The Banach-Tarski theorem was actually first developed by King Solomon, but his gruesome attempts to apply it set back set theory for centuries.
This comic is a reference to the American custom of making Jack-O'-Lanterns to set out on porches and front steps for the holiday of Halloween, which occurs on October 31. Typically they are made with pumpkins by emptying the inside leaving a hollow shell, carving a face or design on the side, then placing a light or candle inside. The Jack-O'-Lantern in the 3rd frame is the typical and standard design for a carved pumpkin.
The comic is set up as a typical TV program where an off-screen interviewer asks four (very) different people what they have made out of their Halloween pumpkin. In the official transcript the interviewer that talks in three of the panels is called an Interlocutor: "a person who takes part in dialogue or conversation."
In the first frame, Beret Guy, naturally, stays oddly on-topic by physically carving an image of a pumpkin in his pumpkin. This means his answer, "I carved a pumpkin," could apply to either the image or the medium of his artwork.
In the second frame, Black Hat is shown with a container of nitroglycerin next to his pumpkin. Nitroglycerin is a highly explosive liquid that may explode violently with just a small bump. Black Hat has not carved a hole for his lamp, but it seems he has emptied the inside of the pumpkin as the stem at the top has been removed. This will make it possible to fill up the pumpkin with nitroglycerin. Teenagers are a rather impulsive and rebellious lot; as Halloween is a night with lots of meticulously erected decorations and more lax parental supervision, troublemaker teens see it as an enticing time to engage in rampant vandalism, including but not limited to pumpkin-smashing. Hence, the off-panel character presumes that Black Hat is setting up a trap to get back at these ne'er-do-wells. To top it off, Black Hat plans to put up a sign warning passers-by to not smash the pumpkin. This would only serve to tempt impulsive teenagers to disturb it, which is very likely what the sadistic and chaos-loving Classhole is hoping for. If he succeeds with his plan, with a completely hollowed out pumpkin of the shown size filled with nitroglycerin, it would seem likely that the resulting explosion would leave a largish crater, flatten wood-framed buildings nearby, shatter windows for blocks in all directions, and be more than sufficient to kill the vandal along with others in the surrounding area. This is clearly overkill for such a petty crime.
Black Hat, rather unconvincingly, insists that his pumpkin is suffering from chest pains, and that the nitroglycerin is merely intended for medical treatment. While it is true that this chemical is used to treat angina (chest pain due to blocked arteries in the heart), nitroglycerin used for this purpose is dispensed in the form of small pills containing only trace amounts, and controlled by prescription. Also, pumpkins are fruits and do thus not contain nervous or circulatory systems of mammalian complexity; even if they did, the process of pumpkin carving involves hollowing them out, making it a moot point.
In the third frame, Megan is our typical emotional xkcd comic character. She is the only one out of the four who actually carved a typical jack-o'-lantern; however, she is projecting herself onto it, and has named it Harold. Her dialogue suggests it (or he) is suffering from typical holiday depression, with symptoms such as using a lot of time daydreaming, worrying, and trying to distract herself with holiday traditions, but she already knows that it won't work. Some have speculated that this is a possible reference to the classic meme Hide The Pain Harold, but this is highly unlikely; the meme only surfaced in 2011, a year after the comic was published.
In the fourth frame, Cueball is shown in front of two un-carved pumpkins exclaiming that this is the result of carving one pumpkin. He is referencing the Banach-Tarski paradox (which is made clear in the title text), a theorem which states that it is possible to split a three-dimensional ball, in this case a pumpkin, into a finite number of "pieces," and then reassemble these "pieces" into two distinct balls both identical to the original. This paradox has been proven for theoretical shapes, but requires infinitely complicated pieces which are impossible for anything made of physical atoms rather than mathematical points.
The off-screen interviewer in that frame references the Axiom of Choice. This axiom is the foundation for many theorems (including the Banach–Tarski paradox) and is extremely influential to modern mathematics; however, it has been historically controversial precisely because it enables this kind of weirdness. It is called an "axiom" because it is a statement that is not meant to be proven or disproven—only accepted or rejected depending on the theoretical framework one wishes to work with. Rejecting the Axiom of Choice results in a perfectly coherent alternate form of set theory. Since the proof for the Banach–Tarski paradox relies on accepting the axiom of choice, the interviewer is suggesting Cueball's unexpected result would not have happened without using the axiom.
The title text references a biblical story involving King Solomon. In the story, known as the Judgment of Solomon, two women were brought before him both claiming that a particular child was their own. Solomon tested the women by saying the only solution was to cut the baby in half and give each woman one of the halves, knowing only the real mother would fight to save her child's life even if the price was giving up the whole child to the other woman. The joke is that if Solomon had developed the Banach–Tarski theorem first, then he could have actually believed cutting the baby into pieces was a valid solution. In that scenario, he would have tried to make two whole children from the original and given one to each woman. However, since babies are not infinitely divisible, his attempt would have failed miserably and set back set theory for centuries due to the appearance that he has "proved" the theorem wrong. Note that the title text actually mentions attempts indicating that King Solomon killed several babies in this fashion.
The axiom of choice and set theory was later referenced in 982: Set Theory and, much later, the axiom of choice was mentioned again in the title text of 1724: Proofs.
This comic was released 20 days before Halloween in 2010, possibly to inspire people with some great ideas for their pumpkins. It has been known (particularly by Randall) that people copy his ideas, for instance this earlier post on xkcd based on 249: Chess Photo. Soon after he even made a comic, 254: Comic Fragment, that was supposed to be impossible to copy, which he mentioned himself later (see the explanation).
- [Beret Guy, holding his arms out, stands behind a large orange pumpkin with the stem on top. It is sitting on a table. The pumpkin has been carved out as a lamp with large hole, and a lit candle is visible in the hole. The hole is in the shape of another carved out pumpkin. An interviewer speaks from off panel.]
- Interviewer (off-panel): So what did you—
- Beret Guy: I carved a pumpkin!
- Interviewer (off-panel): ...
- [Black Hat stands behind a large orange pumpkin which has not been carved out as a lamp, but the stem at the top has been removed and is placed tilting on the side of the pumpkin. It is sitting on a table. A gray box stands next to and partly in front of the pumpkin. On the end of the box there is a label at the top with unreadable text and below that some kind of drawing with a circle at the top. The interviewer speaks from off panel.]
- Interviewer (off-panel): Taking on teen vandals, I see.
- Black Hat: Heavens, no. My pumpkin simply has chest pains. In fact, I'll leave a note warning them not to smash it.
- Text on box:
- Do Not
- [Megan stands next to a large orange pumpkin with the stem on top. It is sitting on a table. The pumpkin has been carved out as a typical Halloween lamp. The bottom part of a white candle stick is visible in the mouth shaped hole. The hole is in the shape of a typical jack-o' lantern, with two slanted eyes, double slit nose and a smiling mouth with a tooth sticking out from both upper and lower lip, on either side of the candle stick.]
- Megan: My pumpkin's name is Harold. He just realized that all the time he used to spend daydreaming, he now spends worrying. He'll try to distract himself later with holiday traditions, but it won't work.
- [Cueball stands next to a two orange pumpkins with their stems on top, the left pumpkin is slightly larger than the right which is partly in front of the larger pumpkin. They have not been carved out even though a knife lies next to them to the right in front of Cueball on the table where they both stand. The interviewer speaks from off panel.]]
- Cueball: I carved and carved, and the next thing I knew I had two pumpkins.
- Interviewer (off-panel): I told you not to take the axiom of choice.
add a comment! ⋅ add a topic (use sparingly)! ⋅ refresh comments!
I'm bringing over a comment from the blog, because it helps in understanding the Banach-Tarski theorem and Axiom of Choice.
- I realize that you probably aren’t checking these comments anymore, but I’m math grad student currently wasting time I shouldn’t be, and can’t resist answering this question.
- So the short answer is pretty much exactly what Jonathan said–the Axiom of Choice is in someways the “extra” axiom of ZFC set theory (in fact ZFC stands for “Zermelo–Fraenkel set theory *with the axiom of choice*”) and for a long period of time mathematicians were attempting to either
- (1) prove the axiom of choice as a consequence of the other axioms of set theory
- (2) discover a compelling reason why we should not accept the axiom of choice.
- The Banach-Tarski theorem was published at the height of the debate/research, and is still frequently the first thing cited by someone who doesn’t accept the axiom of choice (although most working mathematicians I know do accept the axiom of choice, in part because it just seems silly to handicap yourself unnecessarily).
- What makes the Banach-Tarski theorem seem so paradoxical is simply the fact that they show it is possible to cut a ball into a finite number of pieces (5, to be specific) and reassemble these pieces only using rotations and translations (ie, only by movements you can make with your own hands) to produce two balls, each identical in volume to the first–ie, in someways "1 [ball] = 2 [balls]", which certainly feels a bit shady.
- All of the other theorems and axioms on which the Banach-Tarski theorem relies are standard and relatively accepted areas of mathematics, while the axiom of choice (which is used at a key point of the proof to “choose” elements not fixed in place by particular nice rotations of the sphere) was not, so many people consider this a reason not to accept the axiom of choice.
- If we don’t accept the axiom of choice, it becomes impossible to pick those points, and the whole proof breaks down. In fact, it can also be shown that if we don’t accept the axiom of choice, there don’t exist any “unmeasurable” sets–sets such as those created in the cutting of the ball whose volume we can’t really talk about, as it would need to be add up to 1 (after all those 5 sets together form a ball of volume 1!) and add up to 2 (after all, those 5 sets together form two balls of volume 2!), which makes some people very happy with the idea of rejecting the axiom of choice.
- For myself, I actually *don’t* find the theorem very paradoxical at all–these 5 “pieces” into which the ball is decomposed are incredibly crazy, and nothing you could ever cut with a scalpel, or even a laser, no matter how good you are. Additionally, the theorem really follows relatively easily from a theorem everyone accepts, which is that you can similarly split up the group of rotations to four disjoint pieces and “reassemble” them via rotations into two copies of the group of rotations. It seems a little odd at first, but the thing to keep in mind that any time infinite things get involved, things are going to get a little odd (after all–what’s infinity + infinity? What about infinity/2?). Honestly, at this point, the thing which I find the most “paradoxical” about the Banach-Tarski paradox is that it can’t be done by dividing the ball into only 4 pieces, but this could be a sign I’ve been drinking the math-koolaid for too long. — Ashley
- To clarify something on the point above, the 5 "pieces" are described as sets of points rather than actual objects with areas, and thus cannot be created in physical space. I edited the page to accentuate this, and to remove what I believed to be a contradictory statement. The original statement "This paradox has been proven for just about anything... except objects made of atoms, which our universe is comprised of." implies that a) objects made of atoms are not considered divisible and b) that most things are considered divisible. "Just about anything" could mean the physical universe, in which case the truth is that nothing is divisible and "just about anything" is misguiding, or both things that are within the physical universe and hypothetical things, in which case it deserves further explanation. Thus I edited to explain slightly further, being a safe move to improve the article in the case of either intention.126.96.36.199 05:17, 18 May 2014 (UTC)
- "In fact, it can also be shown that if we don’t accept the axiom of choice, there don’t exist any “unmeasurable” sets"
- That's not right. If we don't accept the axiom of choice, we can neither prove nor disprove the existence of unmeasurable sets. If we could disprove the existence of unmeasurable sets without the axiom of choice, we could disprove it with the axiom of choice by just not bothering to use it. 188.8.131.52 03:59, 25 October 2014 (UTC)
There you have it. lcarsos (talk) 17:42, 4 September 2012 (UTC)
"sited" changed to "cited"--DrMath 08:52, 4 June 2014 (UTC)
- There are so many *citation needed* options here, but I don't know how to put them in :( 184.108.40.206 23:33, 1 May 2017 (UTC)
- http://www.explainxkcd.com/wiki/index.php?title=285:_Wikipedian_Protester&action=edit§ion=3 Two opening-braces, "Citation needed", two closing-braces. 220.127.116.11 22:51, 2 July 2017 (UTC)