大三学生攻克国际数学难题 3院士致信教育部推荐此生_新华教育_新华网
大三学生攻克国际数学难题 3院士致信教育部推荐此生
日 15:01:49
　来源： 新华网
【字号 】【】【】【】
青春，在数学王国飞扬——记攻克国际数学难题的中南大学学生刘嘉忆
新华网长沙１０月９日电（记者 黄兴华）日前，中国科学院李邦河等３名院士分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”
大三学生攻克国际数学难题
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
２０１０年８月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪９０年代提出的一个猜想，１０多年来许多著名研究者一直努力都没有解决。
同年１０月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年５月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德看到论文后给他写信：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！”同时，邓尼斯·汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家，他们一起审读、反复商讨。
论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为：“这是一个重要的结果，过去２０多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”
９月１６日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了１２位专家、学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了４０分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的“８０后”投上赞许的目光。
王思阳 黄锐
) 【字号 】【】【】
请点击进入
请您文明上网、理性发言并遵守。&&&&&&&&数学_待解决问题_百度知道
按类别查找：
按常见问题查找：数学问题？_百度知道
数学问题？
现在银行卡里有五千元，每月存700元，同时每月取1256元，问可以取几个月？求立方程解。
提问者采纳
解：设可以取x个月，　　根据题意得：　　　5000＝（)x
解这个方程得：　　　x=9.答：可以取9个月。
提问者评价
其他类似问题
按默认排序
其他2条回答
数学问题就是在数学领域出现的运用相关数学知识去解决的问题。比如歌德巴赫猜想，还有以下例子：在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 [01]康托的连续统基数问题。 1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科恩（P•Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。 [02]算术公理系统的无矛盾性。 欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G•Gentaen，）1936年使用超限归纳法证明了算术公理系统的无矛盾性。 [03]只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。 问题的意思是：存在两个登高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等德恩（M•Dehn）1900年已解决。 [04]两点间以直线为距离最短线问题。 此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。 [05]拓扑学成为李群的条件（拓扑群）。 这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。 [06]对数学起重要作用的物理学的公理化。 1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。 [07]某些数的超越性的证明。 需证：如果 是代数数， 是无理数的代数数，那么 一定是超越数或至少是无理数（例如， 和 ）。苏联的盖尔芳德（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 [08]素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。 [09]一般互反律在任意数域中的证明。 1921年由日本的高木贞治，1927年由德国的阿廷（E•Artin）各自给以基本解决。而类域理论至今还在发展之中。 [10]能否通过有限步骤来判定不定方程是否存在有理整数解？ 求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。 [11]一般代数数域内的二次型论。 德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A•Weil）取得了新进展。 [12]类域的构成问题。 即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。 [13]一般七次代数方程以二变量连续函数之组合求解的不可能性。 七次方程 的根依赖于方程中的3个参数 、 、 ； 。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在 上连续的实函数 可写成形式 ，这里 和 为连续实函数。柯尔莫哥洛夫证明 可写成形式 ，这里 和 为连续实函数， 的选取可与 完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。 [14]某些完备函数系的有限的证明。 即域 上的以 为自变量的多项式 ， 为 上的有理函数 构成的环，并且 试问 是否可由有限个元素 的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。 [15]建立代数几何学的基础。 荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。 注：舒伯特（Schubert）计数演算的严格基础。 一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。 [16]代数曲线和曲面的拓扑研究。 此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备 的极限环的最多个数 和相对位置，其中 、 是 、 的 次多项式。对 （即二次系统）的情况，1934年福罗献尔得到 ；1952年鲍廷得到 ；1955年苏联的波德洛夫斯基宣布 ，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了 不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了 的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是 结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第[16]问题提供了新的途径。 [17]半正定形式的平方和表示。 实系数有理函数 对任意数组 都恒大于或等于0，确定 是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。 [18]用全等多面体构造空间。 德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。 [19]正则变分问题的解是否总是解析函数？ 德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。 [20]研究一般边值问题。 此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。 [21]具给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H•Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。 [22]用自守函数将解析函数单值化。 此问题涉及艰深的黎曼曲面理论，1907年克伯（P•Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。 [23]发展变分学方法的研究。 这不是一个明确的数学问题。20世纪变分法有了很大发展。请采纳答案，支持我一下。
设：可以取X个月。（）X=5000；解得：x=8.99:取x=8
等待您来回答
下载知道APP
随时随地咨询
出门在外也不愁数学问题_百度知道
问所建长方形仓库的长和宽各是多少,仓库的一边靠墙。其余三边的总长度为17m,要建造一个面积为35平方米的长方形仓库,,
提问者采纳
设长X,宽为（17-X）÷2X×（17-X）÷2=3517X-X&#178,3,5,5所以长宽为7,-17X+70=0X=7或10则（17-7）÷2=5（17-10）÷2=3,=70X&#178,5或者 10,
其他类似问题
数学问题的相关知识
其他1条回答
长是7m,宽是5m。,
等待您来回答
您可能关注的推广
下载知道APP
随时随地咨询
出门在外也不愁