LIAOYAO 发表于 2011-10-13 22:34:49

中南大学本科生攻克国际数学难题

困扰了数学界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:08

搜了一下是真的,虽然对数学前沿一窍不通不知道有什么意义,但还是要恭喜一下,另外恭喜中南大学捡了个宝,且没有把宝扼杀在摇篮中

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

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

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

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

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

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

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

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

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

白云飞雨建虹桥 发表于 2011-10-13 23:39:18

是不是不用荒了,淡定之...

xiaoyetongxu 发表于 2011-10-14 01:17:53

恭喜恭喜。可不可以,把投出去的稿件拿出来欣赏欣赏。

lei88998 发表于 2011-10-14 09:11:47

靠,那些狗屁砖家看到不觉得汗颜吗

amqq0807 发表于 2011-10-14 14:12:42

不要让人对他进行扶持。在中国,人才都是一扶就迟了

绿人科技 发表于 2011-10-14 18:04:38

很厉害 没有机械式的接受高等教育            

白云飞雨建虹桥 发表于 2011-10-16 11:25:06

好题!                                                                                                                        

高远zz 发表于 2012-3-23 12:01:16

留校了吧,希望在中国的学术环境中能有更大的突破

hyczt 发表于 2012-3-23 12:35:04

希望能够继续下去...........
页: [1] 2
查看完整版本: 中南大学本科生攻克国际数学难题