[過去ﾛｸﾞ] 選択公理っておかしくないですか？ (18ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(2): 2023/03/27(月)22:00 ID:EqUqJLsg(1) AAS
一つの集合から元を選択するのに必要なリソース(時間とか)をC>0とする
n個の集合から元を選ぶ←nCのリソースがあれば原理的に可能
無限個の集合から元を選ぶ←無限のリソースが必要で原理的に不可能
2: 2023/03/27(月)22:01 ID:p7COJd0N(1/3) AAS
洗濯公理
3: 2023/03/27(月)22:02 ID:bJvj7fZw(1) AAS
三択小売
4: 2023/03/27(月)22:07 ID:cm2H1v+2(1) AAS
>>1
そのリソースとやらでNの部分集合はいくつ作れるの？
5: 2023/03/27(月)22:09 ID:p7COJd0N(2/3) AAS
ソースと言えばブルドッグ
6: 2023/03/27(月)22:15 ID:p7COJd0N(3/3) AAS
厨二のポエム
7: 2023/03/27(月)22:54 ID:nDiAjco5(1) AAS
球の体積が2倍になる方がおかしいやろ
8(1): 2023/03/28(火)02:02 ID:q4fGBUIc(1) AAS
>>1
無限個の集合があるなら無限のリソースあるやんけ
9: 2023/03/28(火)03:42 ID:qC6m2I/g(1) AAS
0から1までの実数線分を射影的に「割り算」の分母にすると
1から無限大までの実数半直線になる。
10: 2023/03/28(火)12:03 ID:MIg4ClhJ(1) AAS
>>8
？
11: 2023/03/30(木)13:50 ID:BxbZqOm2(1) AAS
k,n,x,y,zは自然数，knxyz≠0とする
x^(3n)=(y+k)^(3n)-y^(3n)
x^(3n+1)=(y+k)^(3n+1)-y^(3n+1)
=
{(y+k)^(3(n-1))}((y+k)^4)-{y^(3(n-1))}(y^4)
x^(3n+2)=(y+k)^(3n+2)-y^(3n+2)
=
{(y+k)^(3(n-1))}((y+k)^5)-{y^(3(n-1))}(y^5)
三つの数式はすべて
整数解がk≠0,x=k,y=0 (∵整数根定理)
省8
12: 2023/03/31(金)23:14 ID:Jder+OKF(1) AAS
AA省
13: 2023/08/12(土)16:27 ID:fmL7VjG2(1) AAS
＞選択公理っておかしくないですか？
選択公理の代わりに別の公理を採用してもおかしなことになったりする
14: 2023/08/21(月)22:03 ID:pVaKRxpO(1) AAS
笑えばいいと思うよ
15: 2023/09/14(木)16:08 ID:L7R5XdhV(1) AAS
必修じゃない公理なら学ばないという学生がいそう。
16: 2023/09/14(木)17:20 ID:NeVB00g2(1) AAS
≫壱 モチロン、不正解
C＝1/1000・・・ 注・は無限個の0
を持ってくればヨシ(๑•̀ㅂ•́)و✧
C≒0であるがC≠0なので、モピロン
C>0ぢゃ。
で、えーとnは自然数ぢゃろ❓
で、n÷Cは、とにかくモチロン、ゼロ
つまり、ゼロ秒で無限個を選択できちゃうんデス
これ、カントールの対角線論法ぢゃ
ってか、あれ変だよな
省4
17: 2023/09/17(日)15:35 ID:g6ogblaY(1) AAS
そうだよ。無限のリソースが要るから真偽不明だよ。あくまで「できたらやりやすい」ってことで。
ちなみに選択公理を疑っている数学者も結構いる。現に、「選択公理なしでどこまでできるか」はよく議論されてる。
ベーシック圏論でも触れられている。
18: i.hdkz 2023/11/09(木)21:43 ID:Wfh3C92m(1) AAS
選択公理は非常に重要だよ。ZFCじゃなくて最初にもってきてCZFとすべきだと思うくらい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.183s*