中国教育

　　有了野心，必须付诸行动。为了完成给自己定下的任务，或是因为被一个问题所吸引，喝咖啡熬夜对我来说是家常便饭，我很羡慕吸血鬼可以有不睡觉的本事。

　　在中南大学，我找到了渴求已久的宝库，能够在比较宽松的学习环境中完成自己初步的理想，这里的一切让我有了一个不错的开始。大二时，开始自学数理逻辑。我在这个领域进步很快，很有心得。好多次，我兴奋地得出一些概念和思路，后来失望地发现在书中已经有介绍，不是新想法。

　　大三的暑假，我第一次接触到拉姆齐二染色定理，这是数理逻辑反推数学中的一个问题。反推数学是数理逻辑的一个分支，通常数学大致是从公理到定理的研究，而反推数学则是从定理(陈述)到公理的研究，二者正好方向相反。海内外不少学者都在进行拉姆齐二染色定理的证明论强度的研究，特别是1995年，英国数理逻辑学家西塔潘提出了关于拉姆齐二染色定理证明强度的猜想，这便是“西塔潘猜想”。

推荐专题>> "22岁正教授级研究员"追踪 数学奇才是怎样炼成的
推荐专题>>2012两会教育盘点:关注教育热点 心系教育发展

　　2010年10月的一天，我突然想到，利用之前用到的一个方法稍作修改便可证明“西塔潘猜想”，我立即跑回宿舍，连夜运算，用英文写出证明过程，署名刘嘉忆投给了美国芝加哥大学主办的《符号逻辑期刊》。

　　《符号逻辑期刊》是数理逻辑领域的国际权威杂志，该刊主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德教授一直也是“西塔潘猜想”的研究者，他看到我的证明后很感兴趣，但因之前从未听说过中国数学界有刘嘉忆这个人，还有些心存疑虑。

　　一个月后，我收到汉斯杰弗德发来的电子邮件：“我是过去众多研究该问题而无果者之一，看到这一问题最终解决感到非常高兴，特别是你的证明如此漂亮，请接受我对你的研究成果的祝贺！”芝加哥大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，促进了反推数学和计算性理论方面的研究。”

　　同年9月，我有幸应邀参加在芝加哥大学举办的反推数学专门会议，报告了我对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。我的另一篇论文也获得了威斯康星大学、伯克利大学等几位教授的好评。

相关报道>>22岁"数学奇才"成最年轻教授 中南大学奖励100万
相关内容>> "22岁正教授级研究员"追踪 校方回应不是炒作
相关评论>>22岁正教授级研究员是破格聘用还是草率决定？
相关内容>>22岁学生成最年轻教授 能否破解钱学森之问？
相关内容>>数学界人士提醒勿捧杀最年轻正教授级研究员