刘路.doc.doc

?一直以来人们都认为清华、浙大是中国最好的理工科大学，其实这是一个误会。座落在中国湖南长沙的中南大学（原中南工业大学）才是理工科专家的摇篮，这个学校拥有的院士人数仅次于清华、哈工大，而中南的这些院士又大多数集中在理工科的研究领域。事实上中南大学、哈工大才是中国各类研究型人才的摇篮，才是中国各类工程师的摇篮。中国未来必然要依靠中南大学、哈工大的毕业生，什么清华、浙大不过是妆点中国高等教育门面的浮云。　　　　 欣慰中南大学本科生刘路先生破解困扰国际数学界20余年的“西塔潘”猜想，作为天涯特聘心理医生兼头号道德家，恳请天涯杂谈网民热烈鼓掌以示庆祝！　　　　 什么是“西塔潘猜想”？　　　　 “西塔潘猜想”又称“拉姆齐二染色定理”，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，中南大学数学科学与计算技术学院酷爱数理逻辑的刘路的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。　　　　 刘路的研究。　　　　 2010年8月，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆（刘路）在自学反推数学的时候，第一次接触到拉姆齐二染色定理，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。　　　　　 2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。　2011年9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了12位专家、学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的“80后”投上赞许的目光。刘嘉忆表示，他投给《美国数学会汇刊》的论文获得威士康星大学、伯克利大学等几位教授很高的评价，有望公开发表。 　　　　　　 最漂亮的证明 　　　　　　 这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，20多年来许多研究者一直努力都没有解决。去年10月的一天，刘路突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。署名刘嘉忆。 　　　　　　 稿件投出后，《符号逻辑杂志》的主编，也是国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信给予高度称赞，“我是过去众多研究该问题而无果者之一，你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！” 　　　　　　 论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为，这是一个重要的结果，过去20多年许多著名科研者都在进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。 　　　　　 2011年9月16日，美国芝加哥大学数理逻辑学术会议上，22岁的刘路受到邀请，作为亚洲高校唯一一位代表在会上作了40分钟报告。　　　　 请路过的清华、浙大数学系学生，自觉鼓掌！！！ 　一个晚上解决“猜想”　　　　高挑的个子，一副眼镜，一顶棒球帽，背个双肩包，每天像上班一样，一早就去图书馆看书，这就是同学眼中的刘路，他们虽然不知道刘路看的什么书，但他们清楚，这小子肯定会干出一番成绩。偶尔也会打打游戏，但常常捧着那些天书看到深夜，计算到凌晨；上英文网站，下载英文资料，这是室友眼中的刘路。同学问他题目，发现他的思路与他人不一样，他甚至会用更简单的方法来计算或解释，有时一个公式就可以搞定，同学说他“牛”，称他为“路哥”。他们说，路哥很聪明，看高深的书，一定会有出息。　　　　而他眼中的自己很简单，内向、友好、乐于助人，当然也有那么一点儿冷漠。　　　　自己发现的“难题”　　　　新京报：你是什么时候开始研究“西塔潘猜想”的？　　　　刘路：去年8月，我自学反推数学的时候，第一次接触到这个问题。我注意到大量文献里提到，海内外不少学者在进行“拉姆齐二染色定理”的证明论强度的研究。　　　　新京报：用