一个上世纪90年代提出的数理逻辑学“西塔潘猜想”,20多年来世界上许多研究者都未能解开,然而,它却被一个来自中国的本科生给破解了。这个本科生就是22岁的中南大学数学科学与计算技术学院大四学生刘嘉忆。目前,中南大学已经决定录取刘嘉忆为硕博连读的研究生。
“他的表达能力远不如他的思考能力。”刘嘉忆的高中数学老师宫福婧说,“这一点从每次考试的试卷上都能体现出来。他绝对可以把这道题做对并得出正确结果,但对其中的步骤往往极尽省略,跳跃性很强。别的同学需好几步推算得出的结果,他一步就到位了。”
南京大学数学系博士生导师丁德成教授回忆,“今年4月底,我收到了权威杂志《符号逻辑杂志》主编、美国芝加哥大学数学系教授、逻辑学家邓尼斯·汉斯杰弗德发来的邮件,说有个中国学生刘嘉忆给他们投稿,内容是破解‘西塔潘猜想’的。不久,《符号逻辑杂志》的审稿者在仔细推敲了刘嘉忆的论文后,在今年6月宣布这名年轻人破解了“西塔潘猜想”。
链接
“西塔潘猜想”
“西塔潘猜想”研究的是反推数学中“拉姆齐二染色定理”的证明论强度,是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。所谓“拉姆齐二染色定理”,其通俗的版本就是“友谊定理”,即在一群不少于三人的人群中,若任何两人都刚好只有一个共同认识的人,这群人中总有一人是所有人都认识的。
(《新民晚报》10.14 吕剑波)