Editing 804: Pumpkin Carving

{{comic
| number    = 804
| date      = October 11, 2010
| title     = Pumpkin Carving
| image     = pumpkin carving.png
| titletext = The Banach-Tarski theorem was actually first developed by King Solomon, but his gruesome attempts to apply it set back set theory for centuries.
}}

==Explanation==
This comic is a reference to the American custom of making {{w|Jack-o'-lantern|Jack-O'-Lantern}}s to set out on porches and front steps for the holiday of {{w|Halloween}}, which occurs on October 31.  Typically they are made with {{w|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 [http://xkcd.com/804/info.0.json 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 {{w|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 {{w|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{{Citation needed}}; 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 {{w|Internet meme|meme}} [http://knowyourmeme.com/memes/hide-the-pain-harold Hide The Pain Harold], but this is highly unlikely; the meme [https://knowyourmeme.com/memes/hide-the-pain-harold 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 {{w|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 {{w|atomic theory|atoms}} rather than mathematical {{w|point (geometry)|points}}.

The off-screen interviewer in that frame references the {{w|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 {{w|Solomon|King Solomon}}. In the story, known as the {{w|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 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,{{Citation needed}} 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 [http://xkcd.com/chesscoaster/ 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).

==Transcript==
:[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:
::Nitro-
::glycerin
::Do Not
::Shake

:[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.

{{comic discussion}}

[[Category:Comics featuring Beret Guy]]
[[Category:Comics featuring Black Hat]]
[[Category:Comics with color]]
[[Category:Comics featuring Megan]]
[[Category:Comics featuring Cueball]]
[[Category:Math]]
[[Category:Logic]]