[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
678(1): 2024/06/30(日)05:09 ID:vYIv2kZ8(1/12) AAS
>>677
>>668で箱を(D1~D100のうち)１つ選んでその候補f(si)(Di)を提示してます
その際箱の中身si(Di)は全く見ていません
したがって反論の余地はゼロ
680(1): 2024/06/30(日)05:39 ID:vYIv2kZ8(2/12) AAS
＞攻略法であることをどう定義しているの？
箱を１つ選んでその中身を提示する方法
確率的な方法だから、必ずしも的中する必要はない
＞エビデンスは？
実際１００通りの選び方のうち外れるのはたかだか１通りと証明されている
それが少なくとも確率1-1/100である証拠
君に反論の余地はまったくないね
実際何も反論できてない 選択公理が分からないから駄々こねてるだけ
みっともないよ 選択公理を理解しなよ 君にそれ以外の選択肢ないし
682(1): 2024/06/30(日)05:46 ID:vYIv2kZ8(3/12) AAS
選択公理の話しかしてないんですが
687: 2024/06/30(日)08:07 ID:vYIv2kZ8(4/12) AAS
>>683
>> 箱を１つ選んでその中身を提示する方法
>> 確率的な方法だから、必ずしも的中する必要はない
>これを論理式で書くとか、定理のステートメントとして表現しろって言ってるの
>>668の定理４がそうだよ 理解しろっつーの
>> 実際１００通りの選び方のうち外れるのはたかだか１通りと証明されている
>> それが少なくとも確率1-1/100である証拠
>そんなことは聞いてない。
君が答えを勘違いしてるだけ これが答え 理解しろっつーの
>的はずれな回答するのはやめろ
省1
688: 2024/06/30(日)08:09 ID:vYIv2kZ8(5/12) AAS
>>685
＞∀x∈ℝ^ℕが先頭についてる定式化がどれくらい適切なのか
間違った妄想をいくらさけんでも適切にはならん（バッサリ）
＞選択公理とかどうでもいい話
選択公理が核心 それ以外は全てどうでもいい話（バッサリ）
690(1): 2024/06/30(日)08:15 ID:vYIv2kZ8(6/12) AAS
＞定理4：箱入り無数目
＞∀s1,...,s100∈R^N.∃D1,...,D100∈N,j∈{1,...,100}.∀i∈{1,...,100}.i≠j⇒si(Di)=f(si)(Di)
＞証明
＞D1,...,D100とjを以下のように定義する。
＞・Di:=max({d(s1),...,d(s100)}-{d(si)})
＞・{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。
＞このとき、i≠j⇒Di≧d(si)であるから、i≠j⇒si(Di)=f(si)(Di)が成立つ。
んー、いかんなあ
これだと、全てがmax(…)だとi≠jとなるiが存在しなくなるｗ
jはi≠jのときDj＞Diとなるようなもの、であるので
省4
691(1): 2024/06/30(日)08:21 ID:vYIv2kZ8(7/12) AAS
∀s1,...,s100∈R^N.∃D1,...,D100∈N,∀i∈{1,...,100}.Di≦di⇒si(Di)=f(si)(Di)
D1,...,D100とjを以下のように定義する。
・Di:=max({d(s1),...,d(s100)}-{d(si)})
Di>diとなるようなsiは100列中たかだか1つ
692: 2024/06/30(日)08:23 ID:vYIv2kZ8(8/12) AAS
>>691
不等式の向きが逆だったので修正
∀s1,...,s100∈R^N.∃D1,...,D100∈N,∀i∈{1,...,100}.Di≧di⇒si(Di)=f(si)(Di)
D1,...,D100とjを以下のように定義する。
・Di:=max({d(s1),...,d(s100)}-{d(si)})
Di＜diとなるようなsiは100列中たかだか1つ
695: 2024/06/30(日)09:06 ID:vYIv2kZ8(9/12) AAS
>>693
>「{j∈{1,...,100}|d(sj)=max{d(s1),...,d(s100)}}から元を任意にひとつ選択しjとする。」
>jはいかなる出題でも1通りだから、i≠jとなるiはつねに99通り
なるほど 了解
696: 2024/06/30(日)09:09 ID:vYIv2kZ8(10/12) AAS
>jを定めるにはd(s1),...,d(s100)を知る必要があるがゲーム中は知ることができない
その通りだが、仕方ない
確率が少なくとも99/100であることを「この目で見て確認する」には
100列全部開けるしかないから
しかし100個の自然数のうち他の99個より大きな数が2つ以上あったら矛盾する
というのは論理による思考ができる人間なら誰でも分かる
わからんならそいつは人間の知能を有しないエテ公
エテ公が人間になりたいなら援助は惜しまないが
エテ公のままでいたいというなら駆除の対象ｗ
706: 2024/06/30(日)17:31 ID:vYIv2kZ8(11/12) AAS
>>703
当てるべき箱を開けない、という意味で正しい
確率が99/100であることを述べる論理式の限量子の順序でケチを付ける奴は馬鹿である
713(2): 2024/06/30(日)18:46 ID:vYIv2kZ8(12/12) AAS
＞どういう理屈で正しいと思ってるのか
当てるべき箱を開けてない、という意味で正しい
１００列のうち９９列だけ開ける
この時点で１列分の箱は開けてない 君には絶対に反駁できない ワンアウト
９９列の決定番号の最大値をDとする
１列のうちD+1番目以降の箱を開ける
この時点でD番目の箱は開けてない 君には絶対に反駁できない ツーアウト
１００列のそれぞれが選ばれた場合を考えたとき
選ばれた列の決定番号djが、他の９９列の決定番号の最大値Djより大きい場合
１００通りのうち１通りしかない
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s