雷内却已经不在老套路上
：她另辟蹊径，想出
条截然不同
路子来解决这个问题，但却仅仅证明原先体系确实存在矛盾。“不过，还是谢谢你费心。”
“你要另外找人看看吗？”
雷内转身瞧着他，怒目相对。“
知道自己什
时候工作有效率，什时候没有。”
心凉。“那，就不打扰你，”他退出去。
“谢谢”说完，她注意力又回到书架上。卡尔离开，心里竭力猜测她瞪视含义。
５
在１９００年举行国际数学大会上，大卫·希尔伯特⑤列出二十三个悬而未决重大数学问题。他列出第二大问题是请证明算术在逻辑上致性。这个问题旦证明，就将保证高等数学许多内容致性。就本质而言，这个证明所能保证是这点：不可能证明等于二。认为这个问题具有重大意义数学家寥寥无几。
要某个人来检查公式细节问题就行。
４b
卡尔是在位同事举行次聚会上与雷内相识。他被她那张脸吸引住。那是张异常平庸脸，大多数时间不苟言笑，但在那次聚会期间他看见她微笑两次，皱两次眉。看她笑时觉得她不会皱眉，看她皱眉时又觉得她不会笑。卡尔很吃惊：他能够辨认出什样脸经常微笑，什样脸经常皱眉。但是对她那张脸，他却捉摸不透。
他花很长段时间来解雷内，读懂她表情。不过，这无疑是值得。
此时，卡尔坐在书房里安乐椅上，膝盖上放着本最新期《海洋生物学》杂志，倾听雷内在客厅对面她自己书房里揉皱纸张沙沙声。整个晚上她都在工作，可以听出她愈来愈焦躁不安。不过他进去察看时，她又板着平时那张没有表情脸，丝毫看不出什来。
５a
法布里希还没有开口，雷内就知道他要说什。
“简直是见过最要命东西。还不大会走路幼儿玩玩具是把不同断面积木嵌进不同形状槽子，你知道吗？读你形式体系，就好像观看个人把块积木滑进木板上每个洞里，每次都做得天衣无缝。”
“这说来，你发现不错误？”
他摇摇头。“发现不。滑进和你相同套路：只能用你方法思考这个问题。”
他将杂志放到边，再次起身走到她书房门口。只见书桌上摊开册书，书页上布满难以辨识公式，点缀着用俄语写评注。
她浏览着些资料，难以觉察地皱皱眉，啪声合上。卡尔听见她嘀咕声“无用”，将书放回书架。
“这样下去你会弄出高血压。”卡尔取笑道。
“别以保护人自居。”
卡尔吃惊，“没有。”
请关闭浏览器阅读模式后查看本章节，否则可能部分章节内容会丢失。
