第(3/3)页

    真正体现数学家之间差距的是看对方是否具有创造性思维，能不能在别人想不到的领域开辟全新的战场。

    而这一点，就需要长时间的积累以及偶然间的灵光一闪了。

    望月新一原以为，自己和庞学林之间就算存在差距，但是至少在逻辑思维能力上，不存在质的区别。

    但今天，庞学林的表现却完全超出了他的想象。

    这到底是哪来的怪物？

    佩雷尔曼也意识到了这一点，不过此时的他倒没想那么多。

    他从庞学林手中拿过论文的手稿，又从头到尾推演了一遍。

    最终的结果证明，庞学林是正确的。

    佩雷尔曼脸上难掩失落之色，毕竟费了这么大心机，最终却因为一个小漏洞，而前功尽弃，实在是让人有些难以接受。

    不过他还是很快就调整好了心态。

    在数学界，一项研究成果出来之后，被挑漏洞是很正常的事。

    就好比当年的安德鲁·怀尔斯，当年证明费马大定理的时候，也曾被学术界挑出过漏洞。

    只不过后来他又花了一年时间将这个漏洞补齐，才算证明了费马大定理。

    望月新一更是此中好手。

    当初为了证明ABC猜想，自己发明了一套宇宙泰西米勒理论，结果学术界谁也看不懂，扯皮了十多年。

    如果不是后来庞学林横空出世，证明这一猜想，说不定，望月新一到现在还在跟数学界的人扯皮。

    “庞，如果没有其他事的话我先回去了，我得好好想想，这个漏洞还有没有补救的办法。”

    三人又聊了会儿天，佩雷尔曼便主动告辞离去。

    看着佩雷尔曼的背影消失在门后，望月新一好奇道：“庞，你觉得佩雷尔曼能证明霍奇猜想吗？”

    庞学林摇了摇头，说道：“不知道，看佩雷尔曼自己能不能补齐那个漏洞了，至少在整体的思路方向上，我觉得没什么问题的。对了，这段时间你的研究怎么样了？”

    自从ABC猜想被证明之后，望月新一就将研究方向转向了连续统势领域。

    所谓的连续统势，表述起来很简单，指的是实数集合中到底含有多少个实数?或者说，实数集合的势到底是多大?

    连续统势确定问题是集合论中最古老最基本最自然的一个问题。

    对于(无穷)集合来讲，两个集合等势的充分必要条件是它们之间存在一个一一对应或者双射。

    众所周知，自然数可以被用来作为有限集合所含元素个数的多少的一种度量：两个有限集合等势的充分必要条件是它们含有相同个数的元素。

    因此，每一个有限集合的势都唯一地由一个自然数来确定。

    类似的，无限集合的势也都唯一地由一个基数?α来确定。

    最小的无穷基数是?0    ，它代表着全体自然数所组成的集合的势。

    ?0之后的第一个基数是?1，再其后的第一个基数是?2，然后是?3，等等……

    一般来说，紧接着基数?α之后的基数是?α+1：两个基数?α和?β的大小之比较由它们的下标(序数α和β)的长短来唯一确定。

    每一个自然数n都是一个比?    0    小的基数.对于无限基数来说，?0＜?1＜?    2＜?3＜……

    Cantor于1873年12月证明了由全体实数所组成的集合(即连续统)的势至少是?1。

    现在问题出来了：到底哪一个基数?α是连续统的势呢？

    是?1?还是?2，?3，还是别的一个什么?α？

    Cantor    当年曾经猜想：连续统的势是第一个不可数的基数?1。

    这就是Cantor连续统猜想，也是希尔伯特(Hilbert)1900年提出的23个问题中的第一问题。

    望月新一摇了摇头，苦笑道：“我现在只是有个头绪，想要真正搞明白这个问题，估计还要很长时间呢。”

    接着，望月新一又和庞学林聊了一下近期庞氏几何研讨班的问题，这才告辞离去。


    第(3/3)页