[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
390(2): 2020/02/14(金)01:15 ID:KhbHkail(1/7) AAS
選択公理を仮定 ⇒ 選択関数が存在する ⇒ 代表系が存在する ⇒ どの実数列の決定番号も自然数
ここで各実数列の決定番号の値は不明だが、それでも「100列の決定番号の集合の単独最大元はたかだか一つ」が成立することに注意すれば、選択公理 ⇒ 時枝定理 が言えることが分かる。
時枝戦略にとって選択関数はただ存在するだけで必要十分。具体的にどんな関数かは不問。
397(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/14(金)07:44 ID:lUy1Die6(2/8) AAS
>>389-390
時枝における選択公理の役割については、賛成する
つまり、下記のSergiu HartのPDFで、時枝と類似のことを扱っている
GAME1が、選択公理を使う場合
GAME2が、選択公理を使わない場合
どちらも、ロジックは同じと、Sergiu Hartは言っている
これが正しいとすると、
省9
940(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/20(木)07:44 ID:bnuwxlf/(2/5) AAS
>>930
>具体的な選択関数〜とか完全に間違ってるぞぅぅぅぅぅぅぅぅぅぅぅぅぅぅぅ？
どうも。スレ主です。
これは、ID:Yib8Z78Qさんかな？（∵>>914「ぷーｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ」類似）
「具体的な選択関数〜とか」は、下記の390のことか？
あるいは、509か？
因みに、390では、「ただ存在するだけで必要十分。具体的にどんな関数かは不問」という
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s