大三学生攻克国际数学难题 3院士致信教育部推荐此生_新华教育_新华网
大三学生攻克国际数学难题 3院士致信教育部推荐此生
日 15:01:49
　来源： 新华网
【字号 】【】【】【】
青春，在数学王国飞扬——记攻克国际数学难题的中南大学学生刘嘉忆
新华网长沙１０月９日电（记者 黄兴华）日前，中国科学院李邦河等３名院士分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”
大三学生攻克国际数学难题
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
２０１０年８月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪９０年代提出的一个猜想，１０多年来许多著名研究者一直努力都没有解决。
同年１０月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年５月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德看到论文后给他写信：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！”同时，邓尼斯·汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家，他们一起审读、反复商讨。
论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为：“这是一个重要的结果，过去２０多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”
９月１６日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了１２位专家、学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了４０分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的“８０后”投上赞许的目光。
王思阳 黄锐
) 【字号 】【】【】
请点击进入
请您文明上网、理性发言并遵守。&&&&&&&&GRE数学猴哥112难题解析下载
fengsaiyun
在线咨询免费热线：400-
摘要：GRE数学猴哥112难题解析下载。GRE数学备考要好地复习资料，下面为大家汇总了GRE数学猴哥112难题解析的相关内容，供同学们进行下载参考。
　　资料下载编辑为大家整理了猴哥112难题解析的全部内容，供同学们进行下载练习。
　　以下是GRE数学猴哥112难题解析的具体内容，主要以图片形式显示，供同学们进行练习。
　　以下给出了GRE数学猴哥112难题解析的部分内容，同学们可先进行了解，再下载进行练习，具体如下：
GRE数学猴哥112难题解析
　　编辑为大家整理了GRE数学猴哥112难题解析的部分内容，各位可在GRE考前下载进行练习。
相关字搜索：&&&&&&
1、凡本网注明 “来源：小马过河”的所有作品，版权均属小马过河国际教育（）所有，未经本站授权不得转载、链接、转贴或以其他方式使用；已经本网授权的，应在授权范围内使用，且必须注明“来源：小马过河国际教育”。违反上述声明者，本网将追究其法律责任。
2、本网部分资料为网上搜集转载，均尽力标明作者和出处。对于本网刊载作品涉及版权等问题的，请作者与本网站联系，本网站核实确认后会尽快予以处理。 本网转载之作品，并不意味着认同该作品的观点或真实性。如其他媒体、网站或个人转载使用，请与著作权人联系，并自负法律责任。
3、本网站欢迎积极投稿。
4、联系方式：
　电话：400- 转 内容运营部
Copyright (C)
All Rights Resserved 北京小马过河互联网科技有限公司 版权所有
全国免费咨询电话：400-　　邮箱：
北京校区&&中关村：北京市海淀区中关村海淀北一街2号鸿城拓展大厦8层
&&&&&&&&&&国&&贸：北京朝阳区永安里华彬大厦8层
上海校区&&上海市黄浦区南京西路388号仙乐斯广场16层
京ICP备号-3
京公网安备82号您的浏览器太古老，该升级了~
我们检测到您的浏览器正在使用IE9.0版本以下的内核，它太古老了，既不安全，也不能完美支持尚友网上的各项功能。请升级到最新的Chrome、Firfox或最新版IE浏览器，一劳永逸的解决所有问题！热门杯赛：
推荐城市：
期中试题：
期末试题：
单元测试：
小学试题：
小学四年级巧算与速算题看似很难，但是掌握一定的技巧，就会表的很容易。下...[] []
定义新运算是指用一个符号和已知运算表达式表示一种新的运算。这种题型较难...[] []
这一类题看似简单，但是对学生的理解和分析能力很高，目的是增强学生们的应...[] []
推理是在有根据的基础上进行的，因此，同学们在进行这类题型的处理时，一定...[] []
行程问题主要就是追及问题、相遇问题，这些题型主要是对时间和路程上的一个...[] []
几何中的计数问题主要考察的一般就是角度、面积、周长和边数和面的多少。...[] []
图形的剪拼主要是让学生们能够更加清晰的了解每种图形（立体图）的构成。...[] []
格点面积其实就是在图形很复杂或者是不正规，我们不容易求面积的时候，通过...[] []
填横式相对其他计算形式较难，需要考虑的条件比较多，只要多联系就可以掌握...[] []
数学竞赛试题选讲这些题目都是一些比较经典的题型，也是难点，所以只要掌握...[] []
乘法原理简单地说就是特殊的加法原理，几个相同的数相加就可以用乘法计算。...[] []
做一件事情，完成它有N类方式，第一类方式有M1种方法……第N类方式有M(N)种...[] []
所谓排列，就是指从给定个数的元素中取出指定个数的元素进行排序。组合则是...[] []
数独游戏的规则简单，逻辑推理性强，对学生的逻辑思维能力的培养有很大帮助...[] []
数阵图计算简单来说就是多重简单算法的重合或者是组建成复杂的算式在进行计...[] []
数字综合题选讲包括的题型比较多，是对单一知识点的综合。因此这类题型对知...[] []
三角形的等积变形形式多样，难度大，这类题型变化变较大，对学生知识的灵活...[] []
统筹问题就是在日常生活中会经常遇到的，是一个研究怎样节省时间、提高效率...[] []
北京市公安局海淀分局备案编号：
版权所有Copyright@ . All Rights Reserved.}