著名逻辑学家、芝加哥大学汉斯杰弗德教授：“请接受我对你的研究成果的祝贺！”
数理逻辑专家、南京大学(招生办)博导丁德成：“你们中南大学(招生办)出了个好学生！” 数学家、中南大学博导侯振挺向中国科学院三位院士介绍了刘嘉忆情况，三位院士分别致信教育部，请予破格录取刘嘉忆为研究生，并建议加强对其学术方面的培养。 时任中南大学校长黄伯云特批刘嘉忆硕博连读，学校为其“量身打造”求学方案，打开人才培养通道。 中南大学教授陈海波：刘嘉忆出现在我们学校，偶然中有必然。湖南文化敢为人先的性格和我们校园文化特征起到了很大作用。 大三学生破解西塔潘猜想 在这篇报道的开头，记者先尽量以直白的语言，来试着叙述几个数学领域的问题。 1930年，英国数学家弗兰克·普伦普顿·拉姆齐在一篇题为《形式逻辑上的一个问题》的论文中证明了R(3,3)=6。这条定理被命名为“拉姆齐二染色定理”。用文字来表述就是“要找这样一个最小的数n，使得n个人中必定有k个人相识或一个人互不相识”。 拉姆齐二染色定理的通俗版本被称为“友谊定理”，即在一群不少于3人的人中，若任何两人都刚好只有一个共同认识的人，这群人中总有一人是所有人都认识的。 匈牙利杰出的数学家保罗·艾狄胥描述了证明这条定理的难度：“想象有支外星人军队在地球降落，要求取得R（5,5）的值，否则便会毁灭地球。在这个情况，我们应该集中所有电脑和数学家尝试去找这个数值。若它们要求的是R（6,6）的值，我们就要尝试毁灭这队外星人了。” 2010年8月，中南大学数学科学与计算技术学院学生刘嘉忆在自学反推数学时，第一次接触到拉姆齐二染色定理。反推数学是数理逻辑的一个小分支，通常数学大致是从公理到定理的研究，而反推数学则是从定理（陈述）到公理的研究，二者正好方向相反。海内外不少学者都在进行拉姆齐二染色定理的证明论强度的研究，特别是1995年，英国数理逻辑学家西塔潘提出了关于拉姆齐二染色定理证明强度的猜想，这便是“西塔潘猜想”。 接下来仍需要一些专业的表述。刘嘉忆的论文名叫“RT_22 does not imply WKL”,即“RT_22推不出定理WKL”。 在“西塔潘猜想”中猜测“RT_22能推出WKL”。刘嘉忆的研究对国际数学界十几年来悬而未决的“西塔潘猜想”给出了否定的答案。 |
