||||||||||
　　　　2015年全国硕士研究生入学考试于12月27日顺利开考，考研教育网第一时间发布2015年考研数学真题，网校辅导团队实时解析2015年研究生考试数学真题及答案，更多2015年考研联考/统考专业课真题尽在考研教育网，敬请期待...[]
········
辅导课程辅导体系招生方案课 时价 格购 买数学特色班
　　课程：数学基础班+数学强化班+数学冲刺班+数学点题班
　　特点：权威师资阵容，经典学科班次搭配
数学精品班
　　课程：含特色班全部课程
　　服务：复习目标制定+学习计划指导+精讲精练+难点答疑+导师配备等
　　班次特点：当年不通过第二年报班学费减半
数学实验班
　　课程：含特色班全部课程
　　服务：学前测试+模拟训练+阶段性辅导+网校提问优先答复等
　　班次特点：签订保过协议，不通过学费全免
“学员心声”栏目由网校学员为您讲述他们在网校学习的种种感悟。
学员 beibei2203： 学员 hjx19881： 学员 7845opw： 学员 judsinyang： 学员 ddxxrr：
········
········
········
········
考研公共课程体系　　　　　　　　　　　　
课件更新　　&&&&&&&&&&&&&&&&&&&&&
新手必读 & & & 常见问题解答 & & & 选课交费 & & &本年级共有 47 名老师
568 个课程
【勤勤粉丝团名字投票啦！】根据大家的回复，集中三个选项来投票：A.小蘑菇
C.小音符。快快回复你最喜欢的，票数最多的选项就是最终的名字啦！[爱心][飞吻][可爱]
【晶莹语文·人物猜猜猜】（第一季10/10）今天是人物猜猜猜的第10题，今天的人物性格很明显。快点击，留下你的答案吧~~[可爱]
【斐然英语】素材积累第2季-成语猜猜看！[礼花][玫瑰]童鞋们晚上好[爱心]。今天的第二条成语发布啦，米粒们快来答题抢金币[星星]吧~
【加开选修四直播辅导】亲爱的小肥猫们~~1月13日晚上22:00瑞大叔加开选修四直播辅导~~内容是上次骑猪同学提供的题目中存疑的题目~~还有水溶液中的离子平衡综合直播辅导中没有讲完的最后两道题~~大家记好时间哦~~瑞大叔与你们不见不散[飞吻]昨天时间通知错了！注意是十点整哟~~
【期末冲刺直播讲座】松果们，在这为期末考试焦头烂额的日子里，小松老师为大家捧来了精心准备的考前作文冲刺直播[飞吻]地址
[星星]欢迎大家积极参与！小松老师来助你一臂之力！[肌肉]大三学生攻克国际数学难题 3院士致信教育部推荐此生_新华教育_新华网
大三学生攻克国际数学难题 3院士致信教育部推荐此生
日 15:01:49
　来源： 新华网
【字号 】【】【】【】
青春，在数学王国飞扬——记攻克国际数学难题的中南大学学生刘嘉忆
新华网长沙１０月９日电（记者 黄兴华）日前，中国科学院李邦河等３名院士分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”
大三学生攻克国际数学难题
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
２０１０年８月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪９０年代提出的一个猜想，１０多年来许多著名研究者一直努力都没有解决。
同年１０月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年５月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德看到论文后给他写信：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！”同时，邓尼斯·汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家，他们一起审读、反复商讨。
论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为：“这是一个重要的结果，过去２０多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”
９月１６日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了１２位专家、学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了４０分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的“８０后”投上赞许的目光。
王思阳 黄锐
) 【字号 】【】【】
请点击进入
请您文明上网、理性发言并遵守。&&&&&&&&}