己肯定会发现蛛丝马迹。但他现在得到的印象却全然不是这么回事。令雷内感到苦恼的无论是什么，反正他猜不透。这使他感到烦恼。

６

１９３１年，库特·哥德尔⑥证明了两大定理。第一个定理实际上表明：数学包含或许是真实的、但在本质上却无法证明的陈述。甚至简单如算术的形式系统也可以包括精确，有意义，而且似乎真实无疑的陈述，但却无法用形式方法加以证明。

他的第二个定理表明：断言算术具有逻辑上的一致性，这就是上面所说的那种陈述之一，采用算术公理的任何方法都不能证明其真实性。也就是说，作为一种形式系统的算术无法保证不会得出１=２这样的结果。这样的矛盾也许永远不会遇到，但却无法证明绝对不会遇到。

６a

卡尔再次走进雷内的书房。她站在书桌跟前，抬头看他。他鼓起勇气说：“雷内，显然是——”

她打断她的话，“你想知道我烦恼的原因吗？好吧，我告诉你。”说着雷内便拿出一张白纸，坐在书桌跟前，“等一下，这需要一点时间。”卡尔又张开嘴，但雷内挥手示意他保持沉默。接着，她深深地吸了一口气，开始写起来。

她画了一条线，穿过纸的中央，将纸分成两栏。然后，她在一行的顶部写下数字１，另一行的顶部写下数字２。接着在这两个数字下面迅速潦草地画一些符号，又在这些符号下面的行列里把它们扩展成一串串别的符号。她边写边咬牙切齿，写下那些文字时，感觉好像她正用指甲刮过黑板似的。

Loading...

未加载完，尝试【刷新网页】or【关闭小说模式】or【关闭广告屏蔽】。

使用【Firefox浏览器】or【Chrome谷歌浏览器】打开并收藏！

移动流量偶尔打不开，可以切换电信、联通网络。

收藏网址：www.yuesekanshu.com

(＞人＜；)