- 757： 名前：枯れた名無しの水平思考 ：2009/01/17(土) 00:45:54 ID:yLvZLXTK0(2)
- 756が分かりにくかったので勝手に考えた
ここで考える命題は「かるぽブログである ならば バレスは知っている」
この命題の対偶は「バレスは知らない ならば かるぽブログではない」
一般に命題とその対偶の真偽は一致する
よってこの命題は偽
でいいのかな、ちょっと不安だ
756の言う通りに、見つかった端から登録されてるからたぶんほぼ全部だね
あとどのオーナーさんか覚えてないけどかるぽブログを大量にリンクしてるブログがあったはず
だいたいのオーナーさんはリンクされてるとか - 771： 名前：枯れた名無しの水平思考 ：2009/01/17(土) 18:28:19 ID:yLvZLXTK0(2)
- >>768
ゲーデルの不完全性定理ってやつですか、wikipeでサクっと見てきました
757に関しては756を勘違いしたのではなくてただ単に別に考えただけなので、
こういう馬鹿な方面に使える意味で数学は面白いなあ
■TOP■ 全部 1- 101- 201- 301- 401- 501- 601- 701- 801- 901- ツリー表示 dat