[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋7 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
35(4): 2023/04/02(日)20:56 ID:CtFh/chl(1/2) AAS
>>34
横レス失礼
このスレのスレ主にして、ガロア第一論文のスレのスレ主です
あなたに、この問題について興味を持って貰えてありがたいです
エレガントな解答の乗りで、分かり易い解というか説明を考えて貰えると、大変ありがたい
>>選択公理の選択関数が具体的に構築出来ない限り絶対に認めない
>>というガチな構成主義者がいるらしい
省12
36: 2023/04/02(日)22:48 ID:ZS4bS4x7(6/6) AAS
>>35
>分かり易い解というか説明を考えて貰えると、大変ありがたい
そんなものは不要
「時枝戦略が不成立なら成立証明のどこかに誤りがあるはずである。それはどこか？」
このたった一つのシンプルな問いに答えるだけでよい
37(1): 2023/04/02(日)23:07 ID:CtFh/chl(2/2) AAS
>>35 追加 （ご存じかと思うが補足）
・「時枝戦略」の”戦略”は、”strategy”の訳語ですね
・”strategy”は、>>2 イスラエル Sergiu Hart氏 Some nice puzzles Choice Games November 4, 2013 外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il
でも使われている用語で、
この種のゲーム理論での専門用語で”勝つための方法”というような意味かと思います
（例えば、下記）
(参考)
省19
42(2): 2023/04/03(月)15:52 ID:tfbTcgqZ(1) AAS
>>41 追加引用
>構成的集合論（英語版）
下記に、Constructive set theory 構成的集合論（英語版）での 選択公理 Axiom of Choice に関する記述があります
なお、個人的には、>>35の Sergiu Hart氏のgame2が（フルパワーの）選択公理を使わない版なので
”選択公理と今回の時枝記事のトリックとの関連は薄いのでは”と考えています
（参考）
外部ﾘﾝｸ:en.wikipedia.org
省3
48(1): 2023/04/03(月)22:10 ID:xqHDPLqW(5/5) AAS
>>47
時枝が正しいとすると
>>35に書いたように
”正則でない関数（連続関数でも無い）で、f：R→R で、例えば区間[0,1]の関数値 f1,f2,・・fi・・ と可算無限個の値を使う数列として
あるfi の値が、確率99％（あるいはそれ以上）で、他の関数値から的中できるという結論です（これはある英文サイトにあった記事ですが）”
この結論は、明らかに
従来の関数論に反する
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s