第380章 AI for Math(2/3)

这个命题,表述得严丝合缝,一个字都挑不出毛病。

可它偏偏在zfc这套公理底下,既证不出来,也推不翻。

1940年,哥德尔先证了一半。

zfc推不出它的否定,也就是说,你没法证伪它。

1963年,科恩补上了另一半。

zfc同样推不出它本身,也就是说,你也没法证明它。

哥德尔和科恩的两头夹击,给出了数学史上最经典的“独立性”证明。

连续统假设在标准数学框架内是既不能被证明,也不能被证伪的。

它是一个“独立命题”。

所以怀尔斯那句反问,分量很重。

克雷要真把连续统假设挂上去,那一百万美金的奖金,可就成了永远发不出去的一张空头支票。

无论谁来挑战,无论他说真还是说假,都不可能在zfc里,给你递上一份证明来。

格里芬张了张嘴,最後还是没有出声反驳。

可看他那神色,显然还憋着别的话要说。

就在这个时候,坐在长桌另一端的詹姆斯·阿瑟,示意大家夥儿先别急着吵。

他没去理会格里芬,而是看向了怀尔斯。

“怀尔斯教授,你跟李东教授比较熟。”

阿瑟斟酌着开口道。

“你说,咱们克雷数学研究所,有没有可能把他请进来?”

这话一出口,格里芬当即就站了起来。

“不可能!”他几乎是脱口而出,“他不够格!”

然而满屋子的委员,竟没一个站他的。

格里芬被这麽晾着,脸上有些挂不住,只好硬着头皮往下说:“他那点成果,根本……”

“根本”了半天,他自己都编不下去了,最後只憋出来一句。

“……他年纪太小了。”

坐在怀尔斯旁边的西蒙·唐纳森听了,倒是笑出了声。

“格里芬啊,年纪小怎麽了?”这位老人一脸的不在乎。

“我倒觉得,年纪小是好事,最起码,比咱们这几个老家夥要死得晚一些,往後能做出来的东西,说不定比咱们加起来还要多呢。”

“我看请进来,挺好。”说着,他转过头问道。

“怀尔斯教授,你觉得呢?”
本章未完,请翻下一页继续阅读.........

附近章节