作者asdinap (asdinap)
看板logic
标题Re: [讨论] 第几天有几个人会杀了几个的问题
时间Wed Mar 11 02:22:58 2009
※ 引述《MathTurtle (恩典)》之铭言：
: : 在游客没对所有土着说出[有人眼睛是蓝色的]这话前,
: 假设这句话为 P
: (因为看到49个其它人都是蓝眼睛,
: 就可以推论每一个人至少看到48个人的眼睛是蓝的。)
: Now, let K be the operator 'everyone knows that'
: (e.g. KP = everyone knows that P)
: 所以每个人都知道P, 也知道KP,
: 之所以不是common knowledge的原因是因为,
: 他们不知道 K^49 P (i.e. KKKKKK...KKKP)。
: (i.e. everyone knows that everyone knows that ... P)
: 而这 K^49 P 是由那游客给出的, 也开始了induction。
取用M大的K与P
我的拙见是 K与其说是'everyone knows that'
不如说是'the other persons knows that'......
^^^^^^^^^^^^^^^^^
每层K递减一
.......算了 我英文不好 我打中文
我是想说 是不是应该
不是 所有人都知道[所有人都知道(所有人都知道(((...所有人都知道P))))]
而是 所有人都知道[其他49人都知道(其他48人都知道(47(46(...最後1人知道P))))]
而在游客没说话前 全50人都是 K(递减1)^48 P 的认知
因为没有第 K(递减1)^49 P 照该逻辑推理 仍然大家相安无事免仆街
不知道我的想法有没有错
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.104.121.89
※ 编辑: asdinap 来自: 59.104.121.89 (03/11 02:24)