W******r
发帖数: 789 | 1 先讲一个医案。有个人身体虚寒，医生给他开了药丸，吩咐他每次吃3粒。为什么是3粒呢？因为八卦的第3卦是离卦，属火。如果这个治疗有效，大多数人都会认为是药丸本身在起作用，跟每次吃3粒还是4粒关系不大。3粒药丸属火就是我要说的形式化推理。类似的医案应该还能找到不少，只是形式化程度没那么明显，例如几天前在内经的讨论中提到的挖个土坑把人放在里面接触地气那个例子。
中医本质上是基于实践的经验医学。阴阳五行只是提供一个理论框架，让人们可以根据疾病和药物的性质把从实践中得到的经验知识加以分类和归纳，方便人们记忆和使用。也就是说，是先观察到一个现象，例如某某草药可以治疗某某疾病，然后再把这种疾病和草药在阴阳五行的框架中作适当的归类，使得阴阳五行的原理刚好就能解释这个现象。在治病的时候，如果不去翻阅以往病例，完全就把治疗方法建立在阴阳五行的形式化推理之上，此乃舍本逐末，非智者所为也。形式化推理发展到极端，就是“神医”张悟本提出的用大剂量的绿豆汤来治疗肝病和近视，仅仅是因为绿豆是绿色的，属木。这种形式化的推理不仅会误人病情，而且还是导致中医受到攻击的重要原因。我们应当引以为鉴。
我不敢说我们现代人就一定比古... 阅读全帖 |
|
d********y
发帖数: 6566 | 2 美国总统奥巴马7月16日在白宫地图室会见西藏精神领袖达赖喇嘛，引来中国的强烈抗
议。美国对外关系委员会亚洲研究中心主任易明（Elizabeth C. Economy）19日撰文，
分析中国抗议背后的真正含义，提醒中国切勿频繁的喊“狼来了”。
文章称，针对奥巴马总统16日会晤达赖喇嘛一事，中国外交部发表声明，称中国要求美
方认真对待中方严正立场，立即采取措施消除恶劣影响，停止干涉中国内政，停止纵容
和支持“藏独”反华分裂势力。美方允许达赖窜访美国并安排最高领导人会见，严重违
背国际关系基本准则，违背美国政府一再作出的郑重承诺，损害了中美关系，中方对此
表示强烈愤慨和坚决反对。
这仅仅是一种形式化的抗议声音呢？还是中国真的被激怒了呢？奥巴马总统会晤西藏精
神领袖真的伤害了中国人民的感情吗？美国有关此次会晤的报道暗示了两个最基本的产
出，一是奥巴马明确告知达赖喇嘛，美国不支持西藏独立，其二，奥巴马重申了他对于
维护西藏文化的支持。而就这两点来说，也都是北京所支持的内容。
文章还列举了中国《人民日报》在同一周早些时候描述美国参谋长联席会议主席马伦（
Admiral Mullen）以及中国解放军... 阅读全帖 |
|
|
b***e
发帖数: 1419 | 4 笑话，有矛盾的逻辑系统怎么能用呢？一个non-trivial的
逻辑系统的最最最最基本的要求就是要无矛盾，也就是说，
不是所有的东西都是真的。
如果对数理逻辑有兴趣的话，请看看基本的textbook, 搞清楚
形式化系统正确性(soundness)和完备性(completeness)的区别。
一个形式化系统起码要是正确的。如果完备更好，实在完备不了
也能用。
一个形式化系统正确的意思是，所有可以由此系统证明的东西
相对于其形式语义来讲都是正确的。完备的意思是，所有在形式
语义上正确的东西都可以被形式化地证明。
Godel's Incompleteness是说，一阶算术的定义是不完备的。也
就是说，存在一个正确的statement无法被现存的公理形式化的证明。
于是人们自然可以想到，那么可不可以将无法证明的statement作为
公理加入系统，以期达到完备呢？Godel's进一步说：No! 即使你
加入了新的公理，必然还可以找到语义正确但无法形式化证明的
statement。所以结论是，永远无法得到一个完备的一阶算术系统。
如果通俗的讲，应该说：人们永远无法了解全部的事实。无论数学
如何 |
|
j*******7
发帖数: 6300 | 5 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: jmsma2007 (James), 信区: TrustInJesus
标 题: [学术] 关于逻辑自身的“循环论证”问题
发信站: BBS 未名空间站 (Tue Apr 30 14:42:07 2013, 美东)
逻辑：沙滩上的象牙塔？——关于逻辑自身的“循环论证”问题
1.问题的提出
逻辑适用于研究任何对象，自然也适用于研究它自身。用逻辑研究其他对象非但不
会引起非议，反倒会被认为是必要的。然而，用逻辑研究逻辑本身就会导致如下责难：
这样做难道不是在循环论证吗？事实上，只有在预先设定了逻辑的无矛盾性和可靠性的
情况下，才有可能去论证逻辑的无矛盾性和可靠性。
卡汉在《逻辑和哲学》一书中就曾指出：“有些哲学家对于建造公理系统认为无多
大意义。其原因之一是，建造一个公理系统（至少是就逻辑的公理系统而论）包含着某
种程度的恶性循环。就拿谓词逻辑的一个公理系统为例。假定我们要证明这个系统无矛
盾，困难是这种无矛盾证明（在元语言中）不可避免地要使用那些‘推理工具’（如假
言推理规则），但这些工具是系统自身的推导规则。所以如果... 阅读全帖 |
|
j*******7
发帖数: 6300 | 6 逻辑：沙滩上的象牙塔？——关于逻辑自身的“循环论证”问题
1.问题的提出
逻辑适用于研究任何对象，自然也适用于研究它自身。用逻辑研究其他对象非但不
会引起非议，反倒会被认为是必要的。然而，用逻辑研究逻辑本身就会导致如下责难：
这样做难道不是在循环论证吗？事实上，只有在预先设定了逻辑的无矛盾性和可靠性的
情况下，才有可能去论证逻辑的无矛盾性和可靠性。
卡汉在《逻辑和哲学》一书中就曾指出：“有些哲学家对于建造公理系统认为无多
大意义。其原因之一是，建造一个公理系统（至少是就逻辑的公理系统而论）包含着某
种程度的恶性循环。就拿谓词逻辑的一个公理系统为例。假定我们要证明这个系统无矛
盾，困难是这种无矛盾证明（在元语言中）不可避免地要使用那些‘推理工具’（如假
言推理规则），但这些工具是系统自身的推导规则。所以如果这些‘推理工具’本身是
无矛盾的，那么证明对象语言的系统无矛盾是有价值的。但是如果它们是矛盾的呢，那
么这种证明就没有价值了。因此提出一个无矛盾证明，事情并没有取得任何进展，因为
我们事先得相信这些推理规则是无矛盾的，再用它们来证明无矛盾，从而又证明这些规
则本身无矛盾。对于系统中的公... 阅读全帖 |
|
j**p
发帖数: 1257 | 7 这段文字节选自《二十世纪的数学》by Michael Atiyah
应该是很好的解答了这个问题。
如果没有耐心看全文，这段节选就很精辟：
“将上述二分叉现象用更哲学或者更文学的语言来说，那就是对几何学家而言，代数就
是所谓的"浮士德的奉献"．正如大家所知道的，在歌德的故事里，浮士德通过魔鬼可以
得到他所想要的（就是一个漂亮女人的爱），其代价是出卖他的灵魂，代数就是由魔鬼
提供给数学家的供品．魔鬼会说："我将给你这个有力的机器，它可以回答你的任何问
题．你需要做的就是把你的灵魂给我：放弃几何，你就会拥有这个威力无穷的机器"(现
在可以把它想象成为一台计算机!)．当然我们希望同时拥有它们，我们也许可以欺骗魔
鬼，假装我们出卖灵魂，但不真地给它．不过对我们灵魂的威胁依然存在，这是因为当
我们转入代数计算时，本质上我们会停止思考，停止用几何的观念来考虑问题，不再思
考其含义．
在这里我谈论代数学家的话重了一些，但是基本土，代数的目标总是想建立一个公式
，把它放到一个机器中去，转动一下把手就可以得到答案．也就是拿来一个有意义的东
西，把它化成一个公式，然后得到答案．在这样的一个过程中，人们不... 阅读全帖 |
|
g***y
发帖数: 16371 | 8 谢人品啊，copy下来慢慢看～～
这段文字节选自《二十世纪的数学》by Michael Atiyah
应该是很好的解答了这个问题。
如果没有耐心看全文，这段节选就很精辟：
“将上述二分叉现象用更哲学或者更文学的语言来说，那就是对几何学家而言，代数就
是所谓的"浮士德的奉献"．正如大家所知道的，在歌德的故事里，浮士德通过魔鬼可以
得到他所想要的（就是一个漂亮女人的爱），其代价是出卖他的灵魂，代数就是由魔鬼
提供给数学家的供品．魔鬼会说："我将给你这个有力的机器，它可以回答你的任何问
题．你需要做的就是把你的灵魂给我：放弃几何，你就会拥有这个威力无穷的机器"(现
在可以把它想象成为一台计算机!)．当然我们希望同时拥有它们，我们也许可以欺骗魔
鬼，假装我们出卖灵魂，但不真地给它．不过对我们灵魂的威胁依然存在，这是因为当
我们转入代数计算时，本质上我们会停止思考，停止用几何的观念来考虑问题，不再思
考其含义．
在这里我谈论代数学家的话重了一些，但是基本土，代数的目标总是想建立一个公式
，把它放到一个机器中去，转动一下把手就可以得到答案．也就是拿来一个有意义的东
西，把它化成一个公式，然后... 阅读全帖 |
|
L*****s
发帖数: 6046 | 9 希尔伯特
李文林
(中国科学院数学研究所)
希尔伯特，D．(Hilbert，David)1862年1月23日生于德国柯尼斯堡；1943年2月14
日卒于格丁根．数学．
希尔伯特出身于东普鲁士的一个中产家庭．祖父大卫·菲尔赫哥特·勒贝雷希特·
希尔伯特(David Fürchtegott LeberechtHilbert)和父亲奥托·希尔伯特(Otto
Hilbert)都是法官，祖父还获有“枢密顾问”头衔．母亲玛丽亚·特尔思·埃尔特曼(
Ma-ria Therse Erdtmann)是商人的女儿，颇具哲学、数学和天文学素养．希尔伯特幼
年受到母亲的教育、启蒙，八岁正式上学，入皇家腓特烈预科学校．这是一所有名的私
立学校，E．康德(Kant)曾就读于此．不过该校教育偏重文科，希尔伯特从小喜爱数学
，因此在最后一学期转到了更适合他的威廉预科学校．在那里，希尔伯特的成绩一跃而
上，各门皆优，数学则获最高分“超”．老师在毕业评语中写道：“该生对数学表现出
强烈兴趣，而且理解深刻，他用非常好的方法掌握了老师讲授的内容，并能有把握地、
灵活地应用它们．”
1880年秋，希尔伯特进柯尼斯堡大学攻读数学... 阅读全帖 |
|
M******a
发帖数: 6723 | 10 本文来源：原载于《清华大学学报》2014年第4期
本文转自：澎湃新闻、社会学了没（ID:socialor）、学术写作大讲堂
一流的学术成果
是闲暇的产物
自上个世纪九十年代中期之后，中国的大学发生了跨越式发展，学术研究也获得了来自
国家前所未有的资金投入和资源配置。在大规模投入的情况下，虽然学术研究在数量产
出上获得大丰收，但为什么公认的、有分量的一流成果却与投入严重不成比例？为什么
中国的学术至今无法站在世界的前沿？
学术研究是一项综合性、系统性工程，其中最重要的环节是学术评价体制，如果评价体
制发生了问题，就会诱导研究人员向扭曲的方向发展。在大学学术研究之中，理科、工
科、医科、社会科学和人文学科都有各自的学科内在逻辑，不宜一刀切地实行同一种学
术评价体制。本文仅就我个人比较熟悉的人文学科评价体制改革谈谈我的看法。
1．量化的、外在的、行政主导型评价体制
对于绝大部分中国高校来说，今日的人文学科实行的是一种量化的、外在的、行政主导
型的学术评价体制。
先说量化的。
科学研究在今日之中国高校，被抬高到空前的、过度重要的位置。不说研究型大学，即
便是教学型乃至职业型学校，学校是否优秀，... 阅读全帖 |
|
h*i
发帖数: 3446 | 11 比你说的稍微复杂点，其实过程往往是这样的：
1. 某实际工作者为了解决实际问题，研究出了一个算法，写了个文章，发了，不一定
发在很高大上的地方，这个文章往往没有很多形式化，看上去很不正式。
2. 有人为了解决另一个相关的实际问题，用了这个算法，觉得还挺好用，写了文章来
稍作修改，推广什么的。
3. 计算机行当里面，有这么一种人，其业务就是把一个本来简单的东西形式化，普遍
化，发在他们觉得更高大上的地方。
4.写教科书的人往往会照抄这些人写的形式化，显得自己的教科书很严谨，很有权威性。
5.从头学习的人们就悲剧了，看见了一大堆公式，觉得自己好渺小好无助，这些专家们
都很伟大很权威。
6. 社会和谐了。 |
|
A*******8
发帖数: 1453 | 12 另外我觉得乔姆斯基的形式化更像是逻辑学，当然逻辑学也是数学和计算机算法的基础
，但是基本的逻辑系统和论证方法是学习乔姆斯基语言学的重要的前提。很多中国文科
出来的根本没有西方逻辑学、尤其是形式逻辑的训练，思维方式完全不对，认为形式化
就是用符号加箭头，然后杜撰各种移位条件。其实这样的学生根本没有抓住形式化的神
。不过从逻辑系统的角度来看，句法学的逻辑论证有很多不完备的地方。 |
|
h********r
发帖数: 821 | 13 数学理论很多已经高度形式化了，很多问题的难度来自于形式化，比如很多数学论文光
看懂definition就够费劲的了。当然，也有那种自然的大难题，比如哥德巴赫猜想这种
。但是，数学家和用数学的工作者看问题的角度是完全不一样的，非数学领域的人对于
数学中那些过度形式化的理论往往用不上，这个也就是纯数学离大家很远的原因吧。 |
|
g****t
发帖数: 31659 | 14 你没听说过Jean Leray?
据法国人非形式化数学家,弄出个Serre来.太可笑了.
Jean Leray基本上是应用数学PDE出身的.
但是Bourbaki那么多神仙,没有哪个能说工作的影响超过他的.
1，法国人是形式化的鼻祖，可是却出了一个不形式化的J.P.Serre，呵呵。
2，也不能说老毛子就重几何，他们代数起来也蛮厉害的。
人， |
|
g****t
发帖数: 31659 | 15 你没听说过Jean Leray?
据法国人非形式化数学家,弄出个Serre来.太可笑了.
Jean Leray基本上是应用数学PDE出身的.
但是Bourbaki那么多神仙,没有哪个能说工作的影响超过他的.
1，法国人是形式化的鼻祖，可是却出了一个不形式化的J.P.Serre，呵呵。
2，也不能说老毛子就重几何，他们代数起来也蛮厉害的。
人， |
|
e*******n
发帖数: 4912 | 16 101. 1917年，日本数学家挂谷宗一（Kakeya，S(1886-1947)）提出
一个问题：一位武士上厕所时遭到袭击，他只有一根短棒，为了
挡住射击，短棒应旋转360度（支点可以变化），但厕所很小，
问短棒最少要扫过多大面积？
这个问题引起当时很多人的兴趣，如1925年Birkhoff在他
写的The origin, nature, and influence of relativity
一书中提到“近几年日本数学家挂谷宗一提出的问题，是同样令
人感兴趣的问题”
1928年，苏联数学家Besicovitch，Abram Samoilovitch
（1891-1970）解决了这个问题，答案是可以任意小，1960s
Besicovitch在美国数学会就挂谷问题专门做了期科普电影，
有意思的是中间他打了个喷嚏，Besicovitch觉得很不雅，
坚持要求在录像中把这个镜头剪掉，于是现在人们看到的是
镜头突然转向一边，然后是一声闷响....
102. William James seemed to have what seemed vitally important
ideas in d... 阅读全帖 |
|
m****i
发帖数: 3406 | 17 “我们的目标是要使房价回归到合理的价格。”温家宝总理近日在俄罗斯圣彼得堡就我
国的房地产调控大放狠话。温总理表示，中国的房地产一系列调控措施，决不可能有丝
毫动摇，下调房价是国家坚定的政策。这是近来中国官方对房地产调控最明确亦最强硬
的表态，同时也为此前关于房地产调控是否将放松的争论画上了句号。
这一轮的房地产调控已进行了两年之久，这一个月房价才真正开始出现松动，但是关于
房地产调控放松的传言几乎从未停止，刚过去的10月对调控放松的争论更是到达了高潮
，而关于房地产调控的走向通常是出于对官方表态的揣测和推断。
10 月19日，时任银监会主席的刘明康在CEO组织峰会上讲话时提到，最新的房贷压力测
试结果显示，即使房价下跌40%，我国银行业房地产风险总体可控，这时市场上终于有声
音指此话表明开发商无法挟持银行，暗示开发商无谓再扛，但是很快就有更多的声音指
刘氏之言只为安慰房奴，此言引起的一阵短暂的讨论就过去了。10月27日，住建部部长
姜伟新表示，限购政策是不得已才采取的办法，等住房信息完善后即可取消，并表示支
持全国人大财经委副主任委员吴晓灵提出的更多采取税收的办法，这次没人再把住建部
... 阅读全帖 |
|
c***s
发帖数: 70028 | 18 最近中国式教育搞了两场教育半成品“产品展示会”。
第一场是在广州，一年级小学生在记者采访时童言无忌，说自己的理想是“长大想做贪官”。“长大想做贪官”这几个字不过是中国化的标准化的教育原料或半成品具有“缺乏良知不辨是非”的特点的质量说明书。
第二场中国式教育产品精品展示会则是“熊姐”暴力女生事件，上海虹口区南湖二分校的学生“熊姐”对中国式教育产品现身说法自我展示，女生对另外一个始终不还手的女生左右开弓地施暴长达五分钟之久，在“熊姐”这位施暴的女生旁边有些若无其事说说笑笑的学生在袖手旁观。
这些学生都不过是在中国式教育未完成加工工序的半成品“小人”，这些用“五讲四美三热爱”的中国式教育加工厂中打造的“小人”半成品丧失同情心已经到了令人发指的地步。
不抓自然生态环境教育姑且不论，中国教育具有的中国特色在于空泛的政治思想品德教育，这种教育毫无人文理念，只讲政治，不讲良知，使受教育者只知道形式化的 “五讲四美三热爱”，却根本不知道如何判断日常生活中的是非和好坏。目前我们的“五讲四美三热爱” 形式化的所谓政治思想品德教育实际上是摒弃人性、排斥人文、灭绝良知的政治变态教育。
按理讲，教育首先要培养儿 |
|
c***s
发帖数: 70028 | 19 学生列队迎接老师(圈内) 网友图
9 月11日，重庆天涯等社区几乎同时出现了一则名为《如此谢师简直让人伤不起啊》的帖子，帖中图文并茂地记录了教师节当天，60余名大学生着统一服装，在北碚某餐船上列队迎接老师的事情。教师节要表达对老师的谢意无可厚非，但这样的方式是否适合呢？这样的排场是否太大了？两天来，网友们不断跟帖进行着讨论。
准备4个小时 就为一老师
9 月11日，网友“乱舞苍穹”在大渝社区发帖说，9月10日，他在北碚某餐船上吃午饭时，看到一群年轻人在隔壁包厢里准备东西，“开始以为他们是在举行同学会，因为每个人都穿着海魂衫，看起来像大学生。他们从下午3点开始吹气球，布置舞台，还排练节目，准备得很隆重和热闹……”下午6点左右，这些学生准备完毕，并整齐地在餐船通道上排起队伍，看起像是在迎接某人。接近7点时，一位中年男子来到餐船前，有几个学生立即抱着鲜花跑到男子面前迎接，并喊了声“老师”。
“几十个人列队就是为了等一位老师。”网友感叹说，尊师重教是美德，但将形式弄得这么隆重，是否过了点？
坐满7桌 花费5000余元
昨日下午，记者从发帖网友拍摄的图片中看到，这场宴会的地点在江边的一艘大船上。... 阅读全帖 |
|
o***s
发帖数: 42149 | 20 中山大学。CFP供图
电视相亲节目《非诚勿扰》。资料图片
大学科共1050名考生参加，“电视征婚娱乐节目是否该取消”也是考题之一
昨日，中山大学2013年自主选拔面试在南校区举行，经济管理类、社会科学类、理科基础类、信息科学与工程学科等7大学科共1050名考生共分6场面试进行。
相比往年重视综合素质考核，今年中大的面试题目和形式更注重考察各学科的学术性和专业性，没有出现脑筋急转弯式的“怪题”。不过，考题依旧别出心裁，“北京上海雾霾哪个更重”、“电视征婚节目是否该取消”皆入考题。
新形式
请点评其他考生答题情况
与往年相比，今年中大面试的特色在于重点考察考生的学科特长与创新潜质。中大按照人文学科类、社会科学类、经济管理类、理科基础类、信息科学与工程类、资源环境类、医药类等7个学科大类进行面试，设计了7种不同的面试方案。来自30多个院系、附属医院共计120名专家担任面试考官。
面试时，采用“小组面试”的方式，由5名相关学科大类专家面试7名同学。相比以往重视综合素质考核，今年中山大学在面试题目和形式的设计上，更加侧重考察各学科大类的学术性和专业性，也没有出现脑筋急转弯式的题目。
如人文学科类... 阅读全帖 |
|
y***u
发帖数: 7039 | 21 颤抖吧，我的总统！
帝国枪口下的总统
郭传志
一
常常想起渣滓洞，想起共产党人身上咣铛作响的镣铐。
镣铐无疑是重犯的待遇，郭成林身上的镣铐，让我想起了一种权威，帝国的权威；居然
由此及彼想起萨达姆绞索中锋利的刀锋，穆巴拉克被赶进了铁笼，卡扎菲遭受拳打脚跌
、一枪毙命……帝国的人权总是那样干净利落！
独裁！什么叫独裁？民主？你看，多么玄妙的民主！还有热热闹闹的多党制！为了
什么？为民主而民主，形式化了的选举民主；为多党而多党，形式化了的多党竞技。这
一切难道是为了强国富民？抑或是帝国的需要。对于帝国，这一切其实很明确：不管怎
样，你的民主和你的多党，必须在我的掌控之中，在我资本所能获利的范围之内，在我
资源可以掠夺的状态之中，在我战略布局的视野里。你想国强民富吗？对不起，这不在
我的议事日程，更不能干扰我的既定方针，如果违背了我的意愿，后果严重，卡扎菲就
是榜样！在我这里，民主只不过政治游戏，你最民主，仍是独裁；你最多党，还是专制
；你最公平，依然是暴政，只有帝国的轰炸才是民主与和平的啸声。狼与绵羊的规则有
一个前提，首先是不能让狼饿着... 阅读全帖 |
|
b*****d
发帖数: 61690 | 22 英国《金融时报》12月5日发表了题为《中共新规：收起红地毯》的文章，主要内容如
下：
中国新任领导人没用多少时间，就让人们注意到了他的风格。昨日，中共中央政治
局通过了习近平上任以来的首个重要政策举措。新规要求，在政治局委员到基层调研时
，禁止摆放花草、铺设迎宾地毯，以及要力戒“空话、套话”。这是一系列广泛措施的
一部分，意在反对低效的和形式化的官僚作风。
新规定几乎涵盖官僚生活的方方面面，进一步强化了习近平上月就任中共中央总书
记以来，塑造的一个脚踏实地的人民公仆的形象。
中国政府网站于周二晚间发布了这些规定。规定敦促高级干部少出席宴会和剪彩仪
式，多到困难和矛盾集中、群众意见多的地方去。领导干部必须“提高会议实效，开短
会、讲短话，力戒空话、套话”。必须避免“走过场、搞形式主义”，不张贴悬挂标语
横幅，不发贺信、贺电。
在南海外交紧张局势日益升温之际，习近平决定首先把重点放在改进官员作风上，
这表明，他相信自己面临的最大问题是在国内。
华盛顿智库布鲁金斯学会研究精英政治的学者李成表示，这些规定将有助于提高新
任领导层的声望。他说：“这种脚踏实地的态度以及其中部分禁令，会在中国公众中... 阅读全帖 |
|
e********8
发帖数: 929 | 23 毛泽东时代 怎样依靠人民群众治国
穷乡亲
毛泽东的治国思想和实践，是十分深刻而丰富的，风格是非常显明的。在这里谨举出以
下几点：
1、从实际出发、实事求是，反对法制的形式化
在社会主义社会，法规制度根本的在于为人民群众的生产、生活服务，保障老百姓的权
益，而决不是追求其"形式化"、"制度化"。因而毛泽东时代从不要求法制及其机构的所
谓"健全"和"完善"。－－健全、完善永远是相对的概念。相反却讲求法律、规定的简约
，法律条文精练、简明、通俗易懂，为广大干部群众所接受、所掌握。人们知道，毛泽
东时代的法律、法规的确是很不"健全"的。长期间，公安上主要就一个"治安管理条例"
，农业上就一个"农村人民公社六十条"，工业上有一个"七十条"，而党员、干部除《党
章》外主要就一个《三大纪律八项注意》等。各方面只有一些基本的规定和制度。而法
制机构、司法队伍更是精简，城乡社会看不到多少警察，更没有几个法官。但是，那时
的社会治安坏境、群众的生产生活秩序却称得上是中国历史上较好时期之一。即使在“
文革”动乱时期，偷盗、抢劫、杀人、强奸、诈骗等犯罪现象很少出现；许多社会丑恶
现象和严重危害社会、危害百姓的... 阅读全帖 |
|
J*******3
发帖数: 1651 | 24 毛泽东时代 怎样依靠人民群众治国
穷乡亲
毛泽东的治国思想和实践，是十分深刻而丰富的，风格是非常显明的。在这里谨举出以
下几点：
1、从实际出发、实事求是，反对法制的形式化
在社会主义社会，法规制度根本的在于为人民群众的生产、生活服务，保障老百姓的权
益，而决不是追求其"形式化"、"制度化"。因而毛泽东时代从不要求法制及其机构的所
谓"健全"和"完善"。－－健全、完善永远是相对的概念。相反却讲求法律、规定的简约
，法律条文精练、简明、通俗易懂，为广大干部群众所接受、所掌握。人们知道，毛泽
东时代的法律、法规的确是很不"健全"的。长期间，公安上主要就一个"治安管理条例"
，农业上就一个"农村人民公社六十条"，工业上有一个"七十条"，而党员、干部除《党
章》外主要就一个《三大纪律八项注意》等。各方面只有一些基本的规定和制度。而法
制机构、司法队伍更是精简，城乡社会看不到多少警察，更没有几个法官。但是，那时
的社会治安坏境、群众的生产生活秩序却称得上是中国历史上较好时期之一。即使在“
文革”动乱时期，偷盗、抢劫、杀人、强奸、诈骗等犯罪现象很少出现；许多社会丑恶
现象和严重危害社会、危害百姓的... 阅读全帖 |
|
e********8
发帖数: 929 | 25 毛泽东时代 怎样依靠人民群众治国
穷乡亲
毛泽东的治国思想和实践，是十分深刻而丰富的，风格是非常显明的。在这里谨举出以
下几点：
1、从实际出发、实事求是，反对法制的形式化
在社会主义社会，法规制度根本的在于为人民群众的生产、生活服务，保障老百姓的权
益，而决不是追求其"形式化"、"制度化"。因而毛泽东时代从不要求法制及其机构的所
谓"健全"和"完善"。－－健全、完善永远是相对的概念。相反却讲求法律、规定的简约
，法律条文精练、简明、通俗易懂，为广大干部群众所接受、所掌握。人们知道，毛泽
东时代的法律、法规的确是很不"健全"的。长期间，公安上主要就一个"治安管理条例"
，农业上就一个"农村人民公社六十条"，工业上有一个"七十条"，而党员、干部除《党
章》外主要就一个《三大纪律八项注意》等。各方面只有一些基本的规定和制度。而法
制机构、司法队伍更是精简，城乡社会看不到多少警察，更没有几个法官。但是，那时
的社会治安坏境、群众的生产生活秩序却称得上是中国历史上较好时期之一。即使在“
文革”动乱时期，偷盗、抢劫、杀人、强奸、诈骗等犯罪现象很少出现；许多社会丑恶
现象和严重危害社会、危害百姓的... 阅读全帖 |
|
c*****g
发帖数: 21627 | 26 【 以下文字转载自 IndustryParty 俱乐部 】
发信人: choming (请抵制“十万强插”计划！), 信区: IndustryParty
标 题: 铁道部被撤三年，综合交通运输体系构建如何？
发信站: BBS 未名空间站 (Mon Jun 8 03:58:49 2015, 美东)
铁道部被撤三年，综合交通运输体系构建如何？
解筱文
3年前，国务院机构改革和职能转变后，所谓计划体制的最后一个“堡垒”——铁道部
被撤。
当时可谓是一个艰难的决定。改革的方式：“将铁道部拟订铁路发展规划和政策的行政
职责划入交通运输部。交通运输部统筹规划铁路、公路、水路、民航发展，加快推进综
合交通运输体系建设。组建国家铁路局，由交通运输部管理，组建中国铁路总公司。”
其理由：“为推动铁路建设和运营健康可持续发展，保障铁路运营秩序和安全，充分发
挥各种交通运输方式的整体优势和组合效率，有必要实行铁路政企分开，加快推进综合
交通运输体系建设。”
仔细分析改革路径，很显然是指向“加快推进综合交通运输体系建设”。综合运输体系
是指各种运输方式在社会化的运输范围内和统一的运输过程中，按其技术经济特... 阅读全帖 |
|
g**1
发帖数: 10330 | 27 任正非:要有过苦日子的准备 放弃一部分平庸的员工
2019-01-20 13:07:16 来源: 中国人民大学商学院高管培训 举报
18026
易信
微信
QQ空间
微博
更多
（原标题：任正非连发两封内部电邮讲话：准备过苦日子，不增值的管理都让它消亡）
任正非:要有过苦日子的准备 放弃一部分平庸的员工
2019年1月18日，任正非连续签署新年006号、007号总裁办电子邮件，对当前环境下，
华为人力资源战略重心工作进行了规划，为持续激活组织将加大自我改革和队伍“换血
”力度，甚至不惜放弃部分平庸员工，降下人力成本，一切向“作战”靠拢，努力让所
有形式主义的不增值管理都消亡。
任正非:要有过苦日子的准备 放弃一部分平庸的员工
过去公司人力资源对标功能组织建设，逐渐脱离作战系统，建立了自我封闭体系，成了
落后于业务发展需要的体系。
人力资源是主战部队的助手，作战需要资源，人力资源要对资源负责任。
什么是“资源”？
就是优秀的员工（各级骨干+英雄+领袖），以及合理的作战队形。
所以，人力资源体系一定要改革，HR要注重绩效管理、组织激活、领袖选拔、英雄评选
，其他事务性工作（如签证、人事……... 阅读全帖 |
|
发帖数: 1 | 28 任正非签发6号电邮：不能让南郭先生掌权！
2019年01月21日01:16:39 [科技新闻]
编者按：2018年10月26日，华为总裁任正非在内部个人绩效管理优化工作汇报会上发表
讲话。在讲话中，任正非对人力“资源”做出了一个华为式的定义，“什么是‘资源’
？就是优秀的员工（各级骨干+英雄+领袖），以及合理的作战队形。”Mitbbs.com
任正非认为，由于人力资源对标功能组织建设，逐渐脱离了作战系统，建立的是自我封
闭体系，成了落后于业务发展需要的体系。为此要求人力资源要坚持三个管理方针，即
坚定正确的政策方向、稳定适用的人力资源考核模版为基础的应用、灵活机动的战略战
术（一国一策、一品一策……的考核评价机制，以及环境突变的临时考核机制）。
Mitbbs.com
任正非要求人力资源管理从以下四个方面作出改变，向“作战”靠拢，消除一切形式主
义：Mitbbs.com
首先要集中精力解决绩效考核的合理性和规则性，在规则一定的基础上，学习微软总裁
萨提亚提出的三个命题，以形成一定的绩效评价灵活性，即我如何利用公司已有成果提
升个人或团队工作效率？自己做了什么？帮助别人或团队做了什么？Mi... 阅读全帖 |
|
m**********t
发帖数: 385 | 29 国家可信嵌入式软件工程技术研究中心是由科技部批准，华东师范大学直属建制的
国家级研究基地。该中心围绕国家科技发展战略与产业振兴规划的需求，充分利用合作
单位及长三角区域高新技术产业等国内行业现有资源和优势条件，实行优势互补、互惠
互利、共同发展，逐步发展成为具有国际领先水平的可信嵌入式技术创新体系、工程化
研究与产业化研发平台。现与中国汽车电子基础软件产业联盟、中国自主可控计算平台
产业联盟（14所、54所、29所）、上海电气集团股份有限公司、上海申通地铁集团有限
公司、上海贝尔股份有限公司、航天五院等20余家知名企业开展了紧密合作。因研发工
作的需要，现常年面向海内外招聘工程技术人员，具体要求如下：
一、 岗位描述：开发模型验证与检测工具，开展形式化验证/嵌入式系统验证相关
研究；
二、 岗位要求：
1、 在形式化验证、C / C+ + 程序分析的自动化测试等研究领域获得博士学位
2、 有丰富的C/C++ 程序开发经验以及工具驱动开发经验；
3、 有较强的团队合作精神
三、 应聘方式：
请有意者将简历投递至r***[email protected]... 阅读全帖 |
|
m**********t
发帖数: 385 | 30 国家可信嵌入式软件工程技术研究中心是由科技部批准，华东师范大学直属建制的
国家级研究基地。该中心围绕国家科技发展战略与产业振兴规划的需求，充分利用合作
单位及长三角区域高新技术产业等国内行业现有资源和优势条件，实行优势互补、互惠
互利、共同发展，逐步发展成为具有国际领先水平的可信嵌入式技术创新体系、工程化
研究与产业化研发平台。现与中国汽车电子基础软件产业联盟、中国自主可控计算平台
产业联盟（14所、54所、29所）、上海电气集团股份有限公司、上海申通地铁集团有限
公司、上海贝尔股份有限公司、航天五院等20余家知名企业开展了紧密合作。因研发工
作的需要，现常年面向海内外招聘工程技术人员，具体要求如下：
一、 岗位描述：开发模型验证与检测工具，开展形式化验证/嵌入式系统验证相关
研究；
二、 岗位要求：
1、 在形式化验证、C / C+ + 程序分析的自动化测试等研究领域获得博士学位
2、 有丰富的C/C++ 程序开发经验以及工具驱动开发经验；
3、 有较强的团队合作精神
三、 应聘方式：
请有意者将简历投递至r***[email protected]... 阅读全帖 |
|
h********r
发帖数: 821 | 31 我不同意这一点。聪明有很多方面，数理推导也只是其中的一方面。物理、化学生物地
学等自然科学都研究现实世界中存在的真实问题，这些问题本质上可能比高度形式化的
数学问题更复杂得多。
数学方法并不能直接解决现实问题，而是我们对现实情况了解得比较清楚了，数学方法
才能派上用场。
年轻的时候也觉得越形式化的东西越牛，现在发现其中也有很多自己设计游戏规则自己
玩的成分。
中国文人喜欢说诗是别才，我觉得数学也是一种别才，而不是全才。 |
|
S***n
发帖数: 2932 | 32 没征过，征一下。不懂规矩，请关照。
没有活过很多年，短短二十几年。也没读过几本书，这个连大概数字我都估计不出。一
方面没有条件
总结喜好，也没有真的发展出什么喜好。一方面也还不想长大，不想定型到可以说我最
喜欢的或者不
喜欢的。最后，我大概天性淡薄（不是淡泊），有什么书值得特别喜欢或不喜欢?至多
读或不读。
不幸投身做人，来到人间，很多不称意：可以辟色、辟言，我虽然也想辟世，但是终归
吃不消“岩上
眠”，只能苟且。但是碰到不合意的书要“辟”就太容易le，已经这么多不喜欢，书单
纯拿来寻开心就
好。
但换个提法，如果在我所剩时间中只能有三本书为伴，我倒是能立即报出芳名：第一
诗经，第二 古
今数学思想， 第三 文选。
1 诗经
很长时间内，我都完全无法理解诗。在我童年的心中诗和谜语，期盘游戏是类似的我不
理解的游戏。
我不仅没有解迷，下棋的strategy，甚至连这个游戏的规则都无从窥测，完全摸不着头
脑。大概我
理解力有限，之能局限在因果关系等等线性事件中。
继承王安石不求甚解，一朝不能领会诗的妙处，我也不觉可惜。我相信终有一天我能重
新穿过大理
石，看出其中被缚的灵魂（如果雕塑家的工... 阅读全帖 |
|
j******n
发帖数: 21641 | 33 一．无题诗与唯美
唐朝诗人李商隐做过十几首无题诗，大多晦涩难解，千百年来众说纷纭，褒贬不一。李
商隐为何独出心裁，以无题为标题？通常的说法是作者有难言之隐。比如高阳先生就认
为：“义山‘无题’，十九有本事，以难于著题而从阙”（《锦瑟详解》）。为何难于
著题？无非是诗的内容涉及党争或男女私情，不便明言。问题是有类似遭遇的古代诗人
不在少数，并没有谁像李商隐那样写出那么多晦涩难解的诗。如果仅是因为有难言之隐
，那么随便给一首诗冠以春望秋思、昼咏夜叹之类的题目，并不会使作品更容易明白。
事实上，无题诗中有些是比较浅显的，而一些有标题的诗，其主题深隐玄奥，比无题诗
有过之而无不及。因此人们提起无题诗，只是个笼统说法。清朝学者纪昀曾将李商隐的
无题诗分为五类：确有寄托者；戏为艳体者；实有本事者；失去本题而后人题曰无题者
；与无题诗相连、失去本题、偶合为一者。他指出：对这些诗“宜分别观之，不必概为
穿凿。其摘诗中二字为题者，亦无题之类，亦有此数种。”纪晓岚的说法有道理，如《
锦瑟》、《为有》、《碧城》、《哀筝》、《瑶池》、《昨日》、《玉山》等，都是取
诗中二字作为标题，并无提示作品内容的作用。还有... 阅读全帖 |
|
x*******a
发帖数: 11067 | 34 二“当局者迷，旁观者清”
艺术和实际人生的距离
有几件事实我觉得很有趣味，不知道你有同感没有了
我的寓所后面有一条小河通莱茵河。我在晚间常到那里散步一次，走成了习惯，总
是沿东岸去，过桥沿西岸回来。走东岸时我觉得西岸的景物比东岸的美；走西岸时适得
其反，东岸的景物又比西岸的美。对岸的草木房屋固然比较这边的美，但是它们又不如
河里的倒影。同是一棵树，看它的正身本极平凡，看它的倒影却带有几分另一世界的色
彩。我平时又欢喜看烟雾朦胧的远树，大雪笼盖的世界和更深夜静的月景。本来是习见
不以为奇的东西，让雾、雪、月盖上一层白纱，便见得很美丽。
北方人初看到西湖，平原人初看到峨嵋，虽然审美力薄弱的村夫，也惊讶它们的奇
景；但在生长在西湖或峨嵋的人除了以居近名胜自豪以外，心里往往觉得西湖和峨嵋实
在也不过如此。新奇的地方都比熟悉的地方美，东方人初到西方，或是西方人初到东方
，都往往觉得面前景物件件值得玩味。本地人自以为不合时尚的服装和举动，在外方人
看，却往往有一种美的意味。
古董癖也是很奇怪的。一个周朝的铜鼎或是一个汉朝的瓦瓶在当时也不过是盛酒盛
肉的日常用具，在现在却变成很稀有的艺术品。固然有些... 阅读全帖 |
|
J*******3
发帖数: 1651 | 35 毛泽东时代 怎样依靠人民群众治国
毛泽东的治国思想和实践，是十分深刻而丰富的，风格是非常显明的。在这里谨举出以
下几点：
1、从实际出发、实事求是，反对法制的形式化
在社会主义社会，法规制度根本的在于为人民群众的生产、生活服务，保障老百姓的权
益，而决不是追求其"形式化"、"制度化"。因而毛泽东时代从不要求法制及其机构的所
谓"健全"和"完善"。－－健全、完善永远是相对的概念。相反却讲求法律、规定的简约
，法律条文精练、简明、通俗易懂，为广大干部群众所接受、所掌握。人们知道，毛泽
东时代的法律、法规的确是很不"健全"的。长期间，公安上主要就一个"治安管理条例"
，农业上就一个"农村人民公社六十条"，工业上有一个"七十条"，而党员、干部除《党
章》外主要就一个《三大纪律八项注意》等。各方面只有一些基本的规定和制度。而法
制机构、司法队伍更是精简，城乡社会看不到多少警察，更没有几个法官。但是，那时
的社会治安坏境、群众的生产生活秩序却称得上是中国历史上较好时期之一。即使在“
文革”动乱时期，偷盗、抢劫、杀人、强奸、诈骗等犯罪现象很少出现；许多社会丑恶
现象和严重危害社会、危害百姓的犯罪现象... 阅读全帖 |
|
W*******n
发帖数: 4140 | 36 【 以下文字转载自 Military 讨论区 】
发信人: esprit5188 (Jen), 信区: Military
标 题: Re: 一句话－老毛不懂治国
发信站: BBS 未名空间站 (Fri Apr 10 13:17:26 2015, 美东)
毛泽东时代 怎样依靠人民群众治国
穷乡亲
毛泽东的治国思想和实践，是十分深刻而丰富的，风格是非常显明的。在这里谨举出以
下几点：
1、从实际出发、实事求是，反对法制的形式化
在社会主义社会，法规制度根本的在于为人民群众的生产、生活服务，保障老百姓的权
益，而决不是追求其"形式化"、"制度化"。因而毛泽东时代从不要求法制及其机构的所
谓"健全"和"完善"。－－健全、完善永远是相对的概念。相反却讲求法律、规定的简约
，法律条文精练、简明、通俗易懂，为广大干部群众所接受、所掌握。人们知道，毛泽
东时代的法律、法规的确是很不"健全"的。长期间，公安上主要就一个"治安管理条例"
，农业上就一个"农村人民公社六十条"，工业上有一个"七十条"，而党员、干部除《党
章》外主要就一个《三大纪律八项注意》等。各方面只有一些基本的规定和制度。而法
制机构、... 阅读全帖 |
|
r*********e
发帖数: 29495 | 37 初 中时,上课爱下点五子棋,不幸有天被老师给逮住了,晚上放学后给叫去了办室,一大群
的老师无事可做来围到我们两个,叫我们一直下棋,说下到他们满意为止, 结果一盘都没
下完,教导主任和副校长就吵开了,一个叫我走这步,一个叫我同鞋走那步,结果直接对我
们说:没你们的事了,你们走开……………那两家伙就干上 了…
中午在某餐馆吃饭，吃得正爽之时，隔桌一男女不知为何便吵了起来，只见那女人拿起
一杯茶泼到那男人裆处上，这不是高潮，高潮是那男的拉开那女的衣领口把一碟菜倒了
进去！！
话说作为小盆友最期待的自然就是放假喽。记得三年级暑假放假前几天学校发了暑期作
业，同桌是个老实到有点憨的小男生！作业到手后就开始拼命写，幻想着先苦 后甜种种
。某天中午早早的到教室，翻出了他的作业，这厮就要做完了，满满的！心里顿时羡慕
嫉妒恨呐！灵光一闪，抱出橡皮从第一页开始擦，擦得满头大汗气喘 吁吁汗流浃背……
直到……直到身后传来杀猪般的怒吼！……我至今仍然记得那种决绝，无望的目光……
一好哥们，家境相当不错，所以尽管大学毕 业，基本家务几乎不会。一日看他人人网状
态：“蛋炒饭是先放蛋还是先放饭？”，下面很快就有很多... 阅读全帖 |
|
l*****y
发帖数: 9433 | 38 感觉这个点子就好像为了吃猪，辛苦自己养头猪，
然后我觉得哈，如果你太太想要得是你形式化的受洗信教， 那么你形式化的受洗信教
又能伤害得了什么
呢？ |
|
C****i
发帖数: 1776 | 39 假信徒的一些基本特征
约瑟艾岚
魔鬼有许多归正的膺品，而且用不同的膺品来欺骗不同的人。魔鬼的诡计十分奸诈，他
的技巧好到“倘若能行，连选民也被迷惑了”。我现在要澄清一个严重的误解，那就是
自己以为已经归正，却仍未归正。我想今天有许多人心里仍是自夸，认为一切都平安无
事，因为罪不能定在他们身上。但我必须告诉你，有另一种未成圣的人，他们比较隐密
的带着印记。他们常自欺欺人，被认为是“好基督徒”，但他们却仍未归正。许多人没
有被发现，直到死亡的审判将一切显明。这些自欺之人，甚至敢带着他们进天国的自信
到了天堂的门口，到最后却被拒绝了。我劝你深入的思考，反覆思想这令人警醒的事实
：那就是千万人因为隐密的罪而灭亡了。
以下是一些隐密的罪，千万人因为这些罪要入永死的地牢。这些罪你必须仔细寻找，如
果你找到了，可以把它们视为没有救恩和仍未归正的证据。既然你爱自己的生命，你就
要很谨慎和警醒的看，免得你自己就是这样的人。
既自我中心且任意无知
许多可怜的人认为他们有善良的心，行走在天国的道路上，但这罪却在暗中杀了他们。
这是谋杀千万人的凶手，在他们没有想到，也看不到毁坏他们的时候，这个罪就沉默的
杀... 阅读全帖 |
|
Z*****e
发帖数: 1629 | 40 你说的儒家形式化的虚伪是什么？
儒家是传承真理、顺带着有些形式化的虚伪。 |
|
n********n
发帖数: 8336 | 41 来自主题: TrustInJesus版 - 《约伯记》 对话
现在我们来读约伯记的主体。这是一段以诗体写成的对话或辩论，而它的发展是以
戏剧形式推广开去，一幕接着一幕地引至高潮——神的宣告，全书重要的发言人有六位
——约伯、他的三个朋友、一个叫以利户的年轻人和神。
整个问题的中心是：约伯为什么受苦？约伯的问题自然也是他代表整个人类的问题
。他三个朋友各代表三种不同的看法，其结论都是非常难令人满意的；就在这死结中，
年轻的以利户发言了，他指出一个被人忽略的重要问题，但仍然没有解释到问题的中心
；最后神发言了，他把整个辩论带到一个庄严也是出人意表的结论。
我们若要欣赏到这本古典诗剧的精髓，就要特别留意下面两点：第一、我们一定要
捉摸到整个辩论的特殊意义。第二、我们也要留意约伯在整个辩论过程中慢慢了悟的发
展。到底什么是这个辩论的特殊意义？要了解这个，不是看约伯的辩词，而是要看其他
人的言论及他们之观点。
我们先看约伯三个朋友的辩词，他们就是提幔人以利法、书亚人比勒达，和拿玛人
琐法。他们各按次序，先后发言；其次序就是我们上面所列的，这可能是按年纪而定，
但无论怎样，他们均是年纪很大的了(参三十二6)。他们都是从老远赶来，特为要安慰
他的(二11... 阅读全帖 |
|
j*******7
发帖数: 6300 | 42 http://news.edzx.com/jianzhengqu/2015-10-10/17348.html
超越宗教：从信教进入信主
来源：信仰的力量 作者：蔡选青
您好!我自己也是从大陆来美国后信主的(1987年)，信主后也曾有过与您相同的困
惑。您在信中很尖锐地提出二个重要问题∶一个是基督教中“人”的问题;另一个是有
关“罪”的问题。我没有读过神学，也不是牧师或传道人，属灵生命也很幼小。所以下
面的话不能算是一个答复，只是个人的分享。
一、超越宗教，见主耶稣
基督信仰与宗教一个最大也是最根本的区别就是∶我们不是信一套基督教的宗教教
义和形式，而是得到一个属天的新生命。当年的共产主义就其理论和理想来说，美好崇
高，许多道理并不逊于基督教的某些教义。但这毕竟只是一种知识，一套道理，根本不
能也无权赐给我们生命，充其量只能改变我们一些思想和行为。
从主耶稣来到这世界上一直至今，这个从天而来的新生命一直就与人的宗教传统发
生冲突。所以说，一个重生的生命者与宗教传统完全合拍，那倒是一个不太正常的现象。
我们信主后，不管我们愿意不愿意，都不知不觉地涉入了宗教。我们被教导如何做
一个基督徒，... 阅读全帖 |
|
s*******1
发帖数: 191 | 43 http://blog.sina.com.cn/s/blog_a5c2e0f901017z3t.html
今天看电视，新闻中播出了北京什刹海因放生上百斤鲶鱼死亡的新闻。
http://news.cntv.cn/china/20120904/106092.shtml
放生本是一件功德无量的事情，但是人们过度地追求人间福报而把放生演变成了罪恶！
不是么？
我也放过生，熟悉放生的程序：
首先要提前和鸟店或鱼店联系，因为他们不一定有足够的数量或斤数，尤其在二月十九
、六月十九、九月十九观音日时特别紧张。
其次，如果购买数量比较大，在一手交钱一手交货时最好请店主送到放生现场。
再其次，要把鸟笼子等用具送还店主。
我和一个放生的鸟店很熟悉，店主的电话我曾经保留了一年，后来不放了，就删除了。
每到佛菩萨的节日，他都给我打电话，为了数量或价格联络不停。
一次，我直接找到这个店主他要几百只鸟，他竟说“没有”。
一个这么大的店，几百只鸟没有，真的很难让人相信。又过了几天，他还说没有。我就
迫不及待地上门去实地查看。
哦，果真没有！
没有的原因是那位捕鸟人骑摩托车去捕鸟，回来的途中撞车了，他的腿被撞骨折，撞... 阅读全帖 |
|
s*********b
发帖数: 815 | 44 形式化方法研究的这些东西对工业界有推动么？搞这个就那么几个人。简单的东西用逻辑
，自动机，或者抽象代数一表达就变得复杂无比。还没几个人关心具体的实现。好多人证
明出个算法复杂度就高兴了。最多做个prototype出来，能处理最简单的几个例子，就满
足了。还有人喜欢去形式化人们早就解决了的问题。比如说CommUnity这个语言，实现的
难道不是人们40年前就知道答案的东西么？偏偏这个玩具还搞出几篇巨复杂的论文，充满
了范畴论和逻辑方面的公式。我怀疑自己根本就没有入门。哪位行行好开导一下偶啊？
顺便抱怨一下搞FM的灌水风格。尤其是那些个欧洲人，写的都是什么呀。最变态的是同一
页同一段居然用同一个符号表示不同的意思。比如LNCS2500第9章，真的不是什么高难的
东西，但那样一写有几个程序员能看懂啊？偶就不明白，把例子写详细点，或者多用点英
语解释一下那些变来变去的符号要死人呀？ |
|
h*i
发帖数: 3446 | 45 我其实也是这个观点。知识和推理是难点，也就是所谓传统AI搞的东东。传统AI失败的
原因其实就是两点：一个是计算力不行，第二就是没有解放思想。
解决计算力问题是个时间问题，迟早可以解决。
第二个问题是更大的问题，那就是传统AI都是些学院派在搞，或者是学院派训练出的人
在工业界混。学院派有如下问题：a.动机不对。目的是发文章混事，有文章发，东西灵
不灵其实关系不大。b.追求形式化，这也是发文章的要求带来的。必须要形式化，这种
那种公理系统，把自己框住了。
尼玛这逻辑那逻辑的，其实不就是图搜索么？用现在的硬件，单机几十亿级别的图节点
搜索都可以实时搞定。我个人预测在5年之内知识和推理问题会有突破，用的就是暴力
搜索。这方面有兴趣的同学，愿意合作的PM我。 |
|
n******7
发帖数: 12463 | 46 这个说的太对了
我这几年非常想做一些灵的东西
但是屁股决定脑袋
最高优先级是发文章
做一个东西，其实用一开始可以想到的，最简单直接方法
搞几个星期就可以work了
但是不行，不够fancy，不够复杂，发不了文章
后来也够复杂fancy了，结果也还不错，但是有些事情的做法有些怪
可能因为我原来杀老鼠的缘故，对这方面通常的条条框框没啥感觉
又折腾了好久，改得符合reviewer能接受的惯例，结果其实还变差了
感觉折腾下，8０％的精力都花怎么让文章能发出去上去了
而不是更好的解决这个問題
第二个问题是更大的问题，那就是传统AI都是些学院派在搞，或者是学院派训练出的人
在工业界混。学院派有如下问题：a.动机不对。目的是发文章混事，有文章发，东西灵
不灵其实关系不大。b.追求形式化，这也是发文章的要求带来的。必须要形式化，这种
那种公理系统，把自己框住了。 |
|
l*******s
发帖数: 1258 | 47 能否将语义形式化，这个问题存疑。从蒙塔古那会就想把这玩意给形式化了，但是语义
真的是一个图
灵机问题吗，甚至进一步图灵机可停机问题，NP等。
语音和句法的映射，有时候并没有必要作这一步。其实我一直怀疑句法存在的必要性和
真实性。
至于语言的机器化，我也同意要以语言学为基础，但是目前一大难题就是关于知识库的
问题，很难搞
到一个knowledge base。 |
|
l*******s
发帖数: 1258 | 48 能否将语义形式化，这个问题存疑。从蒙塔古那会就想把这玩意给形式化了，但是语义
真的是一个图
灵机问题吗，甚至进一步图灵机可停机问题，NP等。
语音和句法的映射，有时候并没有必要作这一步。其实我一直怀疑句法存在的必要性和
真实性。
至于语言的机器化，我也同意要以语言学为基础，但是目前一大难题就是关于知识库的
问题，很难搞
到一个knowledge base。 |
|
d*******o
发帖数: 3 | 49 谢谢daigaku的热心回应。确实我的问题很大。你说的美国的语言学基本就是“形式化
学”我不太明白，你的意思在美国基本上就是围绕乔的生成语法对吗？而这种途径实质
上把语言学当作生物科学进行研究，不知道我说的对否？希望你能进一步说明“形式化
学”的意思，谢谢！
至于我的研究目的，第一是想探究汉语语法，进而促进对外汉语教学。我的了解也许有
限，汉语的语法至今很不成熟，在教外国人汉语的时候，很多语法现象无法解释清楚。
另外，不知道是否赞同语法研究仍然是语言学研究的核心？ |
|
d*****u
发帖数: 17243 | 50 要成为hard science必须要形式化（formalize）
生物科学形式化以后就变成了生物信息学加上实验 |
|
