コンピューターによる定理の自動証明at MATHコンピューターによる定理の自動証明 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト150:１３２人目の素数さん 05/09/29 16:25:11 301 ：１３２人目の素数さん ：2005/09/29(木) 15:12:47 >>295 この中村って香具師、あほ鴨の仲間じゃねーか？ 302 ：１３２人目の素数さん ：2005/09/29(木) 15:16:20 >>301 ポモ的なのに叩かないのは、そういう理由だったんだね！ 土建屋＝宇沢＝長谷川＝黒木 ← 隠れポモ野郎 禿藁＝Ｕ健爾 ← 隠れポモ野郎 あほ鴨＝中村 ← 隠れポモ野郎 303 ：１３２人目の素数さん ：2005/09/29(木) 15:26:53 >>302 >>295 こいつらって、結局 ポモと同じでしょ。 ＞そして、別の場所で、極端なことを言っているのではないかと非難された場合には、 ＞3 (a) に近い穏健だが当たり前の主張を述べて批判をかわします。 http://www.math.tohoku.ac.jp/~kuroki/FN/relativism.html 151:１３２人目の素数さん 05/11/10 18:44:30 552 152:１３２人目の素数さん 05/11/10 20:55:41 記号論理学が嫌われるのは、命題という、数のようにモノと思いやすくない ものまでＡとかＢとかいう記号で扱うことに対して、無意識の不安、抵抗 があるからであろう。 これを払拭させるには、まず。「命題はモノではない」ということを 明確に意識させたうえで、「それでも命題は或る意味でモノ扱い出来る」 ということを相当徹底的に理解させることが有効であろう。 尤も、この第２段階で徹底的に抵抗するような人物には、この教育法も 無力であろうが、記号論理学嫌いのほとんどは、第１段階によって、自分 の記号論理学嫌いの原因を明確に意識出来れば、次の第２段階も突破する であろう。 そうなれば、定理の自動証明の基本構想の概念に到達し易くなるであろう。 このスレッドの話はそのあで始めるのが良いだろう。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch