[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
179(1): 2020/02/11(火)16:05 ID:yCL40qf3(19/44) AAS
>>178
＞決定番号の分布なんて時枝戦略には一切不要ですけどね。
もちろん必要ありません
また、任意の実数列１００列について成立する、
という主張ですから選択公理は必要です
215(10): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)20:22 ID:CB29Ozfy(4/13) AAS
>>179
>また、任意の実数列１００列について成立する、
>という主張ですから選択公理は必要です
１．例えば、簡単に２列で考える
２．時枝記事は、事前に全ての数列の同値類の分類と代表選びを完璧に終わらせるという
３．ところで、手抜かりで、1つの同値類の代表選びが、未完だったとする
時枝記事の戦略は、不成立ですか？
問題の２列が、未完の1つに該当しなければOKですよね
４．で、同値類の代表選びが、半分（50％）未完だったとする
同様に、問題の２列が、未完に該当しなければOKですよね
５．では、未完の状態は最低どこまで許容できるか？
99％未完でも、問題の２列が１％に入れば、OK
そう考えると、最低レベルは問題の２列のみの同値類と代表があればOK
それはあまりだというなら、可算無限の同値類と代表で、問題の２列を包含できえればOK。この場合は、可算選択公理で間に合う
あるいは、有限でも大きな数ｎの同値類と代表で、問題の２列を包含できえればOK。この場合は、有限選択公理で間に合う
（大は小を兼ねるで、フルパワー選択公理を用意し、ZFCで考えるのはありですが、時枝記事成立だけなら フルパワー選択公理を必要としていません）
QED
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.041s