1701742119
1701742120
罗素的特里斯特拉姆·香迪悖论（Paradox of Tristram Shandy）巧妙地利用了“无限未来”这个概念。特里斯特拉姆·香迪是劳伦斯·斯特恩（Laurence Sterne）18世纪60年代的漫游小说《香迪传》中的健谈的故事讲述者。罗素写道：“如我们所知，特里斯特拉姆·香迪用了两年时间来记录他的生活中的头两天的历史，然后他抱怨道，按照这种速度他永远也写不完。但是我认为，如果他可以永远活下去，而且坚持不懈地写下去，那么，即使他的一生始终像文章开端那样充满需要记录的内容，他的传记也不会遗漏任何部分。”
1701742121
1701742122
罗素的论证大致是这样的：假定香迪生于1700年1月1日，而写作开始于1720年1月1日。在第一年（1720）写第一天（1700年1月1日）的事，写作进程如下：
1701742123
1701742124
1701742125
1701742126
1701742127
每一天对应一年，每一年对应一天。如果香迪的写作工作持续至今，到1988年，他将进展到1700年9月的事件。按部就班且不死的香迪将在大约106 840年时记录下今天（即本书作者写下本段的日子）的事件。对于任何一天，香迪在未来都有指定的一年去记录它，绝无例外，因此，罗素说：“他的传记不会遗漏任何部分。”即便如此，香迪的写作工作将越来越滞后。他每写一年，距离最后竣工就远了364年！
1701742128
1701742129
罗素的论证以乔治·康托尔（George Cantor）的无穷数理论为基础。如果在两个无穷量之间可以建立起一一对应关系，则这两个量相等。例如，数学家认为，所有正整数[5]（0，1，2，3，4，5…）的个数与所有偶数（0，2，4，6，8，10 …）的个数相等，虽然有些人可能认为，前者是后者的2倍。二者相等，因为任何一个正整数n可以与一个偶数2n配对，而如此配对不会遗漏任何偶数。
1701742130
1701742131
更令人费脑筋的是克雷格（W. L. Craig）提出的一个悖论，这个悖论是特里斯特拉姆·香迪悖论的颠倒版。假定时间在过去的方向上是无穷的，而香迪已经写了无穷长的时间。克雷格指出，在这种情况下，在年与日之间仍然存在康托尔式的一一对应。香迪应当刚刚完成他的传记的最后一页。但这是荒唐的。既然他要花费一整年的时间记录昨天的事件，他怎么可能已经把昨天的事件记录完了呢？
1701742132
1701742133
克雷格以及其他人用这个颠倒版的悖论证明，无限的过去是不可能的，虽然这个证明不那么令人信服。罗宾·斯莫尔（Robin Small）针对颠倒版的香迪悖论提出了一个合理的答案。答案是：实际上在特定日和特定年之间不可能建立一一对应。
1701742134
1701742135
假定现在是1988年12月31日午夜，香迪刚刚完成他的手稿的最后一页。在过去的一年里，香迪记录的是哪一天的事？不可能是这一年中的某一天。（否则就意味着，在这一年中这一天以前的时间里，香迪已经开始记录尚未到来的一天。）在1988年，他可以记录的最邻近的一天是1987年12月31日。
1701742136
1701742137
如果香迪用1988年记录1987年12月31日，那么他必须用1987年记录1987年12月30目，这又是不可能的。实际上，在1987年他不能记录1986年12月31日以后的任何一天。
1701742138
1701742139
但是，如果他在1987年记录1986年12月31日，那么他不得不在1986年记录1986年12月30日……我们可以设想的任何一种对应方式都会遭到反驳。所谓的香迪一直在写的那一天将向过去无穷倒退。它不可能是任何一天。
1701742140
1701742141
结论：如果过去的时间是无限的，而香迪始终在写，那么他将留下无穷多的未完成的写作任务。他最近完成的部分记录的是无穷远的过去的事件。
1701742142
1701742143
实际上，罗素版的悖论和克雷格版的悖论都不难解决。罗素从来没说香迪终将完成他的手稿。罗素的意思是，我们无法找到香迪不能记录的一天。香迪的“最后”一页始终是一个遥不可及的海市蜃楼。
1701742144
1701742145
[1]在一间屋子里同步运行圆周率机和汤姆森灯，屋子里没有其他光源，在闪烁的灯光的照明下可以见到圆周率的所有奇数位数字。
1701742146
1701742147
[2]这是一个等比数列，首项为100，公比为1/10，因此前n项之和为100（1–1/10n）/（1–1/10），当n趋于无穷时，结果即为111又1/9。——译者注
1701742148
1701742149
[3]美杜莎为希腊神话中的女妖，任何人看她一眼都会变成石头。美杜莎是不能看的，所以“弊一眼”美杜莎是不可能的，作者以此类比“超级任务”，说明超级任务是不可能完成的。——译者注
1701742150
1701742151
[4]原著此处有笔误，译文已更正。——译者注
1701742152
1701742153
[5]原文为“整数”，应为笔误。——译者注
1701742154
1701742155
1701742156
1701742157
1701742158
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739723]
1701742159
推理的迷宫：悖论、谜题及知识的脆弱性 第9章 NP完全：彭睢迷宫
1701742160
1701742161
豪尔赫·路易斯·博尔赫斯的小说《小径分岔的花园》描述了一个迷宫，这个迷宫极其复杂，没有人可以走出来。故事的讲述者说到他知道道路的方向，然后就开始跑题了：
1701742162
1701742163
指示说一直向左拐，这让我想起，走迷宫的一般方法就是如此，用这种方法可以发现一个确定的迷宫的中心点。我对迷宫有研究。我是彭睢的曾孙，这可非同寻常。彭睢曾经管辖云南省，后来辞职，专心写一部小说，这部小说本可能比《红楼梦》更著名。同时他还在建造一座迷宫，任何进入迷宫的人都会迷路。他花了13年时间做这两件没什么关联的事，直到一个陌生人把他谋杀了。他的小说看起来语无伦次，他的迷宫也消失了。我在英国的树下思索着关于这座消失的迷宫的一切：我想象这座迷宫是至高无上的完美巅峰；我想象它消失在稻田下或水底；我想象它是无限的，不是由八角形的亭子和往复的路径构成，而是由河流、省份和王国构成……我构想的是迷宫的迷宫，一个错综复杂的迷宫，它涵盖过去和未来，并且以某种方式把星辰包括进去。
1701742164
1701742165
“迷宫”这个词起源甚早，而且含义不固定。在古希腊罗马时期，迷宫是一种建筑，至少有一部分建在地下，故意设计得令人晕头转向。希罗多德（Herodotus）认为，鳄城附近的埃及迷宫（建成于公元前1795年）是一个比金字塔还伟大的奇观。这座迷宫包括3 000个房间，其中一半建在地上、一半建在地下，迷宫里的柱子像森林一样茂密，一直延伸到人们视力所及的范围之外。希罗多德游历了地上的一半迷宫，但是未被获准观赏地下部分。他被告知，神鳄在地下守护着法老的墓穴。许多古代作家记录了这座迷宫的逐渐衰落，它的遗址始终没有消失。1888年人们发掘了它的地基，面积是800 000平方英尺（800×1 000）。
1701742166
1701742167
在西方文化中，最著名的迷宫是古希腊克里特岛上的弥诺陶迷宫。在希腊神话中，弥诺陶是一头牛首人身的怪兽，居住在一个巨大的迷宫中央，这座迷宫是代达罗斯为克里特国王迈诺斯设计的。在克里特打败雅典之后，迈诺斯国王下令，雅典人每9年向弥诺陶进贡7名童男和7名童女作为祭品。这些进入弥诺陶迷宫的人无一生还。雅典王子特修斯自愿作为祭品进入迷宫。迈诺斯的女儿阿里阿德涅告诉特修斯，进入迷宫时沿路拉开丝线，这样就能找到出路。特修斯用这个办法杀死了弥诺陶，终止了进贡。
1701742168