――id:mind:20050924(必読)から、不完全性定理(様相論理版)つながり ――id:mind:20050915から、 newCombの赤玉青玉のジレンマつながり ＜比べてみよう? ================================================================ ◆灰色ワニGuderianによる、灰玉赤玉…

――id:mind:20050916(必読)から、自己充足信念(言霊)つながり 〜合理性のジレンマ〜 第二不完全性定理: 「Gの念仏(後述)」を信じてる人が、 「自分は正気を失わない」と信じること によって、 実際には正気を失ってしまう を予め控えてるおかげで、 もしかす…

――id:mind:20050916から、観察論理学つながり ――id:mind:20040529から、観察論理学つながり ＜「ならばif(含意⊃)」か、 「ならばそのときに限りif(and only i)f(同値≡)」か ――我々は、「⊃(と≡)」に沿って、三段推論→(と可逆推論⇒)を進めていくことからすると…

――id:mind:20050915から、青玉つながり ――id:mind:20040708から、カレーつながり? ――http://d.hatena.ne.jp/mind/searchdiary?word=%bc%ab%b8%ca%bd%bc%c2%ad%bf%ae%c7%b0 あたりから、自己充足信念(言霊)つながり ――なんか、けっこう伏線で濫用されてるなー…

id:mind:20050914から、囚人の赤玉青玉つながり □ ニューカムのパラドクス ――というのが『THE PARADOX BOX』(≒『Gotcha』)(日経サイエンス社)から目に留まった…… ◆Newcomb's Paradox オリジナル版 ――FRANZ KIEKEBENさんのPAGEによる。 http://members.aol.co…

――A,Bはカトリック修道院を卒業後?、MBAを目指して経営学院に入学したのだろうか? ――ネオコンみたいだな、ha?! id:mind:20050905から、足ることを知る、のつながり ――さて、いよいよ本論ですw これは本当に非道い問題。。。 ――『狩人のジレンマ』id:mind:200…

id:mind:20040601から、足ることを知る の繋がり ――身近な人のために起案したものだが、「人間をバカにしている」ものと(正しく?)理解され"人格"を疑われるのをおそれてお蔵入りになっていた文書らしい。 - 食べ物に囲まれた中でも、自然の動物のようにスマ…

id:mind:20040620から、記号論つながり◆Cを知ってる人のためのLISPの文法 † DATA型 S表現symbol-expression シンボルまたはリスト。 ――LISPの本領は記号操作にあるので、とりあえずは数値を除外。 シンボル '(や ')を含まない単語 リスト シンボルまたはリス…