刘嘉忆解开“西塔潘猜想”

    一个上世纪90年代提出的数理逻辑学“西塔潘猜想”，20多年来世界上许多研究者都未能解开，然而，它却被一个来自中国的本科生给破解了。这个本科生就是22岁的中南大学数学科学与计算技术学院大四学生刘嘉忆。目前，中南大学已经决定录取刘嘉忆为硕博连读的研究生。

    “他的表达能力远不如他的思考能力。”刘嘉忆的高中数学老师宫福婧说，“这一点从每次考试的试卷上都能体现出来。他绝对可以把这道题做对并得出正确结果，但对其中的步骤往往极尽省略，跳跃性很强。别的同学需好几步推算得出的结果，他一步就到位了。”

    南京大学数学系博士生导师丁德成教授回忆，“今年4月底，我收到了权威杂志《符号逻辑杂志》主编、美国芝加哥大学数学系教授、逻辑学家邓尼斯·汉斯杰弗德发来的邮件，说有个中国学生刘嘉忆给他们投稿，内容是破解‘西塔潘猜想’的。不久，《符号逻辑杂志》的审稿者在仔细推敲了刘嘉忆的论文后，在今年6月宣布这名年轻人破解了“西塔潘猜想”。

    链接

 “西塔潘猜想”

    “西塔潘猜想”研究的是反推数学中“拉姆齐二染色定理”的证明论强度，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。所谓“拉姆齐二染色定理”，其通俗的版本就是“友谊定理”，即在一群不少于三人的人群中，若任何两人都刚好只有一个共同认识的人，这群人中总有一人是所有人都认识的。

    (《新民晚报》10.14 吕剑波)