第380章 AI for Math (第2/3页)

org Cantor）在1878年提出的一个关於“无穷大等级”的终极猜想。

    它问的其实是一件很简单的事。

    在整数跟实数中间，到底有没有这麽一个集合。

    它的大小严格地比整数多，又严格地比实数少。

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

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

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

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

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

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

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

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

    它是一个“独立命题”。

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

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

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

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

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

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

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

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

    阿瑟斟酌着开口道。

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

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

    “不可能！”他几乎是脱口而出，“他不够格！”

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

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

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

    “……他年纪太小了。”

    坐在怀尔斯旁边的西蒙·唐纳

    （本章未完，请点击下一页继续阅读）

『加入书签，方便阅读』