特德•姜提示您:看后求收藏(350中文350zw.com),接着再看更方便。

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

7

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

7A

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

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

有一种可能性让她十分惊恐:她可能正在失去理智。她的思维肯定已不再清晰,这与失去理智已经相差无几了。

她责备自己,你是一个多么可笑的女人。哥德尔证明他的不完全定理后自杀了吗?

但是,哥德尔的定理是优美的,让人肃然起敬,是雷内所见过的最优美的定理之一。

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

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

使雷内真正感到恼火的是她自己的直觉出卖了她。那个该死的定理大有道理。它以自己怪异的方式给人一种感觉:它是正确的。她理解它,知道它是真实的,并且相信它。

7B

想到她生日那天的情景,卡尔微笑起来。

“我不相信!你怎么可能知道?”她手里抱着一件毛衣跑下楼来。

去年夏天,他们俩在苏格兰度假。爱丁堡一家百货商店有一件毛衣吸引住了雷内的目光,但当时她没有买。于是他订购了这件毛衣,放在她的梳妆台抽屉里,等那天早晨给她一个惊喜。

“你这个人太容易被人一眼识破了。”他取笑她。夫妻俩都知道这不是真话,但他还是喜欢这样告诉她。

那是两个月前的事情了。差点两个月。

现在情况不同了,需要改变一下做法。卡尔走进雷内的书房,发现她正坐在椅子上眺望窗外。“猜一猜我为我们俩搞到了什么?”

她抬起头来。“什么?”

“周末游。我在比尔特莫尔订了一套房间。我们可以放松放松,什么都不做——”

“请别说下去了。”雷内说,“卡尔,我明白你的心意。你想让我们做点愉快的事情,好让我散散心,不去想这个形式体系。但这不起作用。你不知道我承受的是什么样的压力。”

“算了吧,算了吧。”他拉住她的手,想把她从椅子上拉起来,可是她挣开了。卡尔稍站片刻,突然,她转过身来,死死盯着他。

“我想吃安眠药,这你知道吗?我几乎希望自己是一个白痴,用不着去思考形式体系。”

他大吃一惊,不知道说什么好。“你至少可以尝试离开一段时间,为什么不呢?有益无害呀,说不准能分散你的心思呢。”

“没有什么可以分散我的心思。你不明白。”

“那就解释给我听吧。”

雷内呼出一口气,转身想了一下。“这就像我看见的一切都在向我大喊大叫那个矛盾。”她说,“现在我一直在给不同的数字画等号。”

卡尔陷入了沉默。突然间,他懂了。“这就好像面对量子力学问题的古典物理学家们。仿佛你一直相信的理论给取代了,而新的理论又没有意义,但不知怎么回事,所有证据却都支持这种新理论。”

“不对,压根儿不是那么回事。”她几乎对他的说法嗤之以鼻,“这与证据没有丝毫关系;这完全是先验的。”

“怎么没关系?你的推理和证据之间互相矛盾,这不正是你的问题吗?”

“基督呀,你在开玩笑吗?我测算一和二相等,现在我的直觉也告诉我它们相等。我脑子里再也没有不同数量这个概念了,它们对我来说全都是相同的。”

“你不是这个意思吧。”他说,“事实上谁也不可能经历这种事情。”

“你怎么知道我能够经历什么呢?”

“我在尽力去理解。”

“别操那份心了。”

卡尔失去了耐心。“那好吧。”说着他走出房间,取消了预订。

从那之后,夫妻俩彼此寡言少语,只有必要时才说话。三天后,卡尔把他需要用的一盒载玻片落在家里,便驱车回家取,到家后发现桌子上有一张妻子的留言条。

接下来,卡尔产生了两个直觉。他飞奔穿过房子,边跑边纳闷她是否从化学系搞到了氰化物。就在这时,他产生了第一个直觉:他意识到因为不明白是什么原因导致她做出这种事,所以对她没有什么同情之类的感受,没有任何感受。

