[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋7 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
35(4): 2023/04/02(日)20:56 ID:CtFh/chl(1/2) AAS
>>34
横レス失礼
このスレのスレ主にして、ガロア第一論文のスレのスレ主です
あなたに、この問題について興味を持って貰えてありがたいです
エレガントな解答の乗りで、分かり易い解というか説明を考えて貰えると、大変ありがたい
>>選択公理の選択関数が具体的に構築出来ない限り絶対に認めない
>>というガチな構成主義者がいるらしい
私見ですが、彼が言いたいことは、おそらくは
１）彼の主張は、選択公理は非構成的であって、選択公理さえ認めれば、時枝氏の記事の数学論法は成立すると考えているらしい
２）よって、時枝氏の否定は、即 選択公理の否定、つまり非構成的な数学を認めない構成主義者であると主張したいらしい
省9
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
でも使われている用語で、
この種のゲーム理論での専門用語で”勝つための方法”というような意味かと思います
（例えば、下記）
(参考)
外部ﾘﾝｸ[htm]:www.robot.t.u-tokyo.ac.jp
認知発達機械研究室(Developmental Congnitive Machines Laboratory)
講義「数理計画と最適化」2006年度後期
省16
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
Constructive set theory
Imposed restrictions on a set theory
Compared to the classical counterpart, one is generally less likely to prove the existence of relations that cannot be realized. Adopting the standard definition of set equality via extensionality, the full Axiom of Choice is such a non-constructive principle that implies PEM for the formulas permitted in one's adopted Separation schema, by Diaconescu's theorem. Similar results hold for the Axiom of Regularity in its standard form, as shown below.
48(1): 2023/04/03(月)22:10 ID:xqHDPLqW(5/5) AAS
>>47
時枝が正しいとすると
>>35に書いたように
”正則でない関数（連続関数でも無い）で、f：R→R で、例えば区間[0,1]の関数値 f1,f2,・・fi・・ と可算無限個の値を使う数列として
あるfi の値が、確率99％（あるいはそれ以上）で、他の関数値から的中できるという結論です（これはある英文サイトにあった記事ですが）”
この結論は、明らかに
従来の関数論に反する
よって、時枝不成立だけなら、すぐ理解できる
エレガントな解答が欲しいのは
なぜ不成立の時枝記事が
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.487s*