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.

Origin:https://xkcd.com/804/

https://www.explainxkcd.com/wiki/index.php/804:_Pumpkin_Carving

这部漫画是对美国风俗的一种参考，让杰克 – 奥兰特出发前往10月31日举行的万圣节假期的门廊和前台。通常情况下，它们是用南瓜制成的，通过排空里面留下空心外壳，在侧面雕刻一个面或设计，然后在里面放置一个灯或蜡烛。第3帧中的Jack-O’-Lantern是雕刻南瓜的典型和标准设计。

漫画被设置为典型的电视节目，屏幕外的采访者向四个（非常）不同的人询问他们用万圣节南瓜制作的东西。在官方记录中，在三个小组中进行会谈的采访者被称为对话者：“参与对话或谈话的人”。

在第一帧中，Beret Guy自然而然地通过在他的南瓜身上雕刻南瓜的图像来保持奇怪的主题。这意味着他的回答“我刻了一个南瓜”，可以适用于他的作品的图像或媒介。

在第二帧中，黑帽显示在他的南瓜旁边有一个硝酸甘油容器。硝酸甘油是一种高度爆炸性的液体，只需很小的撞击就可能剧烈爆炸。黑帽子没有为他的灯雕刻一个洞，但似乎他已经清除了南瓜的内部，因为顶部的茎被移除了。这样可以用硝酸甘油填充南瓜。青少年是一个相当冲动和反叛的人;由于万圣节是一个拥有大量精心搭建的装饰和更加宽松的父母监督的夜晚，麻烦制造者青少年认为这是一个诱人的时间来进行猖獗的故意破坏，包括但不限于南瓜粉碎。因此，小组成员假设黑帽正在建立一个陷阱来回到这些新的井。最重要的是，黑帽计划提出一个标志警告路人不要砸南瓜。这只会诱使冲动的青少年打扰它，这很可能是悲观和喜欢混乱的Classhole所希望的。如果他按照他的计划成功，用一个装有硝化甘油的完全挖空的南瓜，看起来很可能会产生爆炸，留下一个较大的火山口，在附近压平木框架建筑物，在各个方向打碎窗户，并且足以与周围地区的其他人一起杀死破坏者。对于这种轻微的犯罪来说，这显然有些过分。

黑帽，相当难以置信，坚持认为他的南瓜患有胸痛，并且硝酸甘油仅用于医疗。虽然这种化学物质确实用于治疗心绞痛（由于心脏中动脉阻塞引起的胸痛），但用于此目的的硝酸甘油以小药丸的形式分配，仅含有微量，并通过处方控制。此外，南瓜是一种蔬菜，因此不含哺乳动物复杂的神经或循环系统;即使他们这样做，南瓜雕刻的过程也会将它们挖空，这使它成为一个没有实际意义的问题。

在第三帧中，梅根是我们典型的情感xkcd漫画人物。她是四个人中唯一一个真正雕刻出一个典型的插孔灯的人;然而，她正在将自己投射到它身上，并将其命名为Harold。她的对话表明它（或他）患有典型的假期抑郁症，其症状包括使用大量时间做白日梦，担心并试图分散注意力。节日传统，但她已经知道它不会奏效。这可能是对经典模因Hide The Pain Harold的参考。

在第四帧中，Cueball显示在两个未雕刻的南瓜前面，惊呼这是雕刻一个南瓜的结果。他正在引用Banach-Tarski悖论（在标题文本中明确指出），这个定理指出可以将三维球（在这种情况下是南瓜）分成有限数量的“碎片”。然后将这些“碎片”重新组装成两个与原件相同的不同球。这个悖论已被证明是理论形状，但需要无限复杂的部分，这对于由物理原子而不是数学点构成的任何东西都是不可能的。该框架中的屏幕外采访者参考了选择公理。这个公理是许多定理（包括Banach-arski悖论）的基础，对现代数学极具影响力;然而，它在历史上一直存在争议，正是因为它能够带来这种奇怪之处。它被称为“公理”，因为它是一种声明，根据人们希望与之合作的理论框架，不能被证明或被证明被接受或被拒绝。拒绝选择公理导致完全一致由于Banach-arski悖论的证据依赖于接受选择的公理，因此采访者建议Cueball的意外结果不会在没有使用公理的情况下发生。

标题文本引用了涉及所罗门王的圣经故事。在这个被称为所罗门审判的故事中，两个女人被带到他面前，他们都声称自己是一个特定的孩子。 Solomon对这些女性进行了测试，她们说，唯一的解决办法是将宝宝分成两半并给每个女人一半，知道只有真正的母亲会为了挽救孩子的生命而奋斗，即使价格放弃整个孩子对另一个女人。这个笑话是，如果所罗门首先制定了Banach-arski定理，那么他实际上可以相信将婴儿切成碎片是一种有效的解决方案。在那种情况下，他会试图让两个孩子从原来的孩子和一个给每个女人的孩子。然而，由于婴儿不是可以无限分割的，因此他的尝试几乎不会因为“证明”这个定理是错误的。请注意，标题文本实际上提到了指示所罗门王以这种方式杀死了几个婴儿的企图。

后来在982中引用了选择公理和集合论：集合论，很久以后，在1724年的标题文本中再次提到了选择公理：证明。

这部漫画于2010年万圣节前20天发布，可能会激发人们对他们的南瓜有一些好主意。人们已经知道（特别是兰德尔）人们复制他的想法，例如基于249：国际象棋照片的xkcd早期帖子。他甚至制作了一部漫画后不久，254：Comic Fragment，这本来是不可能复制的，后来他自己提到了（见解释）。