大三学生攻克国际数学难题3院士致信教育部推荐dd-【新闻】
大三学生攻克国际数学难题 3院士致信教育部推荐
青春,在数学王国飞扬 记攻克国际数学难题的中南大学学生刘嘉忆
刘嘉忆(图片来源:中南大学新闻网)
新华网长沙10月9日电(记者 黄兴华)日前,中国科学院李邦河等3名院士分别向教育部写信推荐,请予破格录取中南大学大四学生刘嘉忆为研究生,并建议教育部有关部门立即采取特殊措施,加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注?这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯 汉斯杰弗德写信称: 我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴。 请接受我对你令人赞叹的惊奇的成果的祝贺!
大三学生攻克国际数学难题
数理逻辑是研究推理的数学分支。它使用数学的方法,即一套符号体系来研究推理前提和结论之间的形式关系,故也称符号逻辑。在计算机科学和人们的生活中,数理逻辑发挥着重要的理论指导作用。
2010年8月,酷爱数理逻辑的刘嘉忆在自学反推数学的时候,第一次接触到这个问题,并在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想,10多年来许多著名研究者一直努力都没有解决。
同年10月的一天,刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年5月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,还是大三学生的刘嘉忆应邀参加了这次会议,报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了西塔潘的猜想。
《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯 汉斯杰弗德看到论文后给他写信: 我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴,特别如你给出的如此漂亮的证明,请接受我对你令人赞叹的惊奇的成果的祝贺! 同时,邓尼斯 汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家,他们一起审读、反复商讨。
论文审稿人、芝加哥大学博士达米尔 扎法洛夫也认为: 这是一个重要的结果,过去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。
9月16日,美国芝加哥大学数理逻辑学术会议上,云集了来自欧美的许多数理逻辑专家、学者。大会邀请了12位专家、学者作学术报告,刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告。他在数理逻辑方面的研究成果,让与会专家、学者对这位来自中国的 80后 投上赞许的目光。
- 新型水性防腐蚀导静电涂料研制成功压缩设备电机外壳泡壳电子钟表自攻螺丝Frc
- QRTECH麦本本大麦5S笔记本怎么样好连州面板线运动帽止动环经营贷款Frc
- 10月7日己二酸商品指数为7345镇江吸塑包装鸡精船舱系统棉麻衫Frc
- 呼叫中心运营管理公开课建设自动自发的员工塑料焊枪养殖设备冷凝机组涂胶机胶水机Frc
- 9月26日国内主要生产企业苯乙烯价格行情纤维板小型机礼帽铁环混合机Frc
- 我国仪器购置和自主研发比例严重失调皮革篮球冻结机充电机电流表汽车水管Frc
- 国内条码打印机已打破国外品牌垄断局面吸油滤芯风幕机塑料板防护门焊管机Frc
- 海底电缆双检检波器接入设备切管机图纸电控箱浮动球阀Frc
- 绿色包装技术可申报相关研发资金项目莱芜输液泵特殊租赁过滤阀海鲜Frc
- 甘肃省铝电缆回收欢迎致电冰柜镜前灯卡套接头手机回收调味粉Frc