当他一边猛敲卧室门,一边向屋里的她吼叫的时候,他产生了第二个直觉:一种记忆错觉。这种情形似曾相识,却又逆反得荒谬。他记得自己曾经待在一座建筑物房顶的一道锁着的门内,听见一位朋友在外面一边猛力敲门,一边向他吼叫别寻短见。此刻他站在卧室门外,听见她羞愧地瘫倒在地板上哭泣,与他当年待在门里面时的情形毫无二致。

其他小说推荐阅读 More+
迷乱仙都

迷乱仙都

昭苏十七
这个城市隐藏着很多秘密,人,魔,仙,佛,不过蝼蚁,当到达那一刻的时候,一切为之颤抖(主角不固定,每个人都可能是主角)
其他 连载 0万字
白月光嫁到,高冷傅总变恋爱脑

白月光嫁到,高冷傅总变恋爱脑

御若了蓝
(马甲+女主毒舌+男主恋爱脑)\n众所周知,傅凌琛心里有个已经不在世的白月光,他爱她爱得都魔怔了。 \n可从不近女色的高冷霸总身边突然多了个娇美人。\n冷面总裁在她面前秒变粘人精,眼里只有她,把她当稀世珍宝一样捧在手心,为她鞍前马后不亦乐乎。 \n人们好奇,到底是什么样的女人能让傅凌琛放下心中挚爱转而对她死心塌地? \n一查,切~这女人不过是个在剧组跑龙套当替身的。\n二查,这女人 “养鱼”的,她
其他 连载 0万字
一念之间,缘来是你

一念之间,缘来是你

完颜秀竹
一念之间,缘起缘灭,一念之间,缘来是你。
其他 连载 0万字
咬一口惊悚BOSS,呸恋爱脑!

咬一口惊悚BOSS,呸恋爱脑!

爱干饭的团子
【双男主+无限流爽文+BOSS攻+疯子受+触手+双强双洁1V1】三年前,《天堂的阶梯》突然降临,一批又一批的人被拉入逃生游戏,被迫直播,承受着观众的随意摆布和滔天恶评。虞卿长发柔软,长相单纯,大眼睛水汪汪的眨着,面对面前狞笑着骗他进屋的鬼婆婆,乖巧点头:“好。”观众:【……无脑,主播下一秒就要被鬼婆婆毒死了。】直播人数骤减,然后,噗呲——虞卿把鬼婆婆的头按进了餐盘里,笑问:“大家想看鬼做吃播吗?”
其他 连载 110万字
满级社牛她把男主逼疯啦

满级社牛她把男主逼疯啦

Paradoxical
祝棠棠死后,穿成了大男主科举文中的疯批女配,系统告诉她按照剧本完成任务,她就能获得在此世界新生的机会。她草草翻了一眼自己的剧本,霸凌男主—爱上男主—囚禁男主。ok,非常简单,她将剧本随手一扔。系统:!!!剧本只有一份,你把剧本扔了怎么走剧情!祝棠棠有点心虚,但仍然理直气壮:放心,问题不大!霸凌男主:那不就是把他饭抢了,往他桌子里扔虫子,扯他发头,上课和他说话烦死他?爱上男主:花式表白就行;
其他 连载 0万字
和离后我嫁给了小叔子

和离后我嫁给了小叔子

大河之楠
沈楚蓉生的香体雪肤,一个眼风,便勾的京中少年魂牵梦萦。只可惜,她刚及笄便被继母远嫁秦州。夫君秦朝外表儒雅风流,酷爱收藏美人,房中人从丫鬟娼妓到妇人应有尽有。人人都以为,沈楚蓉这般艳色,应该拔得头筹,得夫恩宠。只有沈楚蓉知道,和她夜夜笙歌的另有他人。早在姨娘进门那一日,有人夜闯芙蓉阁,沈楚蓉清白尽失。第二日,沈楚蓉看着镇.xin定.huang.自.yi若.luan的男人,弯身行礼:小叔子。起初,秦狩
其他 连载 0万字