現代数学の系譜工学物理雑談古典ガロア理論も読む74

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む74 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

471: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/11(日) 10:38:08.59 ID:D5VJA43k

>>443
>＞∞が先で、無限公理が後
>リーマン球面の∞とか射影平面の無限遠直線を考えるのに、無限公理は必要ない

サルの言っていることは意味不明だな

現代数学は、公理体系の元で成立っている
ZFC公理系を採用すると、
ZFC公理系のもとで、いろんな集合が構成できる
例えば
自然数→整数→有理数→実数→複素数などが順に構成できる
その先に、集合論の中で、複素関数とそのベースたるリーマン球面が構成できる

全く、サルの言っていることは意味不明だな（＾＾

（参考）
https://fermiumbay13.hatenabloｇ.com/entry/2018/01/03/175902
RPGツクールと数学のブログ
ZFC公理系 2018-03

数学は、何か定義をして、そこから得られる結論を定理としてまとめていくことで築いていく、巨大な論理の集大成といわれています。
足し算を定義して、それを発展させて掛け算を作り、さらにそれを発展させて累乗を作ることができます。微分だって、もとは割り算です。対数も掛け算からできています。

では、定義のもとになった理論のそのまた定義の、その根っこの部分はどうなっているでしょうか？

公理はなるべく少ない方が良いですし、同じ数学ですから、同じ公理からすべてを導くことが出来た方が理想です。
そこで、現在では集合をベースとしたZFC公理系と呼ばれるものが一般的な公理として採用されています。

ZFC公理系
論理式のルールはすでに定義されているものとします。
そこから次に述べる公理をセットにしたものをZFC公理系と呼び、これらをすべて満たすものを数学的思考の対象として扱おう、と決めるのです。
つまり、これらがいわゆる数学のすべての基礎といえます。

http://fuchino.ddo.jp/misc/kikaku03.pdf
数学の基礎としての集合論 vs 数学としての集合論
渕野 昌
神戸大学大学院 システム情報学研究科
このテキストは，著者の中部大学在職中の 2003 年 9 月 24 日に，千葉大で開かれた数学
会の秋季総合分科会の企画特別講演として講演したものの予稿に若干手を加えたものです

https://mathematics-pdf.com/pdf/
PDF形式の数学ノート
https://mathematics-pdf.com/pdf/construction_of_numbers.pdf
数の構成 自然数から複素数まで 2011-07-08

http://rio2016.5ch.net/test/read.cgi/math/1564659345/471

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.033s