t******l
发帖数: 10908 | 1 vast majority vs outliers。请问 dyslexia 的发病率是多少？
对于具体统计问题而言，看具体问题，不一定需要数字，估算就可以。
就好比具体数理逻辑，看具体问题，不一定需要数字，逻辑先证明/出错了就
不需要数字了。
凡事数学/统计问题，不分青红皂白必然要精确数字的。出门，左转，柜台珠算
三八红旗手大赛。谢谢。 |
|
t******l
发帖数: 10908 | 2 我初中就写 BASIC code，用 Apple II。。。当然是破格跟高中生一起上兴趣小组。
现在初中不学写 code 而学 AMC，纯粹是 coding 本身自动化，外加学 coding 的门槛
显著降低，导致没有必要初中就往蓝翔技校的方向一路直奔。
另一方面，现在的 AMC / AIME 里显著增加了离散数学内容，因为数理逻辑是非蓝翔型
coding 的基础。
：以前上大学才有机会学习写code
：现在小学生初中生，谁都能写着玩儿 |
|
t******l
发帖数: 10908 | 3 哥们我真心觉得 “屁股决定脑袋” 虽然不高尚，但是不仅实在，而且该自由也被
尊重。
但是哥们你加入过 AIME-level 的数学题讨论哪怕就一次没有？却打着数学题的
幌子出个神马英文文学题？。。。虽然确实有技术移民因为各种各样的理由支持
AA 或支持民主党。。。但至少人肉代数计算器都歇菜的非技术移民，能不能不要
试图用数学/数理逻辑/科学理论来试图说服技术移民去支持 AA 或支持民主党。。。
这也太丢人了不是？。。。当然问题确实是自己看不见（pushy mama faulty
memory）。。。 |
|
|
t******l
发帖数: 10908 | 5 现实的说，schizophrenia 没的根治。推而广之, delusion 以及 false belief 也没
的根治。
这个问题是，我们大脑的 verbal reasoning on belief（或者数学的说，epistemic
modal logic），仅仅靠其本身无法区分 reality vs delusion。
关于这个不需要复杂的数理逻辑，简单的说就是 epistemic modal logic 常常导致
possible world model，而 resolve possible world model 需要其他的东东(beyond
epistemic modal logic)。。。而有争议的说，schizophrenia 的 delusion，可能就
是 schizophrenia 在 perceive another possible world, which is not real。
http://en.wikipedia.org/wiki/Epistemic_modal_logic#Problems_with_the_possible_world_model... 阅读全帖 |
|
x*****i
发帖数: 1329 | 6 这所只存在8年的大学，何以成为中国教育史上的珠穆朗玛峰
链接里有图
http://business.sohu.com/20160920/n468811315.shtml
**
很多专家都说过这样一句话：西南联大是世界教育史上的奇迹！
这所只存在了8年的“最穷大学”，却被誉为“中国教育史上的珠穆朗玛峰”。
8年时间，西南联大虽然只毕业了3882名学生，但走出了2位诺贝尔奖获得者、4位
国家最高科学技术奖获得者、8位两弹一星功勋奖章获得者、171位两院院士及100多位
人文大师。
2016年，中国启动了大学“双一流”建设：到本世纪中叶，一流大学和一流学科的
数量和实力，双双进入世界前列。
实现“双一流”目标，很难，不妨向西南联大取取经。
联大长征
1937年8月28日，本是个平常日子，
但因为一封公函而成了中国教育史上的一个特别日子。
这一天，北大、清华、南开三校校长，
接到了来自国民政府教育部的公函。
公函要求：三校南迁长沙，联合组建长沙临时大学。
一个多月前，“七七事变”爆发，
硝烟弥漫的北方，已容不下一张安静的课桌。
11月1日，长沙临时大学开学。
但课桌未稳，部分教授和学生还没到来... 阅读全帖 |
|
t******l
发帖数: 10908 | 7 或者从严格四年级以上的数理逻辑的角度，我个人的看法：
（1）人畜无害的政治不正确言论，受联邦宪法第一修正案的保护。
（2）联邦/州政府如果要出台基于种族的制度性歧视（race-based discriminational/
preferential policy），要在 strict scrutiny 的审视标准下，能通过联邦宪法第
14 修正案 equal protection clause 的检验。
而从伦理的理念上，我们要一个相对自由的言论环境批评政策，来建立相对衡平的制度
政策。。。而不是反过来，用欲盖弥彰的所谓 “政治正确的言论”，来掩盖政府政策
的错误。
：我只是把几件事情放在一起，绝对没有fight的意思。 |
|
f*****g
发帖数: 9098 | 8 偶也认识个海龟的
本科top2
来美国读了最冷门的数理逻辑
搞了n多台湾mm
毕业海龟北京
从事教育产业
钞票大大的 |
|
f*****g
发帖数: 9098 | 9 偶也认识个海龟的
本科top2
来美国读了最冷门的数理逻辑
搞了n多台湾mm
毕业海龟北京
从事教育产业
钞票大大的 |
|
g*****i
发帖数: 9630 | 10 1的难度要大于2.我认识很多从过来直接过来找到工作的;而像1的情况,跟配偶出国,出
来读个MBA再找到合适工作的比例远远小于2的情况.主要是读MBA除了钱,没啥门槛,本地
人读MBA的也很多,就业基本上跟本地人竞争,很少有雇主会愿意聘用外国人,只是有个学
历的
MBA做管理/市场的,对本土情况了解绝不是读个MBA就能弥补的.
实在愿意读MBA,也可以找到工作后,读个在职的MBA.再有就是读个金融工程之类的,中国人
数理逻辑好,这个行业比较有竞争优势,工作好找,而且比MBA速度快,又省钱. |
|
f******d
发帖数: 6361 | 11 文艺复兴科技公司 2010-05-28 15:25:17| 分类： 投资理财 | 标签： |字号大中
小 订阅 .
2005年，西蒙斯成为全球收入最高的对冲基金经理，净赚15亿美元，差不
多是索罗斯的两倍；从1988年开始，他所掌管的大奖章基金年均回报率高达34％，15年
来资产从未减少过。
西蒙斯几乎从不雇用华尔街的分析师，他的文艺复兴科技公司里坐满了数学和自然
科学的博士。用数学模型捕捉市场机会，由电脑作出交易决策，是这位超级投资者成功
的秘诀。
“人们一直都在问我，你赚钱的秘密是什么？”几乎每次接受记者采访时，詹姆斯
西蒙斯(James Simons)总会说到这句话，他似乎已经习惯了那些渴望的眼神。事实上，
在对冲基金的世界里，那应该是每个人都想要了解的秘密。
68岁的西蒙斯满头银发，喜欢穿颜色雅致的衬衫，光脚随意地蹬一双loafers牌休
闲鞋。虽然已经成为《机构投资者》杂志年度最赚钱的基金经理，但还是有很多人不知
道他到底是谁。西蒙斯曾经和华裔科学家陈省身共同创立了著名的Chern-Simons定律，
也曾经获得过全美数学界的最高荣誉。在充满了传奇... 阅读全帖 |
|
Q*****T
发帖数: 558 | 12 不觉得。他可能有自己的edge，不亏钱。但他坚信和鼓吹的炒股必输论和不可知论，暴
露了他自己也没什么必杀技。看他发言应该是工科背景的，数理逻辑什么都还行，可惜
有点走歪了的样子。
股市里真正能赚钱的，不能说全部，但很多都是很简单的东西。看起来深不可测的，要
么是故弄玄虚搅人视听要么是自己就还没弄明白呢。
我的发言对事不对人，我其实还蛮喜欢看guvest发言的，对guvest这个id也完全没有任
何负面想法，只是对他的发言看法的一些个人评价。 |
|
g****t
发帖数: 31659 | 13 个人浅见：
(1)
阿基米德和祖冲之不知道如何解决无穷累加的收敛问题。
牛顿和莱布尼兹知道在很多种情况下怎么做。他们的办法就是比较一个累加和
已知收敛的级数的累加。最基本的累加收敛级数是比例小于1的等比级数。
简单的例如说，0.3333...=1/3,把这条当作公理，然后可以建立很多别的计算过程的
收敛性。
(2)
祖冲之和阿基米德不知道微积分基本定理。也就是说一个定积分的导数，等于这个
定积分的积分函数在边界的值。
炒股的话，就好比说你的累计收益的变化率，等于某个
股票当日的价格。
(3)
按我多年前的印象。当今数学并没有完美的基础。ZFC公理系统可能是不一致的。
也就是说，可能存在一个命题，ZFC能证明其正确。
ZFC也能证明这个命题的非的正确。
(证明的意思是，写出一个合乎语法的有限长的逻辑链，这个链的末端是你要
证明的命题。)
所以目前的情况，数学的严谨和有效性是经验保持的。不完全是数理逻辑证明了的。 |
|
m*********h
发帖数: 5449 | 14 股版我想follow的人不多，几年前你在股版一发言我就知道你的灵性和数理逻辑过硬。
几年下来确实没看错。 |
|
x***n
发帖数: 2658 | 15 同感。他看事情的角度很高，而且独特。基本每次都让我有豁然贯通的感觉。正规军里
面的翘首
: 股版我想follow的人不多，几年前你在股版一发言我就知道你的灵性和数理逻辑
过硬。
: 几年下来确实没看错。
|
|
m******u
发帖数: 12400 | 16 【 以下文字转载自 Military 讨论区 】
发信人: overlap (过火地), 信区: Military
标 题: 任正非的确非常牛逼
发信站: BBS 未名空间站 (Thu Apr 26 11:59:54 2018, 美东)
当年的巨大中华（巨龙，大唐，中兴，华为）现在也只有华为一直能笑傲江湖，原因有
很多，其中任正非起了非常大的作用。不管你是否认可华为的企业文化，华为一直在突
破自我，挑战极限。任正非的讲话非常坦率与实在，而且富有洞察力。在这个全民反思
为什么缺芯的时刻，非常值得回看一下2012实验室讲话，你会更加佩服他的魄力与睿智。
另外，请注意这个讲话是以Q&A形式出现的，完全没有稿子，都是直接思路最真实的反
应。
文章很长，请耐心读完，你会有收获的。
任正非与华为2012实验室座谈会纪要
2012年7月2日下午，任总与2012实验室干部与专家座谈，部分董事会成员、公司各部门
领导也应邀参与。
任总：首先，我不是专家，和专家沟通我本来就有压力，可能你们提到的很多敏感问题
我都回答不清楚，那么我回答不清楚的就叫下面谁来替我回答。现在咱们开始开会，看
看大家怎么说法，怎... 阅读全帖 |
|
F****s
发帖数: 3761 | 17 微软和亚马逊联合对抗谷歌，川普应该收拾哪个？
小编去附近大学修个数理逻辑，可算是逻辑入门101吧。从此人生能明显加快脚步。 |
|
发帖数: 1 | 18 崂山道士人如其名，一知半解。一般离散数学指的是组合和图论。计算机系压缩课程，
顺便把基础数理逻辑和概率论，优化理论（game theory可以算一种），也塞到课程里
了。概率论和优化理论这种基于数学分析的是典型的“连续”数学，离散个屁。 |
|
x******a
发帖数: 25 | 19 今天去了一家国企面试，去了才知道招聘消息的职位是骗人的，其实就是个内勤，然而
今天的面试和笔试却是我目前为止做过的时间最长的，整整6个小时，神啊，4个小时的
笔试，4张答题卷，2个小时的群面，他妈的，真变态，原来这就是传说中的国企面试，
唉，悲哀啊。先说说哪些脑袋里装了屎的国企领导吧，一看就知道不是个好鸟了，着装
随便，到处闲逛，还叼着一根烟，整个一烟鬼，长得也锉。另外就是整个办公室一片混
乱，看到最多的就是一群it民工，每一个人对着一台笔记本电脑，然后就像打了桩样，
再也没见他们起来过，或者多说2句话，唉，杯具，后来听说都是要被迁去非洲的，可
怜的娃儿。。。。接着说说那变态的笔试吧，整个四张卷子，首先是2张表格，填些什
么基本信息，其实2张好多是重复的，不知道他们国企搞什么鬼，好吧，填吧。终于填
完了，交给人事小姐，然后又被叫到一台电脑前做题，有点类似行政能力测试，还有性
格测试，终于这个也做完了，人事小姐说要做计算机测试题，拿了3张卷子给我。我一
看，靠，有这个必要吗，全是讲什么怎么用word、excel等的题，让我选word、excel的
相关快捷键，晕死他妈的，老子会用就好了嘛... 阅读全帖 |
|
w********0
发帖数: 1211 | 20 谢谢。
其实说得更广泛一些，最近几年，几乎一切移民的怪现象，比如排期时不时倒回去，一
会儿全C, 一会儿全U，中印捆绑，还有H1B第一天就抽签，等等，归根结底，都是制定
法律时没有严格分析各种可能的情况，于是出现了bug造成的（美国不重视数理逻辑，
更注重耍嘴皮子，就是这样的后果，只不过绿卡影响的基本不是美国人，但可以想象其
他方面的法律肯定也有各种bug）.
而bug一旦存在了，修复起来就很难，因为毕竟有既得利益者。当法律按逻辑精神和按
字面意义去解释会得出不同结果时，自然大家都会屁股决定脑袋，于是任何改动都会有
阻力。再加上支持非法移民的西裔帮的搅局，哪怕和非法移民完全无关的合法移民体
系的改良，他们也要捆绑一些东西，最后一切都是举步唯艰。 |
|
w********0
发帖数: 1211 | 21 谢谢。
其实说得更广泛一些，最近几年，几乎一切移民的怪现象，比如排期时不时倒回去，一
会儿全C, 一会儿全U，中印捆绑，还有H1B第一天就抽签，等等，归根结底，都是制定
法律时没有严格分析各种可能的情况，于是出现了bug造成的（美国不重视数理逻辑，
更注重耍嘴皮子，就是这样的后果，只不过绿卡影响的基本不是美国人，但可以想象其
他方面的法律肯定也有各种bug）.
而bug一旦存在了，修复起来就很难，因为毕竟有既得利益者。当法律按逻辑精神和按
字面意义去解释会得出不同结果时，自然大家都会屁股决定脑袋，于是任何改动都会有
阻力。再加上支持非法移民的西裔帮的搅局，哪怕和非法移民完全无关的合法移民体
系的改良，他们也要捆绑一些东西，最后一切都是举步唯艰。 |
|
f**u
发帖数: 2769 | 22 【 以下文字转载自 EB3 俱乐部 】
发信人: fuwu (fuwu), 信区: EB3
标 题: 谈谈 EB2【免 PERM】降级 EB3 的几个法律难点
发信站: BBS 未名空间站 (Wed Nov 27 14:01:44 2013, 美东)
上一个帖子激发了部分 EB2 的思考，大家纷纷想办法询问律师降级的事情了，这是一
个好现象。目前还没有人报告已经尝试提交新 I-140。其实 I-140 不一定需要等排期
current 才交的，只要有 I-140 receipt，等排期 current 了之后立即交 I-485 都是
可以的。注意，I-140 可以 e-File，提交到 USCIS ELIS 系统后应该瞬间拿到
receipt number，下个月初就能基于这个 pending I-140 来交 I-485。如果有足够勇
敢的小白鼠的话，我们现在应该已经看到了才对（除非他们不愿意让人知道）。
这个帖子总结的内容不是一般律师都能搞清楚的。各位希望尝试当小白鼠的 EB2 务必
要和律师仔细研究，把每一个知识点完完全全搞明白，就算律师糊涂，申请人也能做到
心中有数。
1. ... 阅读全帖 |
|
A*********g
发帖数: 268 | 23 我再来灌溉一下下吧，作为一个民间业余数学爱好者：）
昨天我一个同学发信向我炫耀在国内淘了一本好书，新书5块钱，哇，著名数理逻辑学家
王浩先生的名著——《哥德尔》。歌德尔是奥地利人，在德意志谈应该不算跑题吧？还有
王浩先生，他的几本著作竟然在我们学校的图书馆里也有收藏。提到这两个闪光的名字，
有很多故事我们可以一起来分享。那就先看看这本书本身吧，从网上搜索来的，呵呵。
《哥德尔》（美）王浩著
上海译文出版社1997年4月版原价：26．70元现价：5．00元
最近难得去新书店，因为觉得如今新书虽越出越快，好书却越来越少。所以，一些旧书老
是改头换面地出来赚钱，也成了无可奈何的事了。像《哥德尔》即一例。上海世纪出版集
团今年刚刚将此书重版推出，和维特根斯坦的《哲学研究》、沈从文的《中国服饰研究》
等书作为一个系列。所以，我在旧书架上捧回第一版的《哥德尔》就像捡了个大便宜。虽
然，并不是很知道哥德尔为何许人也，心想，大小也是个哲学家吧。能以名字作为书名的
人并不是很多的，除非王浩认为像哥德尔这样的人一个名字就可以说明一切了；或者，他
认为，如果你不知道哥德尔，干脆把这本书扔在一旁吧。总之，王浩 |
|
d*e
发帖数: 999 | 24 没听说过？金岳霖的高足，数理逻辑的大家。据说当年金岳霖上课，只有王浩一个人听
得懂，所以课堂上常常是上面一个老师，下面就一个学生。
清华旧闻之一。 |
|
z****k
发帖数: 1057 | 25 这跟lz的论断似乎扯不上关系
只不过lz说达赖倡导统一，而事实上即便达赖真的倡导统一，
洋人也不会因为我们反达赖而误以为我们反统一。
人的认知、态度、判断是不能用简单的数理逻辑来推导的
所以lz貌似有理，实则无聊 |
|
p********3
发帖数: 5750 | 26 【 以下文字转载自 ChinaNews 讨论区 】
发信人: zmimy (咪咪), 信区: ChinaNews
标 题: 刘以前的一个访谈，很佩服这个人 (转载)
发信站: BBS 未名空间站 (Fri Oct 15 12:15:35 2010, 美东)
发信人: zmimy (咪咪), 信区: Military
标 题: 刘以前的一个访谈，很佩服这个人
发信站: BBS 未名空间站 (Fri Oct 15 12:01:44 2010, 美东)
看了一下，这个人的确是牛人，敢想敢说。是个真汉子。
他就算是作为纯粹的学者，也有得诺奖的资格。思想的确是很前卫，就是放在今天来看
，仍然前卫。
万分佩服。
***********************************************
刘晓波著名言论：中国至少需要被殖民三百年
(香港《解放月报》1988年12月号全文)
作者按：自从刘晓波在本报亮相以来，我期待着和他见面。他结束在挪威的讲学，应夏
威夷大学之邀，途经香港，逗留几日，接受了解放月报的专访，下面是根据录音整理的
访问记录。
(北师大举行刘晓波博士论文“审美与人的... 阅读全帖 |
|
W*******a
发帖数: 1769 | 27 香港《解放月报》：文坛“黑马”刘晓波——刘晓波答记者问
作者按：自从刘晓波在本报亮相以来，我期待着和他见面。11月27日（1988年），他结
束在挪威的讲学，应夏威夷大学之邀，途经香港，逗留几日，接受了解放月报的专访，
下面是根据录音整理的访问记录。
今年6月，北师大举行刘晓波博士论文“审美与人的自由”的答辩会，九位全国一流的
教授专家一致同意授予刘晓波文学博士学位。但是，这篇访问中的刘晓波，没有表示一
点学者的拘谨和斯文，而是更像一名顽强地表现自己观念的“愤怒青年”或“思考青年
”。他的激烈和尖锐来自于世界观的成熟，他的勇敢无畏则显示了和中国思想界主流派
的深刻代沟，这很容易令人想起台湾六十年代的李敖。
如果推刘晓波为当代中国反叛的青年一代的理论代表，他是当之无愧的。因此，这篇访
问记录值得推广给所有关注中国发展和青年一代状况的人士一读。
问：您在大陆被视为一匹“黑马”，言论“偏激”，他们怎么会放你出来的呢？
刘晓波：我出国没感到多大阻力，手续办得非常顺利。邀请递上去，先由系里批准，再
由学校批，我只去过国家教委两次，一次送材料，一次拿护照与签证。这在中国人中是
非常顺利的，人家出国... 阅读全帖 |
|
d****t
发帖数: 474 | 28 拜托，这些偏激的文章早就读过了，请你仔细找找他什么时候说“中国是劣等民族”这
句话。难道他私下里给你的悄悄话？凡是说这种话的人都是劣等品，注意是品不是人。
香港《解放月报》：文坛“黑马”刘晓波——刘晓波答记者问
作者按：自从刘晓波在本报亮相以来，我期待着和他见面。11月27日（1988年），他结
束在挪威的讲学，应夏威夷大学之邀，途经香港，逗留几日，接受了解放月报的专访，
下面是根据录音整理的访问记录。
今年6月，北师大举行刘晓波博士论文“审美与人的自由”的答辩会，九位全国一流的
教授专家一致同意授予刘晓波文学博士学位。但是，这篇访问中的刘晓波，没有表示一
点学者的拘谨和斯文，而是更像一名顽强地表现自己观念的“愤怒青年”或“思考青年
”。他的激烈和尖锐来自于世界观的成熟，他的勇敢无畏则显示了和中国思想界主流派
的深刻代沟，这很容易令人想起台湾六十年代的李敖。
如果推刘晓波为当代中国反叛的青年一代的理论代表，他是当之无愧的。因此，这篇访
问记录值得推广给所有关注中国发展和青年一代状况的人士一读。
问：您在大陆被视为一匹“黑马”，言论“偏激”，他们怎么会放你出来的呢？
刘晓波：我出国没感... 阅读全帖 |
|
S*********g
发帖数: 24893 | 29 “一个102岁的老人站在沙滩上看着夕阳西下，他回顾自己一生所走过的路，发现有很
多曾经想做的事还没有去做，可惜太阳马上就要下山了，再也不可能去完成了。我很害
怕站在沙滩上的那个老人是我。”
这是10年前蛤蟆还在追求莲花妹妹的时候对她说的话，当时只是随便说说而已，没想到
多年以后莲花妹妹还记得这句话。其中有趣的是：如何才可以做到在夕阳西下的时候不
让自己后悔？
蛤蟆在10年前确实思考过这个问题，不过当时没想出来，因为这个问题的答案是动态变
化的，根据10年前的状况，这个问题是无解的。
要想人生不后悔，必须要实现两个步骤，一是对人生要有一个完美构想，二是实现这个
构想。步骤一是最困难的，因为人生不是演戏，不可以乱写剧本，不可以虚构一段浪漫
的爱情故事，也不可以伪造出扣人心弦的创业故事。
10年前蛤蟆连自己将来要做什么都没搞清楚，别说要对整个人生做一个完美的规划了，
更要命的是，一个人到底要做多少件事才算把这辈子的事都做完？
这些问题你可能认为模棱两可，也许是因为你从来没有考虑过这个问题，也许是因为你
的数理逻辑不够好，没法推导出一个答案。蛤蟆从10前就已经开始考虑这个问题，今天
终于找到了... 阅读全帖 |
|
d********9
发帖数: 3927 | 30 高端人才不当医生又怎么了？开个病假条，给点感冒药，要多少智商？医生做的事本来
就是中下等智力活动，全靠死记硬背的，死记硬背有谁不会吗？你让医生学个数理逻辑
试试，他比码工慢的可不是一点半点。
花街才不可能喜欢obamacare,人那主要是靠capital gain过日子的。
吹美国医生素质怎么高的都是他们自己吧？老王卖瓜，谁还不知道自卖自夸？别不好意
思承认，你还就是医生。
话说回来了，美国医生素质再高，能比得上华陀吗？ 华陀都死了几千年了，地球还不
是照样转。 |
|
g*****l
发帖数: 424 | 31 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
o**********e
发帖数: 18403 | 32 【 以下文字转载自 LeisureTime 讨论区 】
发信人: texasredneck (德州乡巴佬), 信区: LeisureTime
标 题: 读维特根斯坦（说不出的真理）
发信站: BBS 未名空间站 (Mon Jan 13 10:44:02 2014, 美东)
读维特根斯坦（说不出的真理）
维特根斯坦说：“一个命题总是原子命题的真值函项，”对完全不了解数理逻辑的人来
说，恐怕很难理解。我下面争取简单一些话来加以说明。
人是由女人和男人构成的，所以任何人不是男人就是女人；同样，如果人是由朋友和敌
人构成的，那么任何人不是朋友就是敌人。这两句话看起来说的完全不是一个事情，但
是，它们的逻辑结构是一模一样的，在逻辑上是一个东西。
前一个看成是原子命题的话，后一个就可以看成是其真值函项，承认了前一个，就必然
会导致后一个；不承认前一个，就得不到后一个。但是，原子命题是你的前提，你的世
界的起点，那就只能是逻辑之外的东西，无法再来说对错。
如果有些人认为任何人不是朋友就是敌人，由此可以得到你要就和我站在一边，要不然
我就要把你打倒。但是，这个前提（原子命题）我是很难承认的，最简单的... 阅读全帖 |
|
c*****4
发帖数: 1777 | 33 对待神经病人要关爱和体谅，特别是华裔的神经病人同胞们。这两天听了、看了几条新
闻，心有所感。
湾区是世界上著名的自闭症高发区。毫不奇怪，另外一个就是班加罗尔。自闭症与数学
才能有强正相关性。计算机工作数理逻辑都不能差。因此计算机工作者多的地方像裤破
涕落自闭症患者多一点都不奇怪。这两天才有新闻说AA扩大到自闭领域：某公司要求雇
员至少1%是自闭云云。
自闭是终生的。自闭和（低）智商一点关系都没有。很多还有高智商。其特点在于社交
能力不足，远不及同龄人应有的水平。举例说吧，同情心，为他人切身处地着想这种几
岁小孩就应该具备的能力，自闭症患者是不具备的。这也是为什么这是一个儿童发育的
重要指征和自闭的诊断标准。
这两天的最新新闻报告说自闭其实是神经病。是大脑皮层在胚胎期发育时出现问题，出
现很多坏区(patch)。俗称脑子坏了。这是先天的原因，不是患者的错。我们不但不应
该嘲笑，而应该积极地帮助他们。
举例说，如果有人突然冒出来对你宣传反SCA5、反同性恋、反外F、反犹、反美、反税
或反华，千万不要吃惊，不要像看见怪物一样。只要记住他们，日后可以好好帮助他们
。必要时可以寻求专业帮助。 |
|
u**c
发帖数: 17972 | 34 【 以下文字转载自 Apple 讨论区 】
发信人: llin (一路陌生人), 信区: Apple
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌 (转载)
发信站: BBS 未名空间站 (Thu Sep 6 11:08:02 2012, 美东)
发信人: greatel (灵致), 信区: WaterWorld
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:16 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666... 阅读全帖 |
|
o**********e
发帖数: 18403 | 35 【 以下文字转载自 LeisureTime 讨论区 】
发信人: texasredneck (德州乡巴佬), 信区: LeisureTime
标 题: 读维特根斯坦（说不出的真理）
发信站: BBS 未名空间站 (Mon Jan 13 10:44:02 2014, 美东)
读维特根斯坦（说不出的真理）
维特根斯坦说：“一个命题总是原子命题的真值函项，”对完全不了解数理逻辑的人来
说，恐怕很难理解。我下面争取简单一些话来加以说明。
人是由女人和男人构成的，所以任何人不是男人就是女人；同样，如果人是由朋友和敌
人构成的，那么任何人不是朋友就是敌人。这两句话看起来说的完全不是一个事情，但
是，它们的逻辑结构是一模一样的，在逻辑上是一个东西。
前一个看成是原子命题的话，后一个就可以看成是其真值函项，承认了前一个，就必然
会导致后一个；不承认前一个，就得不到后一个。但是，原子命题是你的前提，你的世
界的起点，那就只能是逻辑之外的东西，无法再来说对错。
如果有些人认为任何人不是朋友就是敌人，由此可以得到你要就和我站在一边，要不然
我就要把你打倒。但是，这个前提（原子命题）我是很难承认的，最简单的... 阅读全帖 |
|
m*******n
发帖数: 5103 | 36 明觉不厉。
原作者在下一盘很大的棋，他用数理逻辑的观念阐述一个很有争议性的命题。但转贴者
（就是那个什么 oneitem 之流的）不明觉厉，从中随便 copy/paste 了一段，没头没
脑的东西让人不明觉厉。但其实你真要读了，你就会明觉不厉。 |
|
m*******n
发帖数: 5103 | 37 这是以前看过一本书里面说的。它说非洲许多语言都是 tonal language，而这正是非
洲鼓语（击鼓传书）的基础。去看看非洲人如何用鼓声去 encode information，非常
有意思！
那本书叫做 The Information，里面说的是 information 的历史起源，例如最早的英
文字母、书籍、最早的法国 telegraph 等等。当然也讲了很近代的计算机历史与
information theory 的东西，例如 Turing machine 等等。前面的很科普，很容易懂
，但讲到资讯理论、数理逻辑这些东西的时候，我觉得恐怕要有个相关学位才看得懂。 |
|
y****e
发帖数: 23939 | 38 等楼主离散数学，数理逻辑，编译原理，操作系统，算法，一路内功修炼下来，黄花菜
都凉了 |
|
x**n
发帖数: 12542 | 39 【 以下文字转载自 Piebridge 讨论区 】
发信人: blueriver7 (blueriver), 信区: Piebridge
标 题: DC附近--征寒门出来的纯朴男友
关键字: 门当户对 寒门
发信站: BBS 未名空间站 (Mon Aug 29 22:30:23 2011, 美东)
★性别:女
★出生年份：1982/7
★所在地(至少明确state): D.C
★职业情况(学生还是工作):工作
★简单的物理参数(/身高/体重):158 / 45 kg
★血型、星座: O/巨蟹
★当前婚姻状态(从没结过婚/曾婚/丧偶):从没结过婚
★联系方式(email/IM/站内): email: y******[email protected]
★是否希望版务对本帖锁贴并禁止讨论：否
自己的状况：
一转眼来美国7年，工作稳定了下来，却一不小心发现自己已经29岁，成了大龄剩女。
出生在一个很偏远的小山村，9岁离家到外读书，17岁就读国内一所名牌大学，22岁出
国，成绩一直都还算优异。
为人诚恳，善良，勤劳，独立，孝顺，纯朴，耐得住寂寞，工作两年，现在在一家银行工作，
比较稳定。
性格温和，开朗... 阅读全帖 |
|
t****d
发帖数: 3204 | 40 7） 希望你对数理逻辑，头脑清晰，受过良好的教育，不过在这个板上的，大家都很
棒。
这个是指DC版？ |
|
t*******r
发帖数: 3271 | 41 1 ) 年龄26岁到33岁，年龄太大怕你没有纯真的感情，年龄太小怕和你有代沟。前三后
四，差不多。
<== 这个没什么, 可女生不都是想找比自己大的吗?
<== 比自己小4-5岁就行, 比自己大三岁以上就不行啦?
2) 门当户对，希望你也出生于农村，小时候家境比较贫穷。这样有助于我们理解彼
此。我小时候，家里没有游戏机，唯一的玩具是一个布娃娃。其他时候就是玩石子，泥
巴。很少有零花钱，到16岁还穿补丁裤子。不过从来没有为自己的出身自卑过。” 士
志于道, 而耻恶衣恶食者，未足与议也”。希望我们是同道中人，可以白屋对寒门。
<== 意思是城市男不要?! 这还不是歧视?
3) 如果您是农村的书香门第更好，希望你有良好的家教。我的父亲非常开明而重视
教育，很喜欢读书，他的座右铭是“积钱积谷不如积德,买田买地不如买书”，他自己
书法，绘画，诗词都很有天赋，上知天文，下知地理，对我们兄妹三人的教育起了决定
性影响。我的母亲勤劳美丽而善良，教给了我们良好的品质。哥哥姐姐都博士毕业，各
自成家过着幸福的日子。如果你选择了我，你会有一个和睦温馨的大家庭。
<== 广告
4) 心胸开阔，心地善... 阅读全帖 |
|
A*********t
发帖数: 7481 | 42 【 以下文字转载自 WaterWorld 讨论区 】
发信人: greatel (灵致), 信区: WaterWorld
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:16 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Tur... 阅读全帖 |
|
U*E
发帖数: 3620 | 43 011年10月27日 10:37:26 文章来源：南方周末
提要：中国的数学天才中有太多不是对数学本身有兴趣。“吴宝珠、陶哲轩他们实际上
不是为了拿金牌而拿金牌的，而中国大多数人或者是几乎所有的人可能就是为了高考加
个十分二十分，保送上清华北大，他是为了这样的目标去参加奥赛。”根据去年进行的
一项统计，中国历届奥数金牌获得者中，绝大部分后来没有从事与数学相关的工作。
2011年10月，中南大学数学科学与计算技术学院大三学生刘嘉忆成了媒体的焦点
。起因是他“花了一晚上”就解决了数理逻辑领域的“西塔潘猜想”。这个猜想虽然并
不古老，但也是数学家们十几年来没有解决的问题。刘嘉忆本名刘路，“刘嘉忆”是他
写论文时根据“6 1”的谐音而取的笔名。
刘嘉忆很快就得到了多名中国科学院院士的推荐，希望他能够得到破格培养。中科
院数学与系统科学研究院林群院士是推荐者之一，他对南方周末记者说：“我觉得这是
一个很普通的事情，不就是让这位大学生提前一年做研究吗?”其他签名推荐的院士还
有李邦河和丁夏畦两位。
无独有偶，来自天津的张炘炀刚刚在9月份开始在北京航空航天大学读博，成为了
中国最年轻的博士生——只有... 阅读全帖 |
|
a***i
发帖数: 883 | 44 我付出一块钱，我得到两块钱的几率是50%，所以最后我还是有一块钱。逻辑就是付出
和收益相等的情况下，赌与不赌是一样的。
换句话说，只有付出和收益不成比例，不对等的情况下，赌博才有存在的意义。
我承认跟你讲数理逻辑对你来说太复杂了，
是我错了 |
|
j*****g
发帖数: 552 | 45 xxx
这是第二次去德国，目的地是汉诺威（Hannover），貌似很无趣的一个地方。
那里离德国首都柏林（Berlin）很近，坐火车去不到两个小时，应该很不错。
不过时间不多，就不乱折腾了，以后有空度假再说。
德国签证直接去波士顿（Boston）的领事馆，上次去一趟就办好了，这次去跑了三趟。
第一趟（2011年06月15日）告知要提前网上预约，而且排期都一个月以后了。
根本来不及，不过以出公差为理由还是给塞了个空。
第二趟（2011年06月17日）就是交材料了，然后不能当时取。
第三趟（2001年06月21日）也就是出发当天的早上，才把签证取了回来。
不过这次签证给了半年多次往返的，还不错。
办签证的医疗保险还是在 insuremytrip.com 买的。
2011年06月14日买的，6天才6.12美元。
2011年06月21日（二）
早上去德国领事馆把签证取了。
上一天班。
下午去机场。
在 O'Brian's 买了些辣鸡翅吃。
然后波士顿经法兰克福（Frankfurt）飞汉诺威。
LH423 17:25PM - Boston to Frankfurt 55C。
LH048 07:3... 阅读全帖 |
|
i***a
发帖数: 11826 | 46 可怜啊~~本版一天就点了3次名呀~~！差点都要睡着了，抬头一看又点名了。：）
阿鹅，我发现你很适合做faculty，seriously。嗯~~，理论很强，喜欢写东西，举一反
三，融汇贯通，数理逻辑清楚，博古通今，其他领域也能信手拈来~~
总之，千万要hold住呀~~！申请tenure track faculty，大家坚决围观支持你呀~~！(*
^__^*) |
|
b*******m
发帖数: 5492 | 47 命题1: 如果x是偶数，则x可能大于10 （正确）
命题2: 如果x不可能大于10，则x不是偶数 （错误）
这两个逆否命题居然不等价，毛病出在哪里？ |
|
|
|
D****g
发帖数: 2860 | 50
\exists x, odd(x) & x>10
not (x>10) => not (odd (x)) |
|
