除以零（7 / 12）

她责备自己，你是个多可笑女人。哥德尔证明他不完全定理后z.sha吗？

但是，哥德尔定理是优美，让人肃然起敬，是雷内所见到最优美个定理。

而她自己证明却嘲讽她，讥笑她。就好像谜题书中道难题，它说：这下可把你难住。你跳过这个错误，查看自己在哪儿出问题，结果绕圈又兜回来，那个难题再次对你说：又把你难住。

她估计卡拉汉会考虑她发现对数学意义。数学许多内容并没有实际用处，她理论也可以仅仅作为种形式而存在，研究它只是为它包含智力美。但这是不能持久。自相矛盾理论实在太无意义，绝大多数数学家只会厌恶地置之不理。

使雷内真正感到恼火是她自己直觉出卖她。那个该死定理大有道理。它以自己怪异方式，给人种感觉，它

试试另种方式。“等下。刚才你提到虚数这类想像出来概念，大家不也样接受吗？现在不也可以这样吗？数学家们曾经相信虚数没有意义，可是现在它们成数学基础概念。情况完全是样呀。”

“不样。当时解决方法只是扩展语境，用在这里不起作用。虚数给数学增添新内容，而形式系统却是给已经存在在那里东西下定义。”

“但是，如果你改变语境，从不同角度探索——”

她翻个白眼。“不可能！这个体系是从和加法样明白无误公理得出结果，无法绕过。可以担保。”

７

１９３６年，格哈德·根茨恩提出种对算术致性证明，可是要做出证明，他需要采用种有争议方法，即人们所知道超限归纳法。这种方法不属于正常证明方法，因此似乎难以恰当地保证算术致性。根茨恩所做是使用可疑方法来证明显而易见东西。

７a

卡拉汉从贝克利大学打电话来说他也不能雪中送炭，但表示愿意继续研究她论文，似乎她触及到某种本质、而又令人不安东西。他想知道她是否打算发表她形式体系，因为这个形式体系虽然确包含他们两人都无法发现错误，但数学界肯定会有人能够发现。

雷内几乎没有听见他说话，只是嘀咕今后她会打电话联系他，近来，她与人讲话很困难，尤其是自从那次与卡尔争论以来，情况更糟糕。系里同事们都尽量避开她。她显得心不在焉，前天夜里她做个噩梦，梦见她发现种形式体系，可以使她将主观概念转换成数学语言，然后，她证明生与死是相同。

有种可能性让她十分惊恐：她正能正在失去理智。她肯定在失去清晰思维，这与失去理智已经相差无几。