9、探寻真相：从神秘符号到科研实验室的调查之旅

探寻真相：从神秘符号到科研实验室的调查之旅

1. 前往剑桥的探寻

周一，3月9日，Gideon开车前往剑桥。经过数小时的车程，他在午后早些时候抵达麻省理工学院（MIT）并停好车。由于腿部和肩部受伤，他在停车场坐了大约半小时来休息。他此次前来，如Kendal所说，仅仅是基于一个牙买加雷鬼教徒对一件运动衫的描述，这让他自己都觉得有些疯狂。他只有一个名字“Mike”和一张画有神秘符号的纸片，以及政府可能掩盖代达罗斯超级计算机被盗事件的猜测。

他在校园里向一名学生询问数学系的位置，得知在2号楼，但他把车停在了离2号楼很远的地方。之后，他随机寻找数学教授，第三次尝试时找到了Harry Cho博士的办公室。Cho博士坐在轮椅上，对Gideon的到来感到好奇。Gideon表明自己是华盛顿特区警察局的侦探，称来此是为了寻找可能与代达罗斯超级计算机被盗案有关的人，以及了解那个神秘符号的含义。

2. 神秘符号“aleph - null”的解读

Gideon向Cho博士展示了画有神秘符号的纸片，Cho博士辨认出这是“aleph - null”，即最小的无穷类。为了解释这个概念，Cho博士引入了集合论的基础知识。他在Gideon的腿上放了三堆物品（纸夹、橡皮筋和铅笔），分别命名为集合Z、P和N。对于有限集合，通过将元素一一对应排列，若没有剩余元素，则两个集合等价。对于无限集合，同样可以用这种一一对应的方法来判断集合的等价性。

例如，将铅笔编号为1、2、3……，得到自然数集合；将橡皮筋用连续的质数编号；将纸夹编号为0、1、 - 1、2、 - 2等。乔治·康托尔证明了自然数集合、质数集合、整数集合甚至所有分数集合都是等价的，而“aleph - null”就是这些集