[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
441(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/15(土)06:09 ID:tI+VIYb9(1/6) AAS
>>439
同じことを言っていると思うが
>>397で言っていることは
時枝戦略の成立 or 不成立と、フルパワー選択公理の使用 or 不使用 とは無関係ということ
∵ フルパワー選択公理を使わないGAME2が、可算選択公理の下で成立するとすれば、可算選択公理→フルパワー選択公理に変えたGAME1も同様に成立するだろうから
逆に、時枝戦略の成立 or 不成立は、GAME2で考えても同様だってこと。GAME2が不成立なら、GAME1も不成立だろう
だから、時枝氏が記事で書いている、「選択公理や非可測集合を経由したからお手つき, と片付けるのは,面白くないように思う.」は、数学的に無意味
494(1): 2020/02/15(土)12:05 ID:LSP2yZ16(5/16) AAS
>>441
>同じことを言っていると思うが
まったく違います。
> >>397で言っていることは
>時枝戦略の成立 or 不成立と、フルパワー選択公理の使用 or 不使用 とは無関係ということ
時枝戦略の成立には選択公理が必須です。否定するなら選択関数を例示して下さい。
>∵ フルパワー選択公理を使わないGAME2が、可算選択公理の下で成立するとすれば、可算選択公理→フルパワー選択公理に変えたGAME1も同様に成立するだろうから
省7
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.030s