「共有知識」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
("共有知識" を保護しました。 [edit=sysop:move=sysop])
(相違点なし)

2007年7月20日 (金) 08:57時点における版

【きょうゆうちしき (common knowledge)】

ある事実について, 全員がそれを知っている, 全員がそれを知っていることを全員が知っている, 全員がそれを知っていることを全員が知っていることを全員が知っている, , という無限個の命題が成立するとき, その事実は共有知識であるという. ある事実が共有知識となるためには, 例えば, 全員の目の前でその事実が確認されれば十分である.