[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
238(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)18:41 ID:K6AlmfoH(5/5)調 AAS
>>237
つづき
上記の出どころ
https://researchmap.jp/read0017260/
久田見 守 researchmap
https://ring-theory-japan.com/ring/
環論ホームページ
https://ring-theory-japan.com/ring/oldmeeting/2006/old.html
国内会議案内（２００６年終了分）
第３９回環論および表現論シンポジウム（２００６年）
期間：２００６年９月１６日（土）ー１８日（月）
会場： 広島大学学士会館レセプションホール会議室１
(引用終り)
以上
297: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)15:26 ID:0oc9Ztsl(19/28)調 AAS
>>294
再度まとめておきます
現代数学の無限の議論で、
１．整列可能定理と関連して、デデキント無限とかの関連で（>>236-238）どこまでの強さの選択公理を採用するか（>>283）の問題がある
可算選択公理＜従属選択公理＜選択公理＜連続体仮説
ですね。決定性公理は、別の系統なのでしょうね
２．レーヴェンハイム-スコーレムの定理に関連して（>>251-252）
一階述語論理に限定するのか？ それとも、二階以上の高階述語論理を採用するのか？
ゲーデル先生ご存命の20世紀前半は一階述語論理全盛で、「二階以上はパラドックスのおそれあり」で忌避されていた傾向あり
ところが、いろいろあって、圏論などもその1つと思うが、「二階以上もやろう」という流れができた
３．あと、逆数学なんて流れもあるようです（「現代数学の全部を網羅する公理系ではなく、分野毎に特化した公理系」なのでしょうかね？）
https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6
逆数学
(抜粋)
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。
「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。
実際、逆数学の結果の多くは、計算可能性解析の結果を反映している。
逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s