刘嘉忆
刘嘉忆——人物介绍
刘路,笔名刘嘉忆,中南大学数学科学与计算技术学院应用数学专业08级本科生。他经过自己的努力,作出了对拉姆齐(Ramsly)二染色定理的证明论强度的研究,被认为彻底解决了英国数理逻辑学家Seetapun于90年代提出的一个猜想。
今年5月,由北京大学等联合举办的逻辑学术会议上,还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想,十多年来,许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了Seetapun的猜想。
祖籍大连的刘嘉忆,父亲在当地一家国有企业后勤部门工作,母亲在一家企业任工程师。他告诉记者,父母并没有给予他数学方面的遗传基因和教育,自己上小学时也没有对数学表现出特别的爱好。
“如果要说我与同龄人有什么不同之处的话,那就是我对数学的特别关注。”刘嘉忆说,“上初中时,一些同学还在为数学教科书上的习题抓耳挠腮时,我就开始自学数论了。”
数论就是指研究整数性质的一门理论。刘嘉忆说,当时,对其他同学来说,看初等数论中的整除理论、同余理论、连分数理论像是在看“天书”,而他却学得津津有味。
2008年,刘嘉忆以优异的成绩考上中南大学数学科学与计算技术学院。按说,有了扎实的数学基础,刘嘉忆应该在同学面前崭露头角,但每次数学考试,他的成绩并不拔尖。他对此解释说“这只怪我马虎惯了。考试过程中,我的演算过程太乱、解答不太标准,都影响加分。”而他的同学则认为,刘嘉忆当时在数学领域涉猎范围十分广泛,不太在意学校的每次考试,不愿在同学面前显山露水。
刘嘉忆的同学高涛说,在课堂上,他并没有表现得与众不同,但每到课余时间,他就会去图书馆,一回来,准会带上一大堆全英文数学书籍,常常捧着看到深夜。同学问他题目,发现他的思路与他人不一样,还会用更简单的方法来计算或解释。“我们当时都知道他对数学钻得很深,也知道他肯定会有所收获。”高涛说。
大二时,刘嘉忆开始学习数理逻辑。数理逻辑是数学基础的一个不可缺少的组成部分。相对其他数学课程,他对此表现出特别的偏爱。他的任课老师也看出了他的不一般,给予他许多指导和鼓励。何伟教授在组合学课程中提及拉姆齐二染色定理这正是刘嘉忆几个月来冥想苦思的问题。从此,他更坚定了攻克这个难题的信心。
“其实,我在思考这个命题时好像灵光一现,论证倒没有花费太多的时间。”刘嘉忆说,“如果一定要点什么,可能与我平时的积累有关吧。”