bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2008-09-13から1日間の記事一覧

ニセの手がかりを扱える論理体系

上のエントリを読み返していて、ふと「ニセの手がかり」なるものを真面目に扱える論理体系って何だろう、と気になって、考えてみた。ヒントは、ヒビルテにあった知識論理。以下引用すると、こんなの。 K(φ,ψ) := □(φ→ψ) → □φ → □ψ φ→ψ であることを知ってい…

ミステリに不完全性定理なんて不要です

どうも、「うみねこ」作者が後期クイーン問題なるものに言及し、物議を醸しているようです。曰く、 「後期クイーン問題」とは非常に簡単に説明すると、探偵(読者)の知り得てる情報が “全て”であるとの証明が自身には不可能である、というものです。 この問…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。