[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
198(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/12(火)20:58 ID:uuICzLx2(4/10) AAS
>>196
C++ さん、どうも。スレ主です。
お元気そうで、なによりです
なにを集合として扱うのか？
これは、いろいろと時代の変遷があるみたいですよ
>私は集合と要素を別のものとして区分するのは反対です
無制限に、なんでも集合に取り入れると、まずいので公理化した
省23
199: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/12(火)21:33 ID:uuICzLx2(5/10) AAS
>>198
C++ さんには、こちらの武田先生の方が、読みやすいかも（＾＾
外部ﾘﾝｸ:www.nii.ac.jp
武田 英明 TAKEDA Hideaki 情報学プリンシプル研究系 教授
外部ﾘﾝｸ[pdf]:www-kasm.nii.ac.jp
集合論とOWL Full 小出誠二，武田英明
第24回セマンティックウェブとオントロジー研究会;SIG-SWO-A1101-11 2011年6月 セマンティックウェブとオントロジー研究会
省1
200(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/12(火)22:30 ID:uuICzLx2(6/10) AAS
>>198
>いまは、公理的集合論を乗り越えていこうという動きが大きくなっていると思います
>その大きな動きの一つが、圏論でしょうね
関連で
下記が面白い（＾＾
外部ﾘﾝｸ:martbm.hatenablog.com
martingale & Brownian motion id:martbm はてなブログPro
省9
205(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/13(水)07:22 ID:QlfKIGCF(1/5) AAS
>>198
>>私は集合と要素を別のものとして区分するのは反対です
>無制限に、なんでも集合に取り入れると、まずいので公理化した
>で、素朴集合論から、公理的集合論（主としてZFC）の時代になった
（>>58）
外部ﾘﾝｸ[pdf]:blacaman.tripod.com
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s