- 761 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:27:02 ID:JV2qk9Qn.net]
- >>669
補足
> https://fujicategory.hatenadiary.org/entry/20110721/1311211333
>数学基礎論の勉強ノート id:fujicategory
> 2011-07-21
>レーヴェンハイム・スコーレムの定理！！
これ、面白い
図解が面白い
是非、ご一見願います（＾＾；
追加貼る
www.cs-study.com/koga/set/setTheory.html#about_CH
集合，位相，論理など
(Set, Topology, Logic, etc.)
28th Dec 2019 (Updated)
10th Oct. 2017 (First)
Akihiko Koga
(抜粋)
1)集合論の基礎
1.いろいろな集合論についてのおぼえ書き
-1.公理的集合論
-2.素朴集合論
-3.圏論ベースの集合論
-4.代替集合論 (Alternative Set Theories)
某勉強会で発表してきたことを追加しました．(2019.06.22)
2.集合論の学習での重要なポイント
3.Zorn の補題と選択公理のお話
4.フォーシングと連続体仮説の否定の無矛盾性
5.基礎的な集合論の教科書
6.集合論についての素朴な(かなり，おまぬけな)疑問集
2)位相空間の基礎
テキストや計算機応用の文献など
3)論理学の基礎
1.Hilbert の体系の例
2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem)
某勉強会での連続体仮説解説の顛末追記
3.ゲーデルの不完全性定理について
別のコーナーで書いた簡単な説明へのリンクです 2019.12.28
4.数理論理学の基礎を勉強するための参考になりそうな文献例
つづく
|
 |
