发帖数: 1 | 1 因为没有逻辑没有怀疑：中国，成了无学的民族
隽语录
■从简单到复杂，看起来很遥远,但却是有路可以走的,当然不可能是一步到位，一
步升天。但我们中国的圣人，一句话顶一万句,他说出来的就是真理,根本就不需要证明。
■为什么人家西方人能拿到你80%的利润，而我们只能拿到20%的利润？那
是因为你拿到的是可见的钱、可摸的钱、可听的钱、可接触的钱，人家拿到的是不可见
的钱、不可摸的钱、不可接触的钱。而只有通过逻辑，我们才能够通过可见、可听、可
摸的方式，来控制那些不可听、不可见、不可摸的东西。
逻辑学是一门以推理形式为主要研究对象的学科，具有工具性和方法论的
功能。它有两千多年的悠久历史，形成西方、中国和印度三大逻辑传统。逻辑学同哲学
研究紧密相关，对哲学、数学、计算机科学、人工智能、语言等的发展有相当重要的作
用。同时，在黎鸣先生看来，对赚钱也有着相当重要的作用。本文为黎鸣先生演讲的一
部分，在一些读者看来或许有偏激之处，他对国人思维的一些评价我们暂且理解为“爱
之深而恨之切”，同时欢迎读者进行讨论与交流。
所谓“五经”，很多都是经过他整理出来的,但是,孔子他的所有言论都是
独断论,不是... 阅读全帖 |
|
发帖数: 1 | 2 [转贴]因为没有逻辑没有怀疑：中国，成了无学的民族
隽语录
■从简单到复杂，看起来很遥远,但却是有路可以走的,当然不可能是一步到位，一
步升天。但我们中国的圣人，一句话顶一万句,他说出来的就是真理,根本就不需要证明。
■为什么人家西方人能拿到你80%的利润，而我们只能拿到20%的利润？那
是因为你拿到的是可见的钱、可摸的钱、可听的钱、可接触的钱，人家拿到的是不可见
的钱、不可摸的钱、不可接触的钱。而只有通过逻辑，我们才能够通过可见、可听、可
摸的方式，来控制那些不可听、不可见、不可摸的东西。
编者手记
逻辑学是一门以推理形式为主要研究对象的学科，具有工具性和方法论的
功能。它有两千多年的悠久历史，形成西方、中国和印度三大逻辑传统。逻辑学同哲学
研究紧密相关，对哲学、数学、计算机科学、人工智能、语言等的发展有相当重要的作
用。同时，在黎鸣先生看来，对赚钱也有着相当重要的作用。本文为黎鸣先生演讲的一
部分，在一些读者看来或许有偏激之处，他对国人思维的一些评价我们暂且理解为“爱
之深而恨之切”，同时欢迎读者进行讨论与交流。
所谓“五经”，很多都是经过他整理出来的,但是,孔子他的所有言论都是
... 阅读全帖 |
|
发帖数: 1 | 3 冯同学一开始做数理逻辑，牛逼哄哄的。
后来出了一个自闭症哥德尔，会上做了个小报告。
谁都没听懂他在嘟囔什么。只有冯同学听明白了。
激动万分，在那个基础上，连夜推出了重大发现，
第二天一早去找哥德尔显摆，还特别的和蔼的样子，
我这个发现要给你点credit。
哥德尔把早就写好的论文拿出来。
诺依曼奇耻大辱，从此远离数理逻辑。 |
|
s*****r
发帖数: 11545 | 4 Lol, the true scientist.
: 冯同学一开始做数理逻辑，牛逼哄哄的。
: 后来出了一个自闭症哥德尔，会上做了个小报告。
: 谁都没听懂他在嘟囔什么。只有冯同学听明白了。
: 激动万分，在那个基础上，连夜推出了重大发现，
: 第二天一早去找哥德尔显摆，还特别的和蔼的样子，
: 我这个发现要给你点credit。
: 哥德尔把早就写好的论文拿出来。
: 诺依曼奇耻大辱，从此远离数理逻辑。
|
|
d*****w
发帖数: 684 | 5 以下为个人理解，欢迎讨论。
TA能存活到现在，自然有它的道理和用处。
我个人觉得，能明白TA的人就和炒股盈利的人一样，不超过10%。TA被片面的理解成读
图划线数波浪，是个人就说自己用TA指导交易，其实是大大的误解。
常见指标MACD，RSI这些东西被滥用了，尤其是被瞎改参数。
波浪理论是用来预测可能性和跟随的，不是用来指导交易的。但是大部分人都拿他来指
导交易，自寻死路。趋势分析也以一样，你无法知道哪天会趋势到头、开始跳水；只能
用止损方式来完成交易。
太多的TA是自己编写过于复杂的指标，然后使用所有历史数据和验证胜率，其实是走火
入魔的一种表现。
TA目前为止，比较稳定有用的东西只有两种：
1，最简单的，例如60MA和250MA双均线判别牛熊。或者两个最简单指标的综合使用，例
如成交量和涨跌幅的乘积均线。
2. 有数理逻辑基础的周期走势，这个东西内含周期运动，数理逻辑本身又含市场交易
心理。但是这种东西比较复杂，但是结果非常神奇和成功。迄今为止，江恩理论（如四
方图）算一个，delta理论（春夏秋冬）算一个，中国的全息未来线算一个（这个还没
有世界出名，但是应该会的）。只是，江恩到 |
|
s*********n
发帖数: 1527 | 6 【 以下文字转载自 WaterWorld 讨论区 】
发信人: sleepyqueen (牛牛一家奔小康), 信区: WaterWorld
标 题: 【zz】22岁大学生破解国际数学难题 当选最年轻教授
发信站: BBS 未名空间站 (Sat Mar 24 21:59:22 2012, 美东)
http://tech.sina.com.cn/d/2012-03-22/11476864235.shtml
22岁大学生破解国际数学难题 当选最年轻教授
http://www.sina.com.cn 2012年03月22日 11:47 人民网—人民日报海外版
3月20日，中南大学宣布破格聘任攻克国际数学难题的在校学生刘路为中南大学正
教授级研究员，“制造”了国内最年轻的教授。年仅22岁、学习成绩一般的刘路为什么
能创造这一“神话”？“22岁教授”为什么出现在中南大学？“22岁教授”是否能成为
解答“钱学森之问”的突破口？
■ 兴趣开启智慧
灵光一闪破解难题
本科毕业，读硕士、博士，评副教授，再到教授，这一过程一般来说至少需要15年
左右。22岁的刘路却用不到一年的时间“轻易”地完成这一历... 阅读全帖 |
|
g****t
发帖数: 31659 | 7 虎肉老师，
My two cents:
所有的学习，都可以分为两类。
一类是使用梯度的，一类是不使用梯度的。
函数你所指的应该就是连续函数。一般建立在函数这个概念基础上的就
是用梯度的学习。所以属于第一类。
第二类，往往算是属于组合数学或者数理逻辑。各种图树什么的，以及
数理逻辑的消去什么的。都属于这一类。
但是梯度这里又有个问题，我认为多元微积分和一元微积分是本质上不同的
，虽然都叫同一个名字。所以实际上第一类应该分为两类，一种是
曲线的梯度，一类是2维以上的。 |
|
发帖数: 1 | 8 【 以下文字转载自 Thoughts 讨论区 】
发信人: look (东张西望), 信区: Thoughts
标 题: Re: 对宗教的批判(一)
发信站: The unknown SPACE (Thu Jul 30 22:19:25 1998), 转信
什么是非理性思维？有和存在证据？别告诉我你主观上觉得有。
我faint，你知道人睡觉分快波/慢波/快速眼动睡眠么？scandisk都来了。
首先不是彭罗斯啦，是哥德尔不完全定理啦，即系统的不完备性。关键这种
数理逻辑的不完备性在建造一个大脑是不是关键的。我们人脑是不是完备的，
人脑的运作模式是不是建立在数理逻辑的。
有证据么？什么是主进程，什么是监控，为什么难以借助仪器分析？
Freud对文艺界的影响远远大于在心理或者人工智能领域的影响。现在还有
人抱着他不放。
你在炒大杂烩么？把你能想的都提出了，你了解这些学科么？
我虽然现在搞的就是这个，但是真的没有听说过什么“电子生命模拟、思维
模拟”，而遗传算法只是一种优化算法而已，与你所想搞的东西一点关系
都没有。
谁告诉你裂脑人与你的什么主进程有关系？
企图以一种科学的观点来看待宗教的... 阅读全帖 |
|
t*******r
发帖数: 22634 | 9 对于大多数娃而言，刷题基本上是种瓜得瓜、种豆得豆。
如果拿数学做例子：
（1）如果刷速度、正确率和重复题型的话：考试竞赛
最最立马显效。。。但是，对数学兴趣基本没帮助，
甚至可能有反作用。
（2）如果刷数理逻辑和数学思维的话：对数理逻辑和
数学思维帮助直接而明显，对将来的数学兴趣有潜移默
化的帮助（因为解决 “看得见” 的问题）。。。但你要
考试竞赛显效的话，两个字，且等。。。
（3）如果刷数学漫画书之类的话：对数学兴趣的帮助
最大。。。但你要想对考试竞赛有哪怕一点点用处的话，
三个字，撞大运。。。（俺很客观的，俺没说“不可能”）
。。。
所以，我们普通娃家长，就是在不同的时期不同的内容
上，纠结上面三种刷的姿势之间的动态配平比。。。
我知道有人会跳出来说。。。那谁谁谁，就刷个兴趣
玩玩，书本上都落灰了，那也拿了州里大奖。人家种
瓜也得豆了。。。俺说句大实话，俺一来不否定天才
的成功，二来也别去瞎琢磨俺是不是心里妒忌。。。
但如果潜意识里想复制那种天才娃的成功，俺老说一
句话。。。悠着点，先看看自家娃是不是那块 outlier
级别的料（俺还是很客观的说，没说不可能或者不去干）
。。。... 阅读全帖 |
|
l*****8
发帖数: 16949 | 10 小学算术里就是逻辑，那玩意儿不叫数理逻辑。用符号表示命题/个体/逻辑关系才可以
算数理逻辑。 |
|
l*****8
发帖数: 16949 | 11 代数的符号化和逻辑的符号化是两回事。逻辑符号最基本的命题逻辑需要有 && 和 ||,
再往上到谓词逻辑就需要那个上下翻转的Ａ(any)和左右反转的Ｅ(exist),这个才算是
数理逻辑。
现在中学大学数学里用到的逻辑其实都不够严密，也没有上升到数理逻辑的层次。相反
计算机里用的逻辑更严密。Lambda calculus(函数式语言的基础）当年就是为了解决函
数定义的严密性提出来的。
么？ |
|
t*****n
发帖数: 4908 | 12 有兴趣的可以看看这个
http://baike.baidu.com/view/1685258.htm
“20世纪40年代以后，基础理论也有了飞速的发展，出现许多突破性的工作，解决了一
些带根本性质的问题。在这过程中引入了新的概念、新的方法，推动了整个数学前进。
例如，希尔伯特1990年在国际教学家大会上提出的尚待解决的23个问题中，有些问题得
到了解决。60年代以来，还出现了如非标准分析、模糊数学、突变理论等新兴的数学分
支。此外，近几十年来经典数学也获得了巨大进展，如概率论、数理统计、解析数论、
微分几何、代数几何、微分方程、因数论、泛函分析、数理逻辑等等。”
GT老师有几个能理解概率论/微分几何/代数几何/微分方程/泛函分析/数理逻辑的？这
样的老师能培养什么的gt学生？与其误导学生，不如老老实实的培养基本功。数学的这
东西，只有两种状态，懂与不懂。没有中间状态。而且数学没法投机取巧。没有捷径可
以走。陈省生大师知道吧？他说爱因斯坦的数学水平soso。陈大师有很多讲话，
gooogle一下，自然有答案。 |
|
t*******r
发帖数: 22634 | 13 这种天赋没法推着，或者说，风险很大。
因为这是推精神，推 brain front lobe。理论而言，推歪了可能产生精神问题。
相比而言，推数理逻辑啥的，不幸推歪了的话，最多也就是个废柴。而且这种情况不推
其实也是废柴。换言之，是推大脑的数理逻辑中枢。 |
|
S*********g
发帖数: 24893 | 14 三十八（2011年11月1日）
会吹牛还是有点好处的，在蛤蟆的吹嘘下，教授原本的商业计划已经变得面目全非，现
在90%变成了蛤蟆的商业计划。利用学校之便是很有好处的，最近教授为蛤蟆安排了两
个高校的实习生，协助蛤蟆做宏观投资方面的研究。
所谓宏观投资实质上是利用市场的规律或缺陷来赚钱，索罗斯和John Paulson都是属于
这种类型。股票的价格、黄金的价格、石油的价格以及美元的价格（指汇率）都并非随
机漫步的，都有各自内在的推动力，但这些推动力上渗入了很多杂音，使价格的变化显
得毫无规律，像随机漫步似的。市场上99%以上的人都被这些杂音所迷惑，真正能把杂
音分离的人远小于1%。
*************
三十七（2011年10月1日）
纽约大学（NYU）的一个教授计划自己创业，成立一个针对小型企业的金融服务公司，
由于他是一个教授，他有先天的条件去挑选一些优秀的学生加入他的团队，蛤蟆居然在
他所挑选的名单当中。原本他所计划的服务对象是销售额一百万到一千万美元的传统小
型企业，有趣的是，在蛤蟆的游说下，他正在把服务对象从传统的小型企业转向小型对
冲基金。
之所以游说把服务对象转向对冲... 阅读全帖 |
|
s*******w
发帖数: 2257 | 15 赵勇专访：中美教育大比拼
2015.01.01 23:36
华盛顿—
用中国网民喜欢使用的一个词来说，来自中国的俄勒冈大学教育学院全球与在线教育研
究所所长赵勇在美国火了。
在美国社会、政界、教育界持续了三十多年甚至六十多年的有关教育改革的激烈辩论中
，来自四川普通农民家庭的赵勇教授扔出了一颗大炸弹，或曰提出了一个振聋发聩、震
耳欲聋的观点。
来自四川普通农民家庭的赵勇教授
来自四川普通农民家庭的赵勇教授
赵勇认为，美国政府和政界对中国学生国际考试成绩优秀的羡慕是不了解中国教育实情
的瞎羡慕，是被忽悠了，而力图促使美国教育学习模仿中国教育则无异于缘木求鱼，甚
至比缘木求还糟糕，还糊涂，简直是自寻死路。
在赵勇看来，美国教育之所以成就巨大，令世界许多国家的人、尤其是让中国众多的人
倾慕，就是因为美国的教育不是中国式的，而是美国式的；美国不应当把中国也在努力
抛弃的应试教育的垃圾再捧起来当宝贝。
鉴于赵勇教授的特殊成长经历，鉴于他在中国和美国的第一手教育经历、观察、实践和
研究，赵勇有关美国教育改革的犀利观点令他的支持者大为振奋，也令对立观点的人感
到不得不刮目相看。
赵勇在俄勒冈大学也是... 阅读全帖 |
|
S*********g
发帖数: 24893 | 16 【 以下文字转载自 Stock 讨论区 】
发信人: StephenKing (88), 信区: Stock
标 题: 顺德人在华尔街(1-38)
发信站: BBS 未名空间站 (Fri Nov 11 21:32:36 2011, 美东)
三十八（2011年11月1日）
会吹牛还是有点好处的，在蛤蟆的吹嘘下，教授原本的商业计划已经变得面目全非，现
在90%变成了蛤蟆的商业计划。利用学校之便是很有好处的，最近教授为蛤蟆安排了两
个高校的实习生，协助蛤蟆做宏观投资方面的研究。
所谓宏观投资实质上是利用市场的规律或缺陷来赚钱，索罗斯和John Paulson都是属于
这种类型。股票的价格、黄金的价格、石油的价格以及美元的价格（指汇率）都并非随
机漫步的，都有各自内在的推动力，但这些推动力上渗入了很多杂音，使价格的变化显
得毫无规律，像随机漫步似的。市场上99%以上的人都被这些杂音所迷惑，真正能把杂
音分离的人远小于1%。
*************
三十七（2011年10月1日）
纽约大学（NYU）的一个教授计划自己创业，成立一个针对小型企业的金融服务公司，
由于他是一个教授，他有先天的条... 阅读全帖 |
|
j******n
发帖数: 21641 | 17 来自主题: LeisureTime版 - 由此及彼 http://www.xys.org/xys/ebooks/others/science/dajia13/liulu3.txt
关于刘路破解“西塔潘猜想”的一些背景信息
作者：赵大川
（寄自爱尔兰）
最近关于中南大学22岁在校学生刘路因破解国际数学难题“西塔潘猜想”
（Seetapun enigma） 而被中南大学破格聘任为教授级研究员和奖励100万元的
消息和报道很多。为了激励儿子学习和钻研， 我也像多年做科研一样进行了文
献检索。以下信息来源于我的作业，给大家提供一点背景。
1、 关于“西塔潘猜想”
“西塔潘猜想”是西塔潘与他的博士后指导老师Theodore Slaman于1995年
共同发表的论文中提出的一个数学问题。是属于数理逻辑学方面的。它是拉姆齐
定理（Ramsey theorem）的一个分支问题。刘路解决了这一问题。论文至今还未
发表出来，但已通过了评审。将要刊登该论文的杂志为“Journal of Symbolic
Logic”（ISSN: 0022-4812）。1936年创刊，属SCI杂志，但影响因子（IF）并
不高：2008年为0.439，2009年为0.631，2... 阅读全帖 |
|
t**********k
发帖数: 511 | 18
读维特根斯坦（罗素悖论）
维特根斯坦在《逻辑哲学论》中说：
3.332 何命题都不可能述及自身，因为命题指号不可能包含于自身（这就是全部的
类型论）。
当我们说“太阳”或者“张三”到底是什么意思呢？按照维特根斯坦的解释，那不过是
一个指号，指向那个我们能够有经验的东西。太阳在英语里是“sun”，张三也许有另
一个称呼，比如张教授，没有关系，因为那个词有意思不是其本身，而是它们代表了某
个东西，我们不能从语言中得到这个指号意义，太阳并不是一个在语言中存在的东西，
虽然我们能有这个指号。
既然这样，必然是词只有在句子中才有确定的意义。比如说要是在生活远离太阳系的另
一个星球，我们就可能不知道什么是太阳，根本看不到。
类型论是由于罗素悖论而产生的，因为这个悖论反应了语言逻辑中关键问题，所以可以
轻易找到例子。我来举一个自己认为容易理解的例子：某某部的人从来就不说实话，有
一回“境外势力”策反了某某部的一个官员，让他说出了“我们永远都是在撒谎”。
但是，“境外势力“不要高兴得太早了，此人... 阅读全帖 |
|
t**********k
发帖数: 511 | 19 读维特根斯坦（一些说明）
首先对大家的回帖表示感谢，非常欢迎大家的参与，能和人讨论那些我感兴趣的问题，
乃是人生一幸事。我在这里对那些我能回答，并且是有必要回答的问题作一说明。
（一）
我在前面基本上在讲那些自己认为是要读懂维特根斯坦所必须的预备知识。道理非常简
单，任何一个哲学家，必须得把他放在那个历史环境中才能理解。有人曾经打了一个形
象的比方，像二个武打高手在过招，你把其中一个从录像中删去，另一个为什么要那样
做就弄不明白了。
起码的预备知识包括一些哲学史，因为维特根斯坦是不满意传统哲学的扯淡而弄出自己
的那一套东西的，没有一点这方面的准备就很难理解他哲学的批判价值，而这却是他哲
学中最重要的东西，是人们为什么认为他是天才的原因。
这是现成的，就是罗素的《西方哲学史》。首先，罗素本人就是语言哲学发展中最重要
的人物之一；其次，他是维特根斯坦的老师，两人在一些最关键的地方，比如想确立什
么能是人类确实的知识是完全一致的。
我想可以这样说，没有罗素是不太... 阅读全帖 |
|
l***y
发帖数: 4671 | 20 最近打算看 I am a strange loop。主要是因为 Hofstadter 提出 intelligence 的一
个根本属性就是在数理逻辑上不能自洽，或者说，所有在数理逻辑上自洽的系统，都不
具备智能。
看到这个观点，有眼前一亮的感觉啊。 |
|
G*******h
发帖数: 1391 | 21 德佬的观点我基本同意。写一点我的理解：
1.）上来就说的“哲学的”而不是“语法”的，这个已经就落入自己的圈套。如何定义哲
学，又如何定义语法，这两个不都是名词吗？ ：）
2.）第一段的第一部分说的是： 先有桌子这个名词，还是先有桌子这个实体。我不是
很确定德佬的名词和概念是不是等价的。
3.）第一段的第二部分说的是：同一个名词（甚至是大众名词），每个人都有自己的理
解。就像郑板桥的竹子。
4.）第二段数理逻辑：如果说问题在于世俗的非准确性(无歧义)，那么严格逻辑关系下
回如何？德佬的观点是，YES。严格数理逻辑定义下的名词可以消除歧义。
5.）最后的高潮：消除歧义有助于我们认清事情的本质吗？No！因为事情的本质是超现
实的、超语言文字的。
6.）形容词比名词更不堪，因为很大一部分形容词无法在逻辑范畴下给出定义。
其实这些说法不是很接地气,个人之见。 |
|
s**t
发帖数: 17016 | 22 都是为了生存。
感情啊，意识啊，这些都是衍生物。如果这些衍生物不能帮助生存，就没有价值
计算机会不会产生生存的需要？答案是显然的。
计算机比人类更高等，不是因为不能模拟感情或者意识，恰恰是计算机不需要模仿这些
东西
计算机会走一条和人类完全不同的进化路线。
问题的关键，不是计算机能不能模拟人的某些东西，而是计算机能做到哪些人不能做到
的事
计算机没法真的模拟人的行为的，也没有这个必要。
计算机受到数理逻辑的限制，人类的大脑同样也受到数理逻辑的限制 |
|
S********1
发帖数: 344 | 23 大家好，偶是小扬。今天要写的这篇可能是我这两年来的第一篇非金融类说明文日志。
跟以前一样，全是个人想法。因为最近管理课的内容兴起了IQ跟EQ的讨论热，本人也就
即兴总结下对EQ和IQ的一些愚见。
平时我们习惯用“哇，真是高智商！”或者“没办法，智商低”等phrases来赞扬，或
鄙视一个人的智力水平，貌似智商就等同于智力。智商涵盖的是数理逻辑，主要集中于
对科学的理解力，计算能力，记忆以及逻辑力等。智商高的人，我们当然可以说他聪明
，因为他在上述方面达到了很高的水平。这些人会在科学领域出类拔萃。
但此时，如果我们发现这样一种情况，就是一个智商很高的人，完全无法通过表情变化
洞察听他说话人的情绪变化，持续吹捧自己的学科成就，贬低他人智商。当有人暗示他
稍作收敛，仍毫无知觉，口沫腾飞，那么此时，即使此人智商再高，周围还会有人说他
很聪明么？ 至少如果是我的话，我的脑子里会出现愚胬无知，反映迟钝来形容此人。
这种涉及到对情感，情绪的敏感及洞察能力的智力因素并不在智商的管辖范围之内。它
属于情商，这种往往容易被人忽略的，却又对成功起到至关重要作用的智力因素，在大
脑中，它与智商被分管于不同的区... 阅读全帖 |
|
d********0
发帖数: 5142 | 24 ☆─────────────────────────────────────☆
absolute100 (绝对100度) 于 (Sat Jul 23 15:16:10 2011, 美东) 提到:
你说比黑人智商高这个我信，事实摆在那里，什么诺贝尔奖都没黑人的份。
可你说这世界99%的科学技术制度都是白人创造的，怎么就得出中国人智商高来? 不是
明显与事实不符么
中国人按13亿人头计算的平均智商我是从来没听说过的。倒是美国亚裔的智商可能会比
白人高，这个根本没参考意义。亚裔后代大部分都是高科技高教育移民的后代，属于亚
裔中的精英人物。用这个对比整体美国白人的平均数据没任何意义。
从政治正确的角度，顶多就是智商没区别，说智商高就太扯了。
☆─────────────────────────────────────☆
yuejingnan (月经男) 于 (Sat Jul 23 15:20:57 2011, 美东) 提到:
yy的结果
☆─────────────────────────────────────☆
haloua (哈喽阿) 于 (Sat Jul 2... 阅读全帖 |
|
o********e
发帖数: 474 | 25 刘菊花学过数理逻辑？无知者无畏！
方舟子自己也不太可能学过数理逻辑,这课是数学系/计算机系开的，科大生物系绝对不
开这课。
只要撒谎，一切credibility都没有了。 |
|
j*****i
发帖数: 70 | 26 愚人
在海内外154名学人向中国社会科学院研究生院发出了《关于刘菊花硕士论文涉嫌抄袭
问题的公开信》，促请中国社会科学院研究生院依法、严肃处理刘菊花硕士学位论文涉
嫌抄袭事件以后，官方和网上舆论引起了轩然大波，沉默了五天之久，现任新华社记者
刘菊花终于通过其夫方舟子的微博发出了署名为“方舟子妻”的帖子《过洁世同嫌》。
这篇文章充满了谎言和自我标榜，企图干扰有关单位即将对其硕士学位进行调查处理的
程序，同时抵赖自己在十年间与方舟子共同经营所谓“学术打假”事业所犯下的罪行，
以便迷惑至今尚不了解真相的公众，为了以正视听，有必要对刘菊花的帖子作深入的剖
析和批判。下面，我们将对刘菊花帖子的主要段落加以驳斥。
“认识我的人都知道，我只是个普通人，处世清淡，有些愤世嫉俗，喜欢简单随性
的自由生活。但因为嫁给了方舟子，我也显得“特殊”起来。”
也许刘菊花如她自我表白的，是一个“普通人”，全国绝大多数人谁又不是呢？就连刘
菊花的丈夫方舟子，方是民先生当初又何曾不是呢？不错，只“因为嫁给了方舟子”，
所以便“特殊”起来。但是，这个“特殊”，应该有刘菊花自己莫大的功劳，如果不是
刘菊花站在方舟子的背后撑... 阅读全帖 |
|
p****1
发帖数: 917 | 27 你找的什么新闻？名字都不对。
他立即将结果通过E-mail发给了美国芝加哥大学主办的数理逻辑界国际权威杂志《符号
逻辑杂志》。
2011年6月，刘嘉忆收到了《符号逻辑杂志》主编、逻辑学专家、芝加哥大学数学
系邓尼斯·汉斯杰弗德的回信，他说，“我是过去众多研究该问题而无果者之一，看到
这一问题的最终解决感到非常高兴，特别是你给出的如此漂亮的证明，请接受我对你令
人赞叹的惊奇的成果的祝贺！”汉斯杰弗德教授将刘嘉忆的研究介绍给其他几位专家，
他们一起审读，如同发现了新大陆。芝加哥大学博士达米尔·扎法洛夫认为：“这是一
个重要的结果，促进了反推数学和计算性理论方面的研究。”此外，汉斯杰弗德教授还
对他论文中的几处细节进行了简化，并附上修改后的版本，告知他可以任意使用。2011
年9月16日，刘嘉忆被邀请在美国芝加哥大学数理逻辑学术会议上作了40分钟报告，他
是这次会议上亚洲高校的唯一参与者。
业内领域杂志有对他的工作进行评价吗？ |
|
s*********n
发帖数: 1527 | 28 http://tech.sina.com.cn/d/2012-03-22/11476864235.shtml
22岁大学生破解国际数学难题 当选最年轻教授
http://www.sina.com.cn 2012年03月22日 11:47 人民网—人民日报海外版
3月20日，中南大学宣布破格聘任攻克国际数学难题的在校学生刘路为中南大学正
教授级研究员，“制造”了国内最年轻的教授。年仅22岁、学习成绩一般的刘路为什么
能创造这一“神话”？“22岁教授”为什么出现在中南大学？“22岁教授”是否能成为
解答“钱学森之问”的突破口？
■ 兴趣开启智慧
灵光一闪破解难题
本科毕业，读硕士、博士，评副教授，再到教授，这一过程一般来说至少需要15年
左右。22岁的刘路却用不到一年的时间“轻易”地完成这一历程。
见到刘路，很难一下子把印象里的“教授”与眼前这位标准的大学生形象联系起来
，更不敢想象就是这位话少、声音小的大男孩把一个世界各国诸多研究者一直努力未果
的学术难题破解。
2010年10月的一天，出于兴趣而自学数理逻辑的刘路突然想到，利用之前用到的一
个方法稍作修改便可证明西塔潘猜想。他于是跑... 阅读全帖 |
|
l*******k
发帖数: 2 | 29 今天在网上看到了一个重镑炸弹.中南大学决定：从今天开始聘请22岁的刘路为正教授
级研究员，刘路成为目前中国最年轻的教授。奇了怪了这刘路是方神仙,有这么大的能
耐.认真一看说刘路破解了国际数学难题“西塔潘猜想”.阿,这事我知道,这不是刘嘉忆
破解的吗,怎变成刘路的了.哦说刘嘉忆是刘路的笔名,这就怪了,读理工科的人都知,写
科学论文从来就是用真名的.怎在中国冒出个笔名来,这刘路是文科生啊.写的是小说啊.
当时我看到刘嘉忆破解了所谓的国际数学难题“西塔潘猜想’就没多大在意,就一
本科生,用了一现成的解题方法稍作修改用一个晚上就写出来的猜想证明那又有多大的
科学分量啊.就一学生做习题吧.(摘自百度:2010年8月，酷爱数理逻辑的刘嘉忆在自学
反推数学的时候，第一次接触到这个问题，并在阅读大量文献时发现，海内外不少学者
都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学
家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有
解决。2010年年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以
证明这一结论，连夜将这一证明写出来，... 阅读全帖 |
|
m******7
发帖数: 13 | 30 【 以下文字转载自 Joke 讨论区 】
发信人: majia917 (我是马甲), 信区: Joke
标 题: Re: 破解“西塔潘猜想”一举成名 这一切，要感谢南大教授
发信站: BBS 未名空间站 (Sun Apr 1 04:51:29 2012, 美东)
恰恰相反，国内的数理逻辑的烂人其实最多。
和那些做数论作几何的捞钱的人不一样，好歹那边都有一些真正有功底的人照着。
他们虽然吃相难看了点，但倒也好歹能出点东西。Yau和张寿武都是深通其道的，能吹
但功底的确放在那里。不过听说张和北大的那帮烂人过去几年拉了一大票国家的钱，说
是要解决黎曼猜想。如果是真的，那倒是扯淡之极的事了。
至于数理逻辑，本来就是不入流的数学，放在中国这样的大环境里面，烂人更是多。
今天在南大网看到丁德成的描述
http://news.nju.edu.cn/show.php?id=25364&menuid=2
破解“西塔潘猜想”一举成名 22岁的刘路成我国最年轻教授
这一切，要感谢南大教授
我tmd笑得肠子都快断了。
早就听说丁这个人气量狭小，嘴巴也很毒。当初他一个同门师弟就是被他逼走到商院。
据说那个主... 阅读全帖 |
|
l*3
发帖数: 2279 | 31 然后再来解决你这个问题.
你的根源就是逻辑不清, 不懂数理逻辑. 错误地认为a∈∅是荒唐的事情, 于是竟
认为以下这个命题是错的.
a∈∅->a∈A (这里A可以是任意一个集合)
后来在别人的指正下你改变了观念, 但实际上只是改头换面而已.
既然你已经认为上面那个命题没问题, 那么试问, 我的定义中的 "循环定义" 在哪呢?
你说 "一定要强行定义2为初始素数才可以"
对此我已经在169楼指出如何根据我的定义判断出2是素数, 后又在174楼重复说了一遍,
现在我再说一遍:
根据我的定义判断2是不是素数:
-------
2>1, 成立.
考察比2小的素数, 因为素数要求是自然数, 且大于1, 而不存在比2小且大于1的自然数
,
故不存在比2小的素数.
于是2不被任何小于2的素数整除.
于是2是素数.
--------
结果你居然说 "没有比2小的素数, 是个空集, 所以谈不上什么 2能不能被任何比2小
的素数整除" (非原话, 你大意如此)
你这不就是很傻逼的以为 a∈∅ 就不能做任何逻辑推演了吗? 就好像你认为 "a
∈∅->a∈A"... 阅读全帖 |
|
l*****8
发帖数: 16949 | 32 其实就是想晕了。和本版的素数大争论类似。
懂点数理逻辑的就知道，A or B or C 等价于 not A and not B implies C.
参与素数大争论的人如果了解点数理逻辑就很容易明白了。
残。 |
|
t******n
发帖数: 2939 | 33 ☆─────────────────────────────────────☆
xiongyp (dreamrain) 于 (Fri May 24 08:41:56 2013, 美东) 提到:
我们假设不知道什么叫素数，我们对正整数集合进行如下的定义来定义素数。（这是从
链接上取下来的，也是I63的定义）
(1) 1不是素数 (base case)
(2) a是素数当且仅当a不能被任何小于它的素数整除。
我曾经多次指出，这个定义在用素数定义素数，是不正确的。但看到很多的反驳如下。
1不是素数, 我们考察2，发现小于2的素数集合为空集，于是2为素数。以此再往下递归
，得出所有素数的定义。我想昨天深入讨论此内容的人，都不会反对我的总结吧。关于
"小于2的素数集合为空集"推出"2为素数"，因我的不慎，还做出过郑重道歉。
好，我们仿造这种递归定义，来定义偶数。
我们假设不知道什么叫偶数，我们对非负整数集合进行如下的定义来定义偶数。
(1) 0不是偶数 (base case)
(2) a是偶数当且仅当a与任何小于它的偶数之差为2的倍数。
我从base case开始。0不是偶数。我们考察... 阅读全帖 |
|
q*b
发帖数: 897 | 34 我看过一点数理逻辑，觉得很难，一看就晕了。我一个同事是马哲专业博士中党校，当
年没有问过她是不是也要学数理逻辑。 |
|
g****m
发帖数: 996 | 35 【 以下文字转载自 Military 讨论区 】
发信人: TNEGIETNI (lovewisdom), 信区: Military
标 题: Re: 我就不明白从小受无神论教育长大的能信上帝的存在？
发信站: BBS 未名空间站 (Thu Sep 22 20:44:15 2011, 美东)
既然你如此喜欢数理逻辑，请看下文：
以数理逻辑证明究竟谁是“唯物主义”
http://www.mitbbs.com/article0/Military/36461203_0.html
按照马克思的辩证唯物主义，唯心主义和有神论是暗通款曲。而唯物主义者几乎都自称
是无神论者和科学主义者。让我们从对整个宇宙世界的以下划分来看看究竟谁是“唯心
主义”，谁是“唯物主义”?
根据人类对其外部世界以及自身大脑内部的认知行为本身的知性程度，整个宇宙世界的
一切存在（记为集合W）可以被划分为以下四个部分：
1）可知存在，即在既有条件下对其部分地有所知，但尚未完成对它的全知，记为集合A；
2）已知存在，即在既有条件下对可知存在实现了对它的完全认知，记为集合B；
从而我们有：
3）未知存在，它是相对于可知存在而定义... 阅读全帖 |
|
F**D
发帖数: 6472 | 36 j点？
大四学生刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方
面的培养。
过潜心研究成功攻克了一个多年未解的国际数学难题。
去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受
我对你令人赞叹的惊奇的成果的祝贺！”
提和结论之间的形式关系，故也称符号逻辑。在计算机科学和人们的生活中，数理逻辑
发挥着重要的理论指导作用。
，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理
的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜
想，10多年来许多著名研究br /> |
|
m******7
发帖数: 13 | 37
恰恰相反，国内的数理逻辑的烂人其实最多。
和那些做数论作几何的捞钱的人不一样，好歹那边都有一些真正有功底的人照着。
他们虽然吃相难看了点，但倒也好歹能出点东西。Yau和张寿武都是深通其道的，能吹
但功底的确放在那里。不过听说张和北大的那帮烂人过去几年拉了一大票国家的钱，说
是要解决黎曼猜想。如果是真的，那倒是扯淡之极的事了。
至于数理逻辑，本来就是不入流的数学，放在中国这样的大环境里面，烂人更是多。
今天在南大网看到丁德成的描述
http://news.nju.edu.cn/show.php?id=25364&menuid=2
破解“西塔潘猜想”一举成名 22岁的刘路成我国最年轻教授
这一切，要感谢南大教授
我tmd笑得肠子都快断了。
早就听说丁这个人气量狭小，嘴巴也很毒。当初他一个同门师弟就是被他逼走到商院。
据说那个主儿被他气得都快哭了。现在竟然自甘堕落到这个程度，但没有办法啊，古人
说老脸皮厚就是这个道理吧。
他的徒子徒孙更是loser。版上的某著名id，就是上文中提到的姓喻的鸟人，在uiuc混
了一个post doc，找不到美国的职位，只好到新家坡又作了一轮post doc，... 阅读全帖 |
|
j*******7
发帖数: 6300 | 38 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: jmsma2007 (James), 信区: TrustInJesus
标 题: [学术] 关于逻辑自身的“循环论证”问题
发信站: BBS 未名空间站 (Tue Apr 30 14:42:07 2013, 美东)
逻辑：沙滩上的象牙塔？——关于逻辑自身的“循环论证”问题
1.问题的提出
逻辑适用于研究任何对象，自然也适用于研究它自身。用逻辑研究其他对象非但不
会引起非议，反倒会被认为是必要的。然而，用逻辑研究逻辑本身就会导致如下责难：
这样做难道不是在循环论证吗？事实上，只有在预先设定了逻辑的无矛盾性和可靠性的
情况下，才有可能去论证逻辑的无矛盾性和可靠性。
卡汉在《逻辑和哲学》一书中就曾指出：“有些哲学家对于建造公理系统认为无多
大意义。其原因之一是，建造一个公理系统（至少是就逻辑的公理系统而论）包含着某
种程度的恶性循环。就拿谓词逻辑的一个公理系统为例。假定我们要证明这个系统无矛
盾，困难是这种无矛盾证明（在元语言中）不可避免地要使用那些‘推理工具’（如假
言推理规则），但这些工具是系统自身的推导规则。所以如果... 阅读全帖 |
|
l**********r
发帖数: 79 | 39 这个问题不重要， 重要的是你有思考过科学家心里有神么？ 或者更确切的说，科学家
眼里的上帝是什么样子？
其实科学家眼里的上帝， 尤其是基督徒科学家眼里。
上帝的存在就是一个和谐的存在。一切解释的通， 有一个统一的理论把世界的现象描
述出来。
大家可以去看看数理逻辑（数理逻辑是统一一切代数研究的理论——）大师哥德尔的一
些资料，他曾经试图用简单逻辑描述上帝的存在。 |
|
l**********r
发帖数: 79 | 40 这个问题不重要， 重要的是你有思考过科学家心里有神么？ 或者更确切的说，科学家
眼里的上帝是什么样子？
其实科学家眼里的上帝， 尤其是基督徒科学家眼里。
上帝的存在就是一个和谐的存在。一切解释的通， 有一个统一的理论把世界的现象描
述出来。
大家可以去看看数理逻辑（数理逻辑是统一一切代数研究的理论——）大师哥德尔的一
些资料，他曾经试图用简单逻辑描述上帝的存在。 |
|
S***n
发帖数: 2932 | 41 西方哲学特别古典哲学，我觉得像是各科学分支发育之初的胚胎
期，本身并没有太多有趣结果，主要承上启下。
比如关于无限的讨论，数学分析一出来它们就trivial了。
再比如kant的一些形而上逻辑讨论，我试着读了一点，觉得没意思，
因为我干活要用到数理逻辑，我觉得数理逻辑还有更有意思一点。当
然我可能错过什么重要东西了。 |
|
s**********n
发帖数: 3199 | 42 恩，文论是典论里的，没读过，常常看到人家引用。
数学系数理逻辑的seminar我还真有听，co advisor有这个背景，就去帮他们捧场，哎
，现在都这么professional，无数廉俭劳力，要搞个没人懂的逻辑系统不难的，我觉得
很体力活、很无聊，哈哈。当然真有人好这个。我个人觉得形而上无聊起来很无语的，
没有好的intuition，很容易搞出垃圾还不自知。不过话讲回来，数理逻辑还真是秒杀
（文科）西方哲学所谓的形式逻辑。俨然是专业和amatuer的差别。大概类似哲学在上
古的很多开拓性天才讨论后来被专门专业的科学分支比如物理、化学取代吧。
闲情赋？做笔？don't follow，囧。。。 |
|
s**********n
发帖数: 3199 | 43
汗，我到现在还看不出中国的“伦理”是什么。也不理解什么是伦理。
浅薄的感觉从古至今虽然若干相熟概念反复出现，含义差别很大。
或者说看似一贯的伦理体系下的实际政治差别很大。
什么是平等的观点呢？
“领先”这些词，我觉得和“数学化”一样模糊。
比如euclid，欧氏几何提出人类文明史上第一个公理体系，这一点是否可以认为是西方
在某方面的领先。
《资治通鉴》《易》都没看过。有机会展开下前者音乐理论，后者数学构造？
解释我眼中euclid滴重要性～～～
disclaim下先，我对数学一窍不通哈，20c数学基础讨论听上去蛮玄，不过好像专业的
看法有认为也只是圈内小范围的讨论，并非大众想象那么耸人。我会提到，尤其euclid
还是自己本专业的关系。euclid的欧氏几何的研究对象是几何，工具是公理体系（
axiomatic system），后者特别被做数理逻辑的推重。比如type theory（也即higher
order logic）的提出者Russell和Whitehead给欧氏几何评价很高。这些人因古典逻辑
系统的困难和启发（比如集合悖论，以M表示是其自身成员的集合的集合，N表示不是其
自... 阅读全帖 |
|
l**k
发帖数: 419 | 44
什么是非理性思维？有和存在证据？别告诉我你主观上觉得有。
我faint，你知道人睡觉分快波/慢波/快速眼动睡眠么？scandisk都来了。
首先不是彭罗斯啦，是哥德尔不完全定理啦，即系统的不完备性。关键这种
数理逻辑的不完备性在建造一个大脑是不是关键的。我们人脑是不是完备的，
人脑的运作模式是不是建立在数理逻辑的。
有证据么？什么是主进程，什么是监控，为什么难以借助仪器分析？
Freud对文艺界的影响远远大于在心理或者人工智能领域的影响。现在还有
人抱着他不放。
你在炒大杂烩么？把你能想的都提出了，你了解这些学科么？
我虽然现在搞的就是这个，但是真的没有听说过什么“电子生命模拟、思维
模拟”，而遗传算法只是一种优化算法而已，与你所想搞的东西一点关系
都没有。
谁告诉你裂脑人与你的什么主进程有关系？
企图以一种科学的观点来看待宗教的问题，其实你所有的只是一些科学的术语(很
多术语还是错的)。无论你是想帮宗教也好，想批判也好，你其实只是在以一种
伪科学的方式来诋毁科学而已，得了，你还是去当什么四维空间来的什么传道大师
吧。 |
|
l**k
发帖数: 419 | 45
什么是非理性思维？有和存在证据？别告诉我你主观上觉得有。
我faint，你知道人睡觉分快波/慢波/快速眼动睡眠么？scandisk都来了。
首先不是彭罗斯啦，是哥德尔不完全定理啦，即系统的不完备性。关键这种
数理逻辑的不完备性在建造一个大脑是不是关键的。我们人脑是不是完备的，
人脑的运作模式是不是建立在数理逻辑的。
有证据么？什么是主进程，什么是监控，为什么难以借助仪器分析？
Freud对文艺界的影响远远大于在心理或者人工智能领域的影响。现在还有
人抱着他不放。
你在炒大杂烩么？把你能想的都提出了，你了解这些学科么？
我虽然现在搞的就是这个，但是真的没有听说过什么“电子生命模拟、思维
模拟”，而遗传算法只是一种优化算法而已，与你所想搞的东西一点关系
都没有。
谁告诉你裂脑人与你的什么主进程有关系？
企图以一种科学的观点来看待宗教的问题，其实你所有的只是一些科学的术语(很
多术语还是错的)。无论你是想帮宗教也好，想批判也好，你其实只是在以一种
伪科学的方式来诋毁科学而已，得了，你还是去当什么四维空间来的什么传道大师
吧。 |
|
h*****0
发帖数: 118 | 46 回应罗素的《我为什么不是基督徒》
http://www.clch.org/fellowship/cgnf/Aromaweb/Challenges%20To%20
小灶 9/19/2003
序
我第一次接触到罗素这篇演讲大约是1997年南开大学的BBS站上。当时有网友把这篇演
讲的中译文按顺序贴出来，造成很大影响，于是我没多计划就写回应。但后来因为时间
关系，只写到传统关于上帝存在的证明。这一停就是几年。这期间虽不时有朋友催促我
把它完成，但因为我曾看到过好几篇其他对此文的回应，所以没有很着急。今年暑假稍
微有了点时间，就希望把它完成。
现有的几篇回应中，Smith和Bahnsen基本采用相同的思路，侧重于针对罗素这个人进行
整体性的考量；Geisler则选择主要论点加以反驳。不过它们都是英文，对中文读者影
响不大。中文有章力生先生的回应，但一来时代比较久远，二来其辩论方式基本采用直
接引圣经，有基督徒自说自话之嫌。另外，相较于西方知识界，中国知识分子所受的影
响中，基督教的太少，而罗素的又太多，鉴于这样的情况，我相信再写一篇中文回应是
合适的。
数位研究罗素的学者都发现，罗素常常是一... 阅读全帖 |
|
j*******7
发帖数: 6300 | 47 逻辑：沙滩上的象牙塔？——关于逻辑自身的“循环论证”问题
1.问题的提出
逻辑适用于研究任何对象，自然也适用于研究它自身。用逻辑研究其他对象非但不
会引起非议，反倒会被认为是必要的。然而，用逻辑研究逻辑本身就会导致如下责难：
这样做难道不是在循环论证吗？事实上，只有在预先设定了逻辑的无矛盾性和可靠性的
情况下，才有可能去论证逻辑的无矛盾性和可靠性。
卡汉在《逻辑和哲学》一书中就曾指出：“有些哲学家对于建造公理系统认为无多
大意义。其原因之一是，建造一个公理系统（至少是就逻辑的公理系统而论）包含着某
种程度的恶性循环。就拿谓词逻辑的一个公理系统为例。假定我们要证明这个系统无矛
盾，困难是这种无矛盾证明（在元语言中）不可避免地要使用那些‘推理工具’（如假
言推理规则），但这些工具是系统自身的推导规则。所以如果这些‘推理工具’本身是
无矛盾的，那么证明对象语言的系统无矛盾是有价值的。但是如果它们是矛盾的呢，那
么这种证明就没有价值了。因此提出一个无矛盾证明，事情并没有取得任何进展，因为
我们事先得相信这些推理规则是无矛盾的，再用它们来证明无矛盾，从而又证明这些规
则本身无矛盾。对于系统中的公... 阅读全帖 |
|
发帖数: 1 | 48 摘要
阿赖耶识又称为第八识、藏识、异熟识、阿陀那识、心、所知依等等，祂是大乘最
重要的秘密法，不共声闻与缘觉。阿赖耶识的存在是一种客观的事实，所以祂有具体的
内涵与外延，也能让人观察到祂的存在。祂有种种的性状，而经论在描述祂时各有侧重
，以致在表面上看来差距很大，但在实证阿赖耶识的人看来，这些都是正确的描述。
大部分的西方和日本学者，都把佛教当做思想来研究，这其实是违背经教的，经教
中处处皆有要求实证的文字记载。这些学者因为偏见与方法上的错误，所得的结论也错
得很离谱。
阿赖耶识的内涵包括：祂是无始以来的存在，是不待他缘、本然的存在，是诸法的
根本因；祂隐藏于肉体内，维持众生的寿命，是众生所贪爱的对象，并且为众生内执为
我。
阿赖耶识的外延，则不是语言文字所能够表述的，因为祂正是语言文字所指涉的真
实事物。这只有大乘见道的菩萨能够了知.
一、前言
阿赖耶识又称为第八识、藏识、异熟识、阿陀那识、心、所知依等等，祂是大乘最
重要的秘密法，不共声闻与缘觉。内涵与外延，则是语意学的术语。
内涵，是以语言文字形容特定的事物。例如，“依法令从事公务之人”，是刑法定
义“公务员”一词的内... 阅读全帖 |
|
