11/09/28 15:51:14.49
Booleの「論理の数学的分析」は翻訳されてるのに「思考の法則」はされてないのは
何故なんだ
翻訳するなら後者の方が良い気がするんだがな
946:M_SHIRAISHI
11/09/28 17:09:06.71
>>945
共立出版社で翻訳出版される予定らしい。
# Boole は、下層階級の生まれで、出世する為には、ギリシア語や
ラテン語をマスターしなければならないと信じていた。
その為、Booleの書いた本（英語）を読むには、ギリシア語や
ラテン語の知識を要する。 (^o^)
947:１３２人目の素数さん
11/09/28 17:52:38.45
ええ？
948:１３２人目の素数さん
11/09/28 20:28:15.90
原著を読んだことのある奴ならわかるがそんなこたない。
949:１３２人目の素数さん
11/09/29 01:05:59.29
>>946 ソースは？
950:１３２人目の素数さん
11/09/29 12:08:11.95
>>943
記号そのものには意味はない。
代わりに机や椅子の記号でも良い。
951:１３２人目の素数さん
11/09/29 17:11:36.17
>>950
ありがとうございました。
952:１３２人目の素数さん
11/09/29 19:01:35.75
歴史的には形式主義と呼ばれる立場と呼ばれる。
953:１３２人目の素数さん
11/09/29 22:20:58.69
ああ眠い。基地外ばっかりじゃんここ。
954:１３２人目の素数さん
11/09/29 23:12:45.53
２ちゃんは馬鹿の巣窟。
これ常識。
955:１３２人目の素数さん
11/09/29 23:48:44.64
>>946 共立に確認したら予定は無いと言われたぞ糞が。死ね
956:官軍（中尉）(^o^)
11/09/30 03:16:11.01
>>955 ：１３２人目の素数さん：2011/09/29(木) 23:48:44.64
>>946 共立に確認したら予定は無いと言われたぞ糞が。死ね
講座「数学の歴史」のなかで、ブールの「思考の法則」ものっていた。
ブールの英語はむずかしいんで諦めたのかな。 (^o^) (^o^) (^o^)
# Dover出版社から、リプリント版がでているよ。
957:１３２人目の素数さん
11/09/30 11:50:07.34
リプリント版のことなど既知だ
訳が有るかが問題なんだよ糞コテ死ね
958:１３２人目の素数さん
11/09/30 12:34:01.79
誰だよこんなスレ立てたの
數學木曾論・數理邏輯學 その9
ｽﾚﾘﾝｸ(math板)
959:１３２人目の素数さん
11/09/30 12:38:00.96
クヌース・ベンディックスの完備化アルゴリズムをお勉強したい。
完全な証明求む。
オススメの項書き換え系の教科書は何？
960:１３２人目の素数さん
11/09/30 16:55:52.48
URLﾘﾝｸ(www.math.princeton.edu)
ペアノ算術の矛盾を示したとかいう話らしいんだが、分かる人いる？
961:１３２人目の素数さん
11/09/30 18:03:40.95
>>959
なぜこの板に…
"Term Rewriting and All That"
URLﾘﾝｸ(www.amazon.co.jp)
この板的にはこっちがいいかも。
Gr bner Bases: A Computational Approach to Commutative Algebra
URLﾘﾝｸ(www.amazon.com)
962:１３２人目の素数さん
11/09/30 19:37:43.43
>>961
二番目のやつ注文しますた。足らん場合一番目行きます。アリ。
963:961
11/09/30 20:30:15.82
まじでw
KB完備化は間接的にしか扱ってないから、
URLﾘﾝｸ(www.risc.jku.at)
とか、KnuthのtAoCPも読んどいてね。
964:１３２人目の素数さん
11/09/30 21:36:16.54
KBもグレブナー基底も互除法のわりと
素直な一般化というか高次元化だよね。
965:１３２人目の素数さん
11/10/01 10:02:22.15
>>960
Taoの反論で終了してる