1701013035
1701013036
好消息是，我们现在有办法“修复”ZFC系统，为连续统假设这个问题给出一个确切的答案。大多数数学家都认为最好的办法是“力迫法”或“内模型法”（这个方法还有一个上口的别称——V = ultimate L，即集合论宇宙终极可构成集类）。唯一的问题是，力迫法告诉我们连续统假设是错误的，而内模型法则认为连续统假设是正确的。
1701013037
1701013038
这两个可能的结果充分显示了数学的本质和它与现实世界的关系。集合论绝对是我们每天都要使用的实用数学的基础之一，然而集合论自身在选用公理这个方面却具有随机性。一条道路通向光怪陆离、令人向往的数学世界，另一条道路则更贴近我们心目中的现实世界。就纯粹数学而言，这不是问题，只能说明我们使用的是两个不同的数学系统，就好比有的数学系统是建立在维度多达数千而且与现实世界毫不相干的基础之上。但是，作为科学的基础，我们还是希望找到一条具有唯一性和确定性的数学道路。
1701013039
1701013040
尽管在科学研究中应用数学工具，会因为集合论自身的问题而受到严重影响，但是康托尔的无穷性研究并不会给我们带来明显的麻烦。我们知道，如果方程涉及变化，而且某些值可以通过合并无穷多个无穷小的部分的方式推导得出，牛顿、莱布尼茨及其后来者在进行微积分运算时就会使用潜无穷的概念。在这种情况下，无穷的概念（至少是亚里士多德提出的潜无穷概念）具有让人无法抗拒的价值。我们更不清楚的是，如果脱离了彻底抽象化的数学世界，康托尔的实无穷是否还有任何实际意义。
1701013041
1701013042
答案非常简单，到现在为止，我们还不知道无穷在现实世界中到底有没有意义。宇宙可能是无穷无尽的，大爆炸理论并不能彻底否定这种可能性。我们只知道可观测宇宙的直径大约是900亿光年，这个数字是对光自宇宙诞生以来传播的距离与相同时间里宇宙膨胀的速度加以综合之后得出的结论。但是，无论我们这个宇宙是独一无二的，还是无穷无尽的宇宙海洋中不起眼的一滴水（很多现代大爆炸模型认为，在更大的多元宇宙中发生过多次大爆炸），宇宙的膨胀都有可能是没有限度的。
1701013043
1701013044
从某些方面看，无限宇宙似乎比有限宇宙更有吸引力，因为有限宇宙会让人们情不自禁地遐想：宇宙边界之外是什么？但是，数学家已经找到了一个可能的答案：即使是有限宇宙，也可能完全没有边界。
1701013045
1701013046
这个答案似乎与我们的直觉不符，因为这在常见的三维空间中是很难想象的，但是我们可以轻松地找到一个二维类比对象——月球表面。（我选择月球表面而没有选择地球表面，是因为地球表面上的海洋会破坏它的连续性。）月球上有一个有限空间，即它的表面，而且这个有限空间没有边界。我们可以朝着任意方向一直走下去，也不会走到月球的边缘。站在月球上看，月球表面似乎是一个平面。把平面折向第三个维度，让边缘结合到一起，平面的边界就消失了。要在宇宙中想象出类似效果，我们需要把宇宙的体积折向第四个维度。在折叠之前，我们在某个位置上跨出一步就相当于从宇宙的一个侧面跨出去，但是在折叠之后，跨出去的这一步会让我们从宇宙的这一面进入与之相对的另一面。
1701013047
1701013048
现实世界中另一个可能真正具有无穷性的事物是时间。亚里士多德认为时间没有尽头，可以被视为一个无限膨胀的过程。有的宇宙学理论认为宇宙也没有起点，尽管更受欢迎的大爆炸理论揭示了宇宙的起源。但是，有人认为，如果宇宙膨胀到一定程度，之后再也不会发生任何变化，宇宙就走到了尽头。在这种情况下，我们有理由相信时间已经不存在了，因为时间的流逝将没有办法表示。
1701013049
1701013050
亚里士多德还相信时间和空间都可以被分割成许多无穷小的部分（亚里士多德不是原子论者）。现代物理学家大多认为这个观点可能不正确。仅仅因为物理现实的其他方面可以量子化（可以分割成离散粒子），时间和空间就一定也如此吗？考虑到万有引力已经被引入量子框架，他们更加确信这个观点不正确了。表示空间粒度效果最好的备选量度就是普朗克长度和普朗克时间，这两个单位的值是由光速c、引力常量G和普朗克常量h三个基本常数决定的。
1701013051
1701013052
1701013053
1701013054
1701013055
当人们建立这两个普朗克单位时，它们被视为宇宙的基本属性，而不是人为创造的两个概念。普朗克长度等于，大约是1.6×10–35米，普朗克时间是，大约等于5.4×10–44秒。还有一个普朗克单位是普朗克质量，即，大约等于2.2×10–8千克。虽然人们很少提及普朗克质量，但这是唯一一个与我们体验过的事物具有可比性的普朗克单位。（这些单位的值非常小，人们从来没有用过其他任何方式来衡量这些值。）如果时间和空间可以量子化，那么我们有可能（尽管无法确定）使用这些值来测算它们的粒度。（普朗克质量肯定不是质量的最小单位，它大约是电子质量的1022倍。有人认为，普朗克质量可能是基本粒子的最大可能质量。）
1701013056
1701013057
有趣的是，可能出现真正的无穷的一个领域是量子物理。原子、电子等量子的属性不同于我们在“宏观”世界中熟悉的各种事物的属性。例如，量子的一个特性叫作自旋（量子自旋并不是指真的自旋，而是借用自旋物体来比喻某种属性），但是我们无法用具体的值来表示它。在任一特定方向上测量，我们会发现量子自旋的方向可能“向上”，也可能“向下”。
1701013058
1701013059
在测量之前，我们无法预知测量结果，因为粒子的自旋没有实值。其实，自旋就是一种叠加状态，比如，粒子有27%的可能性向上自旋，有73%的可能性向下自旋。也就是说，如果我们在某个特定方向上重复测量，测量结果是“向上”和“向下”的概率分别是27%和73%。但是，我们只能测量概率（这要归功于薛定谔方程），而无法预知测量结果。
1701013060
1701013061
1701013062
在叠加状态下，自旋可以被视为一种方向。我们可以把它想象成箭头，箭头朝上表示上旋的可能性是100%，箭头朝下则表示下旋的可能性是100%。在叠加状态下，箭头指向某个中间方向。（可能性为各占一半，箭头指向水平方向。）由此可见，我们实际上得到了一个实数——一个无穷小的数，其表现形式是叠加状态的方向。因此，以这些粒子自旋为基础的量子计算机的潜能远远超过二进制的传统计算机。如果准备入侵现实世界，也许它会通过量子位，甚至只能通过一种间接的方式来实现这个目的，因为我们永远无法知道它的确切值。但是，这种入侵是真实的，因为它会对测量结果产生直接影响。
1701013063
1701013064
然而，有一件事肯定是真实无误的。尽管对于数学家而言，无穷就是一个雅致的玩具，但是在科学研究中却经常会招致难以解决的麻烦。在物理学领域，例如在研究前面讨论的电子反冲时，无穷大概念经常会发挥更大的价值。无论我们研究的是黑洞内部结构，还是反冲电子这种常见现象，无穷都有可能悄无声息地出现在我们眼前。电子还会导致另外一个问题，因为人们认为电子是没有维度的点粒子。但是，这就意味着随着我们越来越接近电子，电场强度就会趋近于无穷大，而离电子最近的肯定是它自己。
1701013065
1701013066
当用量子电动力学解释光与物质粒子之间发生的电磁相互作用时（这种电磁相互作用对于我们所有的日常体验来说几乎都是不可或缺的），无穷引起了无数麻烦，电子与自身电场发生相互作用产生的自能就是其中之一。然而，人们普遍认为，就预测观测值而言，量子电动力学是迄今最成功的理论。那么，它是如何处理无穷问题的呢？答案是重正化，归根结底就是用观测值取代那些荒谬的无穷值。
1701013067
1701013068
在遇到无穷时，物理学家并不总是束手无策，因为他们随时可以借助微积分中的潜无穷概念来化解危机。但令人尴尬的是，物理学理论似乎随时会抛出足以导致麻烦的实无穷概念。物理学家马克斯·泰格马克认为，如果我们支持那些容许实无穷概念存在的理论，就等于给未来的物理学制造麻烦。
1701013069
1701013070
他特别指出，宇宙膨胀说就是这种理论的一个代表。宇宙膨胀说是帮助早期大爆炸理论解决某些问题的“补丁”。该学说认为，大爆炸发生之后，宇宙空间以远超光速的速度急剧膨胀，我们现在可观测到的宇宙从此开始了它的生命历程。现行的宇宙膨胀说与观测结果的一致程度比较高。（从某种意义上讲，这也是理所应当的，因为宇宙膨胀说的创立初衷就是实用，为了与新数据吻合，又修改了若干次。但是，自现代宇宙膨胀说建立之后，已经有很多观测结果迟迟不能得到合理的解释。）
1701013071
1701013072
泰格马克称，麻烦的根源就在于膨胀说秉持宇宙体积可以无限膨胀的观点。根据这个观点，最终将会形成一个空间无穷集，将所有可能的物理情况都包含其中，导致膨胀说在诸多领域里完全丧失做出明智预测的能力。如果一切都有可能，我们就无法准确预测任何结果，科学的意义也会遭到严重破坏。从这个角度看，宇宙膨胀说与致命计算机病毒有几分相似，如果听之任之，所有的科学理论都将遭遇灭顶之灾。
1701013073
1701013074
泰格马克指出，就像橡皮筋因为原子数量有限而无法无限拉伸一样，根据时空的量子性质，宇宙的膨胀也应该是有限度的；而且，如果物质真的具有连续性，那么这个说法基本上就是对的。他认为，有了这个限度，一切问题都将迎刃而解。无论是密度无限大的黑洞奇点，还是阻碍量子引力理论发展的数学难题，都不再是问题。他大声疾呼：我们不需要实无穷！
1701013075
1701013076
最后，泰格马克说：“我们物理学家面临的挑战是找到这个简便有效的方法，用不包含无穷的方程描述真正的物理定律。我们必须先对无穷提出质疑，才可能积极投身这项探索活动。我认为，我们有必要把它赶出物理学界。”尽管泰格马克的话有些特立独行，但是他的思想可能代表了科学的一个新起点。
1701013077
1701013078
与令人尴尬的物理学领域的无穷不同，康托尔研究的数学领域的无穷对日常生活与科学研究从未产生任何重大的影响。从研究数字与现实之间关系的角度看，我们更想知道哥德尔的研究成果，以及选择公理因为自身问题而导致的随机性到底会产生什么样的影响。集合论是数学的基础，但它自身却有一个有趣的缺陷。或许这些新发展的最大意义是告诉我们，将数学视为现实世界的直接基础，会带来一定的风险。果真如此的话，就意味着现实也具有随机性。
1701013079
1701013080
尽管直到康托尔去世，他的无穷理论也没有得到广泛应用，但是物理学却开启了一个新的发展方向，使数学的核心地位得到了史无前例的巩固。从此以后，人类对世间万物的认知，以及人类的日常生活，几乎都将因此而发生改变。
1701013081
1701013082
1701013083
1701013084