- 75 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/01/22(日) 11:50:42.55 ID:aSVenMI/.net]
- >>67 つづき
20世紀後半に、モデル理論が発展して、超準解析や超実数の数学理論が整備された
その意味するところは、完全に１９世紀の無限認識を超えたところに、現代数学は到達したと
だから、可能無限と実無限という１９世紀までの無限認識は、20世紀後半には統合されていると理解している
まあ、この認識を共有するには、下記の「超準解析とはどういうものか 齋藤正彦」あたりを読んで理解してもらえれば可だ
なので、ともかく（文系）High level people は、早く 28へどうぞ
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
https://www.jstage.jst.go.jp/result?item1=4&word1=%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90%E3%81%A8%E3%81%AF%E3%81%A9%E3%81%86%E3%81%84%E3%81%86%E3%82%82%E3%81%AE%E3%81%8B
https://www.jstage.jst.go.jp/article/sugaku1947/38/2/38_2_133/_pdf
超準解析とはどういうものか 齋藤正彦 SUGAKU Vol. 38 (1986) No. 2
https://ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0
超実数
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%87%E3%83%AB%E7%90%86%E8%AB%96
(抜粋)
モデル理論（英語: model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。
この記事では、無限構造の有限一階モデル理論に焦点を絞っている。
モデル理論が体へ応用された初期の結果の例は、タルスキの実閉体についての量化記号消去法、疑有限体 (pseudo finite field) 上のAxの定理、そしてロビンソンの超準解析の開発がある。
(引用終り)
|
 |
