1701741112
1701741113
“下面考虑有两个人将被开除的情况。根据流言传播的规律，每个人至少知道一个将被开除的人的名字，第一个晚上所有人都可以安睡。每个员工都可以推想出我刚才描绘的、只有一个人将被解雇的情形。宣布之后的第二个晚上，这两个将被解雇的人会遭受失眠的折磨。两个人都会这么想：‘很不幸，某人将被解雇了。但我不明白的是，为什么此人今天没辞职呢？’所有员工都有完美的逻辑推理能力，而且有充足的思考时间去考虑各个行动的含义。只有在一种情况下此人才不会辞职：他知道另一个将被开除的员工的名字。这两人一定都会得出结论：另一个将被开除的员工只能是他本人。这两个员工在宣布之后的第二个早晨一定会辞职。
1701741114
1701741115
“此后整个问题迎刃而解。如果有三个人将被开除，则头两个早晨无人辞职，而每一个将被开除的员工只知道两个人将被开除。根据这两个条件，每一个将被开除的员工都可以推出自己的命运。这个问题与牵涉多少人无关，唯一的要求是每个人都坚信其同事的强大的逻辑推理能力。如果999天里无人辞职，那么所有1 000名员工都将度过一个无眠的夜晚，并且得出结论：整个工作团队将被解散。”
1701741116
1701741117
“那个墓地问题呢？”
1701741118
1701741119
“我跟你说过，华生，这个问题很简单。”
1701741120
1701741121
“对你来说也许简单。我不认为存在一个评判简单和困难的客观标准。”
1701741122
1701741123
“我相信你是对的。无论如何，这个问题的答案是：不，此人没有投罗斯福的票。解决这个问题的关键在于意识到题中提到的新月在午夜是看不见的。每个牧羊人都知道这个基本常识，令人震惊的是那么多所谓的受过教育的人却不知道。极地是个例外，在极地，太阳以及太阳附近的新月在一天的整个24小时中都是可见的。因此，如果此人真的生活在美国，他一定住在阿拉斯加，接近北极圈或者更靠北。阿拉斯加地区的公民在那时没有选举总统的权力，无论政治立场如何，他都没有投过罗斯福的票。”
1701741124
1701741125
“祝贺你，福尔摩斯，”我说，“这么说，一定是那个分割土地的问题困扰了你。”
1701741126
1701741127
福尔摩斯点头：“就是这个问题让我彻夜无眠。我觉得这个问题的性质与其他问题不同。在其他问题中，可以设想的答案的数目在某种程度上是有限的。然而，正如在一个平面上有无穷多条直线，分割一个平面图形的方式也有无穷多种。我不仅没做出这道题，我甚至都不知道如何开始。”
1701741128
1701741129
“你打算投降了吗？”
1701741130
1701741131
“是的。告诉我答案吧。”
1701741132
1701741133
“我考虑过了，我想我最好还是在安全返回伦敦之后写信告诉你。”
1701741134
1701741135
“为什么？”
1701741136
1701741137
“你不会高兴的。”
1701741138
1701741139
“华生，立刻告诉我！”
1701741140
1701741141
我在回家后的次日才把这幅图寄给福尔摩斯：
1701741142
1701741143
1701741144
1701741145
1701741146
[1]这个问题另有一个答案：UNDERFUND。不过在华生那个时代，字典里恐怕没有这个词。
1701741147
1701741148
1701741149
1701741150
1701741151
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739683]
1701741152
推理的迷宫：悖论、谜题及知识的脆弱性 第5章 演绎：谷堆悖论
1701741153
1701741154
谜题和悖论之间有着深刻的联系。面对一个谜题，我们可以提出许多假说，其中一个可以避免矛盾，这个假说就是答案。但是在悖论中，所有假说都是不合理的。
1701741155
1701741156
逻辑谜题的味道很怪——有点儿像生牡蛎。有些人觉得逻辑谜题是有趣的挑战，有些人则很讨厌它。一个重要的问题是，是否存在解决逻辑谜题的通用方法？是否存在所有人都可以掌握的固定的程序、窍门或方法，可以解决所有的逻辑谜题？如果这种东西存在，那么它在科学以及其他领域都是无价之宝。
1701741157
1701741158
在实际操作中，逻辑表现为两种方法的混合：其一是按部就班的演绎推理，其二是穷尽所有可能性的搜索。第一种方法可以通过一组经典悖论展示。
1701741159
1701741160
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739684]
1701741161
忒修斯之船