- 1 名前：１３２人目の素数さん mailto:sage [2009/10/25(日) 15:08:19 ]
- 数学の本について語るサロンです。
線型代数と微積分、洋書については別スレがあります。
前スレ
数学の本 第34巻
science6.2ch.net/test/read.cgi/math/1245601491/
数学学習マニュアル まとめページ
www.geocities.co.jp/Technopolis-Mars/7997/
数学の本 まとめサイト
www3.atwiki.jp/math/pages/1.html
【激しく】解析と線型代数の本何がいい？【既出】 2
science6.2ch.net/test/read.cgi/math/1236240837/
数学の洋書
science6.2ch.net/test/read.cgi/math/1179765013/
参考書中毒患者スレッド@数学板 Part3
science6.2ch.net/test/read.cgi/math/1229866559/
- 341 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 21:08:58 ]
- >>334
北大の修士に落ちた北大数学の学部生が東大数学の修士になった例を知ってるよ
もっとも随分と前だけどね
当時の文部省の意向だったんだろうけど
東大が他の宮廷大に先駆けて真っ先に大学院各研究科の定員を増やしたころさ
- 342 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 21:14:48 ]
- 今はむしろ東大は人数絞ってる
地底はマジで大学で数学やってなかったやつでも余裕で受かる
- 343 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 21:17:46 ]
- 地底も今年から絞ってるよ
定員は減ってないけど今まで定員超過してた分を減らしてる
- 344 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 21:47:06 ]
- >>341
確かに、東大が最初に重点化した頃、地底からは
「今の東大の院試に落ちる奴はうちでもいらん」と揶揄
されたものでしたｗ
ただ、北大も重点化して、今じゃ北大の修士の試験に落ちる
のは、「相当の」人だけになりましたよ・・・
だから北大の修論が「群と準同型」とか「基本群について」
とかになったわけで。
他の地底も似たようなものですが・・・
- 345 名前：１３２人目の素数さん [2010/01/09(土) 21:47:29 ]
- またまたジェラシーにかられた、無意味な書き込みですね>>338
私はまだ学部の学生ですよｗ 何を根拠にＢコースに行けないとか
書いているんですかねｗ もっと冷静になったらどうですか？
で、怪しい研究やっている数名の准教授以上の教官名を挙げて下さいｗ
- 346 名前：１３２人目の素数さん [2010/01/09(土) 21:49:37 ]
- 京大院Ｂコースは低脳の巣窟
- 347 名前：１３２人目の素数さん [2010/01/09(土) 22:15:29 ]
- そうでもない。
京大Ｂ落ちて阪大院通るやつはいるけど、逆はいない。
- 348 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 22:19:18 ]
- >>347
将来研究者になるつもりなら、京大Ｂよりまだ阪大院
なんだけどねえ。
学生にはそういう事情がわからんから、入試の難度
では京大Bのほうが難しい。その意味では、京大Ｂに
行くのは低脳かもしれん。ま、京大修士卒の肩書きを
楽に手に入れたいという目的のためなら頭良いか。
- 349 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 22:45:47 ]
- ここはペレルマンが推薦文を書けないスレですか。
- 350 名前：１３２人目の素数さん mailto:sage [2010/01/09(土) 23:15:24 ]
- ポストなんかただ生活費を稼ぐ手段に過ぎないし
時の運による部分も大きいんだから
理学部にポスト取れなかった人でも優秀な研究者は幾らでも居るぞ
>>345
その人自前のウェブサイト持ってるから数理のサイトから
探して論文のプレプリントでも見てみれば自ずと分かるよ。
見る人にまともな判断力さえあればね。
- 351 名前：１３２人目の素数さん [2010/01/10(日) 09:31:32 ]
- >>350
逃げないでちゃんとその名前を書いて下さい。
- 352 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 12:23:01 ]
- スレチと気づかない低脳どもめっ
- 353 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 12:26:33 ]
- みなさん、わたしに嫉妬しないでください
准教授以外の書き込みを禁止します
- 354 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 12:41:20 ]
- >>352
同意
いつまでやってんだか
ほっとけばいいものを
- 355 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 12:50:48 ]
- 教授も書き込んだらダメになったらしいぞ
- 356 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 12:52:49 ]
- 名誉教授じゃが、わしもダメかのぉ
せっかく２ちゃんの書き方を織田くんから教わったのに。
- 357 名前：１３２人目の素数さん [2010/01/10(日) 13:07:36 ]
- ここでは大学の理学部数学科の准教授未満の方でも
本を薦めて下さい。
なぜなら、数学の本を読むには時間がかかりますが、
下らない本でも結果的に読めば、数学の勉強にはなります。
しったかぶりで数学の本を語って下さい。
准教授以上の数学好きのプロでも歓迎です。
この趣旨の徹底をお願いします。
- 358 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 13:49:29 ]
- つーか自称うんこ東大生の准教授うんぬんはスルーしろ釣りだろ
- 359 名前：１３２人目の素数さん [2010/01/10(日) 13:52:11 ]
- >>357 改変しないようにしてください。公益に反します。
- 360 名前：１３２人目の素数さん [2010/01/10(日) 14:47:45 ]
- 代数幾何全般でいい本教えろ（て）準教授殿
- 361 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 14:50:19 ]
- >>360
EGA→SGA
- 362 名前：１３２人目の素数さん [2010/01/10(日) 18:43:32 ]
- >>360
定番3つ
Hartshorne
Algebraic Geometry
Springer
Liu
Algebraic Geometry And Arithmetic Curves
Oxford Univ
Griffiths & Harris
Principles of Algebraic Geometry
Wiley-Interscience
- 363 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/10(日) 19:13:59 ]
- >>362
ワシはそのうちの二冊はちゃんと持ってますワ。
ホンマにエエ本でっせー、フランスの某大先生も勧めたはったしナ。
猫
- 364 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 19:32:00 ]
- Liuは知らんから持ってない
他はある
- 365 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 20:00:07 ]
- Liuが定番というのは知らんかった。
定番なら、むしろマンフォードかシャファレビッチだと思ったが。
- 366 名前：１３２人目の素数さん mailto:sage [2010/01/10(日) 20:32:53 ]
- おれもLiuなんて知らん
- 367 名前：１３２人目の素数さん [2010/01/11(月) 08:14:26 ]
- >>363
ネコさん、おはようさんです。
その本持ってて、読んでます？それとも積ん読ですか？
数学の本は、一冊読むのに何ヶ月も（何年も？）
かかるので、回りの院生に聞いても、本は買ったけど
読んでないって人が多いんですよ。
買った本を半分読んだ、という人さえ、会ったことないです。
普通は、買った本の１割〜２割ぐらいしかきちんと読んでないと
思います。
- 368 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 08:22:02 ]
- >>367
はい、どうもおはようございます。
ソレで「ホンの話」ですよね。私は昔から代数幾何には
憧れが強かったのでですね、昔には良く参照しましたね。
ちゃんと読んだとはとても言い難いですけどね。
そもそも私はホモロジー代数が大好きなんでね、
まあそういう趣味というか興味ですよ。
まあ私は本を読むのも他人の論文を読むのも大嫌いなんで。
猫
- 369 名前：１３２人目の素数さん [2010/01/11(月) 09:50:10 ]
- ここでは大学の理学部数学科の准教授以上の教員のみが、
本を薦めて下さい。
なぜなら、数学の本を読むには時間がかかります。
下らない本を結果的に読んでしまうと、数学の研究者になれません。
しったかぶりで数学の本を語らないで下さい。
准教授未満の数学好きのプロまたはアマチュアは
書誌情報のみを載せて下さい。
この趣旨の徹底をお願いします。
私は東大生ですが、嫉妬にかられて色々な書き込みが散見します。
しかし、上記の趣旨は正しいと思います。
- 370 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 10:07:38 ]
- >>369
では優秀な東大生の貴方様は数学の本としては何をお勧めになられるんで
しょうか？ 是非とも教えて下さいませ。
猫
- 371 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 10:29:42 ]
- >>369
あれっ、優秀な東大生の貴方様は一体どうされたのでしょうか？
是非とも本を教えて下さるべく大切な書き込みをして下さるのを
楽しみにして待たせて戴いてるのに、書き込みをなさらないので
すか？
お返事を下さいませ、お待ちして居りますんで。
猫
- 372 名前：１３２人目の素数さん [2010/01/11(月) 10:32:14 ]
- >>369 ここは数学の本について語るサロンではないの？
- 373 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 10:39:20 ]
- >>372
でもせっかくですから優秀な東大生の方のお話をまずはちゃんと
お伺いしましょうよ、なかなか貴重な機会だとも思いますしね。
猫
- 374 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 11:15:14 ]
- 行動力のあるバカって、社会の迷惑だよねえ。もう、このスレも終わりかなあ。
- 375 名前：１３２人目の素数さん [2010/01/11(月) 11:25:42 ]
- >>370
私の趣旨を読まれましたか？
読まれたなら、私が本う薦めることをしないという理由が分かるはずです。
猫さんは准教授であった人ですから、本を薦めて下さい。
- 376 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 11:27:23 ]
- 集合、位相の入門書教えて下さい
非数学科の根性無しなんで定理の証明は読者への課題とするとかいうのが
なるべく少ないやつ希望です
- 377 名前：１３２人目の素数さん [2010/01/11(月) 11:32:25 ]
- 松坂の集合位相入門 岩波でよいだろう
- 378 名前：１３２人目の素数さん [2010/01/11(月) 11:33:11 ]
- >>377 あなたは本をすすめる資格をお持ちですか？ 失礼ですが、職位も書いて下さい。
- 379 名前：１３２人目の素数さん [2010/01/11(月) 11:35:36 ]
- >>376
てめえ、礼ぐらい書けよ
- 380 名前：１３２人目の素数さん [2010/01/11(月) 11:37:04 ]
- >>374
スルーすれば問題ない
- 381 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 11:37:57 ]
- 松坂先生のは線型代数でなんだか性に合わない印象うけました
なういやつお願いします
- 382 名前：１３２人目の素数さん [2010/01/11(月) 11:39:54 ]
- じゃあ 静間良次とかいう人の集合位相入門
- 383 名前：猫は珍獣 ◇ghclfYsc82 [2010/01/11(月) 11:46:03 ]
- 松坂のは無味乾燥で分厚いだけだから
内田の集合と位相にしなよ
- 384 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 11:54:58 ]
- >>375
私は現在は無職であって准教授ではありません。従って貴方の趣旨に
従って数学の本を勧める事はありません。加えて数学を専攻する者に
あって他人から本を勧めて貰わなければ自分が読むべき本が得られな
い様な人は数学には向きません。そういう事全ては自分でやるべき事
であり、自主性や自己主張を放棄するのは大変に良くありません。
大切な事に関しては他人の主張を鵜呑みにするのではなくて、とにか
く自分の頭で考えて下さい。そして他人に従属する事なく良い数学者
になって下さい。
猫
- 385 名前：１３２人目の素数さん [2010/01/11(月) 11:56:14 ]
- 現代数学概説のIを読め
図書館で探して
復刊ドットコムへの申し込みが少ないのが
理解できない
- 386 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 11:57:00 ]
- 自分の頭で考えて痴漢かよ。
猫の懲戒免職は因果応報
- 387 名前：１３２人目の素数さん [2010/01/11(月) 12:05:13 ]
- >>378 サロンってどんな場所でしょうか。。？
与えてもらうのを待つだけなら、ツマンナイ
- 388 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 12:25:01 ]
- >>386
では私は貴方に徹底的に吸着して食い下がりますので、
どうかご了解下さいませ。
猫
- 389 名前：１３２人目の素数さん [2010/01/11(月) 12:26:39 ]
- 聞くのとうのみにする事は＝とちゃうやろ、相手が誰か分からんのが
2chや、みんな自称教授でええんちゃうか、種々選択は勝手にやればいいこっちゃ、
中には本物もいるが軽い情報交換の欧州と思えばええ。
- 390 名前：１３２人目の素数さん mailto:age [2010/01/11(月) 12:26:57 ]
- リアルな行動はともかく
ここでは猫氏には賛同するぜ。
- 391 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 12:29:57 ]
- 痴漢群のお薦めを教えてください
- 392 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/11(月) 12:45:27 ]
- >>389
では私は今後は心理的なダメージは馬鹿者に対してだけに喰わせる
事として情報交換の場として利用させて戴く事とします。但し馬鹿
には一切の容赦は致しませんので「馬鹿な書き込み」をする向きに
は要注意と申し上げておきます。私は徹底して攻撃をしますんで。
猫
- 393 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 12:46:27 ]
- >>390
都合が良いところだけ賛同すると、都合が悪いことになるよ。
あんたもあたまわるいね。
- 394 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 12:48:51 ]
- 猫にとっては、
「馬鹿もの＝自分に都合が悪い」
だろ。
さんざん嫌われることしてきて、
さびしくて「情報交換」かよ。
あたまわるいね。
- 395 名前：１３２人目の素数さん mailto:age [2010/01/11(月) 13:14:04 ]
- へー、どう都合が悪いんだよ。
あたまと関係ねーだろカス
おまえみたいな、臆病な奴みるとヘドが出るわ
- 396 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 13:19:36 ]
- >>393
最近の選挙結果を見てみるといい。
都合が良い「マニフェスト」だけ信じるから世の中どんどんおかしくなる。
- 397 名前：１３２人目の素数さん [2010/01/11(月) 13:52:06 ]
- >>378 サロンってどんな場所でしょうか。。？
ピンサロなら昨日行きましたよー！
ドピュしてきましたよん！
あ！
あああー！
大事なこと忘れていたー！
白い液体は、図書館から借りてきた数学の本に
ぶちまけることにしていたのだったー！
それを少女の口なんかに発射してしまったー！
くっそー！
本年最初の大失敗！
- 398 名前：１３２人目の素数さん [2010/01/11(月) 14:03:01 ]
- あーこの擦れの常連さんだー
猿も木から落ちるんだねー(ﾜﾗ
- 399 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 14:06:22 ]
- 単射、全射、顔射。
- 400 名前：１３２人目の素数さん [2010/01/11(月) 15:42:39 ]
- ここでは大学の理学部数学科の准教授以上の教員のみが、
本を薦めて下さい。
なぜなら、数学の本を読むには時間がかかります。
下らない本を結果的に読んでしまうと、数学の研究者になれません。
しったかぶりで数学の本を語らないで下さい。
准教授未満の数学好きのプロまたはアマチュアは
書誌情報のみを載せて下さい。
この趣旨の徹底をお願いします。
荒らさないで下さい。
- 401 名前：１３２人目の素数さん [2010/01/11(月) 15:49:54 ]
- 分数計算の出来んない大学生 という本を書いた人の本てどうなんざんしょ？
- 402 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:05:11 ]
- 分数イデアルの計算ができんとですばい
- 403 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:05:26 ]
- 研究ができない大学教授のことですね。
- 404 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:10:15 ]
- 分数量子ホール効果がわからん
- 405 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:30:06 ]
- シンガー・ソープは読んで理解できたが分数でなくってもソープのホール効果がわからん
- 406 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:30:34 ]
- ゼミのうまい誤魔化し方が載ってる本を教えてくだしあ＞＜
準備間に合わない；；
- 407 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:35:18 ]
- ウイスキーを持って、最初に指導教員に飲ませる
- 408 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 16:40:00 ]
- 集合と位相はたしか
最近斎藤毅が教科書出してたよね。
- 409 名前：１３２人目の素数さん mailto:sage [2010/01/11(月) 17:07:43 ]
- ここでは |Д´)ﾉ 》 ｼﾞｬ､ﾏﾀ大学の、理学部数学科の、准教授以上の、教員の、みが、
本を薦めてヽ(´ー｀)ノｸﾚﾖ。
なぜなら、数学の、本を読むには時間がかかりまつ。
下らねーよｗｗｗｗｗｗ本を結果的に読んでしまうん●ーーー！と、数学の、研究者になれません。
U＞ω＜)ﾉ ｼｯ!!たかぶりで数学の、本を語らねーよｗｗｗｗｗｗでヽ(´ー｀)ノｸﾚﾖ。
准教授未満の、数学(・∀・)ｽｰｽｷｽｰｽｷｽｰ♪の、プロまたはアマチュアは
書誌情報の、みを載せてヽ(´ー｀)ノｸﾚﾖ。
この、趣旨の、徹底をぉながいお。
荒らさねーよｗｗｗｗｗｗでヽ(´ー｀)ノｸﾚﾖ。
- 410 名前：１３２人目の素数さん [2010/01/11(月) 19:00:48 ]
- とりあえず
本以外のことは書くな
- 411 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 02:29:39 ]
- >>376
集合と位相空間(森田茂之)もあるよ。
教科書に指定してる先生もちらほら…
- 412 名前：１３２人目の素数さん [2010/01/12(火) 07:39:14 ]
- ワシならまんこくれやな、松坂と同時期に書かれていながら
古さをかんじさせないやろ。
最近ので斎藤毅のはどうかな？
東大出版ははずれすくないらしいからな。
- 413 名前：１３２人目の素数さん [2010/01/12(火) 09:43:24 ]
- 適当なスレが見あたらないので、ここで質問させてください。
3月で後期博士課程を満期退学となります。
4月からは研究生です。
ソフトウェアのアカデミック版を３月までに買えば、
安く済むと思いますけど、研究生になってからも
アカデミック版って買えるんでしょうか？
もし研究生はアカデミック買えないなら今のうちに
いくつか欲しいのを買っておこうかなと思ってます。
研究生になってからアカデミック買えたよ、という人は
いらっしゃいますか？
- 414 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 10:10:37 ]
- >>391
埼京線
触るという概念を飛び越えて
全身で相手の全身の凹凸に密着状態
要らぬ社会的誤解を与えぬよう両手は吊革にホールドアップ状態がお勧め
背広内ポケットやズボン後ろポケットの札入れが抜き取られるのは料金として納得するほか無い
ただし相手を選べぬのは辛い
- 415 名前：１３２人目の素数さん [2010/01/12(火) 10:21:31 ]
- 予備校講師とかしないの？>>413
- 416 名前：１３２人目の素数さん [2010/01/12(火) 10:55:47 ]
- >>415
バイトしたいんですけどね。
研究が忙しくて、なかなかバイトする時間が取れないです。
教官からみたら簡単な証明さえ、わたしの場合時間が
かかりますから。
研究会で一緒の、某国立大の、某Ｍ君のように、
怒濤のような手の早さでもって、一瞬で新しい定理を
証明する、というふうになりたいです。。。
- 417 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 11:02:39 ]
- それ、本当に新しい定理ですか？
どこかの行間埋めてるだけの手仕事でしょう
周りが偉く見えてるだけです
- 418 名前：１３２人目の素数さん [2010/01/12(火) 11:10:15 ]
- >>416
to appearまたは印刷になった論文はこれまで何本あるの？
- 419 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 15:13:13 ]
- 筑波大の第一学群自然学類数学専攻では
どんな位相のテキストを使ってるか教えてください
- 420 名前：１３２人目の素数さん [2010/01/12(火) 17:55:51 ]
- 研究生って学生証あるの ?
あればアカデミック版かえる
- 421 名前：猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/12(火) 18:14:19 ]
- >>416
バイトなんてつまらん事はせえへんでやナ、
ちゃんと数学の研究に専念しなはれや
金が無かったら水を飲んで数学をしはったらエエがな。
ソレでもアカンかったら親から金をむしり取りなはれ。
猫
- 422 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 19:29:25 ]
- 私の好きな数学の本のスタイルは
定義・定理・証明の流れで構築したもので
とくにそれらの要所要所を述語論理の命題で
固めてあるものです
口頭で説明したる内容を
丁寧に文語調に改めた類のものは、
たとえ数学的に厳密でしっかりしたものでも
あまり心地よく感じません
1960年代の日本の専門書は名著であっても
日本語で講義する数学を文章に起こしたようなものが多く
松坂の集合位相もそれに違わず
（公理的集合論の基礎的なところを勉強し終わった今では
さすがに読めますが）結局好きになれませんでした
いまから位相を勉強するにあたって
入門でかつキッチリしたものをお勧めください
- 423 名前：猫は珍獣 ◇ghclfYsc82 [2010/01/12(火) 20:02:04 ]
- 共立講座21世紀の数学シリーズの距離空間と位相構造がお勧めです
日本語の本ではかなり位相について詳細に書かれた本です
- 424 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 20:21:13 ]
- >>420
学生じゃないから
- 425 名前：１３２人目の素数さん mailto:sage [2010/01/12(火) 20:25:00 ]
- 後輩に買わせればいいんじゃね？
- 426 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 04:21:50 ]
- >>423
位相以外でも猫のオススメ書教えろ
- 427 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 05:12:55 ]
- >>422
話の都合で引用箇所の順番を変えるよ。
> いまから位相を勉強するにあたって
> 入門でかつキッチリしたものをお勧めください
ってことだけどさ
> 私の好きな数学の本のスタイルは
> 定義・定理・証明の流れで構築したもので
という要求をクリアしてる本は何冊もあるだろうけど
> とくにそれらの要所要所を述語論理の命題で
> 固めてあるものです
こっちの要求が難題なんだよね。
「述語論理の命題で固めてある」って言葉そのものの意味というか意図しようとしてる内容が今の文脈では多義性があると思うんだけど
要するに「ポイントとなる定義や定理を述語論理の論理式の形で書き下してある」という事を意図しようとしてると解釈して話を進めるよ。
もしその解釈がピント外れなら以下は無視してね。
そこで「難題」と書いた理由はさ、普通の数学者って数学の形式化なんて全く興味がないって事なんだよね。
だから定義や定理の内容を述語論理の論理式として形式化した形に書き下すなんて普通の数学書じゃ殆どないと思うんだよ。
位相に限らずね。
いや、上の要求を満たしてる位相の解説がないわけじゃないよ。
だけど、そういう本って普通の数学での位相の本じゃなくて数理論理学とか理論計算機科学の方面の学生向きに位相を解説した本になっちゃうんだよね。
それでそっちの方面の本になると、普通の数学をやるなら当然の事として知ってるべき類の話が全く出てこないなんて事になっちゃう訳。
何しろ理論計算機科学なんかで使う位相はT_0分離公理しか満たさないなんて恐ろしく弱い位相だからさ。
まあ数理論理じゃない普通の数学だって代数幾何ではZariski位相なんてT_0分離公理さえ満たさない超弱い位相も出てくるけどとても例外的だよね。
という訳で述語論理の論理式としてポイントとなる定義や定理の内容を書き下してるって要求は普通の数学向けの位相の教科書では難しいと思うなあ。
- 428 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 08:53:31 ]
- ZariskiってT_0もみたさないっけか？
- 429 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 11:29:24 ]
- >>427
＞だから定義や定理の内容を述語論理の論理式として形式化した形に書き下すなんて普通の数学書じゃ殆どないと思うんだよ。
＞位相に限らずね。
公理的集合論の形式で書かれたありもしない位相の本を紹介しろって話じゃなく
せいぜいが岩波の文章嫌だから杉浦の解析入門みたいな位相の本を紹介願いますってことだろ
常識的に考えて
求められてるのはあくまで数学の位相の本だろうから
>>423のような応答でかまわん話なのに
何を敏感に反応して
＞そういう本って普通の数学での位相の本じゃなくて数理論理学とか理論計算機科学の方面の学生向きに位相を解説した本になっちゃうんだよね。
までいっちゃうんだろうか
（反応したのは>>422の中の松坂云々の一文なのでは）
今年はもっとおおらかに頼む
- 430 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 13:26:14 ]
- ブルバキの位相でいいんじゃね
- 431 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 15:29:43 ]
- >>422はいろいろと思い違いをしている感はあると思うけど。
＞それらの要所要所を述語論理の命題で固めてある
だの、日本語で書いてあるものはきっちりしてないだの。
そもそもの問題意識がおかしい感じ。
数学の証明を全て論理式で書き下すようにすれば
機械で正誤のチェックが出来るようになるから有益ではないか、
みたいな議論は偶にあったりするんだけど（尤も本気で主張する人は殆ど居ない）、
そういう話に何故数学者が賛成しないのか、分かってないんじゃないかと思う。
ただ敢えて>>722の欲しがっているような本を挙げるなら
斎藤正彦「数学の基礎―集合・数・位相」とかが割とそんな感じ。
- 432 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 16:07:54 ]
- ブルバキの位相で決まり
- 433 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 16:57:42 ]
- 心地よくとか、あくまでも感性だからね。
他人の感性を論評しても仕方がない。
- 434 名前：１３２人目の素数さん [2010/01/13(水) 17:46:43 ]
- 野海さんのパンルヴェ方程式ってどう？
読みやすい？
岡本さんのパンルヴェ方程式はパラパラと見た感じでは命題の証明がかなり省略
されてて、素人には読めなさそうなんで。
- 435 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 19:40:38 ]
- >>431
は>>422のどこにも書いていない
＞日本語で書いてあるものはきっちりしてない
だの
＞数学の証明を全て論理式で書き下す
だのと、1人で手前勝手に読み取って熱くなる辺り
思い違いで、分かってないんじゃないかと思う。
そもそもの問題意識がおかしい感じ。
それじゃ数学の本読めまい
- 436 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 20:33:21 ]
- >>434
野海のほうが読みやすいけど、岡本の（元本は
上智の講究録）は、内容がほとんどかぶってない
から、そっち方面やるつもりなら読む必要がある。
- 437 名前：１３２人目の素数さん [2010/01/13(水) 21:33:34 ]
- >>436
レスありがとう。
素人なんでとりあえず野海を購入してみる。
- 438 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 23:35:20 ]
- 「入門でかつキッチリしたもの」の「キッチリ」ってのは
ただ単に定義・定理・証明のブルバキスタイルっていう意味じゃなくて
「述語論理の命題で固めてある」って意味も入ってるんだろ。
それに誰も>>422が数学の証明を全て論理式で書き下そうとしているなんて言っていない。
>>435こそ人のレスをきちんと読んでからレスしたらどうなんだ
正直なところ
＞（定義・定理・証明の流れの）要所要所を述語論理の命題で固めてあるもの
という表現は、素直に読めば、最低限でも量化記号くらいは使って書かれた
ありもしない位相の本を紹介しろといっているとしか読めないし、
杉浦の教科書も集合と論理についての付録以外はそういう書き方で書かれてない。
「要所要所を述語論理の命題で固めてある」に該当するような本は
大学初年級向けの集合と論理やらεδやらについての本か、
同じく初年級向けの微積の本くらいしか無い。
- 439 名前：１３２人目の素数さん mailto:sage [2010/01/13(水) 23:58:22 ]
- 悪い奴が難しい本ばかり勧めて困る
猪狩さんの位相入門
- 440 名前：１３２人目の素数さん [2010/01/14(木) 00:14:50 ]
- 位相のこころ
これ読めば細かいことは気にならなくなる
- 441 名前：１３２人目の素数さん [2010/01/14(木) 09:40:16 ]
- 積雪や
点集合論入門
|
 |
