去年夏天，他们俩在苏格兰度假。爱丁堡一家百货商店有一件毛衣吸引住了雷内的眼光，但当时她没有买。于是他订购了这件毛衣，放在她的梳妆台抽屉里，等那天早晨给她一个惊喜。
“你这个人太容易被人一眼识破了。”他取笑她。夫妻俩都知道这话不是真话，但他还是喜欢这样告诉她。
那是两个月前的事情了。差点两个月。
现在情况不同了，需要改变一下做法。卡尔走进雷内的书房，发现她坐在椅子上，眺望窗外。“猜一猜我为我们俩搞到了什么？”
她抬起头来。“什么？”
尤其是自从那次与卡尔争论以来，情况更糟糕。系里的同事们都尽量避开她。她显得心不在焉，前一天夜里她做了一个噩梦，梦见她发现了一种形式体系，可以使她将主观概念转换成数学语言，然后，她证明了生与死是相同的。
有一种可能性让她十分惊恐：她正能正在失去理智。她肯定在失去清晰的思维，这与失去理智已经相差无几了。
她责备自己，你是一个多么可笑的女人。哥德尔证明他的不完全定理后z.sha了吗？
但是，哥德尔的定理是优美的，让人肃然起敬，是雷内所见到的最优美的一个定理。
而她自己的证明却嘲讽她，讥笑她。就好像谜题书中的一道难题，它说：这下我可把你难住了。你跳过这个错误，查看自己在哪儿出了问题，结果绕了一圈又兜回来，那个难题再一次对你说：又把你难住了。
“周末预订。在比尔特莫尔订了一套房间。我们可以放松放松，什么都不做——”
“请别说下去了。”雷内说，“卡尔，我明白你的心意。你想我们做点愉快的事情，好让我散散心，不去想这个形式体系。但不起作用。你不知道这个对我究竟是什么样的压力。”
“算了吧。算了吧。”他拉住她的手，想把她从椅子上拉起来，可是她挣开了。卡
她估计卡拉汉会考虑她的发现对数学的意义。数学的许多内容并没有实际用处，她的理论也可以仅仅作为一种形式而存在，研究它只是为了它包含的智力美。但这是不能持久的。自相矛盾的理论实在太无意义了，绝大多数数学家只会厌恶地置之不理。
使雷内真正感到恼火的是她自己的直觉出卖了她。那个该死的定理大有道理。它以自己怪异的方式，给人一种感觉，它是正确的。她理解它，知道它是真实的，并且相信它。
７b
想到她生日那天的情景，卡尔微笑起来。
“我不相信！你怎么可能知道？”她手里抱着一件毛衣，跑下楼来。
