[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）8 (942ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
615(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/29(土)18:54 ID:fi/E4J7v(19/25) AAS
>>604 追加
下記、辻下徹 研究室 北大
1999年講義 第4回：＜無限＞の柔軟性(1)：Forcing
自然数の集合ω が良く纏まっているが
コピー規制がかかっていて、コピー貼り付けができない
リンク先を直接見てください
外部ﾘﾝｸ:ac-net.org
辻下徹 研究室 北大
外部ﾘﾝｸ[html]:ac-net.org
1999年講義 （このページは文字化けがひどいが（＾＾； ）
省8
617(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/29(土)19:17 ID:fi/E4J7v(21/25) AAS
>>615 追加
下記の古賀明彦氏の無限集合ωの説明が分かり易いが
「無限集合は生成できない」は、レーヴェンハイム-スコーレムの定理
”一階の理論はその無限モデルの濃度を制御できない”
”定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない”
を考えると、無限集合が出来ても、一階の理論では証明できないから、無限公理を置くが正しいかも（＾＾
外部ﾘﾝｸ[pdf]:www.ivis.co.jp
（2018年10月21日修正版）
「連続体仮説の解説 AGAIN」
古賀明彦 第434回 わかみず会資料
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.258s*