i***s
发帖数: 39120 | 1 中国科学院李邦河等3名院士日前分别向教育部写信推荐，请予破格录取中南大学大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。这一切，缘于近年刘嘉忆通过潜心研究成功攻克了一个多年未解的国际数学难题。
《潇湘晨报》报道，今年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。
每次数学考试成绩并不拔尖
单薄的身子，略显苍白的脸上架着一副近视眼镜，说话间不时而至的羞涩表情，这是记者8日在中南大学校园见到刘嘉忆时的第一印象。
祖籍大连的刘嘉忆，父亲在当地一家国有企业后勤部门工作，母亲在一家企业任工程师。他告诉记者，父母并没有给予他数学方面的遗传基因和教育，自己上小学时也没有对数学表现出特别的爱好。
“如果要说我与同龄人有什么不同之处的话，那就是我对数学的特别关注。”刘嘉忆说，“上初中时，我就开始自学数论了。”
刘... 阅读全帖 |
|
i***s
发帖数: 39120 | 2 刘路在校园。3月20日，他被破格聘为正教授级研究员。
“我十五分钟后还有别的事情。”3月25日下午，成为中国最年轻正教授级研究员的刘路，坐在中南大学宿舍楼下的石凳上接受记者采访时说。从中学起，他用课余时间研究数学理论，不追求考试分数，违背父母的意愿报考了数学专业。最终，他凭自己的执着解开了数学难题“西塔潘猜想”。
近一周来，成名后的刘路忙于应付各路记者。在媒体的包围式采访中，他却始终坚持拒绝去公共场所，例如教室、操场拍摄，“被人看到，影响不好”；他还拒绝封闭一间借阅室进行拍摄，他说：“我不能因为个人原因损害其他同学利益。这是我的原则，绝不妥协。”
对话动机
刘路，22岁，中南大学数学科学与计算技术学院应用数学专业2008级本科生。
读大三时，他解决了数理逻辑领域的一道难题西塔潘猜想。
2011年，刘路提前通过了本科论文答辩，并成为著名数学家侯振挺教授的直博学生。
今年3月20日，读大四的刘路被中南大学破格聘任为正教授级研究员。
小时候我没什么出奇
新京报：校方给新闻单位的通稿里把你称作“小陈景润”，你喜欢这个称呼吗？
刘路：一个称呼而已。
新京报：你觉得自己是天才吗？
刘路：我觉得我在... 阅读全帖 |
|
o**********e
发帖数: 18403 | 3 【 以下文字转载自 LeisureTime 讨论区 】
发信人: texasredneck (德州乡巴佬), 信区: LeisureTime
标 题: 宗教的文革
发信站: BBS 未名空间站 (Mon Mar 7 11:07:21 2016, 美东)
宗教的文革
我们讨论一个东西，最好首先对其作一个定义，不然很可能出现我讲的与你想的不是
一回事，双方都不高兴。但是，像宗教这种东西，恐怕给不出定义，太复杂了。一方面
是太多种宗教，另一方面宗教涉及到人类思想中最根本的东西，呈现出极为复杂的多样
性。也就是说，我们几乎不可能面面俱到地来阐明一个宗教，只能从某一个角度，或者
某一个方面来谈，道德，哲学，禁忌等等等。但是，大概地说一说，找一些共同点还是
有可能的，那就来看看现在世界上最流行的三大宗教，基督教，佛教，穆斯林。
首先，他们都是一神论，信仰一个神或者先知；有一个哲学或者思想体系以及与其一致
伦理道德体系；有一个... 阅读全帖 |
|
s*******w
发帖数: 2257 | 4 华夏文摘】老钱：硅谷传奇：计算机发展简史- -（附录）
发表于 2016 年 04 月 22 日 由 老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综... 阅读全帖 |
|
m********5
发帖数: 17667 | 5 【 以下文字转载自 WaterWorld 讨论区 】
发信人: mitbbs2715 (好吃不懒做), 信区: WaterWorld
标 题: 中国本科生破解了十多年悬而未决的国际数学难题
发信站: BBS 未名空间站 (Sat Oct 8 21:56:22 2011, 美东)
刘嘉忆本名刘路，是中南大学数学科学与计算技术学院2008级本科生。继今年上半年他
攻克一个十多年悬而未决的国际数学难题后，不久前在美国芝加哥大学结束的数理逻辑
学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻
辑方面的研究成果，语惊四座。这个国庆长假，他在学校准备毕业论文，还有申请到美
国伯克利等几所知名高校留学深造的材料。
刘嘉忆
数学难题 十余年未解
今年5月，由北京大学等联合举办的逻辑学术会议上，还在上大三的刘嘉忆报告了他对
目前反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西
塔潘于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解
决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的
猜想。
6月，... 阅读全帖 |
|
p******9
发帖数: 7130 | 6 各位老童生是不是要以头抢地了，哈哈哈。22岁正教授。
3月20日中南大学召开的新闻发布会上，校长张尧学宣布，破格聘任攻克国际数学难题
的在校学生刘路为中南大学正教授级研究员。今年22岁的刘路成为我国目前最年轻的正
教授级研究员。
2010年8月，酷爱数理逻辑的中南大学学生刘路在自学反推数学时发现，海内外不少学
者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑
学家西塔潘于上世纪90年代提出的一个猜想。10多年来，许多著名研究者一直努力都没
有解决。
同年10月的一天，刘路突然想到用以前用过的一个方法稍作修改便可以证明这一结论，
连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。他的这一研
究成果得到海内外科学家的权威认可。
近日，中南大学出台政策，决定为杰出青年人才提供更好的平台，给予经费资助和生活
保障，为优秀青年人才的成长拓展更广阔的发展空间，帮助那些有才华的青年人实现梦
想。刘路成为学校这一改革思路的第一个受惠者。
根据校方规定，刘路获得100万元的奖励，其中50万元用于改善科研条件，50万元用于
改善生活条件。... 阅读全帖 |
|
y***u
发帖数: 7039 | 7 谁帮助西方把“古希腊神话”转变为“古希腊文化”？
谁帮助西方把“古希腊神话”转变为“古希腊文化”？ (转载)
楼主：colguy
转帖：呼呼
［博主按：以下是转帖的网文，虽然还显生嫩，但表明老何对西方近代伪造希腊罗马的
揭露，已后继有人。特予以转帖。］
“古希腊”是西方史学家在18世纪后才开始创造的一系列神话，其根据主要是口头传说
，如荷马史诗（一种口头传送的歌曲）、圣经故事及没有编年的各国轶事；早期被大家
接受的概念，被称为“古希腊神话”，里面充满很多神、半神半人，宙斯、雅典娜、阿
波罗都是其中的神化人物，特洛伊木马也是其中的神化故事。从故事情节内容上看，还
可以发现很多模仿亚洲国家神化传说、亚洲文化的部分，如，星相星座。
近三十年来，在西方科技文献中，西方科学家开始大规模使用”古希腊文化“概念
，各种神话人物开始成为现代科技、哲学、文化、政治制度的鼻祖，还配套了这些人物
创作、发明的各种详细故事情节；虚幻的”古希腊文化“逐渐转变为现实存在的”古希
腊文化“史学概念，并通过各国科学家对西方文献的引用，在全世界大规模传播。这些
被转变的概念不仅充斥各国科技文献，还在报刊... 阅读全帖 |
|
w***e
发帖数: 77 | 8 ◇◇新语丝(www.xys.org)(xys6.dxiong.com)(xys.ebookdiy.com)(xys2.dropin.org)
◇◇
关于刘路破解“西塔潘猜想”的一些背景信息
作者：赵大川
（寄自爱尔兰）
最近关于中南大学22岁在校学生刘路因破解国际数学难题“西塔潘猜想”
（Seetapun enigma） 而被中南大学破格聘任为教授级研究员和奖励100万元的
消息和报道很多。为了激励儿子学习和钻研， 我也像多年做科研一样进行了文
献检索。以下信息来源于我的作业，给大家提供一点背景。
1、 关于“西塔潘猜想”
“西塔潘猜想”是西塔潘与他的博士后指导老师Theodore Slaman于1995年
共同发表的论文中提出的一个数学问题。是属于数理逻辑学方面的。它是拉姆齐定理（
Ramsey theorem）的一个分支问题。刘路解决了这一问题。论文至今还未发表出来，但
已通过了评审。将要刊登该论文的杂志为“Journal of Symbolic Logic”（ISSN:
0022-4812）。1936年创刊，属SCI杂志，但影响因子（IF）并不高：2008年为0.439，
200... 阅读全帖 |
|
o**********e
发帖数: 18403 | 9 【 以下文字转载自 History 讨论区 】
发信人: onetiemyshoe (onetiemyshoe), 信区: History
标 题: 宗教的文革 (转载)
发信站: BBS 未名空间站 (Mon Mar 7 21:17:25 2016, 美东)
发信人: texasredneck (德州乡巴佬), 信区: LeisureTime
标 题: 宗教的文革
发信站: BBS 未名空间站 (Mon Mar 7 11:07:21 2016, 美东)
宗教的文革
我们讨论一个东西，最好首先对其作一个定义，不然很可能出现我讲的与你想的不是
一回事，双方都不高兴。但是，像宗教这种东西，恐怕给不出定义，太复杂了。一方面
是太多种宗教，另一方面宗教涉及到人类思想中最根本的东西，呈现出极为复杂的多样
性。也就是说，我们几乎不可能面面俱到地来阐明一个宗教，只能从某一个角度，或者
某一个方面来谈，道德，哲学，禁忌等等等... 阅读全帖 |
|
z**********e
发帖数: 22064 | 10 http://hx.cnd.org/?p=123650
老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综合应用的产物。
在今天的世界里，对人们日常生活... 阅读全帖 |
|
A********n
发帖数: 2159 | 11 “西塔潘的猜想”
酷爱数学的刘路，可谓是被数学改变了命运。大三时，他在自学反推数学时，第一
次接触到困扰了中外数学界多年的“西塔潘的猜想”。两个月后，他突然想到利用之前
用到的一个方法稍作修改便可以证明这一结论。他连夜将证明写出，投给了数理逻辑国
际权威杂志《符号逻辑杂志》。他的这一研究成果得到海内外科学家的权威认可。之后
，他又给了这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
“西塔潘的猜想”成了刘路学术一路攀登的“捷径”。著名数学家、中南大学博士
生导师侯振挺教授鼓励他参加有代表性的学术会议，并收他为徒。中国科学院院士李邦
河、丁夏畦、林群得知刘路的成就后，分别向教育部有关部门负责人写信推荐。
2012年3月20日，中南大学召开的新闻发布会上，校长张尧学宣布，破格聘任攻克国际
数学难题的在校学生刘路为中南大学正教授级研究员。2012年22岁的刘路成为我国目前
最年轻的正教授级研究员。
2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江
师范大学举行，还是大三的刘嘉忆参加了这次会议，并做了题为“ Ramsey theorem
for p... 阅读全帖 |
|
o**********e
发帖数: 18403 | 12 【 以下文字转载自 History 讨论区 】
发信人: onetiemyshoe (onetiemyshoe), 信区: History
标 题: 宗教的文革 (转载)
发信站: BBS 未名空间站 (Mon Mar 7 21:17:25 2016, 美东)
发信人: texasredneck (德州乡巴佬), 信区: LeisureTime
标 题: 宗教的文革
发信站: BBS 未名空间站 (Mon Mar 7 11:07:21 2016, 美东)
宗教的文革
我们讨论一个东西，最好首先对其作一个定义，不然很可能出现我讲的与你想的不是
一回事，双方都不高兴。但是，像宗教这种东西，恐怕给不出定义，太复杂了。一方面
是太多种宗教，另一方面宗教涉及到人类思想中最根本的东西，呈现出极为复杂的多样
性。也就是说，我们几乎不可能面面俱到地来阐明一个宗教，只能从某一个角度，或者
某一个方面来谈，道德，哲学，禁忌等等等... 阅读全帖 |
|
wh
发帖数: 141625 | 13 罗素本来就是搞数理逻辑出身的，搞数理逻辑以毕达哥拉斯为起点，所以他看毕达哥拉
斯欣喜若狂，那是找到他的隔世知音，就像我看柏拉图也欣喜若狂一样。他就是有数理
逻辑情结。看他的共相个体论，得先看数理逻辑这一路吧，这样才能进入西哲语境。毛
泽东不能和西方的上帝并列，因为毛泽东是人，上帝是个metaphysical的概念，柏拉图
把metaphysical的超验世界和physical的经验世界划了完全隔离的界限，人无论如何不
能企及，所以杜绝个人崇拜。有种说法是正因为中国缺少metaphysical层面的宗教，所
以中国人喜欢造神运动，把人造成神，随后又推翻、幻灭、重新再造。 |
|
t**********k
发帖数: 511 | 14
读维特根斯坦（科学和逻辑）
我在《逻辑和语言》中讲的只是语言哲学中最基础的东西，是读懂维特根斯坦的预备知
识，那么这一篇讲的就是他为什么是维特根斯坦，其哲学的核心。
我也讲到严格的语言都具有同一种模式，从前提的集出发，用逻辑运算来得到结论的集
。在数理逻辑中就是非常重要的那句话：所有的科学理论都可以用一阶逻辑来完整地表
达。
我还说到在数学里，是用假设来确定前提的集，这是强制性的，不然就免谈，用这种办
法，我们自然能保证前提的一致性。但很明显，在科学中情况要复杂得多，不能用免谈
来解决问题。
科学当然没有疑问是能够达到一致的严格语言，在一定的条件下，按照一定的程序，一
定要有一个在误差以内的结果，如果没有这种可重复性，就是在造假。当然，这不是说
科学就没有争议了，对于同一个的现象，有时会存在着不同的解释，但是最重要的一点
是，我们能够找到到某种大家都同意的方法（也许将来才有条件），来解决这种争议。
这里实际上是从逻辑作为出发点，对科学作了一个定义。当然，这个定义是维特根斯坦
作的，严格地说，是我... 阅读全帖 |
|
t**********k
发帖数: 511 | 15 读维特根斯坦（名词和形容词）
首先要强调一下，这里讲的是哲学，并非语法。
名词是一个最让人头大的东西，我们每一句话都有这个玩意，这个问题不解决，我们就
不知道自己在说什么。我们大致可以说，哲学最根本的分歧都与此有关，当然，我们就
知道这个问题是不可能有一个大家都同意的答案，那意味着哲学就没有分歧了。
在过去的哲学（就是语言哲学之前的哲学）里，大致可以这样看，名字实际上说的是一
种共相，这个词非常讨厌，我至今不能完全弄懂，而且发现没有人能说清楚。我想大概
的意思就是说的一个东西的共性（一样很模糊的）。比如说马，有一个脑袋，四条腿，
能够跑，等等等等，但是，麻烦就来了，不管你说什么，我都可以找到例外。
比如说，曾经有过报道，因为基因畸变，有一匹马长了二个脑袋；有的马可能断了一条
腿；徐悲鸿的马就不能跑，那么，这些东西是不是马？所以说，过去的哲学都与柏拉图
的理念论有密切相关，也就是说，马是神创造的一个概念，把所有的马用某种稀奇古怪
的哲学抽象一下，就得到了天上的那个马本质，或者说，所有实际的马都在某种程度上
分享了那个理念的马。... 阅读全帖 |
|
t**********k
发帖数: 511 | 16 来自主题: LeisureTime版 - 宗教的文革 宗教的文革
我们讨论一个东西，最好首先对其作一个定义，不然很可能出现我讲的与你想的不是
一回事，双方都不高兴。但是，像宗教这种东西，恐怕给不出定义，太复杂了。一方面
是太多种宗教，另一方面宗教涉及到人类思想中最根本的东西，呈现出极为复杂的多样
性。也就是说，我们几乎不可能面面俱到地来阐明一个宗教，只能从某一个角度，或者
某一个方面来谈，道德，哲学，禁忌等等等。但是，大概地说一说，找一些共同点还是
有可能的，那就来看看现在世界上最流行的三大宗教，基督教，佛教，穆斯林。
首先，他们都是一神论，信仰一个神或者先知；有一个哲学或者思想体系以及与其一致
伦理道德体系；有一个组织结构（佛教，基督教新教这一点上比较淡漠，但天主教非常
强，穆斯林某些派别也非常强）；有一定的礼仪（祈祷，礼拜），禁忌（言行，不吃某
些食物），以及服饰标记（十字架，面纱，不留发）。
最后这一点其实极端重要，主要是宗教一般都具有一定的排他性，认为自己，也只... 阅读全帖 |
|
m********5
发帖数: 17667 | 17 刘嘉忆本名刘路，是中南大学数学科学与计算技术学院2008级本科生。继今年上半年他
攻克一个十多年悬而未决的国际数学难题后，不久前在美国芝加哥大学结束的数理逻辑
学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻
辑方面的研究成果，语惊四座。这个国庆长假，他在学校准备毕业论文，还有申请到美
国伯克利等几所知名高校留学深造的材料。
刘嘉忆
数学难题 十余年未解
今年5月，由北京大学等联合举办的逻辑学术会议上，还在上大三的刘嘉忆报告了他对
目前反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西
塔潘于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解
决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的
猜想。
6月，数理逻辑国际权威杂志《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学
系邓尼斯・汉斯杰弗德教授给刘嘉忆发来了论文评审意见，信中说，“我是过去
众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，请接受我对你
令人赞叹的、惊奇的成果的祝贺！”
论文审稿人芝加... 阅读全帖 |
|
d*****r
发帖数: 1635 | 18 2011-2012影响世界华人盛典今日颁奖
http://www.sina.com.cn 2012年03月31日10:21 影响世界华人盛典组委会
年度榜样再聚北大 世界致敬华人之光
“世界因你美丽——影响世界华人盛典2011-2012”3月31日绚烂上演
阳春三月，凤凰卫视、凤凰网携手海内外十余家华人媒体，与全球年度华人精英再
度相约北大，“世界因你而美丽——影响世界华人盛典2011-2012”将于3月31日晚在百
年讲堂上演。盛典共颁出十一樽大奖，他们分别是获得“影响世界华人终身成就奖”的
王赣骏和获颁“影响世界华人大奖”的马中珮、陈竺和王振义、谭荣根、新潟华侨华人
总会和福岛华侨华人总会、中国国家大剧院、林丹、林书豪、周仰杰、叶德娴、刘路。
表彰年度华人典范
在浩渺的太空，他是第一位进入其中探索的华人，而她发现了人类迄今为止所知宇
宙最大两个黑洞；在遍布全球206个国家和地区的近140万狮友中，他是狮子会94年历史
上第一位华人总会长；在羽毛球界，他是拿遍了可以赢得的所有大赛冠军的“超级全满
贯先生”；在篮球领域，他用卓越的表现在美国NBA掀起了一阵“林旋风”；在医学界
，他... 阅读全帖 |
|
t******n
发帖数: 2939 | 19 ☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:34:22 2013, 美东) 提到:
假设素数只有有限个, 记为 p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
由素数的定义:
a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除
可知: N是素数
这与素数只有p_1,p_2,...,p_k矛盾.
故假设不成立.
所以素数有无穷多个.
☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:37:03 2013, 美东) 提到:
在承认素数的这个等价定义 (即 a是素数 <=> a是大于1的自然数, 且a不被任何小于a
的素数整除) 的前提下, 居然有人会认为这个证明是错的, 或者是不完备的.
我实在不能理解.
求问一下大家, 是不是有的人的脑子天生有缺陷, 根本怎么教都不会明白... 阅读全帖 |
|
d********f
发帖数: 43471 | 20 我人肉了一下，基本是真的
大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
面的培养。
过潜心研究成功攻克了一个多年未解的国际数学难题。
去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受
我对你令人赞叹的惊奇的成果的祝贺！”
提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑
发挥着重要的理论指导作用。
，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理
的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜
想，10多年来许多著名研究者一直努力都没有解决。
结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。 |
|
b*******k
发帖数: 16989 | 21 【 以下文字转载自 Headline 讨论区 】
发信人: benchmark (maine), 信区: Headline
标 题: Re: 大三生攻克国际数学难题 三院士集体推荐(图)
发信站: BBS 未名空间站 (Mon Oct 10 10:23:23 2011, 美东)
lol
这样的人如果不去芝加哥大学读PHD那才叫奇怪.
在中南大学保妍?哈哈,你那个导师能指导得了他?
记者故意这么写恶心中国教育部的吧?
大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
面的培养。
过潜心研究成功攻克了一个多年未解的国际数学难题。
去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受
我对你令人赞叹的惊奇的成果的祝贺！”
提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑
发挥着重要的理论指导作用。
，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理
的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜
想，10多年来许多著名研究br />
方法稍作修改便可以证... 阅读全帖 |
|
d*******r
发帖数: 3875 | 22 见过研究中国文化的，没有见过试图重构中国文化起源的。这次我翻看了一下，被震惊
了。这是中国文化的基础研究阿。作者试图探究河图、洛书、五行、八卦、干支等象数
符号的起始，窥测失传的连山
归藏的主旨，猜测京房演易的逻辑。难得的是作者不光对数理逻辑，语言学有一定的专
业知识，更深通六爻占卜，奇门遁甲等中国古术，从而从新的角度理解中国文化沉淀在
最底层的东西。我还在试图找到全本，但目前强力推荐。
我觉得这里面有革命性的因素。如果这俩作者真的能构建一个数理逻辑体系模拟河图洛
书先后天八卦，就能够按照数理逻辑的推理证实或者驳斥所有六爻八字风水中医里的断
语，很多模糊不清的东西将展现内在的逻辑性，人们将不再知其然不知其所以然地接受
古人的观点。我粗粗地翻了几页，作者已经在书里基他们的研究阐述了
- 先后天八卦的用途和原理，
- 河图洛书的用处
- 阳顺阴逆的原因，
- 纳甲规则的理论基础
- 支中藏干的理论基础
- 肝肾同源的理论基础
等等
还指出
- 京房纳甲的错误之处
- 三蓍不告，心诚则灵的荒诞
- 传统针灸灵龟，子午流注的纳甲错误
等等 |
|
S***n
发帖数: 2932 | 23 heehee，（谢灵运我超喜欢的），承蒙不弃占楼。。。
我前面跟贴，大部分贴的时候有删掉一半字数，因为题目太大，我控制不住全局了，只
能寄希望于删掉枝蔓来统括全贴。我自己也可以想象结果恐怕会模糊空洞言之无物。换
来这么个大mp，哈哈，回拜回拜！
本来谨遵狼“弗要太认真”的劝告，我打算留着那些枝蔓以后忽悠别人去。
现在想想还是贴出来，弄不好可以给你凑趣呢？
disclaimer:仰赖外行背景可能有不经因此不同的看法。娱乐而已。
最初看到你提foucault，我确实有具体想法：惭愧对他不是很感冒，没想过读什么，不
过他有一个观点，我觉得有趣并记得，就是在古典的“人的精神受缚（困）于肉体”之
外，提出人的精神反过来可以成为囚禁人的牢笼。贯穿这个观点，他似乎有谈论法国近
现代的包括“精神病”“同性恋”问题。
其主角都是因为“精神”异于而不是肉体（比如瘟疫中的患者）而被囚困在社会中。
他由此扩展了你前面所讲的，现代（西方）社会不单通过直截的肉体约束，而且尤其通
过精神控制来限制约束个人行为。
这个发现初读我还很惊艳了一番，但是放在中土“缺乏思辨，重实际”的环境却显得
trivial，苍白失色。
... 阅读全帖 |
|
S***n
发帖数: 2932 | 24
not necessarily true.数学重要的部分在细节。
微积分的原始概念很早就用，工程上在牛顿的时代就差不多成熟，但是理论上的重要思
想一直拖到20世纪飞跃。数学领域作扫尾工作的都是非常有见识的牛人，比如Cantor，
Weierstrass。
数理逻辑和罗素，我觉得不搞数学的人比较喜欢提。所谓20世纪出数学的三大危机，正
经搞数学的话，连入门笑话都不算。类似，虽然古典哲学的一些所谓悖论在引发20世纪
数理逻辑上有贡献（比如理发师悖论），窃以为更像引发中学生兴趣的椽头。罗素为了
解决formal logic的困难，提出higher order logic（也就是所谓计算机科学的type
theory）。在meta-level有非常多有趣和重要的结论。罗素也只是开个头，事实上他的
higher order logic (one of the one million variants ...)非常不好看，就是说很
awkward，性质不好。以后很多漂亮的variant有相当的expressiveness，和更好的性质
。逻辑上另一个主题是寻找logic fragments ..... 阅读全帖 |
|
wh
发帖数: 141625 | 25 开天辟地、贯穿至今是指哲学思维，不是数学，如你所说，数学只是其中表现的细节，
哈哈。数理逻辑是你提的，不是我提的，我的意思是哲学家里谈数理逻辑出名的有罗素
和维根斯坦。我不搞数理逻辑，你是数学专家，那就听你的，呵呵。 |
|
w*****r
发帖数: 7106 | 26 现代科学的研究对象和方法确实有很大局限性. 所以一但超出这个范围科学就不能
HANDLE了. 比如象意识这样的东西, 至少目前的科学是无法研究的. 比如意识有没有质
量,能量, 如果没有的话如何来物理描述? 要是意识能够直接用物理或数学的方式来描
述, 冯.洛依曼的那个所谓意识决定论的推论就不会是那样虎头蛇尾了.
跑日一直坚持那个"意识"是他认为的"严密的数理逻辑"的推论. 你想过没有, 为啥这个
严密的数理逻辑"的推论可以出现在无数哲学专著中, 但却不能作为一个量子力学的原
理出现的物理教可书里面? 冯.洛依曼其他严密的数理逻辑推论都留下来作为他的伟大
成果了, 唯独这个本来应该是最伟大的却没有?
冯.洛依曼的那个意识决定观点从科学的意义上来说算不上一个严谨的推论或假设, 但从科学的意义上来说, 他提出了问题, 一个(至少目前)的物理学不能解释的问题. 这种事在物理学上也不是第一次了. 比如牛顿找不到第一推动力, 比如物理学历史上的几大乌云, 当初差点要把整个经典物理给推翻了. 要不是这些乌云, 今天还可能还没有量子力学.
. |
|
g*********r
发帖数: 9822 | 27 “西塔潘猜想”已提出17年，国际上很多人试图去解决，但无人成功。得知刘路（刘嘉
忆）成功后，美国芝加哥大学数学系系主任Denis Hirschfeldt致信刘路：“我和其他
许多人一直在为这个问题而努力，但16年来未取得成功。现在这个问题被你解决了，我
感到非常高兴。”威斯康星大学的同行则称刘路的论证“非常完美，非常简明，为反推
数学的发展作出了杰出贡献”。
在记者面前引述国际同行评价时，张尧学毫不掩饰溢美之词：“你能说年龄小就不能算
大师吗？这与年龄无关。”他表示，刘路解决了世界数学难题，得到了世界公认，其研
究水准已超过一些美国教授的水平。这足以说明：在数理逻辑这一领域，年仅22岁的刘
路已跻身国际一流研究者行列，从某种程度上讲，已可称得上是该领域的“大师”。
张尧学说，很多人在思考“钱学森之问”，为什么中国培养不出大师？刘路的成功在某
种程度上回答了这个问题。刘路的学业成绩其实并不算好，他在数学科学和计算技术学
院的200余名学生中，成绩仅是中等。但他对数理逻辑的兴趣十分浓厚，从初中时即开
始研究数论。进入大学后，已经开始熟练阅读英文文献，具备了非常强的科研能力。
“这并不是一味... 阅读全帖 |
|
g*********r
发帖数: 9822 | 28 2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师
范大学举行，还是大三的刘嘉忆参加了这次会议，并做了题为“ Ramsey theorem for
pair as second order arithmetic statement does not imply Weak Konig Lemma”
的报告。会上，刘嘉忆报告了他对目前反推数学中的拉姆齐（Ramsly）二染色定理的证
明论强度的研究。这是由英国数理逻辑学家Seetapun于90年代提出的一个猜想，十多年
来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一
个否定式的回答，彻底解决了Seetapun的猜想。语惊四座，与会专家对眼前这个小伙子
刮目相看，由于交流时间紧，新加坡国立大学的两位教授来不及完全相信其证明的正确
性，只是鼓励他继续研究。但他已是倍受感动和鼓舞。
好消息随即而来，6月，数理逻辑国际权威杂志《Journal of Symbolic Logic》的主编
、逻辑学专家、芝加哥大学数学系Denis Hirschfeldt教授发来了论文评审意见，信中
说，“我是... 阅读全帖 |
|
f*********g
发帖数: 632 | 29 一般是数理逻辑（大都到谓词演算就算了）、集合论初步、群环域格基本概念、图论（
主要讲树）、形式语言、自动机这些内容，有些学校数理逻辑讲得很多，图论也讲不少。
觉得就到谓词演算的话，数理逻辑就差不多像说谁都知道的道理一样。群环域格结合着
小学算术就能讲明白了吧，例子再难一点的话，就举矩阵啊什么的。形式语言就拿自然
语言做例子，然后抽象一下就好了。自动机就拿那些什么寄存器啊，信号灯啊，计数器
当例子讲，然后画图解释。
集合论初步不知道该怎么讲，老觉得集合论的初步知识像在说理所当然的话。
最麻烦的是图论，不过既然有图，就好说，照着图讲，再抽象不就是了。
编译是专门的课程，有编译原理和技术，在美国也是专门课程吧，有跟形式语言和自动
机合在一起讲的，不知道效果怎样。数据结构和算法也是专门的课程，觉得基本上每一
部分挑个好例子讲明白就行了。
Discrete |
|
z****e
发帖数: 54598 | 30 神经病，谁打算跟你聊数理逻辑
这脑子真是有问题
你在math版被虐得还不够么？
我倒是真有同学搞数理逻辑得的phd
你是么？要聊数理逻辑也不会跟你这种学机械的聊 |
|
c****3
发帖数: 10787 | 31 中国的科学实用主义方法被蛮族入侵打断了，没有继续发展下去，还有阿拉伯人。
科学的发展道路，就不一定非是西方那种理想主义的，基于数理逻辑的科学观，中国古
代那种实用主义一样可以发展科学。
西方理想主义科学观那么管用，现在搞生物的为啥还拼命要转行。
说穿了就是做不出，搞不出东西，生物世界不是西方科学理想主义者设计的，不按照他
们的数理逻辑规则运行，只能靠瞎猫碰死耗子，才能碰到点东西。
但生物世界显然是很有规律的，如果把生物看成技术产品，里面随便一个细节的水平，
都是远超我们当前的技术水准的.
哪怕只能搞清植物光合作用的原理，人类绿色能源问题都能解决了, (解密植物光合作
用中的量子纠缠 http://blog.sciencenet.cn/blog-593108-627100.html ) , 更不要说人工智能了。
这只能说明这个世界，不见得是以西方科学那套数理逻辑为规则设计的。觉得他们那一
套是宇宙真理，科学只能按照他们那套方法论前进，也是很狭隘的。 |
|
x*******e
发帖数: 111 | 32 从数学理论上,1961年，华裔数学家王浩提出了用不同形状的拼图铺满平面的拼图问题
。数学家们已经知道，可以用单一形状的拼图拼满一个平面，例如任意形状的四边形或
者正六边形，但是当增加拼图单元的种类时，就能够构造出更多的拼满一个平面的方法
。两年后，王浩的学生Robert Berger构造了一系列不具有周期性的拼图方法。之后铺
满平面所需要的拼图种类越来越少，1976年Roger Penrose构造了一系列只需要两种拼
图的方法，这种方法拼出来的图案具有五次对称性。所以这个发现也有华人的贡献, 不
知道中文媒体为什么没有提到?
王浩 (数学家)简介 -
王浩（1921年5月20日－1995年5月13日），华裔美籍哲学家、数理逻辑学家。1943年西
南联合大学数学系毕业，1945年清华大学哲学系毕业，国内期间曾师从著名逻辑学家金
岳霖。1948年哈佛大学逻辑学博士毕业，同年成为哈佛的副教授。1950年代初，随保罗
·伯奈斯在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of
Mathematics。1959年，王浩在IBM704计算机上用九分钟计算时... 阅读全帖 |
|
o*****y
发帖数: 699 | 33 将新语丝上的两篇文章贴在下面。其实我觉得刘嘉忆还是不错的，这么年轻
就能解决一个难题。关于“西塔潘的猜想”的难度，刘目前的导师也说过不
能和那些难度很大的猜想比。但作为一个本科生，还是不错了。至于文章
查不到，我想文章从投稿，到接收，和发表要一段时间。这点我是觉得应该
不会有假的。如果这个都是假的，那可是国际丑闻了。
方舟子关注此事也有好处，真正有水平的科研是应该能经得起别人的质疑的。
如果正式文章出来了，也可以消除一些疑点。
http://xys.org/xys/ebooks/others/science/dajia13/liulu.txt
中南大学本科生正教授刘路（刘嘉忆）所宣称发表的文章在SCI查无此文
我是目前在读美国某大学的研究生。最近读到中南大学本科生刘路（笔名刘
嘉忆）因为破解“西塔潘的猜想” (Seetapun enigma)而被破格聘请为数学系正
教授的报道。
中南大学22岁学生成我国最年轻正教授级研究员
http://www.sina.com.cn 2012年03月20日18:05 新华网
新华网长沙3月20日电(记者黄兴华)20日，中南大学召开的新闻发布会上，校长... 阅读全帖 |
|
i***s
发帖数: 39120 | 34 今天（3月20日）下午，中南大学决定：从今天开始聘请22岁的刘路为正教授级研究员，刘路成为目前中国最年轻的教授。
据中南大学校长张尧学介绍，中南大学此举是为杰出青年人才提供更好的平台：“我们把他聘为教授级研究员，让他尽可能多的从事科学研究，在国内外、在全世界、在设备领域最好的地方去讲学、访学，丰富他的阅历，给他的科研提供更好的平台。
2010年，“数学奇才”中南大学大三本科生刘路破解了国际数学难题“西塔潘猜想”，震惊国际数学逻辑界。2011年10月，学校特批刘路硕博连读，为其“量身打造”培养方案后，还将其作为青年教师后备人才，进入数学家侯振挺教授研究所从事研究工作。刘路以其卓越的研究成果被提名“影响世界华人盛典希望之星”，将受邀于3月31日参加在北京大学百周年纪念礼堂举行的颁奖大会。
根据学校的决定，刘路将获得100万的奖励，其中50万元用于改善科研条件，50万元用于改善生活条件。与此同时，学校决定破格聘请刘路为中南大学研究员，并由学校推荐其参加国家“青年千人计划”的评选。中南大学这次出台政策，为杰出青年人才提供更好的平台，给予经费和生活保障，为优秀青年人才的成长搭建更广阔的发展空间，... 阅读全帖 |
|
S***n
发帖数: 2932 | 35 我恰好是作逻辑的。。。所以知道一点皮毛。数理逻辑在数学里是不占分量的，逻辑正
经的都是搞cs的人作的。一个重要原因是逻辑的（我觉得就是唯一）好处是可以
mechanized，ie，可以形式化了让计算机自动处理。
集合论作为一个需要熟悉的工具还稍微有用的，数理逻辑完全就没有必要了。。。如果
是搞数学的话。。。 |
|
c*******v
发帖数: 2599 | 36 形式逻辑还有个好处,就是能到处抬杠.
我恰好是作逻辑的。。。所以知道一点皮毛。数理逻辑在数学里是不占分量的，逻辑正
经的都是搞cs的人作的。一个重要原因是逻辑的（我觉得就是唯一）好处是可以
mechanized，ie，可以形式化了让计算机自动处理。
集合论作为一个需要熟悉的工具还稍微有用的，数理逻辑完全就没有必要了。。。如果
是搞数学的话。。。 |
|
g*****w
发帖数: 1824 | 37 德裔犹太人（Ashkenazi Jews）的说法其实不准确，让人以为这群犹太人是原籍德国或
是从德国跑出来的。其实Ashkenazi Jews的祖先在中世纪（9-11世纪）时居住在德国莱
茵河周围。随着十字军东征，受到迫害的犹太人开始向东迁移到中欧、东欧和北欧。到
十五世纪最大的Ashkenazi Jews社区在波兰，到近代他们广泛分布在东欧、俄罗斯和德
国的部分地区。我们中国人最熟知的两个德裔犹太人：马克思和爱因斯坦只是碰巧是德
国人而已。除了德裔犹太人以外，还有主要分布在地中海周围的西班牙裔犹太人和中东
犹太人。今天，德裔犹太人约占犹太人70%以上，德裔犹太人人口最多的国家是美国，
以色列人口中只有35%-36%的人是德裔犹太人。
提到犹太人，人们的第一印象是犹太人很聪明。这种“偏见”有道理，但不准确。确切
的说，只有德裔犹太人是特别聪明，而其他裔的犹太人和他们居住地的当地人比，在智
力上并无统计学意义上的差别。而德裔犹太人以占美国2%的人口占了二十世纪美国27%
的诺贝尔奖，25%的菲尔兹奖，25%的图灵奖的获奖者。在需要高智商的学术或商业领域
，德裔犹太人占据的与他们人口不相称... 阅读全帖 |
|
r******y
发帖数: 3838 | 38 楼主说的也没大错，原因有多种，不是单一的。如果仅仅为满足当时的弹道计算，是没
必要发展更抽象的的数理逻辑。
很多抽象的的数理逻辑，要过几十年上百年才知道其实用价值。 |
|
T*******I
发帖数: 5138 | 39 既然你如此喜欢数理逻辑，请看下文：
以数理逻辑证明究竟谁是“唯物主义”
http://www.mitbbs.com/article0/Military/36461203_0.html
按照马克思的辩证唯物主义，唯心主义和有神论是暗通款曲。而唯物主义者几乎都自称
是无神论者和科学主义者。让我们从对整个宇宙世界的以下划分来看看究竟谁是“唯心
主义”，谁是“唯物主义”?
根据人类对其外部世界以及自身大脑内部的认知行为本身的知性程度，整个宇宙世界的
一切存在（记为集合W）可以被划分为以下四个部分：
1）可知存在，即在既有条件下对其部分地有所知，但尚未完成对它的全知，记为集合A；
2）已知存在，即在既有条件下对可知存在实现了对它的完全认知，记为集合B；
从而我们有：
3）未知存在，它是相对于可知存在而定义的，从而它也是一种客观的存在，记为集合C；
4）不可知存在，它是相对于可知存在而定义的，因而也是一种客观的存在，记为集合D。
于是，人类整个的知识系统（记为集合K）就可以记为：
K = AUB (读作A并B)
U在此是集合的并运算符号。由于C和D都不可能被包含在K中，所以，... 阅读全帖 |
|
b*********f
发帖数: 1585 | 40 数理逻辑不是数学的主流分支 就是搞数学的人恐怕也不太熟
不过七大千禧难题中 有个P/NP问题与数理逻辑有关 目前还没搞定 |
|
r*******3
发帖数: 10886 | 41 但俺还是羡慕数理逻辑nb的人，当然，就羡慕他们数理逻辑nb而已 |
|
j**********0
发帖数: 93 | 42 这个确实，而日本在明治维新时期就出现了，就是福泽渝吉，提出脱亚入欧论的。
他的《文明论概略》里面所展示的科学思维直到今天都没有任何一个中国文人可以达到。
他在这本书里展示了作为日本知识分子在告别中国思想文化影响而学习西方逻辑、科学
思维的惊人转变。
中国人的逻辑，在网上争论时可见一斑，中国人最熟练掌握的逻辑思维就是举反例。
可悲的是，举反例只适用于严密的数理逻辑，不适用于不精确的社会科学。
但是福泽渝吉在《文明论概略》中却展示了一个文人所掌握的分析社会现象的统计学思
维，而不是像大多中国人一样，学习了西方逻辑，却只能用数理逻辑进行思维。
100年太长，100年太短。 |
|
h******y
发帖数: 1374 | 43 中南大学22岁学生成我国最年轻正教授级研究员
http://www.sina.com.cn 2012年03月20日18:05 新华网
新华网长沙3月20日电(记者黄兴华)20日，中南大学召开的新闻发布会上，校长张
尧学宣布，破格聘任攻克国际数学难题的在校学生刘路为中南大学正教授级研究员。今
年22岁的刘路成为我国目前最年轻的正教授级研究员。
2010年8月，酷爱数理逻辑的中南大学学生刘路在自学反推数学时发现，海内外不
少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理
逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来，许多著名研究者一直努力
都没有解决。
同年10月的一天，刘路突然想到用以前用过的一个方法稍作修改便可以证明这一结
论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。他的这
一研究成果得到海内外科学家的权威认可。
近日，中南大学出台政策，决定为杰出青年人才提供更好的平台，给予经费资助和
生活保障，为优秀青年人才的成长拓展更广阔的发展空间，帮助那些有才华的青年人实
现梦想。刘路成为学校这一改革思路的第一个受惠者。
根据... 阅读全帖 |
|
e**a
发帖数: 2169 | 44 菲尔兹奖得住中只有一人从事数理逻辑，可见数理逻辑在数学界的地位，我是不会把这
个领域当成数学分支的。 |
|
发帖数: 1 | 45 谁说数理逻辑了。康德尔研究数理逻辑？读不懂我说啥不会去放狗维基恶补？你们的问
题怕是啥叫数都不清楚，更别说极限了。竟然还不懂ABC，照样微积分。 |
|
e**a
发帖数: 2169 | 46 原来jfsrjjoz是牛河梁，难怪这么为计算机辩护呢。计算机系有门基础课叫做离散数学
，或者叫数理逻辑和集合论。公理集合论中大家经常用到的等价关系，就是最常见的思
想，不过这些东西么，不是数学的主流。
就拿等价关系来说，A推出B，B推出C，所以A推出C。如果符合客观，那么足球比赛就不
用踢了，就拿中国，巴西，巴拉圭这三个对来说，巴西8：0战胜中国，中国1：0胜巴拉
圭，按照等价关系，我们可以说巴西应该9：0战胜巴拉圭，但是巴西去年却在美洲杯上
输给巴拉圭。所以公理集合论也好，数理逻辑也好，这些玩意想想就行了，别太以为了
不起了。 |
|
e**a
发帖数: 2169 | 47 菲尔兹奖得住中只有一人从事数理逻辑，可见数理逻辑在数学界的地位，我是不会把这
个领域当成数学分支的。 |
|
发帖数: 1 | 48 谁说数理逻辑了。康德尔研究数理逻辑？读不懂我说啥不会去放狗维基恶补？你们的问
题怕是啥叫数都不清楚，更别说极限了。竟然还不懂ABC，照样微积分。 |
|
e**a
发帖数: 2169 | 49 原来jfsrjjoz是牛河梁，难怪这么为计算机辩护呢。计算机系有门基础课叫做离散数学
，或者叫数理逻辑和集合论。公理集合论中大家经常用到的等价关系，就是最常见的思
想，不过这些东西么，不是数学的主流。
就拿等价关系来说，A推出B，B推出C，所以A推出C。如果符合客观，那么足球比赛就不
用踢了，就拿中国，巴西，巴拉圭这三个对来说，巴西8：0战胜中国，中国1：0胜巴拉
圭，按照等价关系，我们可以说巴西应该9：0战胜巴拉圭，但是巴西去年却在美洲杯上
输给巴拉圭。所以公理集合论也好，数理逻辑也好，这些玩意想想就行了，别太以为了
不起了。 |
|
