梦见包被偷刘嘉忆本名刘，是中南大学(微博)数学科学与计算技术学院2008级本科生。继今年上半年他攻克一个十多年悬而未决的国际数学难题后，不久前在美国大学结束的数理逻辑学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻辑方面的研究，语惊四座。这个国庆长假，他在学校准备毕业论文，还有申请到美国伯克利等几所知名高校留学深造的材料。
今年5月，由大学等联合举办的逻辑学术会议上，还在上大三的刘嘉忆报告了他对目前反推数学中的拉姆齐二染色的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
6月，数理逻辑国际权威《符号逻辑》的主编、逻辑学专家、大学数学系邓尼斯·汉斯杰弗德教授给刘嘉忆发来了论文评审意见，信中说，“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，请接受我对你令人赞叹的、惊奇的的祝贺！”
论文审稿人大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，该问题的研究促进了反推数学和计算性理论方面的研究。”
中国科学院李邦河等院士有关部门采取特殊措施，加强对其学术方面的培养，并在各方面对其进行扶持。
发现刘嘉忆，还有一段佳线月初，著名数学家、中南大学博士生导师侯振挺教授听南京大学一个教授说：“你们中南大学出了个好学生！”之后介绍了这个学生在数理逻辑领域的研究。
侯教授听后立即寻找，然而查遍了数学学院学生档案，也查无此人。侯教授根据刘嘉忆的电子邮箱地址发出了一封邮件，很快收到回信。原来，刘嘉忆是2008级应用数学专业学生刘，“刘嘉忆”是他向国外时用的名字。侯教授返校后，立即要求与刘嘉忆见面，并收刘嘉忆做他的学生。侯教授说，一个本科生能写出如此高水平的论文，这样的人才不可多得。
刘嘉忆是中南大学数学科学与计算技术学院2008级本科生，今年22岁，大连人，1.75米的个头，体重只有55公斤。他说自己性格内向，朋友少，但同学们都叫他“哥”。
刘嘉忆在总结学习数学时说：做自己喜欢的事，保持一颗好奇心，对所学的知识、所做的事有天然的兴趣。
刘嘉忆(以下简称“刘”)：我从小学开始就对数学有很大的兴趣，尤其是上了初中以后，但我的数学成绩在同学当中并不是很突出。
刘：我主要是利用课余时间，看了很多数学方面的书。比如我上初三时，看了《古今数学思想集》的第二册。
刘：我的学习成绩浮动很大，除了语文比较弱之外，其他科都差不多，成绩好的时候差不多全年级二三十名，差的时候能排到500多名。
刘：我父母对我喜欢数学并不是很支持，妈妈比较反对，爸爸持中立态度，他们认为学数学以后不好找工作，但并没有太多，还是尊重了我的选择。
说起解决这一问题要追溯到2010年8月，我在自学反推数学的时候第一次接触到这个问题。我通过阅读大量文献，发现不少学者在证明西塔潘的猜想，越发对此产生了兴趣。
2010年10月的一天，我突然想到用之前想到的一个方法稍作修改便可以证明这一结论，当时心脏都快蹦到嗓子眼了，按捺不住内心的激动和兴奋，一晚上没睡把这一证明写出来，然后投给了《符号逻辑》。
它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
特别说明：由于各方面情况的不断调整与变化，新浪网所提供的所有考试信息仅供参考，敬请考生以权威部门公布的正式信息为准。
本文由 325游戏（m.325games.com）整理发布
网友评论 ()条 查看