「共有知識」の版間の差分
ナビゲーションに移動
検索に移動
(新しいページ: ''''【きょうゆうちしき (common knowledge)】''' ある事実について, 全員がそれを知っている, 全員がそれを知っていることを全員が知っ...') |
|||
| 1行目: | 1行目: | ||
'''【きょうゆうちしき (common knowledge)】''' | '''【きょうゆうちしき (common knowledge)】''' | ||
| − | ある事実について, 全員がそれを知っている, 全員がそれを知っていることを全員が知っている, 全員がそれを知っていることを全員が知っていることを全員が知っている, | + | ある事実について, 全員がそれを知っている, 全員がそれを知っていることを全員が知っている, 全員がそれを知っていることを全員が知っていることを全員が知っている, <math>\dots \,</math> , という無限個の命題が成立するとき, その事実は共有知識であるという. ある事実が共有知識となるためには, 例えば, 全員の目の前でその事実が確認されれば十分である. |
2007年7月12日 (木) 00:29時点における版
【きょうゆうちしき (common knowledge)】
ある事実について, 全員がそれを知っている, 全員がそれを知っていることを全員が知っている, 全員がそれを知っていることを全員が知っていることを全員が知っている, , という無限個の命題が成立するとき, その事実は共有知識であるという. ある事実が共有知識となるためには, 例えば, 全員の目の前でその事実が確認されれば十分である.
