-
- いいね！0
蟆
@patho_logic
RT @ytb_at_twt: @patho_logic @tri_iro Lなどの話題について詳しい"Set theory for the armchair logician"を誰か書いてくれないか。
2010-10-02 02:21:45
Takayuki Kihara
@tri_iro
RT @ytb_at_twt: @patho_logic @tri_iro Lなどの話題について詳しい"Set theory for the armchair logician"を誰か書いてくれないか。
2010-10-02 02:22:21
H. Miyoshi (ALC Japan is rescheduled in 2025)
@metaphusika
@tri_iro @patho_logic さすがにLまでカバーするのは時間的にも難しそうです。予備知識がないと面白さも分かりにくいですし。
2010-10-02 02:24:06
蟆
@patho_logic
@metaphusika そうですね．準備の大変さに比べて非集合論者には得られるものが少ないので避けたほうがいいかもしれないですね．
2010-10-02 02:27:14
H. Miyoshi (ALC Japan is rescheduled in 2025)
@metaphusika
たしかにJoy of SetsにはLについて書いてあった記憶が。 RT @h_kagami: L だったら Devlin さ。
2010-10-02 02:31:30
Takayuki Kihara
@tri_iro
@h_kagami Devlin本は楽しさを理解するのにかなり修練がいるというか、あれ記号がごちゃごちゃしてて意味を読み取るのが難しいので、初学者だとすぐ理解が追いつかなくなって投げ出しそうです。
2010-10-02 02:32:17
@sarabayuutsu
DevlinはＬ本体の濃密な話題に突入する前に、Chapter2辺りの超絶論理式変形に辟易する非ロジック系学生が多数生まれると思われる。
2010-10-02 02:33:11
@h_kagami
おそらく初学者に L を厳密にというのは無理なんですよ。整理された形での強制の方がとっつきやすいと思います。 RT @tri_iro: @h_kagami Devlin本は楽しさを理解するのにかなり修練がいるというか、あれ記号がごちゃごちゃしてて意味を読み取るのが難しいので (略
2010-10-02 02:34:32
H. Miyoshi (ALC Japan is rescheduled in 2025)
@metaphusika
まあ日本の数学科の学部では普通は公理的集合論の講義はないですよね。今回はかなりイレギュラーな形で急遽やることになりました。 RT @patho_logic: 教科書じゃなくてもレクチャーノートとか．あ，レクチャーがないのか．
2010-10-02 02:42:30
蟆
@patho_logic
@metaphusika そうですね，公理論的集合論の講義をするなんて随分珍しいですね．日本だと筑波大ぐらいでしょうか．（神戸大でも存在してるようですが）
2010-10-02 02:50:18
@h_kagami
BS では弱い形の置換公理が仮定されないので 37ページ Lemma 9.5 で BS |- ∀a(∃n∈ω(∃u(Seq(u, a, n)))) が全然「BSの定義より明らか」じゃあないんです。 RT @sarabayuutsu: 間違っている...だと...
2010-10-02 03:08:24
@h_kagami
そしてこの誤りは存外波及効果が大きいです。詳しくはこちらです。http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183742450
2010-10-02 03:14:48
Takayuki Kihara
@tri_iro
@ShinichirohM ゲーデルの構成可能集合のことです： http://en.wikipedia.org/wiki/Constructible_universe
2010-10-02 03:22:32
Takayuki Kihara
@tri_iro
ゲーデルの L は、集合論から入るより、認容順序数上の再帰理論 or 無限時間チューリング機械のような計算論的感覚から入るような入門ルートの方が楽しいかもしれない。
2010-10-02 03:28:26