[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
551(3): 2023/07/09(日)19:02 ID:DzaaOvi9(6/6) AAS
突然ですが
どちらが勝つか決定するアルゴリズムが存在しないゲームって興味深いですね
553(4): 2023/07/09(日)19:51 ID:tLoMzqUS(5/7) AAS
>>551
>どちらが勝つか決定するアルゴリズムが存在しないゲームって興味深いですね
それは面白いね
下記の決定性公理：もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人位相的な完全情報ゲーム（英語版）について（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する
と両立するのだろうか？
ゲーム理論には詳しくないので分からないのだが・・
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
決定性公理（axiom of determinacy、AD と略される）とは、1962年にミシェルスキー（英語版）、ユゴー・スタインハウス（英語版）によって提案された集合論の公理である。
もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人位相的な完全情報ゲーム（英語版）について（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する。
決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性を持つ」ことが従う。とくに実数の任意の部分集合が完全集合性を持つことは「実数の部分集合で非可算なものは実数と同じ濃度を持つ」という弱い形の連続体仮説が成り立つことに換言される。 選択公理からは「実数の部分集合でルベーグ可測でないものが存在する」ことが導かれるが、この事実からも決定性公理と選択公理が相容れないことが分かる。
つづく
607(2): 2023/07/12(水)11:24 ID:GUggp0iI(2/8) AAS
>>560
>>>553
>定義確認しような
>定義が読めないんなら黙ろうな
>恥かくだけだぞ
遠隔ですまんが
イチャモン付ける相手が違うぞｗ
>>551
>どちらが勝つか決定するアルゴリズムが存在しないゲームって興味深いですね
vs
>>553
決定性公理：もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人位相的な完全情報ゲーム（英語版）について（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する
１）この二つの比較で、”定義確認しような”というべきはどっち？ｗ
２）なお、>>551の発言をするときは
>>553程度のツッコミは想定しておかないと
シャレにならんということだよｗ
615(1): 2023/07/12(水)18:29 ID:GUggp0iI(7/8) AAS
>>614 補足
>>607より再録
なお、>>551の発言をするときは
>>553程度のツッコミは想定しておかないと
シャレにならんということだよｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.031s