[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
943(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)23:18 ID:ivt0JCXh(35/37) AAS
>>939
追加補足
逆数学： IUTに”どの程度の集合存在公理が必要かを問う”べし
外部ﾘﾝｸ:ja.wikipedia.org
数理論理学
集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。
現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。
圏論の分野では多くの形式公理的方法を用いる。それには圏論的論理（英語版）の研究も含まれる。しかし圏論は普通は数理論理学の下位分野とは見做されない。
圏論の応用性は多様な数学の分野に亙っているため、ソーンダース・マックレーンを含む数学者らは、集合論とは独立な数学のための基礎体系としての圏論を提案している。
これはトポスと呼ばれる古典または非古典論理に基づく集合論の成す圏に類似の性質を持つ圏を基礎に置く方法である。
省10
702: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/26(木)07:40 ID:UDAlqbMx(3/4) AAS
>>700
ID:jIPdb5weさん、どうも
ID:hJ1Ksrnd＝おサルの調教ありがとう（＾＾
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
947 名前：１３２人目の素数さん[sage] 投稿日：2019/12/26(木) 06:38:58.30 ID:hJ1Ksrnd [1/4]
>>943
オカルトマニアという方ではありません
950 名前：１３２人目の素数さん[sage] 投稿日：2019/12/26(木) 07:12:29.37 ID:jIPdb5we
>>947
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s