Re: [討論] 第幾天有幾個人會殺了幾個的問題
※ 引述《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)
討論串 (同標題文章)