w*****1
发帖数: 138 | 1 9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家
、学者，大会邀请了十二位专家、学者做学术报告，我校数学科学与计算技术学院08级
本科生刘嘉忆作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻辑
方面的研究成果，席间，与会专家对这位来自中国的80后投向了赞许的目光。
一篇论文引发的反响
今年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江
师范大学举行，还是大三的刘嘉忆应邀参加了这次会议，并做了题为“ Ramsey
theorem for pair as second order arithmetic statement does not imply Weak
Konig Lemma”的报告，会上，刘嘉忆报告了他对目前反推数学中的拉姆齐（Ramsly）
二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于90年代提出的一
个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未
决的公开问题一个否定式的回答，彻底解决了Seetapun的猜想。语惊四座，与会专家对
眼前这个小伙子... 阅读全帖 |
|
g****t
发帖数: 31659 | 2 你是数理逻辑的phd么? 不然话说得好像大了点.
人本科生去重要的会议讲结果,发好杂志的文章,到你这儿,成了组合习题了.
看来会议组织者和杂志审稿的都不如您老高明.
这数理逻辑看起来对您太简单了.wiki看几段就足够知道什么问题重要什么不重要了.
theorems
sequences |
|
|
|
|
g****t
发帖数: 31659 | 6 我个人观点:
凡是学过点数理逻辑的,80%以上会觉得functional programming
很有意思.实用性只是一个方面.一个东西有意思,有魅力,就会持久长存.实用性迟早会
爆发出来的.
Lambda Calculus是第一个解决可机算数问题的模型.Church其实至少是和图灵同一个
level的天才.
图灵机最接近实用,实用性结果已经看到.
Godel递归函数啥的最数学,基本不可能使用.
Lambda Calculus其实很难归类,所以我觉得潜力很大. |
|
x****u
发帖数: 44466 | 7 现在觉得代数几何或者数论难解，本质上也是因为人类对数理逻辑，图论等基础理论没
有一个初级的认识。 |
|
T*******I
发帖数: 5138 | 8 【 以下文字转载自 Military 讨论区 】
发信人: TNEGIETNI (lovewisdom), 信区: Military
标 题: 以数理逻辑论证究竟谁是“唯物主义”
发信站: BBS 未名空间站 (Sun Sep 18 12:45:13 2011, 美东)
按照马克思的辩证唯物主义，唯心主义和有神论是暗通款曲。而唯物主义者几乎都自称
是无神论者和科学主义者。让我们从对整个宇宙世界的以下划分来看看究竟谁是“唯心
主义”，谁是“唯物主义”?
根据人类对其外部世界以及自身大脑内部的认知行为本身的知性程度，整个宇宙世界的
一切存在（记为集合W）可以被划分为以下四个部分：
1）可知存在，即在既有条件下对其部分地有所知，但尚未完成对它的全知，记为集合A；
2）已知存在，即在既有条件下对可知存在实现了对它的完全认知，记为集合B；
从而我们有：
3）未知存在，它是相对于可知存在而定义的，从而它也是一种客观的存在，记为集合C；
4）不可知存在，它是相对于可知存在而定义的，因而也是一种客观的存在，记为集合D。
于是，人类整个的知识系统（记为集合K）就可以记为：
K = ... 阅读全帖 |
|
z****t
发帖数: 58 | 9 能科普下他的具体结果么？
我不懂数理逻辑，但是对拉姆塞定理还了解一点点，感觉拉姆塞定理要想取得像样的进
展是相当困难的
刘嘉忆说他自己写这个论文，仅仅只是灵光一闪。没有长时间深度思考的论文，也会很
重要么？ |
|
g****t
发帖数: 31659 | 10 我想确认一下:你能说出点wiki之外的数理逻辑知识么.
因为我只关心知识.
btw:鉴于您的英语水平,你下面这个贴我只看了第一句.
of |
|
g****t
发帖数: 31659 | 11 你觉得你能知道这个文的内容.那好,你说吧.
今天如果能说好了.我给你1000刀.不然你给我1000刀.
你说的内容,我给你找个版上的数理逻辑phd评价,如何.
If you pay $1000 per question you ask I will teach you every detail related
this result.
Also if you can really understand the comment and zudic's comment you may be
the first chinese close to Von. Otherwsie spending your whole life in math
you are still just like a high school student, even not one of the top.
I believe someone's mom is calling her/him back home and send her/him to
kindergarten again to learn how t... 阅读全帖 |
|
g****t
发帖数: 31659 | 12 真刀.我是学知识来的,不吝啬.就当教学费学手艺吧.
但jjwwjjww就是数理逻辑专业十几年.可以做reviewer.
你觉得他有戏么.
伪刀真刀？
related
be
math |
|
g****t
发帖数: 31659 | 13 我不挑战谁.我来问知识的.
我前面最早一贴,也是先问他是不是数理逻辑的phd嘛. |
|
T*******I
发帖数: 5138 | 14 【 以下文字转载自 Military 讨论区 】
发信人: TNEGIETNI (lovewisdom), 信区: Military
标 题: 以数理逻辑论证究竟谁是“唯物主义”
发信站: BBS 未名空间站 (Sun Sep 18 12:45:13 2011, 美东)
按照马克思的辩证唯物主义，唯心主义和有神论是暗通款曲。而唯物主义者几乎都自称
是无神论者和科学主义者。让我们从对整个宇宙世界的以下划分来看看究竟谁是“唯心
主义”，谁是“唯物主义”?
根据人类对其外部世界以及自身大脑内部的认知行为本身的知性程度，整个宇宙世界的
一切存在（记为集合W）可以被划分为以下四个部分：
1）可知存在，即在既有条件下对其部分地有所知，但尚未完成对它的全知，记为集合A；
2）已知存在，即在既有条件下对可知存在实现了对它的完全认知，记为集合B；
从而我们有：
3）未知存在，它是相对于可知存在而定义的，从而它也是一种客观的存在，记为集合C；
4）不可知存在，它是相对于可知存在而定义的，因而也是一种客观的存在，记为集合D。
于是，人类整个的知识系统（记为集合K）就可以记为：
K = ... 阅读全帖 |
|
c***s
发帖数: 70028 | 15 日前，中国科学院李邦河等3名院士分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。
同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可... 阅读全帖 |
|
b*******k
发帖数: 16989 | 16 【 以下文字转载自 Headline 讨论区 】
发信人: Cnews (chinanews), 信区: Headline
标 题: 大三生攻克国际数学难题 三院士集体推荐(图)
发信站: BBS 未名空间站 (Sun Oct 9 21:11:16 2011, 美东)
日前，中国科学院李邦河等3名院士分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑发挥着重要的理论指导作用。
2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个... 阅读全帖 |
|
r*******3
发帖数: 10886 | 17 专业同学来点评点评？
http://news.sohu.com/20111009/n321593059.shtml
青春，在数学王国飞扬
记攻克国际数学难题的中南大学学生刘嘉忆
新华网长沙10月9日电（记者 黄兴华）日前，中国科学院李邦河等3名院士分别向
教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关
部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆
通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是
过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接
受我对你令人赞叹的惊奇的成果的祝贺！”
大三学生攻克国际数学难题
数理逻辑是研究推理的数学分支。它使用数学的方法，即一套符号体系来研究推理
前提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻
辑发挥着重要的理论指导作用。
2010年8月，酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到这个问
题，并在阅读大... 阅读全帖 |
|
v**e
发帖数: 8422 | 18 【 以下文字转载自 Military 讨论区 】
发信人: reign1983 (reign), 信区: Military
标 题: 大三生攻克国际数学难题
发信站: BBS 未名空间站 (Sun Oct 9 13:40:04 2011, 美东)
专业同学来点评点评？
http://news.sohu.com/20111009/n321593059.shtml
青春，在数学王国飞扬
记攻克国际数学难题的中南大学学生刘嘉忆
新华网长沙10月9日电（记者 黄兴华）日前，中国科学院李邦河等3名院士分别向
教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关
部门立即采取特殊措施，加强对其学术方面的培养。
一个名不见经传的莘莘学子为何能够引起科技界前辈如此关注？这缘于近年刘嘉忆
通过潜心研究成功攻克了一个多年未解的国际数学难题。
国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信称：“我是
过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接
受我对你令人赞叹的惊奇的成果的祝贺！”
大三学生攻克国际数学难题
数理逻辑是研究推理的数... 阅读全帖 |
|
h*******e
发帖数: 404 | 19 链接：
http://blog.sciencenet.cn/home.php?mod=space&uid=3598&do=blog&i
22岁教授刘路论文即将发表 美国主编评点
来源：财新网 2012年3月29日
芝加哥大学教授、《数理逻辑杂志》主编Denis Hirschfeldt表示，刘路的论文是数理逻辑近年来最好的文章之一，而美
国大学基本上不会聘任没有获得博士学位的人士做助理教授
【财新网】 关于22岁本科生刘路被中南大学破格聘为教授级研究员的争论，至今没有平息。美国芝加哥大学数学系教
授、《数理逻辑杂志》主编Denis Hirschfeldt教授3月28日告诉财新记者，刘路提交的论文是数理逻辑近年来最好的文
章之一，也够得上一篇杰出博士论文的分量。
有人质疑，在《数理逻辑杂志》上找不到刘路的论文。Hirschfeldt教授解释说，刘嘉忆（注：刘路提交论文时的署名
为“刘嘉忆”）的论文已经被接受，最终版本送到了出版商那里，估计很快就会出现在杂志上。
Hirschfeldt教授说，刘嘉忆之前向他担任主编的《数理逻辑杂志》投递论文。然后，他将论文送给一位评审人，他自己
也阅读了这... 阅读全帖 |
|
c***s
发帖数: 70028 | 20 3月20日，刘路在新闻发布会上发言。
3月20日，中南大学校方为刘路颁发100万元奖金。
3月20日，刘路（左）在教室里和导师侯振挺一起探讨课题。
开栏的话
从今天起，本报推出大型专栏《人物》，定位于湖南及与湖南有关的有影响力的新闻人物。他们可以是湖湘社会的各界精英，可以是感动你我他的“草根”，也可以是与湖南结下情缘、作出贡献，有着较大影响力的“全球人”……他们从自己的那方天地出发，以自己的所作所为，展现湖南形象，增强湖南影响力，传播湖湘文化，弘扬湖南精神。湖湘代有人才出，各领风骚大不同。我们希望此专栏能架起与广大读者沟通、互动的桥梁，同时也真诚希望得到读者的关心与支持。
2012年3月20日，中南大学校长、中国工程院院士张尧学对外界宣布，破格聘任该校数学与统计学院刚毕业不久的本科生刘路为教授级研究员，并给予100万元重奖。无数人的目光，集中到了这位破解了国际数学难题，被人们称为“数学奇才”、“数学天才”的青年身上。
本科生直读博士并被聘为教授，获奖100万妈妈不知道
走在中南大学这所科研学术氛围浓厚的校园里，刘路这样的“学术型男生”并不少见，黑衣黑发，瘦瘦高高，黑框的眼镜后闪着沉静睿... 阅读全帖 |
|
s**********n
发帖数: 3199 | 21 7788我居然都看了。。。
一些很有意思的，如果不读大作，我不会至少现在接触到的东西，比如对马克思，对文
革的一些讨论。无论什么原因，这两者对我如果又影响，也是飘渺不真实的令人厌恶的
道听途说。籍由大作能稍稍了解一下亲历者的仔细深入的讨论和思考，非常有趣。
我喜欢讨论具体问题，下面是两个：
（1）关于辩证法的讨论，尤其，塞翁失马结合文革的讨论，有趣也有说服力。
有说服力的意思是乍看之下看不到明显的可以反驳的弱点－－这当然离可以将大作的解
读作为“辩证法、塞翁失马”的exclusive（complete从而排他）解读差很远。
但是在论题讨论之外，有一点我不欣赏的，就是用理论在实际应用中的坏作用来反驳削
弱理论本身这种做法。
这种做法在“逻辑”（下面会谈到）上没有漏洞，所以我只说不“欣赏”。
为什么不欣赏？
没有辩证法，文革就找不到合适的理论来了吗？欲加之罪何患无辞？
就避免悲剧重演而言，我以为，我们应该努力约制的不是某个有缺陷、助纣为虐的理论
，而是暴君，不约束暴君的种种因素本身。
而不是悲剧怎样被理论合理化的。
again，打击理论从而证明悲剧的不合理性固然重要，以为摆脱了那个理论就能... 阅读全帖 |
|
c***s
发帖数: 70028 | 22 刘路在美国芝加哥参加数理逻辑学术会议期间的留影。刘路供图
丁夏畦：这是很了不得的事情，在大学里，从来没有听说过，也没见过（破解数学猜想）。
中南大学数学科学与计算技术学院08级的学生刘嘉忆，成功破解了困扰数学界十几年的数理逻辑难题——西塔潘的猜想。不过，这个“爆炸性”的消息，起初并不为大家所熟知。因为刘嘉忆是个笔名，他的本名叫刘路。
中南大学数学科学与计算技术学院院长刘再明告诉记者，经中国工程院院士、中南大学校长黄伯云批示，学校决定让刘路提前大学毕业，并立即录取为硕、博连读的研究生或直接攻读博士学位。
大学生破解西塔潘的猜想
西塔潘的猜想是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，十几年来许多学者一直努力都没有解决。
2010年8月，酷爱数理逻辑的大学生刘路在自学反推数学的时候，第一次接触到这个问题。两个月后，他突然想到利用之前用到的一个方法稍作修改便可以证明这一结论。他连夜将证明写出，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年5月，由北大、南京大学和浙江师大联合举办的逻辑学术会议在浙江师范大学举行，刘路应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色... 阅读全帖 |
|
s*********1
发帖数: 1166 | 23 王浩，数理逻辑学家, 念高中时他偶然得到金岳霖写的《逻辑》(1935），其中约80页
介绍罗素（B.Russel）的名著《数学原理》第一卷的内容，他感到这些内容既吸引人又
容易懂，因此想：应该首先尝试学习较容易的数理逻辑，为以后学习辩证法作较好的准
备。大学一年级时，他旁听了王宪钩的符号逻辑课，系统地学习了《数学原理》第一卷
。并通过阅读希尔伯特一阿克曼的《数理逻辑基础》（1938年版）学习德语。以后又阅
读了希尔伯特~贝尔纳斯的《数学基础》（两卷集，1934年版）的第一卷。1942年他听
了沈有鼎讲授维特根斯坦（L. Wittgenstein，1889~1951）的《逻辑哲学论》（
Tractatus，1921）课，阅读了卡纳普（R.Carnap）的《语音的逻辑句法》（1934年版
），并开始撰写关于休谟的归纳问题的论文。王浩在回忆这段紧张而有意义的学习生活
时说：1939年到1946年我在昆明，享受到生活贫苦而精神食粮丰盛的乐趣。特别是因为
和金（岳霖）先生及几位别的先生和同学都有共同的兴趣和暗合的视为当然的价值标准
，觉得心情愉快，并因而能够把工作变成了一个最基本的需要，成为以后... 阅读全帖 |
|
t**********k
发帖数: 511 | 24
读维特根斯坦（何为意义）
他在《逻辑哲学论》的前言中说：“本书讨论哲学问题，而且我相信它指出了这些问题
都是由于我们误解我们的语言的逻辑而提出来的。本书的全部旨义可概述如下：凡是可
说的东西，都可以明白地说，凡是不可以说的东西，则必须对之于沉默。”
最后这一句应该是他的标志，被广泛地引用，但往往省略了前一半，这实际上很有问题。
他在书中还说：
“4.003哲学的东西所写的命题和问题大多数并非缪误，而是无意义的。因此，我们根
本不能回答这类问题，而只能明确指出其无意义性。哲学家的问题和命题大多数是基于
我们不了解我们的语言逻辑。
（它们都是诸如善比美更具有同一性抑较少同一性之类的问题）
毫不奇怪，最深刻的问题其实不成为问题。”
简单地说，过去的哲学大多在讨论关公战秦琼这一类问题（美和善的比较），而没有弄
清楚这种问题实际上不可能有答案，因而这种讨论毫无意义，只能沉默相对。
总而言之，只能说那些可说的东西，它们一定是明确可说。那么下面的问题自然就是：
什么是明确可说的，什么是有意义的东西？... 阅读全帖 |
|
x**************.
发帖数: 16 | 25 转信站: mitbbs!jiaoyou8.com!mitbbscn
出 处: mitbbs.cn
莫绍揆 1917年8月13日诞生于广西桂平县．南京大学教授．数理逻辑、数学教育
莫绍揆，1917年8月13日生于广西桂平．1939年7月毕业于中央大学理学院数学系
．在
中央大学任两年助教以后，他先后担任过中央大学和中山大学数学系讲师．从1947年
起，
赴瑞士洛桑大学、国立高等工业学校和巴黎大学留学，师从国际著名的数理逻辑大师
贝尔
奈斯(P．Bernays)，研究数理逻辑和数学基础．1950年4月回国后，任南京大学副教
授、
教授，创建数理逻辑专业，并长期担任数理逻辑教研室主任．他在数学研究和数学教
育的
园地上辛勤耕耘了50余年，艰苦创业，成绩卓著，是我国数理逻辑教育和研究的开拓
者之
一．
莫绍揆已发表学术论文60多篇，学术专著20多本，科普论文20余篇．其中，《数
理逻
辑导论》、《递归函数论》两本专著获1978年全国科技大会奖，《数理逻辑教程》获
全国
优秀教材奖，《质点几何学》获全国城市出版社优秀图书一等奖；学术论文“高级函
词与
约束词本质”获江苏省科技成果二等奖 |
|
o*****y
发帖数: 699 | 26 http://www.wenxuecity.com/news/2011/10/19/1503527.html
大三学生破解国际数学难题 明年可直接攻读博士(图)
中南大学数学科学与计算技术学院08级的学生刘嘉忆，成功破解了困扰数学界十几年的
数理逻辑难题——西塔潘的猜想。不过，这个“爆炸性”的消息，起初并不为大家所熟
知。因为刘嘉忆是个笔名，他的本名叫刘路。
中南大学数学科学与计算技术学院院长刘再明告诉记者，经中国工程院院士、中南大学
校长黄伯云批示，学校决定让刘路提前大学毕业，并立即录取为硕、博连读的研究生或
直接攻读博士学位。
大学生破解西塔潘的猜想
西塔潘的猜想是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，十几年
来许多学者一直努力都没有解决。
2010年8月，酷爱数理逻辑的大学生刘路在自学反推数学的时候，第一次接触到这个问
题。两个月后，他突然想到利用之前用到的一个方法稍作修改便可以证明这一结论。他
连夜将证明写出，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
今年5月，由北大、南京大学和浙江师大联合举办的逻辑学术会议在浙江师范大学举行
，刘路应邀参加了这次会议，... 阅读全帖 |
|
i***s
发帖数: 39120 | 27 刘嘉忆（本名刘路）在美国芝加哥参加数理逻辑学术会议期间的留影。图/刘嘉忆提供
刘嘉忆（本名刘路），中南大学数学科学与计算技术学院2008级本科生。
继今年上半年他攻克一个十多年悬而未决国际数学难题后，不久前在美国芝加哥大学结束的数理逻辑学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻辑方面的研究成果，语惊四座。
这个国庆长假，他在学校准备毕业论文，还有申请到美国伯克利等几所知名高校的留学深造的材料。
今年5月，由北京大学等联合举办的逻辑学术会议上，还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了Seetapun的猜想。
6月，数理逻辑国际权威杂志《Journal of Symbolic Logic》的主编、逻辑学专家、芝加哥大学数学系Denis Hirschfeldt教授给刘嘉忆发来了论文评审意见，信中说，“我是过去众多研究该问题而无... 阅读全帖 |
|
m******7
发帖数: 13 | 28 【 以下文字转载自 Joke 讨论区 】
发信人: majia917 (我是马甲), 信区: Joke
标 题: 破解“西塔潘猜想”一举成名 这一切，要感谢南大教授
发信站: BBS 未名空间站 (Sun Apr 1 04:49:10 2012, 美东)
因破解国际数学难题“西塔潘猜想”而震惊国际数理逻辑界的该校学生刘路，将获得
100万元奖励。与此同时，年仅22岁的他被中南大学破格聘任为教授级研究员，并被推
荐参与国家“青年千人计划”评选，成为我国最年轻的教授级研究员。
而据快报记者了解，刘路的研究之路，离不开南京大学教授的支持。
邮件用户名让教授难忘
说起刘路，他的伯乐其实是在南京大学，如果不是南京大学教授的论证和推荐，
他破解“西塔潘猜想”的论文，就很有可能得不到国际社会的认同。而谈起刘路，南京
大学数学系的教授丁德成也更愿意用另外一个名字来称呼他：“刘嘉忆”。
丁德成是南京大学数学系博士生导师、著名的数理逻辑专家。丁德成告诉快报记
者，他跟刘路的接触，最早源自于一份电子邮件。现在，这份来自于2011年4月 1日的
邮件，还保存在丁德... 阅读全帖 |
|
m******7
发帖数: 13 | 29 因破解国际数学难题“西塔潘猜想”而震惊国际数理逻辑界的该校学生刘路，将获得
100万元奖励。与此同时，年仅22岁的他被中南大学破格聘任为教授级研究员，并被推
荐参与国家“青年千人计划”评选，成为我国最年轻的教授级研究员。
而据快报记者了解，刘路的研究之路，离不开南京大学教授的支持。
邮件用户名让教授难忘
说起刘路，他的伯乐其实是在南京大学，如果不是南京大学教授的论证和推荐，
他破解“西塔潘猜想”的论文，就很有可能得不到国际社会的认同。而谈起刘路，南京
大学数学系的教授丁德成也更愿意用另外一个名字来称呼他：“刘嘉忆”。
丁德成是南京大学数学系博士生导师、著名的数理逻辑专家。丁德成告诉快报记
者，他跟刘路的接触，最早源自于一份电子邮件。现在，这份来自于2011年4月 1日的
邮件，还保存在丁德成的电脑里。在这份邮件中，一个叫刘嘉忆的学生写道：“丁老师
好，我是中南大学的一名学生，非常喜欢数理逻辑，听说南京大学不再招收数理逻辑方
面的研究生，是不是真的？”
这封邮件之所以被丁德成记住，是因为邮件的用户名叫“6+1”，正好跟“刘嘉
忆”谐音... 阅读全帖 |
|
m******7
发帖数: 13 | 30 【 以下文字转载自 WaterWorld 讨论区 】
发信人: majia917 (我是马甲), 信区: WaterWorld
标 题: 破解“西塔潘猜想”一举成名 这一切，要感谢南大教授 (转载)
发信站: BBS 未名空间站 (Sun Apr 1 04:51:57 2012, 美东)
发信人: majia917 (我是马甲), 信区: Joke
标 题: 破解“西塔潘猜想”一举成名 这一切，要感谢南大教授
发信站: BBS 未名空间站 (Sun Apr 1 04:49:10 2012, 美东)
因破解国际数学难题“西塔潘猜想”而震惊国际数理逻辑界的该校学生刘路，将获得
100万元奖励。与此同时，年仅22岁的他被中南大学破格聘任为教授级研究员，并被推
荐参与国家“青年千人计划”评选，成为我国最年轻的教授级研究员。
而据快报记者了解，刘路的研究之路，离不开南京大学教授的支持。
邮件用户名让教授难忘
说起刘路，他的伯乐其实是在南京大学，如果不是南京大学教授的论证和推荐，
他破解“西塔潘猜想”的论文，就很有可能得不到国际社会的认同。而谈起刘路，南京
大... 阅读全帖 |
|
o*****y
发帖数: 699 | 31 后面网友的争论很有意思。
http://www.wenxuecity.com/news/2011/10/08/1492687.html
刘嘉忆本名刘路，是中南大学数学科学与计算技术学院2008级本科生。继今年上半年他
攻克一个十多年悬而未决的国际数学难题后，不久前在美国芝加哥大学结束的数理逻辑
学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻
辑方面的研究成果，语惊四座。这个国庆长假，他在学校准备毕业论文，还有申请到美
国伯克利等几所知名高校留学深造的材料。
数学难题 十余年未解
今年5月，由北京大学等联合举办的逻辑学术会议上，还在上大三的刘嘉忆报告了他对
目前反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西
塔潘于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解
决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的
猜想。
6月，数理逻辑国际权威杂志《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学
系邓尼斯·汉斯杰弗德教授给刘嘉忆发来了论文评审意见，信中说，“我是过去众多研
究该问... 阅读全帖 |
|
c***s
发帖数: 70028 | 32 20岁解答了西塔潘猜想，22岁成为正教授级研究员，作为一名在应试教育里并非优等生的孩子，他是怎么走过来的？他将走向何方？
3月25日，刘路在校园里（孔璞）
3月25日，刘路在学校给他的办公室里做研究（孔璞）
这不是刘路第一次出名了，去年秋天，也有过一次。那时，刘路以刘嘉忆（意为6+1）的笔名解决了“数十年来悬而未决的‘西塔潘猜想’”，被奉为小天才。这次，他是拿了百万奖金的22岁教授级研究员，有了奖金和行政级别。“宣传力度比去年更大”，一位负责学校对外宣传的老师介绍，“中央电视台就有两个栏目组来了。”
随着电视台的摄像机走在中南大学，随处可以听到学生们的窃窃私语，“又是来拍刘路的吧”，“昨天、前天都来过，我还看见了呢……”终于，在一架电梯上，一个年纪稍大的女老师鼓起勇气问：“你们是来拍刘路的吧？”回答：“是啊。你们都知道呀？”然后，一电梯的师生都如释重负地笑了。
然而，刘路，找不到了。手机关机，人不在寝室，也不在学校给他新分配的办公室。
直到中午快1点，刘路才出现，在食堂门口。那是个跟想象中的小天才有些出入的形象，瘦高，戴棒球帽，穿Kappa，骑了个看不出品牌的单车。不过，车很干净，没有... 阅读全帖 |
|
l*****l
发帖数: 363 | 33 看着还不错，不知道数学背景强的朋友如何看。。。
http://news.sina.com.cn/s/2011-10-11/040323281403.shtml
本报讯 困扰数学界20多年的国际数学难题“西塔潘猜想”，被中南大学一个大三的
学生刘路破解了！昨日，记者从中南大学获悉，校长黄伯云了解此事后，亲自批示刘路
硕博连读。与此同时，为让刘路能够提早读研，中南大学邀请了中国科学院三位院士，
向教育部写信推荐请予破格录取，建议采取特殊措施，加强对刘路学术方面培养。
漂亮的证明
这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，20多年来许多
研究者一直努力都没有解决。
10月的一天，刘路突然想到利用之前用到的一个方法稍作修改便可以证明这一结论
，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。署名刘嘉
忆。
稿件投出后，《符号逻辑杂志》的主编，也是国际逻辑学知名专家、芝加哥大学数
学系教授邓尼斯·汉斯杰弗德写信给予高度称赞，“我是过去众多研究该问题而无果者
之一，你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！”
论文审稿人、芝加哥大学博士达... 阅读全帖 |
|
t**********k
发帖数: 511 | 34 逻辑和计算机
从原理上说，计算机是一个无比简单的东西，就是一个逻辑处理器，计算机所做的所有
工作最后都是转化成逻辑运算来执行的。所以，任何能进行基本逻辑运算（非，与，和
）的东西，都可以用来构成计算机。计算机的构想早在在17世纪就提出来了，不过只能
用机械方式。
第一个真正现代意义上的计算机是用电子管实现的，但是它的应用非常有限，庞大，奇
贵，速度慢，而且耗能巨大。还有一个致命的缺陷，就是可靠性好不了。
现在的CPU集成了几亿只器件，如果用电子管，意味着上亿个插件，上十亿个焊点，这
样复杂的东西没有办法保证质量，更不可能大规模生产。计算机的发展赖于集成电路的
进步。
计算机的广泛应用，以至于完全改变了人类的生活，其硬件基础是上个世纪前30年以爱
因斯坦为首的那一拨人做的，有了量子物理和相对论，才能有凝聚态物理，才能有集成
电路，接下来才可能有计算机，网络的广泛使用。
记得曾经在网上有人讨论爱因斯坦和爱迪生哪一个更牛，这实在有点过分，两个人完全
不在一个档次，而且差得很远。爱因斯坦是一个科学家，《维基百科》说也... 阅读全帖 |
|
i***s
发帖数: 39120 | 35 3月20日，中南大学校长张尧学（左）为刘路颁发奖金100万元。
中南大学校长张尧学20日宣布，破格聘任攻克国际数学难题的在校学生刘路为中南大学正教授级研究员。今年22岁的刘路成为我国目前最年轻的正教授级研究员。
受聘学生获学校百万元奖励
《新京报》报道，中南大学这一举措引起社会高度关注。中南大学校长张尧学表示：“破格聘用刘路是基于对仅为本科学生的他能够破解世界级难题所表现出来的科研能力的肯定，这不是一般学者能够做到的。”也有人发出质疑，22岁的正教授级研究员，有点草率吧？
根据校方规定，刘路获得100万元的奖励，其中50万元用于改善科研条件，50万元用于改善生活条件。同时，学校决定破格聘任他为正教授级研究员。
此前的2011年10月，中南大学特批刘路硕博连读，并为其量身打造培养方案后，还将其作为青年教师后备人才，进入数学家侯振挺教授研究所，从事研究工作。
学者普遍40岁以上可当正教授
刘路用一篇论文缩短了普通学子与正教授职称间近20年的距离。按照一般晋级正教授职称的“路径”，研究生读3年、博士读4年，成为讲师后再升为副教授、教授，每级认定一般最少都要花掉5年时间，其间还有不少科研项目、... 阅读全帖 |
|
c***s
发帖数: 70028 | 36 高中时代的刘路(第一排左二)
经济观察网 记者 陈安庆 实习记者 刘亮三月小阳春，长沙一直被阴雨天所笼罩，23日的清晨，一缕阳光穿过阴霾，天空放晴。刘路完成了他简单的入职仪式——办理了一张中南大学的职工卡。短短一年间，这个22岁的大男孩——刘路完成了由普通在校本科生向在职博士、正教授级研究员的蜕变。 这是一个绝佳的励志故事，一切，仿若好莱坞大片。一夜间，他被冠之以“当代陈景润”、“少年天才”、“数学怪才” 。
中南大学这项惊人的决定——把刘路擢升为研究性正教授，并奖励100万元，再次把这位腼腆谦逊的少年推向了舆论的风口浪尖。
网上不仅仅是鲜花、掌声，奔涌而来的还有嘲讽、怀疑、讽刺。媒体的围追堵截天天上演，这个稚气未脱的少年，总是在长枪短炮的围攻中匆匆走过，习惯性地把自己的脑袋深深埋在了风衣的领子里，幽幽地说：“我不是天才，我只是喜欢。”
在中南大学平静的校园，当他的数学系同学还在“兵荒马乱”中南下北上四处求职找饭碗时，刘路则在笃定中留校任职——成为“中国最年轻的正教授”。
这位头顶光环的大连小伙儿标志性地裹着黑色风衣，一副黑框眼镜，手提黑色提包，一如往常地走进宿舍楼，在宿管员那里简单地... 阅读全帖 |
|
C******n
发帖数: 161 | 37 出生于1984年5月的邓露，去年入选我国首批“青年千人计划”名单，所在的湖南大学
破格聘其为教授和博导，被网友称为“最年轻的教授和博导”。
出生于1989年4月的刘路，本科在读期间攻克国际数学难题“西塔潘猜想”，今年3月被
所就读的中南大学破格聘为正教授级研究员，成为目前“最年轻的教授”。
从“最年轻博导”到“最年轻教授”，是什么成就了这种神奇现象？新华社记者日前赶
赴湖南长沙对此进行了追踪采访。
青年才俊爆红网络
邓露有一份令人惊叹的简历：2005年本科毕业后出国到美国路易斯安那州立大学直接攻
读博士学位，2009年不满25周岁的他成为该校最年轻的博士毕业生之一。其间，发表1
本英文学术专著（第一作者）和一系列学术论文。同年5月，进入全球最大石油公司—
—美国埃克森美孚石油公司担任高级研究工程师和海洋平台研究项目的负责人。
“美国工作生活条件是很好，而且我获得的发展机会也是大多数人非常羡慕的，但那不
是我追求的目标。”邓露说。
2011年8月回国参加“青年千人计划”面试，今年初正式到湖南大学工作，被聘为博导
和教授。3月初，邓露的简历被“晒”到网上，一下子爆红网络。
更为年轻的刘路，... 阅读全帖 |
|
t**********k
发帖数: 511 | 38 读维特根斯坦（逻辑和语言）
大家在初中就开始学平面几何了，但认真想一想，那到底有什么用？
比如说像平行线同位角相等；三角形两条边相等，所对的角就等同，反之亦然，等等等
。这样一些东西在我们后来的生活，工作中到底用了多少？肯定不多，那么为什么就是
不改一改，学一点有用的东西呢，更况且从理论上说，地球表面并不是平面，而是球面。
不改的原因就在于平面几何是学习逻辑的最好办法，并不在于它本身有多么重要。几何
和数学中的其他分支实际上是平行的，完全可以在没有几何的情况下构造出代数。但是
，逻辑却是所有数学背后最关键的东西。
严格按照逻辑从前提得到结论，这就是所谓的证明，只有理解了什么是逻辑，才能知道
什么是数学。
与此类似，在自然语言，像汉语，英语中，同样逻辑也是最关键的东西。这可以有一个
很好的例子，法律肯定是最重要的语言，那个东西不弄明白麻烦就大了。
比如说，蓄谋杀人应该有什么样的判决，这实际上在说一个集，在这个集里面的人就要
面临着什么样的逻辑结果。还应该有一个程序法，来规定应该按照什么样的程序来确定
这个集。
再说一个复杂一点的例子，子女有抚养... 阅读全帖 |
|
t**********k
发帖数: 511 | 39 读维特根斯坦（同一性）
维特根斯坦从逻辑上不承认同一性，否认同一性就必然得到这个世界是不可以被完全理
解的。
“在逻辑中，同一(identity)关系通常被定义为只在一个事物和它自身之间成立的关系
。就是说同一是两元谓词 "="，使得对于所有 x 和 y，"x = y" 为真，当且仅当 x 和
y 是同一个事物。”《维基百科》
《维基百科》这里讲的不够清楚，不过的确，弄明白不是一二句话的事。我就个人的理
解来细说一下。
一个东西（对象）等于自身，当然不错，比如刘备等于刘玄德。但这只是一个对象有两
个不同的名字，维特根斯坦并不会否认这种意义。而是说，不同的对象不能相等。这个
在逻辑上非常简单，两个完全一样的对象我们必然不能区分，那就不能说是两个对象，
只是一个，而所谓相等只能有“刘备等于刘玄德”那种意义。
当然，从经验上说，我们不能否认可能存在着一模一样的东西。比如我们不能否认存在
着两个完全一样的螺丝钉，因为我们不可能知道所有的螺丝钉，就不能否认这种可能。
但是，就算存在着这种可能，那只是一种偶然性，而偶然性是不能进入逻辑的。
或者这样... 阅读全帖 |
|
t**********k
发帖数: 511 | 40 机器人能不能有感情
我记得自己曾经讨论过类似的问题，现在再简单地说一下。
AI（人工智能）并不等于人的智能。因为我们对什么是人的智能所知的非常少，所以我
们不能说人工智能就是模仿人的智能，一个不知道的东西怎么去模仿。我是搞过类似的
技术开发的，这一类的事情最重要的是得要有一个指标，就是说，当我们说机器能模仿
人的智能的时候，必定要有一个人什么是人的智能的指标，如果机器达到了这个指标，
我们才能说机器做到了。那么事情就变得非常简单了，因为我们不知道什么是人的智能
，所以拿不出这个指标，所以任何这一类的命题就都没有了意义。
那么人工智能怎么去理解呢？
我们可以把某些东西定义为智力。比如说，逻辑推理是一种智力，人可以逻辑推理（但
某些人好像没有），所以人有智力；计算机有逻辑推理的能力，所以它也有智力。能下
围棋是一种智力，所以人和计算机就都有智力，实际上计算机和人下围棋的方式是可以
说是完全不同的东西。事情只能够这样说。
AI不是人的智能或者模仿人的智能，这其实是一个非常简单的问题，我不知道为什么那
么多的人，还包括所谓的专家连这一点都弄... 阅读全帖 |
|
d*******o
发帖数: 5897 | 41 【 以下文字转载自 Headline 讨论区 】
发信人: Cnews (chinanews), 信区: Headline
标 题: 22岁中国最年轻教授刘路:我抵制应试教育(组图)
发信站: BBS 未名空间站 (Tue Mar 27 22:00:43 2012, 美东)
高中时代的刘路(第一排左二)
经济观察网 记者 陈安庆 实习记者 刘亮三月小阳春，长沙一直被阴雨天所笼罩，23日的清晨，一缕阳光穿过阴霾，天空放晴。刘路完成了他简单的入职仪式——办理了一张中南大学的职工卡。短短一年间，这个22岁的大男孩——刘路完成了由普通在校本科生向在职博士、正教授级研究员的蜕变。 这是一个绝佳的励志故事，一切，仿若好莱坞大片。一夜间，他被冠之以“当代陈景润”、“少年天才”、“数学怪才” 。
中南大学这项惊人的决定——把刘路擢升为研究性正教授，并奖励100万元，再次把这位腼腆谦逊的少年推向了舆论的风口浪尖。
网上不仅仅是鲜花、掌声，奔涌而来的还有嘲讽、怀疑、讽刺。媒体的围追堵截天天上演，这个稚气未脱的少年，总是在长枪短炮的围攻中匆匆走过，习惯性地把自己的脑袋深深埋在了风衣的领子里，幽幽地说：“我... 阅读全帖 |
|
t******n
发帖数: 2939 | 42 ☆─────────────────────────────────────☆
logic98 (logic) 于 (Thu May 23 20:46:20 2013, 美东) 提到:
当年我老人家去改高中数学竞赛卷子，有一个问题是要证明Ａ，Ｂ，Ｃ三个条件必然有
一个成立。一个学生的证法是：假设Ａ，Ｂ都不成立，然后用这两个条件证明Ｃ成立。
一位阅卷的人（记不清是老师还是研究生了，反正是全国前５名大学数学系的吧）只给
了１／３的分。
我们的阅卷都是要过２轮的，一个阅卷，一个复核。结果复核的和阅卷的争了起来。阅
卷的说：他只证明了如果Ａ，Ｂ不成立推出Ｃ成立，他还应该证明如果Ａ，Ｃ不成立可
以推出Ｂ成立，如果Ｂ，Ｃ不成立，可以推出Ａ成立。所以只能给他１／３的分。复核
的说证明完全没有问题，只要证明Ａ，Ｂ都不成立的话Ｃ成立就行了。于是数学系的一
帮人分成两拨争得不可开交。
最后还是阅卷组长过来，这位是学数理逻辑的，过来一看哑然失笑，说你们这帮人太弱
了。
水版的同仁看看，如果你给分，是给满分还是给１／３？
☆─────────────────────────────────────☆... 阅读全帖 |
|
R******e
发帖数: 623 | 43 不知道数理逻辑算个啥，可大家公认做数理逻辑的Godel是一流数学家，这Godel也真不
知趣，也玩过广相，也不知道小爱和他天天一块交往逛荡啥，难道是基友？
你说对了，我确实不是做数学或者物理的。可微积分实变函数复变函数与泛函基本都跟
相对论无关，倒是微分几何跟相对论关系密切。
数理逻辑吗，你说说公认20世纪前三的两位数学家有两个下大力气研究过，难道这两个
数学家都是闲的？
大家天天离不开的电脑啊手机啊甚至电梯和红绿灯等等的理论基础都发源于数理逻辑或
者相关的研究，说说，这学科到底算啥？
听说过set theory，不知道它算啥，也听说过model theory，好像有做代数几何的都在
用这个东西。其他两个就不说了。不知道这些算啥？ |
|
g****t
发帖数: 31659 | 44 编程的本质不是数理逻辑。数理逻辑没有side effect 。
例如程序有自然语言的一面。就是对现实的很多过程有效地描述和建模。如何用程序语
言很好的描述现实需求，这个很困难。
编程还有很多别的方面，都不是数理逻辑或者代数能概括的。简单说。我不认为还原论
的思考方法对具体的软件工程有很大作用。很多知识只是good to know,但简单的认为
一种学问是另一种学问的本质，不妥。
: 编程的本质是数理逻辑。8岁小孩这方面的能力基本上没发育，学编程事
半功倍
，是在
: 浪费孩子宝贵的童年。在此阶段，跟建议培养孩子感性方面的技能，如何
生活，
如何欣
: 赏艺术，如何创造，如何与人相处...这些技能都是吾等nerds缺乏的。懂
得这些
的时候
: ，已经晚了。
: 我是程序员，而且在可以预见的下半辈子也只会是程序员。孩子在8岁的
时候，
未来有
: 无限可能。我们不应该以我们有限的见识限制对他们未来的想象。
|
|
o*****y
发帖数: 699 | 45 个人经历
家庭情况
祖籍大连的刘嘉忆，父亲在当地一家国有企业后勤部门工作，母亲在一家企业任工
程师。他告诉记者，父母并没有给予他数学方面的遗传基因和教育，自己上小学时也没
有对数学表现出特别的爱好。
数学学习
“如果要说我与同龄人有什么不同之处的话，那就是我对数学的特别关注。”刘嘉
忆说，“上初中时，一些同学还在为数学教科书上的习题抓耳挠腮时，我就开始自学数
论了。” 数论就是指研究整数性质的一门理论。刘嘉忆说，当时，对其他同学来
说，看初等数论中的整除理论、同余理论、连分数理论像是在看“天书”，而他却学得
津津有味。 2008年，刘嘉忆以优异的成绩考上中南大学数学科学与计算技术学院
。按说，有了扎实的数学基础，刘嘉忆应该在同学面前崭露头角，但每次数学考试，他
的成绩并不拔尖。 刘嘉忆的同学高涛说，在课堂上，他并没有表现得与众不同，
但每到课余时间，他就会去图书馆，一回来，准会带上一大堆全英文数学书籍，常常捧
着看到深夜。同学问他题目，发现他的思路与他人不一样，还会用更简单的方法来计算
或解释。 大二时，刘嘉忆开始学习数理逻辑。数理逻辑是数学基础的一个不可缺
少的组成部... 阅读全帖 |
|
o*****y
发帖数: 699 | 46 中南大学数学科学与计算技术学院学生刘嘉忆，近日获得凤凰卫视等十余家知名华文媒
体和机构联合推选的世界因你而美丽--影响世界华人盛典“希望之星”奖项提名。一道
在数理逻辑学中沉寂了二十年的难题--“西塔潘猜想”，22岁的刘嘉忆一举破解。2011
年5月，在北京大学、南京大学和浙江师大联合举办的逻辑学术会议上，刘嘉忆报告了
他对猜想的研究，这个于上个世纪90年代提出的，曾经难倒许多研究者甚至是一些著名
数学家的问题被彻底解决。
刘嘉忆于2008年进入中南大学学习。2010年8月，一向酷爱数理逻辑的他第一次接
触到“西塔潘猜想”。这一猜想由英国数理逻辑学家Seetapun于1990年代提出。它涉及
反推数学中“拉姆齐二染色定理”和“弱寇妮定理”的证明论强度问题。Seetapun猜测
，“拉姆齐二染色定理”的证明论强度强于“弱寇妮定理”。过去二十多年来，许多著
名科研工作者都试图破解，但未能如愿。之后刘嘉忆阅读了大量相关文献，兴趣越发浓
厚。两个月后，他突然想到将以前用到的一个方法予以改进便可以证明这一结论，于是
着手一试。刘嘉忆说，那个时候一向淡定的自己兴奋得“心脏快要跳出来了”。回忆起
那... 阅读全帖 |
|
o*****y
发帖数: 699 | 47 据新华社电 20日，中南大学校长张尧学宣布，破格聘任攻克国际数学难题的在校学生
刘路为中南大学正教授级研究员。今年22岁的刘路成为我国目前最年轻的正教授级研究
员。
受聘学生获学校百万元奖励
中南大学这一举措引起社会高度关注。中南大学校长张尧学表示：“破格聘用刘路是基
于对仅为本科学生的他能够破解世界级难题所表现出来的科研能力的肯定，这不是一般
学者能够做到的。”也有人发出质疑，22岁的正教授级研究员，有点草率吧？
根据校方规定，刘路获得100万元的奖励，其中50万元用于改善科研条件，50万元用于
改善生活条件。同时，学校决定破格聘任他为正教授级研究员。
此前的2011年10月，中南大学特批刘路硕博连读，并为其量身打造培养方案后，还将其
作为青年教师后备人才，进入数学家侯振挺教授研究所，从事研究工作。
学者普遍40岁以上可当正教授
刘路用一篇论文缩短了普通学子与正教授职称间近20年的距离。按照一般晋级正教授职
称的“路径”，研究生读3年、博士读4年，成为讲师后再升为副教授、教授，每级认定
一般最少都要花掉5年时间，其间还有不少科研项目、教学、发表论文的“硬性指标”
。纵观全国，目前正教... 阅读全帖 |
|
o*****y
发帖数: 699 | 48 http://www.wenxuecity.com/news/2012/03/27/1698732.html
经济观察网 记者 陈安庆 实习记者 刘亮三月小阳春，长沙一直被阴雨天所笼罩，23日
的清晨，一缕阳光穿过阴霾，天空放晴。刘路完成了他简单的入职仪式——办理了一张
中南大学的职工卡。短短一年间，这个22岁的大男孩——刘路完成了由普通在校本科生
向在职博士、正教授级研究员的蜕变。 这是一个绝佳的励志故事，一切，仿若好莱坞
大片。一夜间，他被冠之以“当代陈景润”、“少年天才”、“数学怪才” 。
中南大学这项惊人的决定——把刘路擢升为研究性正教授，并奖励100万元，再次把这
位腼腆谦逊的少年推向了舆论的风口浪尖。
网上不仅仅是鲜花、掌声，奔涌而来的还有嘲讽、怀疑、讽刺。媒体的围追堵截天天上
演，这个稚气未脱的少年，总是在长枪短炮的围攻中匆匆走过，习惯性地把自己的脑袋
深深埋在了风衣的领子里，幽幽地说：“我不是天才，我只是喜欢。”
在中南大学平静的校园，当他的数学系同学还在“兵荒马乱”中南下北上四处求职找饭
碗时，刘路则在笃定中留校任职——成为“中国最年轻的正教授”。
这位头顶光环的大连... 阅读全帖 |
|
b*******k
发帖数: 16989 | 49 lol
这样的人如果不去芝加哥大学读PHD那才叫奇怪.
在中南大学保妍?哈哈,你那个导师能指导得了他?
记者故意这么写恶心中国教育部的吧?
大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
面的培养。
过潜心研究成功攻克了一个多年未解的国际数学难题。
去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受
我对你令人赞叹的惊奇的成果的祝贺！”
提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑
发挥着重要的理论指导作用。
，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理
的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜
想，10多年来许多著名研究br />
方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威
杂志《符号逻辑杂志》。
范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中
的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一
个否定式的回答，彻底解决br />
学系邓... 阅读全帖 |
|
d***d
发帖数: 99 | 50 直接申请mit, ivy league了，还读什么山寨大学。这么好的小孩，别被国内三流大学
这些三脚猫给耽误了。
大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
面的培养。
过潜心研究成功攻克了一个多年未解的国际数学难题。
去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受
我对你令人赞叹的惊奇的成果的祝贺！”
提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑
发挥着重要的理论指导作用。
，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理
的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜
想，10多年来许多著名研究者一直努力都没有解决。
结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。
范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中
的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一
个否定式的回答，彻底解决了西塔潘的猜想。
论文后给他写信：“我是过去众多研究该问题而... 阅读全帖 |
|
