共有知識

提供: ORWiki
2007年7月20日 (金) 08:57時点におけるOrsjwiki (トーク | 投稿記録)による版 ("共有知識" を保護しました。 [edit=sysop:move=sysop])
ナビゲーションに移動 検索に移動

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

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