1701742519
1701742520
既然我们甚至不能辨别在我们的比较复杂的观念中是否包含矛盾，我们就没有完全理解它们。我们当然无法从这些观念推出所有可以推出的结论。如果你把逻辑推演当作观察世界的一个视域，那么这个视域是有限的。连锁推理是简单推理构成的链条，它构成了这个视域中的基本视线。通过这种视线，我们在黑暗中看得很远。对于更复杂的推理，我们则非常近视，无法看清所有东西，甚至无法看清所有蕴含在我们的思想实验中的东西。有些东西就摆在某个地方，但是我们永远也看不到。
1701742521
1701742522
如果说我们过于低能，无法理解那些我们没看到的东西，这种评价是不公平的。假如我们遇到了全知者（在关于悖论的讨论中全知者经常冒出来），全知者可以向我们指明我们没看到的东西，而我们有能力证明它们是真的。问题的答案是简单的——在你看到它以后。
1701742523
1701742524
这里的“我们”包括人类、计算机、宇宙生命以及一切物理机制。NP问题对于所有这些“我们”来说都是困难的。斯托克迈耶和迈耶的思想实验是奥尔贝斯悖论的一个信息时代的翻版。奥尔贝斯的出发点是我们能看见天空中的星星这个事实，而斯托克迈耶和迈耶的出发点是“整个宇宙不是一台计算机”这个事实。这里的结论是，这个宇宙中没有人无所不知。
1701742525
1701742526
[1]原著出版时（1987年），苏联尚未解体，美苏两国军备竞赛正如火如荼地进行。——译者注
1701742527
1701742528
[2]经作者同意，此处删掉了一个中国人不易理解的例子。——译者注
1701742529
1701742530
[3]“没有人知道连接这两个点的路线”这个要求是不必要的，出题者可以知道路线。出题者这样出题：自己在迷宫中随机地走过50个节点，记住自己走的路，定义他的起点为E点，终点为G点。仅把E和G告诉解题者，让解题者找到路线。从解题者的角度看，这道题的难度好比大海捞针；但是从出题者的角度看，这就像回家一样简单。——译者注
1701742531
1701742532
[4]原文此处有笔误。译文已改。——译者注
1701742533
1701742534
[5]指著名的迈克尔逊—莫雷实验，这个实验证实了爱因斯坦的光速不变理论。——译者注
1701742535
1701742536
[6]这个例子不恰当。现代逻辑认为，“所有乌鸦都是黑色的”和“所有乌鸦都不是黑色的”并不矛盾，两个语句可以同时为真。不过，这并不影响作者的分析。——译者注
1701742537
1701742538
[7]这个预言有一定的问题。宇宙的演化是新生和消亡并存的。不如说“到了那个时候，宇宙可能已经演化成与现在完全不同的形式”更合适一些。当然，这里所说的合适与否只是就本语句的语意而言，并不影响作者的逻辑结论。——编者注
1701742539
1701742540
1701742541
1701742542
1701742543
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739736]
1701742544
1701742545
推理的迷宫：悖论、谜题及知识的脆弱性
1701742546
1701742547
1701742548
1701742549
1701742550
推理的迷宫：悖论、谜题及知识的脆弱性 [:1701739737]
1701742551
推理的迷宫：悖论、谜题及知识的脆弱性 第10章 意义：孪生地球
1701742552
1701742553
《伏尼契手稿》是一部非常古老的书，232页，配有插图，全书用密码写成，至今无人能破译。作者是谁？主题是什么？阐释什么意义？这些都是未解之谜。甚至没有人知道，这些密码在解码之后是什么语言。书中奇异的插图——裸体的妇人、怪异的发明、不存在的植物群落和动物群落，吸引密码破译者进行研究。彩色插图以中世纪医书的严谨风格绘制而成，而这些画表现的景象和意境却是在地球上和天空中前所未见的。一些平面图展示了古怪的、弯管风格的管道系统，图中美丽的少女坐在浴盆里嬉戏，浴盆连着有分叉、可转动的水管。这部手稿有一种非常奇异的风格，似乎是对另外一个宇宙的完美而精确的描述。这些画反映的是正文的主题吗？抑或只是一种伪装？没人知道。
1701742554
1701742555
一封写于1666年的信宣称，神圣罗马帝国皇帝、波希米亚的鲁道夫二世（Rudolf II of Bohemia，1551~1612）以600达克特金币买下了这部手稿。他可能是从约翰·迪伊博士（Dr. John Dee）手中买下的。迪伊是一个油嘴滑舌的占星术士兼数学家，游走于各国宫廷，追名逐利。鲁道夫认为，这份手稿的作者是英国僧侣兼哲学家罗杰·培根（Roger Bacon，1220~1292）。
1701742556
1701742557
这个猜想很有道理。罗杰·培根是一位方术大师，他死后，历代后人把他视为半人半神、半学者半巫师的人物。他是神秘书籍的收藏家。他知道火药，他还在著作中暗示，他知道其他一些东西，但是还没准备公布。他死时，他的著作被认为是极端危险（根据浪漫的幻想）的，人们把他的书钉在牛津大学图书馆的墙上，让它们在风雨侵袭下被剥蚀。
1701742558
1701742559
据说，《伏尼契手稿》曾经在意大利弗拉斯卡蒂的蒙德拉贡耶稣派学院沉寂多年，1912年被威尔弗里德·M·伏尼契（Wilfred M.Voynich）买下，此人是波兰出生的科学家兼藏书家。伏尼契是逻辑学家乔治·布尔（George Boole）的女婿，他的妻子埃塞尔·莉莲·伏尼契（Ethel Lillian Voynich）是在苏联和中国名气最大的英国作家之一（革命小说《牛虻》是她的作品，这部小说在很早以前就被西方遗忘了）。这部手稿没有我们能理解的标题，因此，就以伏尼契的名字命名。伏尼契把手稿带到美国，在那里，手稿得到了广泛的研究。在过去的75年里，学者和幻想家对手稿进行了几轮分析，然后又把它遗忘。它现在收藏于耶鲁大学贝内克珍本及手稿图书馆。
1701742560
1701742561
这部手稿采用的密码非同寻常。如果用的是普通密码，那么在很早以前就被解开了。它没有采用罗马字母，也没有用任何欧洲大陆人使用的字母或符号。它不是利用我们熟悉的字母做镜像或简单变形生成的。这个密码系统采用了大约21个花体符号，这隐约地暗示着它是一种中东文字。当然，在任何已知的中东文字字母表中都找不到这些符号。有些符号连在一起，就好像乐谱上的连音符号。有些符号极少出现，也许它们只是其他符号的潦草的变形。符号组成“单词”，词与词之间留有空格。
1701742562
1701742563
下表显示了手稿中最常见的符号，符号下面标记的字母根据小威廉·拉尔夫·班尼特（William Ralph Bennett，Jr.）设计的方案而来。班尼特是物理学家，利用计算机分析这部手稿。他分配字母的方案是任意的，目的只是为了录入计算机。
1701742564
1701742565
1701742566
1701742567
1701742568
《伏尼契手稿》对开本第79页的左页