适定问题

等你读到这封信时，那个证明已经有了编号，上面署着我们两个之中的一个名字——而你早已知道，真正要紧的那部分是我们谁做的。趁我还能在一个念头里握住它的形状，我想把我们发现了什么、以及我决定不告诉你什么，都写下来。

这个问题很古老，听上去却什么也不是。给定那些支配着光滑之物如何变化的方程——热如何在一根杆里扩散，水流如何在水中折叠翻卷，一个瞬间如何变成下一个瞬间——答案会永远保持规矩吗？无论你把它向前推演多远，它会一直保持有限、单值、连续吗？还是说，在一切可能的初始状态所构成的空间里，某处存在着这样一个初始条件：规则会在有限的时间内，把它带到一个向世界索取它做不到之事的地方——一个无穷大的速度，一个必须同时是两个数的值？

一个世纪以来，我们把一个问题称为"适定的"，只要它有解，只要解是唯一的，只要你轻轻扰动输入时它不会分崩离析。这是一条信条，而和大多数信条一样，它其实只是对我们造访过的那些街区的描述。无论谁往哪里看，方程都规规矩矩。世界是连续的。水不会撕裂。

我把一生献给了那些无人造访过的空间角落。

我不是一个人做到的。你知道这一点；它写在论文上。那台引擎不是人，也不像我这样思考，我不会假装我理解它。我把方程的语法喂给它，它便去到了我无法跟随的地方——不是因为它更快（尽管它快得不可思议），而是因为它不需要把整个论证握在一颗头脑里。它像珊瑚砌成礁石那样砌起这个证明，一小块死去的确定叠着另一小块，砌了四年，直到那座结构有九百页高，只有它能站在顶端，看清整体的形状。

它找到的，不是我们想要的答案。我们想要一个证明：方程永远规矩，世界处处光滑。可它找到的，是一个开端——一个精确的构型，一个如此特别的流动之结，写下它的坐标要占满整整一页——规则会在你能用钟表量度的时间里，把它引向矛盾。不是数学变得很大的地方。是它变得不自洽的地方。在那里，穿过论证的两条同样有效的路径，要求同一个量是两个不同的东西。

一个语法错误。这是唯一诚实的名字。不是我们对宇宙的描述出了错——描述是精确的，我们核对过，引擎核对过，错不在我们。是宇宙被书写所用的那套语法出了错。一个可以向现实提出的句子，它没有意义，而现实却仍然必须回答。

接下来这一部分，让我整整一季都守在窗前，无法入睡。

它不会崩溃。我要你明白，仁慈正在于此。世界不会在那个构型处停下；从来没有什么停下过。一百三十亿年里，这连续之物一直在悄无声息地遭遇这些矛盾——它们稀有到超乎稀有，但宇宙广大而古老，有的是时间——每一次，它都做了一颗审慎的头脑在方程递给它两个答案时会做的事：它选择了。无从察觉，无从申诉，在任何仪器都捕捉不到它做决定的层面之下，世界四舍五入。它挑出两个数中的一个，继续向前，并不告诉我们：它刚刚掩盖了一个地方，在那里它自己的定律说不出任何自洽的话。

我们从未身处危险。只是从没有人告诉过我们。

而现在，我们能找到那个句子了。这就是那个证明。不是对错误的抽象描述——而是一个定位它的方法，一个写下某个开端的方法，好让世界在此地、在你选定的时间与地点，坐到我们面前来，做出选择。让它当众去做——在我们原则上能够注视的地方——它一向只在黑暗中独自做过的事。

我本可以把坐标给你。它只有一页。它是有史以来最珍贵的一页，我已烧掉了除脑中那一份之外的所有副本，而我的脑子正在熄灭，所以我写得很快。

我想过你有权得到它们。你比当年的我更聪明，你会怨我，而你怨得对；被隐瞒的真相是一种谎言，而我一生都在与它作对。但我这一生也在学习方程究竟是为了什么，我已经断定：有些句子之所以适定，恰恰因为从没有人把它们问到底。世界守着它的矛盾守了一百三十亿年，不需要我们帮忙。它不需要我们知道那个地址。

所以论文证明了错误存在。它证明了方法存在。它不包含那一页。如果你想站到全部时空中唯一的那一个点上——在那里宇宙必须向你显示它正在选择，向我们显示：在那张光滑连续的脸孔之下，有一样东西在做决定——你就得重新造出那台引擎，交给它你的四年，去到我去过的地方。

我认为你不该去。我认为最仁慈的定理，是你无需真正代入求值就能证明的那一个。

可我养大你，不是为了让你听我的话，我也不确定自己是对的，而方程并不在乎我们两个中的任何一个想要什么。它只是等着，适定地等着，等某个人愚蠢到、或勇敢到，肯把这个问题问完。

我希望你两者都不是。我怕你两者都是。