机械必威体育网址

标题:中南大学本科生攻克国际数学难题 [打印本页]

作者:LIAOYAO 时间:2011-10-13 22:34
标题:中南大学本科生攻克国际数学难题
困扰了数学界20多年的国际数学难题“西塔潘猜想”，近日被中南大学2008级本科生刘嘉忆攻克了！

http://you.video.sina.com.cn/api/sinawebApi/outplayrefer.php/vid=62912992_1_Oh69SXM6D2bK+l1lHz2stqkM7KQNt6nknynt71+iJAtbUwyJZorfO4kK5ivfAc1L+G4/s.swf

作者:chntod 时间:2011-10-13 23:02
搜了一下是真的，虽然对数学前沿一窍不通不知道有什么意义，但还是要恭喜一下，另外恭喜中南大学捡了个宝，且没有把宝扼杀在摇篮中

====================================================

新华网长沙１０月８日电（记者黄兴华）数理逻辑在计算机科学和人们的生活中占有重要的地位。中南大学数学科学与计算技术学院２００８级本科生刘嘉忆通过潜心研究，成功攻克一个多年未解的国际数学难题。

　　数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。

　　２０１０年８月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候第一次接触到这个问题。他在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上世纪９０年代提出的一个猜想。１０多年来，许多著名研究者一直努力都没有解决。

　　同年１０月的一天，刘嘉忆突然想到用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。

　　《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德在论文评审意见中写道，看到这一问题的最终解决，他感到非常高兴。他并向刘嘉忆表示祝贺。

　　论文审稿人芝加哥大学博士达米尔·扎法洛夫认为：“这是一个重要的结果，该问题的研究促进了反推数学和计算性理论方面的研究。”

　　中国科学院李邦河等院士认为，刘嘉忆在大三时就已独立解决了重要的数学难题，可见是难得一见的杰出数学人才。他们建议有关部门采取特殊措施，加强对其学术方面的培养，并在各方面对其进行扶持。

http://news.xinhuanet.com/tech/2011-10/09/c_122130366.htm

作者:白云飞雨建虹桥 时间:2011-10-13 23:39
是不是不用荒了，淡定之...

作者:xiaoyetongxu 时间:2011-10-14 01:17
恭喜恭喜。可不可以，把投出去的稿件拿出来欣赏欣赏。

作者:lei88998 时间:2011-10-14 09:11
靠，那些狗屁砖家看到不觉得汗颜吗

作者:amqq0807 时间:2011-10-14 14:12
不要让人对他进行扶持。在中国，人才都是一扶就迟了

作者:绿人科技 时间:2011-10-14 18:04
很厉害没有机械式的接受高等教育

作者:白云飞雨建虹桥 时间:2011-10-16 11:25
好题！

作者:高远zz 时间:2012-3-23 12:01
留校了吧，希望在中国的学术环境中能有更大的突破

作者:hyczt 时间:2012-3-23 12:35
希望能够继续下去...........

作者:brianshao 时间:2012-3-23 12:35
还是出去吧，混到振宁前辈的年纪再回来吧

作者:q284874509 时间:2012-10-31 11:55
圣人

作者:qdtruck 时间:2013-8-16 14:10
有那么简单就解决了？

作者:amone 时间:2014-8-6 15:11
很难得啊，通过自己的努力！

欢迎光临机械必威体育网址 (//www.szfco.com/)