次对你说：又把你难住了。
她估计卡拉汉会考虑她的发现对数学的意义。数学的许多内容并没有实际用处，她的理论也可以仅仅作为一种形式而存在，研究它只是为了它包含的智力美。但这是不能持久的。自相矛盾的理论实在太无意义了，绝大多数数学家只会厌恶地置之不理。
使雷内真正感到恼火的是她自己的直觉出卖了她。那个该死的定理大有道理。它以自己怪异的方式，给人一种感觉，它是正确的。她理解它，知道它是真实的，并且相信它。
７b
想到她生日那天的情景，卡尔微笑起来。
“我不相信！你怎么可能知道？”她手里抱着一件毛衣，跑下楼来。
去年夏天，他们俩在苏格兰度假。爱丁堡一家百货商店有一件毛衣吸引住了雷内的眼光，但当时她没有买。于是他订购了这件毛衣，放在她的梳妆台抽屉里，等那天早晨给她一个惊喜。
“你这个人太容易被人一眼识破了。”他取笑她。夫妻俩都知道这话不是真话，但他还是喜欢这样告诉她。
那是两个月前的事情了。差点两个月。
现在情况不同了，需要改变一下做法。卡尔走进雷内的书房，发现她坐在椅子上，眺望窗外。“猜一猜我为我们俩搞到了什么？”
她抬起头来。“什么？”
“周末预订。在比尔特莫尔订了一套房间。我们可以放松放松，什么都不做——”
“请别说下去了。”雷内说，“卡尔，我明白你的心意。你想我们做点愉快的事情，好让我散散心，不去想这个形式体系。但不起作用。你不知道这个对我究竟是什么样的压力。”
“算了吧。算了吧。”他拉住她的手，想把她从椅子上拉起来，可是她挣开了。卡尔稍站片刻，突然她转过身来，死死盯着他。
“我想吃安眠药，这你知道吗？我几乎希望自己是一个白痴，用不着去思考形式体系。”
他大吃一惊，不知道说什么好。“你至少可以试试离开一段时间，为什么不呢？有益无害呀，说不准会分散你的心思呢。”
“没有什么可以使我分散心思。你不明白。”
“那就解释给我听吧。”
雷内呼出一门气，转身想了一下。“就好像我看见的一切都在向我大喊大叫那个矛盾。”她说，“现在我一直在给不同的数字列等号。”
卡尔陷入了沉默。突然间，他懂了。“这就好像面对量子力学问题的古典物理学家们。仿佛你一直相信的理论给取代了，而新的理论又没有意义，但不知怎么回事，所有证据却都支持这种新理论。”
“不对，压根儿不是那么一回事。”她几乎对他的说法嗤之以鼻，“这与证据没有丝毫关系；这完全是先验的。”