m**n
发帖数: 9010 | 1 同学，你再看看你说的 - 没有客气不一定是粗鲁 - 这个
当然是事实。
但粗鲁一定属于没有客气。 粗鲁是没有客气的子集。
你那个”我的逻辑“对所有”没有客气“都是有效的，
不管是粗鲁的没有客气，还是不粗鲁的没有客气。
你对全集进行一个评价，难道对子集这个评价居然不成立了？
那算什么逻辑?
这简单的逻辑问题你不会弄不清楚吧？
段吧 |
|
t******l
发帖数: 10908 | 2 当然这里有一个比较 counterintuitive 的地方，就是比较任意两个无理数的相等的是
undecidable problem 的，但比较两个已知算法的无理数子集里的数，比如比较两个根
号数相等，是 decidable problem。
这样一来希尔伯特教徒们就吃不下饭了。。。人类对实数集的观察研究，竟然会改变实
数集的一些子集的 decidable，也就是说，部分地改变了实数集！！。。。其实这根本
没啥好大惊小怪的，这就好比观察薛定谔猫导致那只猫发生量子崩塌的情况，差别就是
出现在基本实数数论而不是基本粒子物理里而已。。。而且同样也跟时空量子化（微观
上不连续）有着千丝万缕的联系。。。当然希尔伯特教徒们可以继续建他们的教堂，开
希尔伯特读经班查经学校。。。有着联邦宪法的第一修正案的保护，大伙儿就能和平共
处四项基本原则。
：就用你举例的 “液体在逻辑上可以无限分割” 来说明 monkey's sensory
：illusion and cognitive delusion 好了。 |
|
N**t
发帖数: 1738 | 3 中国人重技术轻市场的陋习我说是不是该改改?
就说这个iPhone开发吧, 一窝蜂地搞什么文学城未名浏览器, 飞行棋五子棋, 在庞大的
iPhone用户群里只选一个极小的子集
就已经够冤屈的了, 偏偏还要选一个最不愿意花钱买, 广告价值也低于平均水平的子集
, 叹为观止.
还有一个搞了个能读script的计算器, 用户得自己编写各种各样的script, 方显此app
的强大(确实比一般的iPhone apps要强
大, 也就是你所说的技术含量相对比较高). 我作为一个外人, 只能想, 这帮人脑子里
在想什么啊?
对apps不对人, 我自己很衰, 信口胡诌两句而已.
只为兴趣, 不为赚钱, 那当我没说. |
|
|
g********4
发帖数: 4959 | 5 发信人: trichloride (RubberCandy), 信区: PDA
标 题: 外行聊聊A5和Tegra2
发信站: BBS 未名空间站 (Mon Apr 25 00:11:13 2011, 美东)
更正： 静态图像显示和GPU能力无关。
安猪系现在发布的10寸板都是Tegra2的CPU+GPU。iPad2是果果自制的A5 CPU+GPU。这两
颗芯片的CPU都是照ARM公司的设计蓝图做的，不是Nvidia或苹果自家设计的。两家都买
了ARM的知识产权，具体的说是ARM Cortex-A9 MPCore。照理应该功能是一样的。
但是，Tegra2没有实现ARM蓝图中的NEON子集。这个NEON子集是为了图像和图形处理加
速的。所以Tegra2比A5少掉了一块功能。另外，Tegra2的GPU是Nvidia GPU的低功能版
，而A5则是一个实现了PowerVR SGX543MP2 全本的GPU。
这里还要一提的是三爽。它出了三个板，10寸，九寸，和七寸。它的10寸板是Tegra2的
。但是9寸和7寸板是自家的Hummingbird CPU+GPU。Hummingbird也是l... 阅读全帖 |
|
发帖数: 1 | 6 谢谢各位
虽然DL 仅是 ML的子集（ML是AI子集），如前所言，DL有其它任何AI技术不可替代的优
势。不过，以后也许会有更好的算法出现。
只要 每个季报在AI 这块收入有足够的增长，股价升高可以不在乎pe增高和已经price
in了多少，因为市场已经把这只股看成AI的潜力股。没有最高，只有更高。GPU 在 DL
上应用趋于饱和之时，才有股价见顶之说。
从几个不同方面感觉，NVDA下一两个季度在AI方面的收入看好（概率大），使股价不断
上涨。 |
|
w********0
发帖数: 1211 | 7 一般情况下，条件越高的满足的人越少，因此排期应该越快。但不幸的是这点并不一直
成立，而移民法没有考虑到这种情况。
既然满足EB2条件的也满足EB3，正确的做法应该是把EB2看成EB3的一个子集，而操作起
来正确的算法是：凡是EB2的都应该在EB3的队列里建一个copy，两头同时排队，那个先
到就批哪个，批了的同时把另一个取消掉。这样从最开始EB2的排期就快于EB3，因为
EB2视为EB3的子集，人数肯定少于EB3的队列人数，EB2先排到，批了后，也不占EB3的
名额。而当满足EB2的人远多于不满足EB2的EB3时，一部分EB2会占掉EB3的名额，这样
排期还是EB2在前。
或者一个等价的算法是，把现在的EB2和EB3放在一起按PD排队，每年按两者的总quota
批，但是凡是不满足EB2的，有另一个cap,即EB3的quota。如果这个quota已经到了，但
两者总quota没到，那就跳过这个EB3批下一个满足EB2的。
这样Bug就没了。 |
|
w********0
发帖数: 1211 | 8 喷就喷呗。有EB3喷我的话那纯粹是自身的利益立场决定的，我会完全忽略。
我这么说则完全是根据事实和逻辑说话，和自己的利益无关，因为我自己早就拿到绿卡
了。
另外我只说EB2应该看作EB3的子集，却没有说EB1应该看作EB2的子集，因为从移民法看
，满足EB2的都满足EB3，但满足EB1的却未必满足EB2，如某些方面的杰出人才未必满足
perm的条件，也不满足NIW。 |
|
w********0
发帖数: 1211 | 9 一般情况下，条件越高的满足的人越少，因此排期应该越快。但不幸的是这点并不一直
成立，而移民法没有考虑到这种情况。
既然满足EB2条件的也满足EB3，正确的做法应该是把EB2看成EB3的一个子集，而操作起
来正确的算法是：凡是EB2的都应该在EB3的队列里建一个copy，两头同时排队，那个先
到就批哪个，批了的同时把另一个取消掉。这样从最开始EB2的排期就快于EB3，因为
EB2视为EB3的子集，人数肯定少于EB3的队列人数，EB2先排到，批了后，也不占EB3的
名额。而当满足EB2的人远多于不满足EB2的EB3时，一部分EB2会占掉EB3的名额，这样
排期还是EB2在前。
或者一个等价的算法是，把现在的EB2和EB3放在一起按PD排队，每年按两者的总quota
批，但是凡是不满足EB2的，有另一个cap,即EB3的quota。如果这个quota已经到了，但
两者总quota没到，那就跳过这个EB3批下一个满足EB2的。
这样Bug就没了。 |
|
w********0
发帖数: 1211 | 10 喷就喷呗。有EB3喷我的话那纯粹是自身的利益立场决定的，我会完全忽略。
我这么说则完全是根据事实和逻辑说话，和自己的利益无关，因为我自己早就拿到绿卡
了。
另外我只说EB2应该看作EB3的子集，却没有说EB1应该看作EB2的子集，因为从移民法看
，满足EB2的都满足EB3，但满足EB1的却未必满足EB2，如某些方面的杰出人才未必满足
perm的条件，也不满足NIW。 |
|
c****x
发帖数: 6601 | 11 《川普政府取消h1b延期是假新闻？必须要通过议会？几点补充分析》
原创 2018-01-07 北大飞
http://mp.weixin.qq.com/s/E7GQ10sldDJn-1A3BibxNg
1. 消息源是可靠媒体 2. 有人把两条法条弄混了。
前几天本公众号有关川普政府策划取消140后h1b延期一事的文章引起了广泛重视。其阅
读量超过10万。可见这一话题与在美国生活的华人朋友切身利益十分相关。从自己利益
出发，我们必须密切关注有关事项的进展，做出最有利于自己的选择。
但文章发出后，很多明显是川普一派的人马纷纷进行洗地，想方设法论证并无此事，或
者事情并不那么严重。为防止朋友们被这些说法误导，在这里集中进行一下辨析。
说法一：这个消息各“主流媒体”没有报道，来自于一些小报，所以是谣言，是编造
辨析：这一消息来源是McClatchy公司的驻DC新闻社McClatchyDC【1】，该社以报道政
治新闻为主。虽然规模不如三大报纸或cnn/nbc等大有线台，却是一家信誉很好的主流
媒体，也没有过编造消息，曲解新闻的丑闻。
事实上，作为媒体集团的McClatchy公司已有159年历史，曾... 阅读全帖 |
|
l*****8
发帖数: 16949 | 12 超越数集是实数集的子集。两者大小一样。
到了无穷，子集不一定比全集小。比如所有偶数的集合和自然数的集合是一样大的。 |
|
t******y
发帖数: 5040 | 13 表上的规定是一回事，FFL DEALER愿意接受那些表格上另外一回事。
我曾经用电缆电视的账单做为证据买过枪。结果年底的时候，DEALER发挂号信来说请我跟他联络，原来是一位BATF的黑人女性职员检查他的记录，说只有水电账单才合格！老头把表格上的单子给她看，那女人说：我不管，我就认水电账单！我靠，BATF的官员不认自家的规定。他一个白人老头，不愿意跟黑人女官员扯皮，所以只好麻烦我们重新交证据。
从此以后，我也跟其他人说：还是用水电账单吧。
记得以前有的枪店也是只看水电账单，你让他看那表格后面列的单子也没有用。人家是OLD SCHOOL，不跟你搞这些新名堂。
FFL DEALER可以跟你做生意，也可以不跟你做生意，这由他说了算。
表格后面的那个单子只是表面政府可以接受这些东西作为证据，这算是个全集。某些
FFL DEALER认的只是一个子集，很小的子集。 |
|
t******y
发帖数: 5040 | 14 枪老板的可以视作全集，我给的那个肯定是个子集。
最小的子集大概一百多美元可以开业了。 |
|
C*******r
发帖数: 10345 | 15 AR-15季Armalite Rifle 15型，是AR系列突击步枪的最早型号。军队使用后，取名16
型步枪（M16)。 民用版AR-15只有半自动功能。军用版M16/AR15有全自动功能。和AK47
这些都是突击步枪，特点：选择性发射功能（兼顾自动，半自动），用中等威力弹。
突击步枪是rifle的一个子集，其他有使用全威力弹的，比如栓动的毛瑟步枪，半自动
的M1步枪等等等。卡宾也是步枪的一个子集，比如M1 Carbine是半自动，俄毛子M38，
M44卡宾等，是栓动卡宾。瑞士的K31和德国的98K等，学名都是卡宾，这是K这个字母的
来历（德文Karabiner），不过其大小，按当代标准，都算全尺寸步枪了。记住卡宾的
特点是短，是按大小分的类，不是按发射机制分的类。所以卡宾和突击步枪有交集，比
如M4就即是突击步枪，也是卡宾枪。 |
|
w***5
发帖数: 8282 | 16 MULTI-CITY的联程机票在ONLINE的选择是REP选择的子集，
但REP所提供的选择，又是单程票ONLINE选择的子集。
俺看单程票ONLINE选择TPA-JFK一段，有两个直飞，但REP
只能提供其一给俺，不知何故？ |
|
s**********n
发帖数: 3199 | 17 有关系，不一样。
category theory可以看成group theory of “group theory”吧。
核心是高阶（higher-order），普通set objects和functions都看成平等的first
class member，和type theory差不多。
才发现我上文举的性质就是congruence - -b
这个性质很重要，比如加法就满足congruence，就是说作加法不需要考虑顺序，一堆数
怎么加都可以，这在用程序计算的时候特别方便。
但是一般的逻辑系统不满足congruence，就是说推演时候每个步骤的顺序是有关系的，
更糟的是这个顺序还常常不是decidable的，就是说找不出一个算法来自动找到一个证
明的推演顺序。
所以一个逻辑系统如果能找到它的某个足够expressive的子集又满足congruence的话，
是非常牛比的事情。
退一步讲，历史上有人找到second order logic的一个decidable又比较expressive的
子集，有meaningful的应用，结果就名垂青史了。 |
|
m**********n
发帖数: 11 | 18 哥德尔不完备性定理浅释
愚人
要理解哥德尔定理，先得理解集的概念。
(一) 集合
“集合”或集的描述：集这个概念，是不可
以精确定义的数学基本概念之一，故只能作
描述：凡具有某种特殊性质对象的汇集，其
总合被称为集。
例：一组数(可能是无限的)，一群人，一栏
鸡蛋。
在作数学上具体研究时，组成集的个体，被
称为“元”的其他特殊属性，如鸡的特性，
人的特性，数的特性，都不再考虑。于是，
一个集合就被抽象成A，它的元被抽象成x。
我们有
x 属于 A
我们也归定：
A 不能属于 A
即A不能是A自己的一元，这个规定不是不合
理的，例如，所有的书所组成的集不是书！
所以所有书的集合不能是这个集合的一元。
A 的某一部份B也可自行构造出一集，被称
为A之“子集”。
我们有
B 含于 A
特殊情况：B可以等于A，B也可以没有元素，
被称为“空集”，我们称这样两种情况叫住
A的“平凡”子集。
定义：对等
设A，B分别为两个集，如果A和B之间能建立
1-1的对应关系，则我们称：
A 对等于 B
反之亦然。
对等是集与集之间最基本的关系。若A和B都
含有限个元，则两集之间要对等，当且仅当
二者的元的数 |
|
i****i
发帖数: 4803 | 19 偶觉得和 key 关系不是很大，
我用任何 key 都可以写出适合你音域的旋律
也可以用任何 key 写出超出你音域的旋律。
偶觉得主要是看
歌曲的最高音和最低音之间的跨度和
演唱者的音域之间的关系。
如果前者是后者真子集的话唱起来就木问题。
如果原调不合适，用软件啥的升降调，目的也是为了让前者成为后者的真子集。 |
|
d********1
发帖数: 3828 | 20 为什么蝴蝶和屎壳郎不能成为朋友----正面回应方舟子
(2012-01-26 23:45:20)
我承认自己的确低估了方舟子的战斗力，尤其是他虚虚实实间“制造逻辑陷阱”和“造
谣使用证据”的高超本领。观众总是不嫌事儿大，甚至潜意识里希望发生点什么。这场
“科学教主”领导的、以“真相”之名发动的、誓言要“推翻偶像”的闹剧，的确还没
有完。
所谓“躬逢盛事，共襄盛举”，我并非受人之托（所以我的回应不能代表韩），但是作
为韩寒最近的朋友，一个文字工作者，和方舟子拥有差不多话语权的人。我就许多事实
与推理，谈谈自己的看法。
一，心平气和地正面回答“方文”质疑
1，《杯中窥人》《书店》（两篇）等“新概念作文”中，“涉及性、属中年人的恶趣
味、行文半文半白、文笔中规中矩、和韩寒博客文章文风很不一样”----引号中的词句
是方舟子的。
说实话，这些论断，我都同意。那几篇作文的风格和后来的韩寒文字的确很不一样。
关于这个问题，韩氏父子不能证明---当然，方舟子也不能证伪。
因为另外一个常识是：一个人十六七岁的文风和三十岁通常不同。小伙子读了些林语堂
、梁实秋、尤其是钱钟书，“装成熟”“掉书袋”（引用英... 阅读全帖 |
|
l****g
发帖数: 5080 | 21 说出了一个子集而已。
“ 凡是人一窝蜂干的事，基本上最后都会很惨”
这样就是更大的子集了。
“ 凡是一窝蜂干的事，基本上最后都会很惨”
这样就基本是全集了。培养皿上的细菌，多了也会饿死。 |
|
e*******a
发帖数: 53 | 22 【 以下文字转载自 Military 讨论区 】
发信人: erliMajia (erli三马甲之#2，erli和erIi已被封全站), 信区: Military
标 题: 本人erli为尊严之战！荣誉即吾命！——Re: 这是吹牛吗?
发信站: BBS 未名空间站 (Sun Jul 15 15:07:58 2012, 美东)
本人erli为尊严之战！荣誉即吾命！
本帖我集中了所有我认为重要的相关帖子。我在#83和#84楼间、#90和#91楼间两处地方
插入了新话。
之后我将把本帖分割为小于500字贴出，目的是为如下未名存档
http://www.weiming.info/zhuti/Military/37901581/
如果一周后没有成功入未名存档，我会再在水版起楼专门贴，直到未名存档出现才离开
mitbbs。
我在“薄王事件俱乐部”相关建楼
http://www.mitbbs.com/clubarticle_t/BoWang/17257.html
对那些认为我小题大作的观众，我只答一句——“荣誉即吾命”！
既然当初忍无可忍（“心中愤怒，还是忍不住再上来分个子丑寅卯！”，#72楼）下... 阅读全帖 |
|
e*******s
发帖数: 119 | 23 【 以下文字转载自 Olympics 讨论区 】
发信人: electrons (sanguine), 信区: Olympics
标 题: 有关“消极比赛”的争论源于立场不同
发信站: BBS 未名空间站 (Fri Aug 3 15:48:09 2012, 美东)
我们都知道，运动员参加比赛的目的是获得尽可能好的名次，而观众去看比赛的目的是
欣赏高水平的较量。如果规则的制定完美无缺，那么运动员的利益和观众的利益可以达
到高度统一，即运动员在争取最好名次的同时也让观众获得最大程度的享受。但问题是
，如果规则的制定出现了问题，让运动员的利益和观众的利益在某种程度上发生了冲突
，究竟谁的利益会成为主导呢？
对于这次女双的“消极比赛”事件，如果站在运动员（和中国羽毛球队）的立场上，我
们肯定会认为于洋/王晓理的做法无可厚非。但若是站在观众的立场上，情况肯定会有
所不同。也许有人会问，在事情发生后，不是也有很多中国球迷对她们的做法表示认可
吗？事实上，我们不应该忽略的是，在观众中有一个“子集”，就是这些球员的“铁杆
支持者”。对于这些铁杆支持者来说，只要他们支持的球员和球队能获得最终的好名次... 阅读全帖 |
|
m********6
发帖数: 1283 | 24 【 以下文字转载自 Military 讨论区 】
发信人: majia12346 (我们灌水好辛苦), 信区: Military
标 题: 人均定理发现率..最重要的100个数学定理,中国人发现了几个? 1个?
发信站: BBS 未名空间站 (Tue Aug 28 05:24:13 2012, 美东)
人均定理发现率
最重要的100个数学定理,中国人发现了几个? 1个?
1 根号2的无理性
毕达哥拉斯 和他的学派 公元前500年
2 代数基本定理
卡尔•弗里德里希•高斯（Karl Frederich Gauss）
1799
3 实数集的不可数
康托（Georg Cantor）
1867
4 勾股定理
毕达哥拉斯 和他的学派
公元前500 年
5 素数定理
阿达玛（Jacques Hadamard） 和普森Charles-Jean de la Vallee Poussin(分别地)
1896
6 哥德尔不完全性定理
哥德尔（Kurt Godel）
1931
7 二次互反律
高斯（Karl Frederich Gau... 阅读全帖 |
|
K**********i
发帖数: 22099 | 25 我这看不懂啊，好像前几天有新闻说华人科学家证明素数无穷多。
我学文科的。不过也知道自然数不是无穷多的么？素数是自然数的一个子集，那肯定也
是无穷多的啊，用脚想想也是啊，还用证明？
组成无穷多的东西，如果分成两个子集（尤其是可以增长的、不是说1和非1这种），肯
定都是无穷多的，对吧？在这个例子里，是素数和非素数。如果素数是有限的，非素数
是无限的，自然数也是无限的，那不合理啊！
看得头疼，谁给咱学文科的科普一下？ |
|
t*******r
发帖数: 22634 | 26 我那个 formal logic 定义的不是任意的素数子集，而是“前N个连续素数的集合”，
当中漏掉一个素数不可以的。
而构造的，也是要“前N个连续素数的集合”，当中漏掉任何一个素数也不可以。
N 大一号。
这个也是你指出我的错以后，我重新改了 “and only if” 条件。否则就变成
你说的子集了。（我写错的原因是按照自然语言印象直接写，结果罗素可能看了
一眼。。。）
这样能无穷集了么？ |
|
l*3
发帖数: 2279 | 27 请解释一下 "定义" 这个词.
我的解释:
"定义" 在数学上, 本质是一个命题函数, 是从定义域到{0,1}的一个映射.
比如, "素数" 的定义就是一个函数, 定义域可以在自然数, 实数, 或者复数上面, 这
里我们讨论的前提是自然数, 不妨把 "素数" 看做自然数的一个子集, 其定义对应的函
数, 就是这个子集的 "示性函数", 我们把主流的素数定义对应的命题函数记做 P(x),
则 P(0)=0, P(1)=0, P(2)=1, P(3)=1, P(4)=0, P(5)=1,...
在讨论前提是自然数 (相当于全集是自然数) 的意义下:
我提出了一个命题:
"a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除"
实际上就是断言, 对于任意自然数a, 总成立下式:
(P(a)==1) == (a>1) && (for all x ( (x
(由于文本打逻辑符号不太好用, 我这里用c语言+自然语言的写法)
我们知道这个断言是对的.
那么他能否作为素数的定义呢?
这要求我们能根据
"a是素数 <=> a是大于1的自然数,... 阅读全帖 |
|
l*3
发帖数: 2279 | 28 哦, 那疑问继续:
我的意思是说, 你如何test "比a大的自然数" ?
因为定义中要求要test "除1和a外的所有自然数", 你现在递归出来一个自然数的子集
(自然语义下, 这个子集是 "小于a的自然数" 构成的集合), 那你似乎没有做 "比a大"
那部分呀? 你只是声称 "我们做这个事情的时候, 只用把自然数从0递归到a, 然后去做
, 就可以了", 你的方法中并没有说明这么做的 "合理性" 在哪里呀?
就好比我现在换一个定义 (在只讨论自然数的前提下) :
我们说, 如果一个自然数能够和其他任何一个自然数的差是pi, 那我们称这个自然数为
"幽灵数".
你看我这个定义, 在数学上来说, 显然是合理的, 因为我知道, 任何两个自然数的差都
不可能是pi, 所以任何一个自然数都不是幽灵数.
那么现在, 假定我给你了一个函数, 他足够判断清楚两个自然数的差是不是pi, 就记做
judge(x,y)吧, 此函数会告诉你x和y的差是不是pi, 是pi就会告诉你 "是", 不是pi就
告诉你 "否"
你如何根据这个函数, 来用你的那一套language, 从自然数集中找出 "幽灵数集" ... 阅读全帖 |
|
l*****8
发帖数: 16949 | 29 你这位学逻辑的同学可能想用通俗的语言告诉你，结果太通俗了以至于让你理解错误。
ZFC系统的公理可以分成几类
1。外延公理：就是定义集合为何相等的。
2。让集合不太大,所以有替换公理（如果定义域是集合，值域也是集合。直观的说，函
数的值域比定义域小）和子集公理（子集一定是集合)。
3。让集合“可控”的变大，这里有并集公理，无穷公理（可以定义自然数），幂集公
理，配对公理。
4. 选择公理。这个人为痕迹太重，有人不喜欢，有的系统也不包括。
5。比较有趣的是正则公理。这个公理其实就是说如果你把集合看成包袱，把包袱皮一
层层的剥开，最后总有个头。如果A∈A或者A∈B∈C∈A这种递归情况出现，你的包袱皮
是永远剥不完的。
所以在绝大多数逻辑学家公认的公理系统里，这个东西是被用公理强行排除在集合的定
义之外的。
当然没人阻止你定义一个 A={x:x is a set}. 只不过这样的A我们不称它为集合，而称
它为类(class.当然不是码工说的class).这样的A不可以是其它集合的元素。 |
|
l*****8
发帖数: 16949 | 30 您老人家错太多了啊
正则语法是regular expression吧？yacc对应的是上下文无关文法（的一个子集）。程
序设计语言对应的是上下文相关文法。无论什么文法，定义出来的程序只能计算可计算
函数。可计算函数时数学函数的一个极小的子集。
不要拿计算机的东西来随便往数学上套，这两个差别太大了。 |
|
h*x
发帖数: 674 | 31 所以我说不要用那个嵌套，归纳法根本就不是用嵌套的思路。
嵌套是每一层都是另一层的子集，归纳法根本就没有那么多子集。
当我们在归纳法用n=1的时候，是说客观上岛上只有一个红眼，这时候是什么情况，而
不是A知不知道B不知道C是否知道有红眼人。
再回到岛上有三个红眼睛的情况。对于红眼睛而言，他知道这个岛上要么有2个红眼睛
，要么有3个红眼睛，所以他只要先用n=2的结论就行了。虽然他在得出n=2的结论时是
通过n=1的假设完成的。 |
|
t******n
发帖数: 2939 | 32 ☆─────────────────────────────────────☆
l63 (l63) 于 (Thu Jul 4 01:01:50 2013, 美东) 提到:
转子知乎: http://www.zhihu.com/question/21262930
一个关于数学归纳法的悖论问题：到底是第N天有N个红眼睛自杀，还是什么都不会发生？
此问题最早据说是澳大利亚的华裔数学神童陶哲轩在网上贴出来让大家思考，逗大家玩
儿的。但却是真的把我难住了，一直百思不得其解。在此求教方家。
题目是这样的。说一个岛上有100个人，其中有5个红眼睛，95个蓝眼睛。这个岛有三个
奇怪的宗教规则。
1. 他们不能照镜子，不能看自己眼睛的颜色。
2. 他们不能告诉别人对方的眼睛是什么颜色。
3. 一旦有人知道了自己是红眼睛，他就必须在当天夜里自杀。
某天，有个旅行者到了这个岛上。由于不知道这里的规矩，所以他在和全岛人一起狂欢
的时候，不留神就说了一句话：【你们这里有红眼睛的人。】
最后的问题是：假设这个岛上的人足够聪明，每个人都可以做出缜密的逻辑推理。请问
这个岛上将会发生什么？
此问题的第一个... 阅读全帖 |
|
i*********g
发帖数: 1940 | 33 我的逻辑是：
世界上各民族各种族各国籍是不分高低贵贱的平等的，国女嫁给白人，黄种人，黑人是
一样的，为什么要骂他们？应该祝福他们嘛。
外F女这个全集中有几个子集，
最明显的一个子集是，那些只想嫁美国的欧洲白人，不鸟国男的国女，赤裸裸的种族主
义者，他们心目中白男比国男优等。这是被骂的Target。
可骂这些国女的国男，也是赤裸裸的种族主义者，他们对嫁白男的国女狠骂，对嫁给黑
人嫁给印度人的国女骂的更狠，好像她们丢了中国人的脸。
所以现实状况是，一群种族主义国男辱骂一群种族主义国女，这是未启蒙未开化民族才
闹的笑话。典型的心中有屎才能看到屎。
有很多人脑子里多点自由和理性会死，要骂就该骂那些认为白人优等黑人劣等的种族主
义者，而不是外嫁女。可骂种族主义者，国人远远没有开化到那个程度，而且99%的国
人都是种族主义者，这是最搞笑的地方
我知道你们脑子笨得流油，有多少人能听明白？ |
|
h*****i
发帖数: 9112 | 34 机器人惯于拿着一个子集的定义套另一个子集，目的就是挑逗群众斗群众，然后他们AI
take over |
|
b*s
发帖数: 82482 | 35 你这是毁谤！你等着收律师信吧……
机器人惯于拿着一个子集的定义套另一个子集，目的就是挑逗群众斗群众，然后他们AI
take over |
|
c****n
发帖数: 21367 | 36 这不是鸡蛋问题
统计意义下，社会富裕发达繁荣昌盛，人的社会权利才会多
而人的社会权利增长，不必然导致社会富裕发达繁荣昌盛
女性权利问题只是人的社会权利问题的一个子集而已
进一步的，男女平等只是女性权利问题的一个子集 :) |
|
B********e
发帖数: 19317 | 37 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: xwa (信望爱), 信区: TrustInJesus
标 题: Re: 神与“终极法则”
发信站: BBS 未名空间站 (Wed Jul 6 11:23:45 2011, 美东)
又拿科学当挡箭牌。
科学不过是人类认知能力的一个子集而已，总是缩在这个子集里，连自己都越不过，更
别提接近神了。
神随便改动下各种粒子的特性，甚或是干脆重新设计，则当今一切科技，即刻完全作废。
我很久以前曾经表述过这个意思：科学，不过是神赐给人类的玩具而已。
——注一下，我没说我不喜欢。 |
|
d*********2
发帖数: 48111 | 38 几个帖子一起回。
其实主观和客观不是对立的。 它俩不是一个范畴的东西， 主观是客观的一个子集，
一个很trivial的子集。
因为我们作为意识的载体， 主观对于我们无比重要， 所以才有主观客观意识之争。
对于宇宙本身， 所有的一切都是客观。 包括我们的思维和意识。
再有就是宇宙的时空观。 相对于光速来说， 宇宙时空更基本的常数可能是普朗克常数.
而光速只不过是在这个受限时空的具体表现而已。
海森堡不准原型是involve进了3个物理量的， 时间， 空间 和 质量。
物理口， 或者说我们这个方向， 更喜欢用delta E & delta t来表述海森堡。 这是描
述宇宙更基本的两个参数。
而空间 和 质量， 更可能只是相对于我们主观意识， 被具象化以后产生的两个物理量
罢了。
对于更高等的存在， 这两个物理量可能都不是那么primitive |
|
a*****y
发帖数: 33185 | 39 无论两人如何,是否进行了磨合,其实都可以婚姻,婚姻之后出现问题,吵架打架,离婚也
是自由的.
但我想你贴的文章的婚姻只是诸多婚姻状态的一个子集吧.
我只不过在讨论要达到这个子集描述的状态, 还需要哪些投资, 然后跟这些投资比起来
,是不是还是个deal |
|
x*****3
发帖数: 89 | 40 来自主题: ChineseClassics版 - 作者的话 作者的话
两年之间，陆陆续续，写了这么多对西游记的感想，林林总总，是想表述出来，中国人
文化根流的原始生态。西游记，完整贯穿了整个生态系统，所以跟着西游记走是没错的
，能让你游历一个完整的文明系统。
是的，修行，并不像绝大多数人以为的那样，甚至跟大多数修行人的想法都不一样。在
他们的观念里，修行是反智的、非理性的、惊世骇俗的。实际上，不但理性，而且理性
得超越人世间的世俗理性。过去的修行人，往往给人惊世骇俗的反智的感触。这大多是
修行人自己的问题，还有就是世俗本身固有的错误、世俗允许有 这种错误观念。
人类，基本没有认识到过，人类的身体，是一个多么奇妙的仪器。就是在神仙们的眼里
，他们也并不知道，人类身体还有着他们无法企 及的秘密。当然，人类和神仙们都知
道，人类的这个身体，是由人类的思想念头驱动的。可是，人类不知道如何完全发挥人
类身体的潜力，神仙们也不清楚。
人类的身体，就如同一个奇妙非常的仪器，人类的思想，就如同扭动仪器开关的手。操
作得当了，这个身体，能影响到天上地下，改天变地。所要表述的思想体系，就如同这
个仪器的结构原理；修心，就如同操作入门。
我们的世界，这是一个层层牵动... 阅读全帖 |
|
c*******g
发帖数: 509 | 41 这章是挂羊头卖狗肉的一章，里面有数学，有历史，有歪写，先把它放这儿，下一章回
归科学家系列。
零.引子
音乐是形而上学的数学练习。
---莱布尼兹
我知道大部分读者是理工科出身，一提起哲学就是马克思主义哲学，一提起形而上学就
是“辩证法”的对立面。大学里的哲学课（若干年前），除了马哲，还有毛泽东思想和
邓小平理论，但它们都是马克思主义哲学和中国社会实践结合的产物。我可以很负责的
说一句，哲学不止马哲这一种，形而上学也并非就是孤立静止片面地看问题。莱布尼兹
说这话的时候马克思还不知道在哪，彼时的形而上学还是第一哲学，是至高无上的。对
于这句话我的理解是音乐的本质是数学。我并不赞同这句话，作为人类精神世界最灿烂
的果实之一，伟大的音乐永远也不可能产生于数学上的推导，因为感情是推不出来的，
如果有一天所有音乐都是计算机生成的，那音乐就不再是人类的思想精华，而只是廉价
的工业品而已。
在此，我依然引用了这句话，是因为在乐理方面，我认为这句话完全正确，也许这... 阅读全帖 |
|
r**i
发帖数: 2328 | 42 呵呵，逻辑有问题的不是我。
请你看清楚，子集和父集的关系。
既然在中国读书人身上都不成立，更何况是包含“中国读书人”这个真子集的东方人类
呢。
这个事实已经否定了在全集正确的论点。 |
|
E*****m
发帖数: 25615 | 43 白馬是馬，馬不是白馬， 所以我們知道白馬是馬的子集。
神是愛， 愛不是神， 所以我們知道神是愛的子集。
有推錯嗎？ |
|
x*a
发帖数: 4968 | 44 很简单一个区别：
认为宇宙的终极运行法则高于神，神只是这个法则之下的一个子集 —— 这基本属于无
神论，或是自然神
论。
认为神高于宇宙的终极运行法则，这个法则只是神的一个子集 —— 圣经信仰。
个人看法，供参考。 |
|
x*a
发帖数: 4968 | 45 又拿科学当挡箭牌。
科学不过是人类认知能力的一个子集而已，总是缩在这个子集里，连自己都越不过，更
别提接近神了。
神随便改动下各种粒子的特性，甚或是干脆重新设计，则当今一切科技，即刻完全作废。
我很久以前曾经表述过这个意思：科学，不过是神赐给人类的玩具而已。
——注一下，我没说我不喜欢。 |
|
h*o
发帖数: 1035 | 46 等于呢
很简单一个区别：认为宇宙的终极运行法则高于神，神只是这个法则之下的一个子集
—— 这基本属于无神论，或是自然神论。认为神高于宇宙的终极运行法则，这个法则
只是神的一个子集 —— ........
★ Sent from iPhone App: iReader Mitbbs Lite 7.20 |
|
T*******I
发帖数: 5138 | 47 你怎么能说你不知道A呢？因为A是你所指的“一般的神”，或“广义的神”，也就是说
它是关于“神”的一个全集；而“基督教的神”B可以暂时被称为是那个全集“神”的
一个子集。你和我之间在这里要讨论和论证的正是“基督教的神”B这个“子集”神是
否等于那个“全集”神A。
你既然说自己知道B，且可以论证B不存在，那么，你也就对A有一定的知性，你怎么能
说自己对A完全不知道呢？其实，你要论证的是B是否是A中的一个空子集，也就是论证B
是否具有全部的或部分的或没有神性。
再者，如果你对神性确实完全无知，那么，你显然没有任何理性和逻辑来讨论神的问题，
当然也就无从论证“基督教的神是否存在”。 |
|
q********1
发帖数: 1521 | 48 广义的“神”是不是存在？有什么特征？这些我的确都不知道。
你的狡辩在于：你把你家主子说成是“神”的一个子集。你并不能证明这一点。我证明
了你家竹子不存在，那么你家竹子就不是你说的一个“子集”了。
你家主子耶和华/耶稣是一个邪恶的下流的王八蛋，根据“圣经”的情节，我可以证明
你家主子是不存在的。
清清楚楚的逻辑，逆你是真的搞不懂还是要自己骗自己？
证B
题， |
|
d**********r
发帖数: 24123 | 49 虽然这个问题偏离了关于你的道理适用范围的讨论，我还是回答吧
如果最后无害，那我自认倒霉，我不后悔。
有些东西，没有吃过，一样可以判断出有害
：而那些吃过的人都说好，身体和精神都很好。
这个回到适用范围问题。吃过的人说好，在吃过的人那个子集里适用。延伸到超出那个
子集，就不一定好了。
：你判断有害的依据在哪里呢？
我前面说得是“如果有害”。表示一种假设，不需要给出具体的依据。 |
|
t*******r
发帖数: 2940 | 50 不对啊，赞美是不赞美的補集，但他们只是情绪这个大集合的子集。所以你没碰这个子
集的时候，你并不知道你的选择。况且每个人对各式情况产生的情绪会不一样，当老七
问一个人赞不赞美上厕所时，或许他的反映不是赞美或不赞美，而是：为什么问？他的
赞美不赞美的子集并没有和当时的情况相连。这或许是通常的人类反映。 |
|
