実用上数学ができるために「公理」は何なのか (25ﾚｽ)
上下前次1-新
1(2): 11/19(水)01:38 ID:piO99zm+(1) AAS
多くの数学者は、別に公理的集合論や数理論理学の原理まで遡って数学をやっているわけではない
ということは、ある程度の厳密性を犠牲にしても、「これを認めれば実用上十分に数学ができる」という概念の集まりがあるはず
それは一体何なのか
2: 11/19(水)01:55 ID:+HDQy/dI(1) AAS
集合
順序対
整数
3: 11/19(水)06:25 ID:Ez6RaTPt(1/4) AAS
働け爺
4: 11/19(水)07:54 ID:yzb/JS2A(1) AAS
有理整数環があれば有理数、実数、複素数の構成は代数学で出来る
代数学をやるためには集合・写像とその操作があればいい
5: 11/19(水)07:55 ID:RrjqR7Mt(1) AAS
有理数→実数も実用シーンで構成なんか気にしてないから、実数も独立で与えといたほうがいいんじゃないか
6: 11/19(水)08:06 ID:rJHXBKdA(1) AAS
ℝ(=四則演算+順序+連続性)が与えられれば、1で生成される部分環としてℤも手に入る
連続性から下に有界な集合が下限を持つから、ここから{0, 1, 2, ... }の整列性が言えて、ℕも手に入る
つまり、集合論とℝを認めればいい
7: 11/19(水)09:46 ID:gyZCFnDV(1) AAS
一階述語論理も要る
8: 11/19(水)10:10 ID:yd0Siigu(1/5) AAS
代数閉体の存在性に選択公理が必要
9: 11/19(水)10:10 ID:Ez6RaTPt(2/4) AAS
二階述語論理
10: 11/19(水)10:10 ID:Ez6RaTPt(3/4) AAS
三回術後論理
11: 11/19(水)10:19 ID:Ez6RaTPt(4/4) AAS
>>1
砂上の楼閣
12(4): 11/19(水)10:21 ID:aWgYc3s0(1) AAS
「可算集合の可算和は可算集合」は選択公理がないと証明できない。
測度論をやるときに困る
測度論まで行かなくても、何かしら点列を構成するとき、
あるいは点列から部分点列を取るとき、従属選択公理がないと取れないことがある
で、選択公理のたぐいを仮定するなら、もうZFCと大差ない
13: 11/19(水)10:24 ID:OyRPw0F2(1) AAS
選択公理は集合論じゃん
14(1): 11/19(水)10:26 ID:+m8Ph1E7(1) AAS
>>12
>ZFCと大差ない
じゃあお前は数学やる時すべての概念∅から構成してろよｗｗｗｗ
15(1): 11/19(水)10:40 ID:fcgGhObK(1) AAS
>>12
何をもって大差無いと言ってるのか分からん
証明の効率の点では、最初から集合や実数の概念を認めるのと、ZFCまで遡るのとでは雲泥の差
証明できる命題の量では、当たり前だが、いくつかの概念を認めた程度ではZFCに遠く及ばない
16: 11/19(水)11:00 ID:yPidUt5I(1) AAS
集合だけでなく真のクラスを扱えないと圏論ができない
17(2): 11/19(水)11:08 ID:yd0Siigu(2/5) AAS
>>14
とりあえず選択公理は必要(>>12)
空集合が扱えないと問題外なので、空集合の公理も必要
和集合とベキ集合が扱えないと問題外なので、和集合の公理とベキ集合の公理も必要
置換公理がないとロクな集合が作れないので、置換公理も必要
外延性公理がないと集合の等しさに関する議論が崩壊する(異なる表現方法で記述した本質的に同一の集合が
実際に等しいことが証明できなくなる)ので、外延性公理も必要
対の公理がないと {x,y} という2元からなる集合が扱えず問題外なので、対の公理も必要
無限公理の必要性は微妙だが、どのみち自然数がないと困るので、無限公理に近しい公理は必須
正則性公理は通常の数学では必要ないと思う
このように、実用上数学に必要な公理を並べてみたら、ZFCと大差ない
「じゃあお前は全て∅から構成してろよ」じゃないんだよ
実際に1つ1つの公理を精査したら「必要」なんだから。
18(2): 11/19(水)11:20 ID:yd0Siigu(3/5) AAS
>>15
＞証明の効率の点では、最初から集合や実数の概念を認めるのと、ZFCまで遡るのとでは雲泥の差
効率の観点から言えば、現時点で定理として認められている
全ての定理を公理として採用すれば、それらの定理の証明コストはゼロだよ
「そこまで大きな公理系ではなく、ある程度の無駄はそぎ落としたい」
ということなら、極限まで無駄をそぎ落としたものが ZFC もしくは ZF になるので、
無駄を許容した公理系でも「ZF＋余計な公理」という形にしかならない
つまり、どうやってもZFは必須で、これに>>12(選択公理)を加味すると
「ZFCまでは必須」となってしまう。まあ正則性公理あたりは微妙なので、
「ZFCから正則性公理を抜いたもの」あたりが回答ということになり、
結局ZFCと大差ないよねっていう
19: 11/19(水)11:58 ID:exJLOD4Y(1) AAS
情念のマグマでモチーフをモチベーションづける
20(1): 11/19(水)12:08 ID:JlHME21R(1) AAS
>>17
馬鹿かこいつ
必要なのは当たり前だろ
21(1): 11/19(水)12:19 ID:ShQOWWVX(1) AAS
>>17-18
素直に「論点を理解できていませんでした」と非を認めればいいのに、自分を正当化するのに必死
幼稚な人
22: 11/19(水)12:38 ID:yd0Siigu(4/5) AAS
>>20-21
え？ZFCは前提なの？>>1を見ても そうは読めないけど。
＞ということは、ある程度の厳密性を犠牲にしても、
＞「これを認めれば実用上十分に数学ができる」という概念の集まりがあるはず
「ある程度の厳密性を犠牲にしても」と書いてあるよ。
いったんZFCを廃止して、代替となる公理系を作って、それさえあれば
実用上十分に数学ができるようにしたい(厳密性はとりあえず置いておく)
ってことじゃないの？
もしZFCが前提で、単に追加の公理がほしい(証明のショートカットをしたいから)
ということにすぎないなら、「ある程度の厳密性を犠牲にしても」という文言は不要だよね？
ZFCを前提とするなら厳密性は減らないんだから、何も犠牲にならないじゃん。
いったい何の厳密性を犠牲にすることになるの？
「犠牲にする」という文言がある時点で、ZFCを廃止するとしか読めないんだけど
23(1): 11/19(水)12:45 ID:6kCcDxXZ(1) AAS
>>18
>全ての定理を公理として採用すれば、それらの定理の証明コストはゼロだよ
これをこのスレに書いて何がしたいんだろう
問題意識を共有していないなら、わざわざ書き込まなければいいんじゃないだろうか
24: 11/19(水)12:47 ID:yd0Siigu(5/5) AAS
>>23
そのすぐ下に
＞「そこまで大きな公理系ではなく、ある程度の無駄はそぎ落としたい」
＞ということなら、
と書いてあって実際には問題意識を共有してるのに、なぜそこには触れないのだろうか？
他人の発言を捻じ曲げて何がしたいんだろうか？
25: 11/19(水)15:41 ID:U6BveCnC(1) AAS
ZFCと大差無い前提で実用的に数学ができるなら公理的集合論の教科書は3～4ページで済むわなｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.285s*