41
Hiroyuki Miyoshi @metaphusika
なぜか来週から公理的集合論の半年のセミナーというか講義をやることになりそうなのだが,出来れば最後に強制法に少しでも触れたい。コンパクトな良いテキストをご存じの方おられますか。英語でも構いません。
くるる @kururu_goedel
RT @metaphusika: なぜか来週から公理的集合論の半年のセミナーというか講義をやることになりそうなのだが,出来れば最後に強制法に少しでも触れたい。コンパクトな良いテキストをご存じの方おられますか。英語でも構いません。
くるる @kururu_goedel
コンパクトでちゃんとした集合論の教科書というとHrbacek-Jechが一番の選択肢だと思いますが、強制法にはほとんど触れていませんね。
Hiroyuki Miyoshi @metaphusika
対象は数理科学科の学部3,4年生です。素朴集合論は知っていますが,数理論理学の知識は仮定しません。いわゆる普通の数学科のカリキュラムを受けてきたと思っていただいて結構です。
Hiroyuki Miyoshi @metaphusika
@kururu_goedel ありがとうございます。Hrbacek-Jechに強制法は適当に補うというプランも検討してみます。
Hiroyuki Miyoshi @metaphusika
日本語の教科書はkuennen本の翻訳か田中尚夫先生の本しか思い浮かびません。最近いい本あるのかなあ。
Takayuki Kihara @tri_iro
@metaphusika "Set theory for the working mathematician"は200ページちょいでiterated forcingまで扱ってます。扱ってる話題のチョイスも数学科の学部生向けだと思います。ロジックの予備知識が不要な辺りも良い本です。
Hiroyuki Miyoshi @metaphusika
@tri_iro ありがとうございます。"Set theory for the working mathematician"はタイトルは聞いたことがありましたが忘れていました。今目次を見てみましたがかなりコンパクトでよさそうですね。これもチェックしてみます。
Takayuki Kihara @tri_iro
@metaphusika 補足すると"Set theory for the working mathematician"は僕が学部生のとき、ロジックを全く勉強したことが無かった状態(完全性定理も不完全性定理も知らなかった)でも読めた本なので、かなり良い入門書だと思います。
Hiroyuki Miyoshi @metaphusika
@tri_iro ありがとうございます。そういう受講者側の意見もとても助かります。
Hiroyuki Miyoshi @metaphusika
自分のときはJechとかMoschovakisとかBellとか専門書を適当に調べて済ませてしまうので,いざ教科書となるととても困りますね。
@patho_logic
RT @tri_iro: @metaphusika "Set theory for the working mathematician"は200ページちょいでiterated forcingまで扱ってます。扱ってる話題のチョイスも数学科の学部生向けだと思います。ロジックの予備知識が不要な辺りも良い本です。
@patho_logic
RT @tri_iro: @metaphusika 補足すると"Set theory for the working mathematician"は僕が学部生のとき、ロジックを全く勉強したことが無かった状態(完全性定理も不完全性定理も知らなかった)でも読めた本なので、かなり良い入門書だと思います。
ytb @ytb_at_twt
@tri_iro @metaphusika "Set theory for the working mathematician"は、解析学に興味を持つ学生は特に楽しめると思います。後半の変な関数の所とか。
@patho_logic
読んでて楽しそうなのは"Set theory for the working mathematician"かな.でもゲーデルのLはあつかってないんだ. http://www.math.wvu.edu/~kcies/STbook.html
@patho_logic
公理論的集合論のコンパクトな教科書というのは需要があるかも.誰か書かないか?
Takayuki Kihara @tri_iro
@ytb_at_twt @metaphusika 奇妙な集合や関数の存在証明の辺りは非常に楽しかったですね~。あの辺りからどんどん集合論に惹かれていった記憶が。
@patho_logic
教科書じゃなくてもレクチャーノートとか.あ,レクチャーがないのか.
Hiroyuki Miyoshi @metaphusika
@ytb_at_twt @tri_iro ありがとうございます。残念ながら本学の図書館には蔵書しておらず,友隣社,マテマティカなどの取次の国内在庫もないようです。自腹を切るならamazon.comで一番速いのを選べば2-4日みたいですが,うーん。
Takayuki Kihara @tri_iro
@patho_logic そういえばLに全然触れていないのが問題点ですね。でも、確かに L の面白さを"working mathematician"に伝えるのは難しいのかも……。
@patho_logic
@tri_iro Lの話をすると絶対性とか面倒な話が多いですからね.よっぽど集合論に関わりがある話題じゃないと使うこともないでしょうし.working mathematician はスルーしてもいいかなとも思います.
Hiroyuki Miyoshi @metaphusika
ありがとうございます。 RT @patho_logic: 渕野さんのレクチャーノート発見. http://bit.ly/asfAFZ
ytb @ytb_at_twt
@patho_logic @tri_iro Lなどの話題について詳しい"Set theory for the armchair logician"を誰か書いてくれないか。
@patho_logic
Lを中心に応用や面白い話題を集めた公理論的集合論の入門書というのを目指すべきか.
残りを読む(95)

コメント

Takayuki Kihara @tri_iro 2010年10月2日
集合論TLとゲーデルの哲学TLが面白かったのでとぅぎゃってみました。
Hiroyuki Miyoshi @metaphusika 2010年10月3日
http://togetter.com/li/55833 の最後の方,あんまり関係ない「計算の哲学」についてのComputer Todayのリレー連載の単行本化希望話をくっつけて申し訳ないです。反響が大きかったら再度腰を上げて動こうかなと思うので,目についた反応を付け加えさせていただいています。他にもあれば付け加えてくだされば幸いです。というかTwitterには出版社のアカウントもだいぶ増えてるからそっちに流すという手もあるか。
@patho_logic 2010年10月3日
微修正.最近の呟きの追加はしてません.
ログインして広告を非表示にする
ログインして広告を非表示にする