- 748 名前：１３２人目の素数さん [2024/11/22(金) 23:15:52.66 ID:NLbP3CjF.net]
- >>663
リンク ありがとうございます
下記ですね
東大 基礎論講義ありますね 1年後期かな。講座も
酒井 拓史 講座 離散数理学大講座 教授
研究分野 数学基礎論，公理的集合論
下記 経歴 2024年からだと、新井 敏康パパの後継ですかね
(参考)
東京大学授業カタログ 2024年度版
集合論は数学に現れる無限集合について調べる分野です．特に，公理系に基づいて展開される集合論は公理的集合論と呼ばれます．関数・関係・数学的構造をはじめとする数学の書概念は集合を用いて表され，集合論の標準的な公理系 ZFC （Zermelo-Fraenkel の公理系 ZF +選択公理 AC）は数学全体を展開できる包括的な公理系になっています．この講義では，ZFC のもとで展開される集合論の基礎を解説し，さらに連続体仮説の ZFC との無矛盾性や，選択公理の ZF との無矛盾性についても解説します．
教員
酒井 拓史
授業計画
次の項目を順に解説する予定です．
1. ZF の紹介
2. 無限集合の濃度と連続体仮説
3. 順序数と超限帰納法
4. 選択公理とその帰結
5. 連続体仮説と選択公理の無矛盾性
参考書
[1] 田中一之 編「ゲーデルと20世紀の論理学 第４巻 集合論とプラトニズム」東京大学出版会，2007年．
[2] ケネス・キューネン著，藤田博司訳「集合論 -独立性証明への案�
|
 |
