探検


スレタイ 箱入り無数目を語る部屋25

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2024/10/13(日) 10:37:49.71ID:fPwQpyOz
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.net/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://itest.5ch.net/rio2016/test/read.cgi/math/1728041394/
前スレ スレタイ 箱入り無数目を語る部屋24
(参考)時枝記事
https://imgur.com/a/8bqlb08 (リンク切れてしまったが そのうちにw)
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406
純粋・応用数学(含むガロア理論)8 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

2.続けて時枝はいう
 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
〜は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.
つまりsd,sd+1,sd+2,・・・を知ればsの類の代表r は決められる.
更に,何らかの事情によりdが知らされていなくても,あるD>=d についてsD+1, sD+2,sD+3,・・・
が知らされたとするならば,それだけの情報で既に r = r(s)は取り出せ, したがってd= d(s)も決まり,
結局sd (実はsd,sd+1,・・・,sD ごっそり)が決められることに注意しよう.
(補足)
sD+1, sD+2,sD+3,・・・:ここでD+1などは下付添え字

つづく
413132人目の素数さん
垢版 |
2024/10/19(土) 18:31:32.67ID:HKhL5sf5
>>397
答えられないなら御大とやらに泣きついて代理で答えてもらえば?
君、御大とやらを盲信してるみたいだから代理回答でも構わないよ?
414現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/19(土) 18:42:13.19ID:haA+l0RZ
>こういう時こそ得意の検索能力生かせばいいのに
>どうでもいいことばっか検索して
>肝心なことは検索できないんだね
試しに"Alex Pruss Conglomerability"で検索した結果
Alexander Pruss本人のBlogが見つかった
https://alexanderpruss.blogspot.com/2024/09/independence-conglomerability.html
しかも、冒頭に定義が書いてある
Conglomerability says that if you have an event E and a partition {Ri : i ∈ I} of the probability space, then if P(E∣Ri) ≥ λ for all i, we likewise have P(E) ≥ λ.
Conglomerabilityとは、ある事象Eと確率空間の分割{Ri:i∈I} があるとき、
すべてのi に対してP(E∣Ri) ≥λならば、同様にP(E) ≥λ が成り立つというものである。
415現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/19(土) 18:48:26.03ID:haA+l0RZ
Alex Pruss’s Blog 2024/9/11 ”Independence conglomerability”

Example: I am going to uniformly randomly choose a positive integer (using a countably infinite fair lottery, assuming for the sake of argument such is possible). For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick. But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry. Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.
416132人目の素数さん
垢版 |
2024/10/19(土) 18:49:12.54ID:HKhL5sf5
>>412
>「顧みて他を言う」は、問答に窮して左右を見回して別のことを言ってごまかす様子を表すことわざで
>>22に窮して別のことを言ってごまかしてるのが君
おっきなブーメラン刺さってますよー
417現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/19(土) 18:55:48.68ID:haA+l0RZ
>>415
例題 私は正の整数を一様に無作為に選ぶつもりである。
(議論のためにそのようなことが可能であると仮定して、可算的に無限の公正な抽選を使用する)
418132人目の素数さん
垢版 |
2024/10/19(土) 18:56:53.60ID:haA+l0RZ
>>417
各正整数nについて、あなたにはゲームが用意されている:
ゲームは、nが私が選ぼうとする数より小さくない場合に勝つものである。
419現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/19(土) 18:57:38.24ID:haA+l0RZ
>>418
あなたがどのような正の整数nを選んでも、
私はn以下の数よりもnより大きな数を得る可能性が限りなく高いので、
どのゲームを選んでもあなたが勝つ可能性はゼロか限りなく小さい。
420現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/19(土) 18:58:24.30ID:haA+l0RZ
>>419
しかし、あなたは素晴らしいアイデアを思いついた。
あなたが特定の数を選ぶ代わりに、独立に一様に正の整数nを選ぶと、
対称性によってあなたが勝つ確率は少なくとも1/2になる。
421現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/19(土) 18:59:11.69ID:haA+l0RZ
>>420
したがって、2つの独立した可算無限個の公平なくじと、
くじを入れ替えても確率が変わらないという対称性の制約がある状況は、
独立凝集性(independence conglomerability)に違反する。
422現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/10/19(土) 20:05:46.73ID:t1hpL37R
>>414-416
ふっふ、ほっほ
ありがとうございます
率直にお礼を言います

Alex Pruss’s Blog 2024/9/11 ”Independence conglomerability”
”冒頭に定義が書いてある
Conglomerability says that if you have an event E and a partition {Ri : i ∈ I} of the probability space, then if P(E∣Ri) ≥ λ for all i, we likewise have P(E) ≥ λ.
Conglomerabilityとは、ある事象Eと確率空間の分割{Ri:i∈I} があるとき、
すべてのi に対してP(E∣Ri) ≥λならば、同様にP(E) ≥λ が成り立つというものである。”
これは、良い

さて
1)その検索の労は、多とするものではあるが
2)あなたが以前言っていた >>403
 (引用開始)
 しょうがないなあ
 例えば日本人全体におけるサイコパスの割合が
 日本の各県におけるサイコパスの割合のどれよりも大きいってことはない
 というのがconglomerability
 逆にいうと、日本人全体のサイコパスの割合が
 日本の各県におけるサイコパスの割合のどれよりも大きかったら
 non-conglomerable
 有限の場合分けではもちろんそんなことないが
 無限の場合分けではおかしなことが生じ得る
 (引用終り)
 これは、何だったの?w ;p)
3)定義の確認って、他人に言われてからやるものかね?
 私大の数学科では?w
4)数学の研究発表は、いつからBlogでやるようになった?
 例えば、だれかが Prussの論じるconglomerabilityについて論文を書くときに
 参考文献で Pruss’s Blog 2024/9/11 で済ますのか?w
 普通は、おそらくは存在するだろう Pruss氏の学術文献
 それが 参考文献になるべきでは?
 まあ、君は 某私大の数学科だから・・、そこではそれで済んでいたかもだが・・www

ブーメラン刺さってるのは、あなたですよw ;p)
423現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/10/19(土) 20:16:51.48ID:t1hpL37R
>>421
ふっふ、ほっほ
自分が何を論じているか分っているか?

 >>4より (引用開始)
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
(Denis質問)
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.
(Pruss氏)
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.
(引用終り)

・このDec 9 '13 (2013年)の議論では
 Denis氏質問
 ”I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
 に対して
 Pruss氏は 反論しているでしょ?
 繰り返すが
 ”The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.”
 要するに、Denis氏主張の論は、”the conglomerability assumption is appropriate.”ではないから
 ダメだということでしょ? w ;p)
424132人目の素数さん
垢版 |
2024/10/19(土) 20:37:02.75ID:HKhL5sf5
>>423
>要するに、Denis氏主張の論は、”the conglomerability assumption is appropriate.”ではないから
 ダメだということでしょ? w ;p)
いいえ、ぜんぜん違いますけど
425132人目の素数さん
垢版 |
2024/10/19(土) 21:38:30.78ID:HKhL5sf5
>>423
で?
結局>>22はスルーですか?
スルーするならスレ削除依頼出して下さいね
426現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 06:15:17.28ID:UEPn2IJt
>>423
>自分が何を論じているか分っているか?
 君こそ分かってる?
”The Modification:
I would find the riddle even more puzzling if instead of 100 mathematicians, there was just one, who has to open the boxes he wants and then guess the content of a closed box.
He can choose randomly a number i between 0 and 99, and play the role of mathematician number i.
In fact, he can first choose any bound N instead of 100, and then play the game, with only probability 1/N to be wrong.
In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?
427現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 06:16:24.78ID:UEPn2IJt
>>426
もし、100人の数学者の代わりに、たった1人の数学者がいて、好きな箱を開けて、閉じた箱の中身を当てなければならないとしたら、私はこの謎解きをもっと不可解に感じるだろう。
428132人目の素数さん
垢版 |
2024/10/20(日) 06:16:58.43ID:UEPn2IJt
>>427
彼は0から99までの数字iをランダムに選び、数学者番号iの役を演じることができる。
429132人目の素数さん
垢版 |
2024/10/20(日) 06:19:31.55ID:UEPn2IJt
>>428
実際,彼はまず100の代わりに任意の範囲Nを選び,それから確率1/Nで間違うゲームをすることができる.
430132人目の素数さん
垢版 |
2024/10/20(日) 06:20:01.19ID:UEPn2IJt
>>429
この文脈で、「箱の中身を任意の高確率で当てる」というのは意味があるのだろうか?
431132人目の素数さん
垢版 |
2024/10/20(日) 06:26:38.91ID:UEPn2IJt
>>429(つまり>>426の最後の文章の問)に対するPruss氏の回答 冒頭箇所全文
The probabilistic reasoning depends on a conglomerability assumption,
namely that given a fixed sequence u, the probability of guessing correctly is (n−1)/n,
then for a randomly selected sequence, the probability of guessing correctly is (n−1)/n.
But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i
,
and we have no reason to think that the conglomerability assumption is appropriate.
432132人目の素数さん
垢版 |
2024/10/20(日) 06:27:40.91ID:UEPn2IJt
>>431
確率論的推論は凝集性( conglomerability)の仮定に依存する、
433132人目の素数さん
垢版 |
2024/10/20(日) 06:28:46.79ID:UEPn2IJt
>>432
すなわち、固定の配列uが与えられたとき、正しく推測する確率は(n-1)/nである、
だから、ランダムに選択された配列の場合、正しく推測する確率は(n-1)/nである。
434132人目の素数さん
垢版 |
2024/10/20(日) 06:29:32.77ID:UEPn2IJt
>>433
しかし、ランダムに選択された数列と添字iによって誘導される確率測度に関して、
正しく当てるという事象が可測であると考える理由はない、
435132人目の素数さん
垢版 |
2024/10/20(日) 06:30:42.00ID:UEPn2IJt
>>434
そして、凝集性(conglomerability)の仮定が適切であると考える理由はない。
436現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 06:36:10.75ID:UEPn2IJt
肝心なこと
1.Pruss氏は”固定の配列uが与えられたとき、正しく推測する確率は(n-1)/nである”と認めている
2.しかし”箱の中身を任意の高確率で当てる”という問いに対しては、ランダムに選択された配列に対してもそういえる必要がある
3.固定の配列で成り立つから、ランダムに選択された配列でも成り立つ、というのは凝集性(conglomerability)の仮定による
4.しかしランダムに選択された数列によって誘導される確率測度に関して、正しく当てるという事象が可測であると考える理由がなく、したがって上記の仮定が正しいと考える理由もない
437現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 06:38:16.15ID:UEPn2IJt
>>436
固定の配列の場合には添字iによって誘導される確率測度だけでよく
ランダムに選択された数列によって誘導される確率測度は不要であることに注意
438現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 06:44:45.53ID:UEPn2IJt
mathoverでは誰も述べていないが、「箱の中身を任意の高確率で当てる」というのであれば、箱を毎回選ばせるべきではなく、1つに固定すべきである。
そしてその場合、当然ながらThe RiddleのModification、つまり「箱入り無数目」はその制約を満たしていないので、「決められた箱の中身を任意の高確率で当てる」に対する回答ではなく、「中身を当てられる箱を高確率で選べる」という結果でしかない。
439現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 06:47:50.65ID:UEPn2IJt
別スレッドで、◆yH25M02vWFhPは
「iid(独立同分布)、つまり箱の確率分布は皆同一で独立なのだから、
 どの箱を選んでも、ある一つの箱の中身を当てるのと、全く同じだろう」
といったが、そうではない。
440132人目の素数さん
垢版 |
2024/10/20(日) 07:36:03.53ID:7YsdmV1A
>>436
ご苦労さまです
それ同意
そして、あなたが紹介した Alexander R Pruss のブログ(>>414-415)にある説明(下記)
と合わせて読んでみて
(正直、この議論では、あなたはもう一人より はるかにレベルが高いですね ;p)

引用
Example: I am going to uniformly randomly choose a positive integer (using a countably infinite fair lottery, assuming for the sake of argument such is possible). For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick. But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry. Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.

(google訳)
例: 私は一様ランダムに正の整数を選択します (議論のために、それが可能であると仮定して、可算無限の公正な宝くじを使用します)。各正の整数nに対して、利用可能なゲームが 1 つあります。このゲームでは、n が 私が選択する数以上であれば勝ちます。あなたは絶望します。あなたが勝つチャンスはまったくありません。なぜなら、あなたが選択する正の整数 n が何であれ、 n以下の数よりもnより大きい数が出る可能性が無限に高いため、どのゲームを選択しても、あなたが勝つ可能性はゼロまたは無限小だからです。しかし、そのとき、素晴らしいアイデアが浮かびます。特定の数を選択する代わりに、独立して一様正の整数n を選択した場合、対称性により、勝つ確率は少なくとも 1/2 になります。したがって、2 つの独立した可算無限の公正な宝くじと、宝くじを互いに交換しても確率が変わらないという対称性制約がある状況は、独立性コングロマビリティに違反します。
441現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 07:52:00.93ID:UEPn2IJt
>>440
>それ同意
 つまり「箱入り無数目」における時枝正の主張が
 「ある箱Xjについて、的中確率99/100である」ではなく
 「中身を当てられる箱Xjを、確率99/100で見つけられる」だと認めるのかい?
 「同意」ではなく、自分の主張を完全に正確に日本語の文章として記述すること
 これができない人は数学だけでなくあらゆる学問を学んでも何も理解できない
 つまり大学に入る意味が全くない
442現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 08:11:28.01ID:UEPn2IJt
>>441のつづき
Alexander R Pruss のブログの文章はindependence conglomerabilityに関するもの
independence conglomerabilityの定義についてはブログに書いてあるので、
必要ならあなた自身がそれを見つけて、原文および翻訳をコピー&ペーストすること。

さて、independence conglomerabilityが成立しない場合、何が起きるか

箱入り無数目の場合でいえば、
当てるべき箱を固定した場合には、どの箱であっても勝率が0であるのに
ランダムに箱を選んでよい場合には、勝率が限りなく1に近づく

Prussのindependence conglomerabilityのアイデアが
The RiddleのModification版に触発されたものであることは明白
443現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 08:14:26.95ID:UEPn2IJt
>>442
I want to consider a variant on conglomerability, which I will call independence conglomerability.
Suppose we have a collection of events {Ei : i ∈ I}, and suppose that J is a randomly chosen member of I, with J independent of all the Ei taken together.
Independence conglomerability requires that if P(Ei) ≥ λ for all i, then P(EJ) ≥ λ, where ω ∈ EJ if and only if ω ∈ EJ(ω) for ω in our underlying probability space Ω.
444現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 08:18:02.84ID:UEPn2IJt
>>443
ここで、凝集性の変種について考えてみたい、
これを独立凝集性と呼ぶことにする。
445現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 08:18:20.19ID:UEPn2IJt
>>444
事象の集まり{Ei : i ∈ I}があるとする、
Jがランダムに選ばれたIのメンバーで、JはすべてのEiから独立しているとする。
独立凝集性は、すべてのiについてP(Ei) ≥ λならば、P(EJ) ≥ λであることを要求する、
ここでω∈EJ(ω)は、我々の基礎となる確率空間ωにおいてωがEJ(ω)である場合に限る。
446132人目の素数さん
垢版 |
2024/10/20(日) 08:55:32.45ID:7YsdmV1A
>>441
(引用開始)
>それ同意
 つまり「箱入り無数目」における時枝正の主張が
 「ある箱Xjについて、的中確率99/100である」ではなく
 「中身を当てられる箱Xjを、確率99/100で見つけられる」だと認めるのかい?
(引用終り)

まず、前振りから
1)>>414 "Alex Pruss Conglomerability" 冒頭に定義が書いてある
 "Conglomerability says that if you have an event E and a partition {Ri : i ∈ I} of the probability space, then if P(E∣Ri) ≥ λ for all i, we likewise have P(E) ≥ λ.”
 (訳)
 ”Conglomerabilityとは、ある事象Eと確率空間の分割{Ri:i∈I} があるとき、
 すべてのi に対してP(E∣Ri) ≥λならば、同様にP(E) ≥λ が成り立つというものである。”

 そして、後段
 "Absence of conglomerability leads to a variety of paradoxes, but in various infinitary contexts, it is necessary to abandon conglomerability."
 (訳)
 ”コングロマビリティがないとさまざまなパラドックスが発生しますが、さまざまな無限のコンテキストでは、コングロマビリティを放棄する必要があります。

 さらに
 ”the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick. ”
 (訳)
 ”このゲームでは、n が 私が選択する数以上であれば勝ちます。あなたは絶望します。あなたが勝つチャンスはまったくありません。なぜなら、あなたが選択する正の整数 n が何であれ、 n以下の数よりもnより大きい数が出る可能性が無限に高いため、どのゲームを選択しても、あなたが勝つ可能性はゼロまたは無限小だからです。”

 さらに さらに
 ”(e.g., because P(J=i) = 0 and we don’t have a way of conditionalizing on zero probability events)”
 (訳)
 (たとえば、P ( J = i ) = 0であり、ゼロ確率のイベントを条件付けする方法がないためです)

 注)この”ゼロ確率のイベント”は、>>440のExample:で登場するところの
 ”可算無限の公正な宝くじ”
 ”あなたが選択する正の整数 n が何であれ、 n以下の数よりもnより大きい数が出る可能性が無限に高いため、どのゲームを選択しても、あなたが勝つ可能性はゼロまたは無限小だからです”
 の要約です

つづく
447132人目の素数さん
垢版 |
2024/10/20(日) 08:55:48.65ID:7YsdmV1A
つづき

2)前振り その2
 ”But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry. Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.”
 (訳)
 ”しかし、そのとき、素晴らしいアイデアが浮かびます。特定の数を選択する代わりに、独立して一様正の整数n を選択した場合、対称性により、勝つ確率は少なくとも 1/2 になります。したがって、2 つの独立した可算無限の公正な宝くじと、宝くじを互いに交換しても確率が変わらないという対称性制約がある状況は、独立性コングロマビリティに違反します。”

さて、回答
1)上記の”you have a brilliant idea”の意味で、認める
 即ち、見かけ 確率1/2だ
 但し、”可算無限の公正な宝くじ”で、”conglomerability” or "independence conglomerability" 違反 している
2)補足すると、A,B二人で 同ゲームで 各na,nb を選択すると
 それは”独立して一様正の整数n を選択した場合、対称性により、勝つ確率は少なくとも 1/2 になります”成立(Pruss氏の主張)
 しかし、”conglomerability” or "independence conglomerability" 違反 している
3)同様に、二人を100人に増やしても(有限n人に増やしても)同じ
 見かけ 確率99/100なり 確率1/100 となる。しかし、”conglomerability” or "independence conglomerability" 違反 している

なお、箱入り無数目では ”可算無限の公正な宝くじ”より少し複雑だが、スジは同じ。私の説明は、”ゼロ確率のイベント”を使っている
以上
448132人目の素数さん
垢版 |
2024/10/20(日) 09:11:07.47ID:qg2Fw+Lj
>>310
>”In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?”
>(この文脈で、「箱の中身を任意の高い確率で推測する」というのは意味があるのだろうか?)
>私の答えは以下
>「否。そういう言い方をするから、????が読み間違えて発○する」
いや、"この文脈で"とあるから何が試行かや推測方法は明確で、Denisの言い方に瑕疵は無い。
文脈を正しく踏まえないと"a box"を固定された1箱と誤読して間違う。
449132人目の素数さん
垢版 |
2024/10/20(日) 09:12:38.67ID:7YsdmV1A
>>447
>3)同様に、二人を100人に増やしても(有限n人に増やしても)同じ
> 見かけ 確率99/100なり 確率1/100 となる。

補足
有限n人の場合は
見かけ 確率(n-1)/nなり 確率1/n となります
450現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:20:35.45ID:UEPn2IJt
>>446
> まず、前振りから
 まず、結論から書きな
>>447
> さて、回答
> ”you have a brilliant idea”の意味で、認める
> 即ち、見かけ 確率1/2だ
 「見かけ」という言葉は無用
 認めるなら君の長年の主張は誤っていたということで終了
 長い間御苦労様 正しい理解が得られてようございました(完)
451現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:21:46.78ID:UEPn2IJt
>>450 追記
> 但し、”可算無限の公正な宝くじ”で、
> ”conglomerability” or "independence conglomerability" 違反 している
 どちらも法律ではないので、違反していても罰則はない
452132人目の素数さん
垢版 |
2024/10/20(日) 09:24:58.21ID:qg2Fw+Lj
>>447
>なお、箱入り無数目では ”可算無限の公正な宝くじ”より少し複雑だが、スジは同じ。私の説明は、”ゼロ確率のイベント”を使っている
嘘説明乙
ゼロ確率のイベントとは? いや答えなくても分かる どうせ決定番号全体の集合は大きすぎてええーーーって言うんでしょ?
箱入り無数目の確率は1〜100のいずれかを選ぶことが試行、すなわちΩ={1,2,...,100}だから、そんなのは言いがかりでしかない

馬鹿な事言ってないで早く>>22に答えなさい
答えないならスレ削除依頼を出しなさい
453現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:26:58.69ID:UEPn2IJt
>>448
> "この文脈で"とあるから何が試行かや推測方法は明確で、Denisの言い方に瑕疵は無い。
数学の問題としては成立するが"guess the content of a box with arbitrarily high probability?”ではない
>文脈を正しく踏まえないと"a box"を固定された1箱と誤読して間違う。
文脈を正しく踏まえると"a box"が固定された1箱でなくなるから
 "guess the content of a box with arbitrarily high probability?”でなくなる
 Alex Prussのindependence conglomerabilityはこの現象に触発されたと思われる
454現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:31:57.48ID:UEPn2IJt
何がいいたいかといえば
一つの箱に 固定した上で他の無限個の箱から有限相違同値類の代表元を得て
箱に対応する項が中身だと回答しても正解の確率は0だが
箱をランダムに選んだ上で他の無限個の箱から有限相違同値類の代表元を得て
箱に対応する項が中身だと回答すると正解の確率は限りなく1に近づく
これをPrussはindependence conglomerabilityに反する例と考えた
なお反していたから矛盾だとはPrussは一言もいってない
455現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:36:17.66ID:UEPn2IJt
Denisの
”I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}”
は、{0,1,…,N-1}の一様確率だけで数学の問題として成立するからOK、の意味と理解した
それは嘘ではないが、問われているのはそのゲームが
"guess the content of a box with arbitrarily high probability?”
であるか?ということかと解釈した PrussとHuynhはこれに対して否と答えた
456現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:41:05.88ID:UEPn2IJt
>>455
PrussとHuynhは
なぜ"guess the content of a box with arbitrarily high probability?”でないか
についても異なった見解を持っていると思われる
前者は、固定された数列で可能だからといってランダムに選ばれた数列でもそうなるとはいえないことが問題だといった
後者は、より端的にそもそも箱を固定したらThe Riddleの方法は使えないし単純に考えて予測成功確率0であって、それが” ”内の本来の意味だろう、といった
457現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:46:12.17ID:UEPn2IJt
肝心なのはPrussがThe RiddleのModificationを全面否定していない、ということ
そもそも最初から”given a fixed sequence u, the probability of guessing correctly is (n−1)/n”と言っている
このこととHuynhのいってることを、いわばaufhebenする形で
independence conglomerabilityの定義とその反例としての
ランダム選択すると勝率が劇的に飛躍するゲームを述べた
458現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:48:51.74ID:UEPn2IJt
>>457
もちろん、Prussもこれが奇妙な現象であると述べている
Is this violation somehow more problematic than the much discussed violations of plain conglomerability that happen with countably infinite fair lotteries?
I don’t know, but maybe it is.
There is something particularly odd about the idea that you can noticeably increase your chance of winning by randomly choosing which game to play.
459132人目の素数さん
垢版 |
2024/10/20(日) 09:50:17.50ID:qg2Fw+Lj
>>455
>"guess the content of a box with arbitrarily high probability?”
に瑕疵があるのではなく、"a box"を固定された1箱と捉えたことが誤り。
そのように捉えなければならない根拠は無く、むしろ文脈を正しく踏まえるならそのように捉えてはダメ。なぜならその文脈において"a box"がランダム選択されることが明記されているから。
460現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:55:05.10ID:UEPn2IJt
>>459
当該文脈で"a box"がランダム選択されていることは確かだが、
それをもってThe RiddleのModificationの成功確率が
"guess the content of a box with arbitrarily high probability”
だと考えるのが適切か否かという問いなら、否という答えはあり得る
つまり、The RiddleのModificationの成功確率は別の問題に対する答えである
また、independence conglomerabilityに関する反例も、
問の変化として認識したほうがよいと考える
461現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:57:09.08ID:UEPn2IJt
つまり「箱入り無数目」は
「箱の中身を予測している」のではなく
「中身が予測できる箱を見つけている」のだと

前者と後者は異なる
462現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 09:59:42.74ID:UEPn2IJt
箱が可算無限個ではなく[0,1]上の点だとすれば、より直接的な方法で奇妙な現象を再現できる
回答者はただ[0,1]上の点をランダムに選べばいい
一点に決め打ちしたら確率は0だが
ランダムに点を選べば確率は1
463132人目の素数さん
垢版 |
2024/10/20(日) 09:59:51.81ID:qg2Fw+Lj
逆に言えば、"a box"の選択が試行であり、箱の中身の推測方法がThe Riddleに準拠しているなら
>does it make sense to say "guess the content of a box with arbitrarily high probability"?
の答えはyes。
すなわち、
>”In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?”
自体には何の瑕疵も無い。
瑕疵があるのは”In this context"を正しく踏まえない誤った解釈の方。
464現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 10:05:08.12ID:UEPn2IJt
>>462で
一点に決め打ちする場合が「箱の中身を任意の高い確率で当てる」
ランダムに点を選ぶ場合は「中身が予測できる箱を任意の高い確率で当てる」
465現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 10:09:54.64ID:UEPn2IJt
>>463
>箱の中身の推測方法がThe Riddleに準拠しているなら
Denisは
”the only probability measure we need is uniform probability on {0,1,…,N-1}”
といっちゃってるから、The Riddleで、箱の中身は確率事象でないと言っちゃってる
そこまでいわれちゃうと"guess the content of a box with arbitrarily high probability"ではないじゃん、ってことになる
箱の中身は確率変数じゃないんだから"guess"じゃないじゃん、ってこと
466132人目の素数さん
垢版 |
2024/10/20(日) 10:10:48.90ID:7YsdmV1A
>>450
 >>366 "アセモグル氏 SNSの貧困化したコミュニケーション空間を「現代の最悪の罪」と批判"

さて
>> まず、前振りから
> まず、結論から書きな

・SNSの議論の要諦として、1対1の討論でなく、それを見ている多数へのアピールも大事でね
 あたかも、米大統領選挙の トランプ vs ハリス ディベートだ
 要するに、1対1の勝ち負けより、有権者にどちらがアピールできるか?
・いま、結論から書く方が、1対1の討論のみを考えれば簡潔だが
 しかし、それを見ている多数の人には、前振りがないと
 ワケワカになると思ったので、ステップを踏んだのですw ;p)

(引用開始)
> さて、回答
> ”you have a brilliant idea”の意味で、認める
> 即ち、見かけ 確率1/2だ
 「見かけ」という言葉は無用
(引用終り)

・補足しよう
 >>440の ”Example”、” (using a countably infinite fair lottery, assuming for the sake of argument such is possible)”
 訳 ” (議論のために、それが可能であると仮定して、可算無限の公正な宝くじを使用します)”
 ここで、>>447に示したように A,B二人で 同ゲームで 各na,nb を選択する
 3通りのケースがある
 1)ケース1:Aが、自然数Nからnaを選び 公開する。それから、Bが、自然数Nからnbを選ぶ
  この場合、Bが大きなnbを選び na<nb とできる確率1 即ちP(na<nb)=1
  なぜならば、自然数Nは可算無限で na<nbは無限で、na>nbは有限にすぎないから
 2)ケース2:Bが、自然数Nからnbを選び 公開する。それから、Aが、自然数Nからnaを選ぶ
  この場合、逆に P(na>nb)=1。理由は同じ
 3)ケース3:Prussの”you have a brilliant idea”の通り
  AとBが、同時に 各na,nb を選択し、同時にそれを公開する
  対称性により、P(na<nb)=P(na>nb)=1/2 となるはず。但し ”conglomerability” or "independence conglomerability" 違反

・さらに補足しよう
 ”conglomerability” or "independence conglomerability" 違反 を離れて
 日常の数学では、自然数Nから等しくない2数 na,nbを選ぶことは、普通に可能で
 この場合、P(na<nb)=P(na>nb)=1/2 となるだろう
・しかし、このP(na<nb)=P(na>nb)=1/2 は、厳密な確率論の裏付けのない議論だってこと

まとめると
1)上記のPruss氏 ”you have a brilliant idea”で、P(na<nb)=P(na>nb)=1/2 は、あり得る
 上記のケース1〜3の 3通りの一つのケースとして あり得る。そして、それは認める
2)但し、ケース3は ”conglomerability” or "independence conglomerability" 違反で
 厳密な確率論の裏付けのない議論だってこと
3)これを一言でいうと「見かけ」ってこと(これも ”貧困化したコミュニケーション空間”を避ける工夫だ)
467132人目の素数さん
垢版 |
2024/10/20(日) 10:14:48.45ID:qg2Fw+Lj
>>460
>当該文脈で"a box"がランダム選択されていることは確かだが、
>それをもってThe RiddleのModificationの成功確率が
>"guess the content of a box with arbitrarily high probability”
>だと考えるのが適切か否かという問いなら

>"guess the content of a box with arbitrarily high probability”
と
>”In this context
は切り離せないから、
>当該文脈で"a box"がランダム選択されていることは確か
ならば、
>"guess the content of a box with arbitrarily high probability”
における"a box"もランダム選択されていることは確か。
よって、「ある固定されたひとつの箱の中身を任意の高確率で推測する」のような別の解釈は間違い。
468現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 10:15:18.59ID:UEPn2IJt
選んだ箱以外の無限個のすべての箱から有限相違同値類の代表元が得られる
これを”guess”というのかどうかが問題
不明なものに関して何等かの値を得るという点ではそうだが
不明なものが確率変数ではないならそうではないだろう
何度もいうが箱入り無数目が数学の問題として成立していることは認めている
要するに「箱の中身を予測する確率」ではないといってるだけ
469現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 10:17:50.18ID:UEPn2IJt
>>467
切り離せなくていいが、
"a box"がランダム選択されており
"the content of a box"が”fixed”なら
もはや"guess the content of a box with arbitrarily high probability”でないだろう、ということ
470現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 10:21:33.83ID:UEPn2IJt
"guess the content of a box with arbitrarily high probability”というからには
"a box"が”fixed”で
"the content of a box"が”random variable”
であることが不可欠、ということ
だからThe Riddleや「箱入り無数目」は、数学の問題ではあるが
"guess the content of a box”ではないし、そう誤解したら記事が理解できない
471132人目の素数さん
垢版 |
2024/10/20(日) 10:28:59.88ID:qg2Fw+Lj
>>465
>そこまでいわれちゃうと"guess the content of a box with arbitrarily high probability"ではないじゃん、ってことになる
いや、"guess the content of a box with arbitrarily high probability"でいい。
任意の高確率でアタリ箱を選択でき、アタリ箱を選択したときThe Riddleの方法で箱の中身を正しく推測できるから、"a box"の選択が試行である点に注意すれば、"guess the content of a box with arbitrarily high probability"で何も瑕疵は無い。
472132人目の素数さん
垢版 |
2024/10/20(日) 11:11:19.23ID:qg2Fw+Lj
>>470
>"guess the content of a box with arbitrarily high probability”というからには
>"a box"が”fixed”で
>"the content of a box"が”random variable”
>であることが不可欠
気持ちは分かるがその解釈には根拠が無い。

"a box"がハズレ箱のとき"guess the content of a box"は失敗し、さもなくば成功する。
候補N箱のいずれかをランダム選択したものが"a box"のとき、"guess the content of a box"が成功する確率は1-1/N(候補N箱のいずれかを選択することがこの確率の試行)。
そのように解釈しなければならない根拠が"In this context"。

よって
>In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?
に何も瑕疵は無い。
473132人目の素数さん
垢版 |
2024/10/20(日) 11:21:06.83ID:qg2Fw+Lj
"In this context"
は
"does it make sense to say "guess the content of a box with arbitrarily high probability"?"
の前提であることに注意する必要がある。
前提をとっぱらってしまったら、解釈は一意でなくなる。
474現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 11:25:16.74ID:UEPn2IJt
>>471
>いや、"guess the content of a box with arbitrarily high probability"でいい。
 頑固だね
>任意の高確率でアタリ箱を選択でき、
 中身を当てるわけではないよね
>アタリ箱を選択したときThe Riddleの方法で箱の中身を正しく推測できるから、
 中身が推測の箱がアタリ箱なので、それは同語反復
>"a box"の選択が試行である点に注意すれば、
>"guess the content of a box with arbitrarily high probability"
>で何も瑕疵は無い。
 the content of a boxがfixedでrandom variableでないならguessではないというのが主旨
 意味わかるか? わかった上で賛同するか? 賛同しないならその理由は何か?
475現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 11:30:58.36ID:UEPn2IJt
>>472
>気持ちは分かるがその解釈には根拠が無い。
 根拠がないのは君の解釈も全く同様 君の気持は根拠でない 
>"a box"がハズレ箱のとき"guess the content of a box"は失敗し
 ハズレ箱=「中身と推測値が一致しない箱」なら同語反復
 推測値とかいたが中身が定数なら推測値は実は推測ではないというのが主張
 意味わかるか? わかった上で賛同するか? 賛同しないならその理由は何か?
>何も瑕疵は無い。
 瑕疵=「数学的に矛盾する」なら上記は瑕疵でない
 しかしそもそもそんな話はしていない わかるか?
476現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 11:33:21.85ID:UEPn2IJt
>>473
guess は the content of a box が random value であるとき、そのときに限り意味を持つ
the content of a box が fixed である context なら意味がない
英語わかるか? 日本語わかるか?
477132人目の素数さん
垢版 |
2024/10/20(日) 12:11:27.10ID:qg2Fw+Lj
>>474
>>アタリ箱を選択したときThe Riddleの方法で箱の中身を正しく推測できるから、
> 中身が推測の箱がアタリ箱なので、それは同語反復
ハズレ箱:対応する代表列の箱と中身が一致していない箱
アタリ箱:ハズレではない候補箱

>>"a box"の選択が試行である点に注意すれば、
>>"guess the content of a box with arbitrarily high probability"
>>で何も瑕疵は無い。
> the content of a boxがfixedでrandom variableでないならguessではないというのが主旨
箱の中身を見ずに言い当てることをguessと捉えるなら(そう捉えてはいけない根拠は無い)、何が固定で何が確率変数であるかに関わらずguessでよい。
478132人目の素数さん
垢版 |
2024/10/20(日) 12:14:22.02ID:qg2Fw+Lj
>>476
>guess は the content of a box が random value であるとき、そのときに限り意味を持つ
>the content of a box が fixed である context なら意味がない
guessをどう捉えるか次第では?
あなたが言うように捉えなければならない根拠は?
479132人目の素数さん
垢版 |
2024/10/20(日) 12:32:03.72ID:qg2Fw+Lj
>>474
"In this context"
で参照されている
"I would find the riddle even more puzzling if instead of 100 mathematicians, there was just one, who has to open the boxes he wants and then guess the content of a closed box."
のguessは
>箱の中身を見ずに言い当てること
としか解釈できないと思いますが、違いますか?
480132人目の素数さん
垢版 |
2024/10/20(日) 12:49:59.66ID:qg2Fw+Lj
>>466
>・さらに補足しよう
> ”conglomerability” or "independence conglomerability" 違反 を離れて
> 日常の数学では、自然数Nから等しくない2数 na,nbを選ぶことは、普通に可能で
> この場合、P(na<nb)=P(na>nb)=1/2 となるだろう
>・しかし、このP(na<nb)=P(na>nb)=1/2 は、厳密な確率論の裏付けのない議論だってこと
的外れな補足は無意味。
箱入り無数目はそもそも
>P(na<nb)=P(na>nb)=1/2
なんてことは言ってない。
そうではなく
na,nbのいずれかをランダム選択した方をx、他方をyと書いたとき、P(x<y)=P(x>y)=1/2
と言っている。


馬鹿な事言ってないで早く>>22に答えなさい
答えないならスレ削除依頼を出しなさい
481現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 15:43:10.01ID:UEPn2IJt
>>477
>>477
>箱の中身を見ずに言い当てることをguessと捉えるなら
>(そう捉えてはいけない根拠は無い)、
>何が固定で何が確率変数であるかに関わらずguessでよい。
”箱の中身を見ずに言い当てること”を
guessと捉えるのは不自然ではない
問題は”何が固定で何が確率変数であるかに関わらず”
Denisは箱の中身が確率変数でないとはいっておらず
おそらく固定の場合に確率が計算できその値が一定であるなら
確率変数だとしても確率が同じ値だといえると考えたのだろう
もし、conglomerabilityが成り立つならその通りだが・・・
(つづく)
482現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 15:44:18.71ID:UEPn2IJt
>>481のつづき
しかし、実際はnon-conglemerableである
そう言い切れるのは、箱の選択を認めない場合に
他の箱から代表を得たところで、確実に一致しないからである
このような状況で、固定の場合に関してguessというのは
悪意がないにしても、結果としてはcheatだろうと感じている
(実際、”まんまと騙される”素人やら玄人やらが多数発生してるので)
483現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 15:46:41.69ID:UEPn2IJt
>>478
> guessをどう捉えるか次第では?
その通り
> あなたが言うように捉えなければならない根拠は?
"とらえなければならない"と強制するつもりはない
 ただ、勘違いを誘発する文章は避けるのが賢い、という提言である
484現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/10/20(日) 15:51:37.84ID:7YsdmV1A
>>414-415
(引用開始)
Alexander Pruss本人のBlogが見つかった
https://alexanderpru...onglomerability.html
Alex Pruss’s Blog 2024/9/11 ”Independence conglomerability”
冒頭に定義が書いてある
Conglomerability says that if you have an event E and a partition {Ri : i ∈ I} of the probability space, then if P(E∣Ri) ≥ λ for all i, we likewise have P(E) ≥ λ.
Conglomerabilityとは、ある事象Eと確率空間の分割{Ri:i∈I} があるとき、
すべてのi に対してP(E∣Ri) ≥λならば、同様にP(E) ≥λ が成り立つというものである。
(引用終り)

更にPruss氏引用
・Absence of conglomerability leads to a variety of paradoxes, but in various infinitary contexts, it is necessary to abandon conglomerability.
・(e.g., because P(J=i) = 0 and we don’t have a way of conditionalizing on zero probability events)
・Example: I am going to uniformly randomly choose a positive integer (using a countably infinite fair lottery, assuming for the sake of argument such is possible). For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick. But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry. Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.

要点
・Conglomerability or Independence conglomerability
 どちらも、infinite(無限集合) Eにおける 確率空間の分割{Ri:i∈I} を問題にしている
 つまり、finite(有限集合)のEにおける 確率空間の分割{Ri:i∈I} ならば、conglomerability 成立
・infinite(無限集合)のEでは、例示 ”using a countably infinite fair lottery”において、Conglomerability or Independence conglomerability が問題となる
 即ち、二人のゲームで 相手の選んだn よりも大きな数を 選ぶ人が勝ち。先に選んだ方が負けてします。なぜならば、正整数Nは可算無限だから
 そして、お互い独立に正整数Nを選べば 確率1/2だが、これは”independence conglomerability”違反 だと Pruss氏

要するに、infinite(無限集合)Eを扱うとき
Conglomerability or Independence conglomerability を満たさないとき ”paradoxes”が導かれる
485現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 15:52:53.04ID:UEPn2IJt
>>479
Denisが
「固定の配列で成り立つから、ランダムに選択された配列でも成り立つ」
と考えていたと思われることは認めますか?
もし、あなたがDenisと同じようには考えていない、つまり
「固定の配列で成り立つが、ランダムに選択された配列ではそうとはいえない」
と考えていたとして、それでもなおDenisの言い方をあなたも引き継ぐ理由は?
単に文章を考えるのが苦手でほかに考えられないから?
もしそのような消極的な理由だけで頑固に言い張るなら
そのような反知性的態度は決して容認できない
486132人目の素数さん
垢版 |
2024/10/20(日) 16:00:46.05ID:UEPn2IJt
>>466
> SNSの議論の要諦として、1対1の討論でなく、それを見ている多数へのアピールも大事でね
> 要するに、1対1の勝ち負けより、有権者にどちらがアピールできるか?
 SNSの議論の正否は、投票で決めるわけではないので
 多数へのアピールは無益であるだけでなくむしろ有害である
(つづく)
487132人目の素数さん
垢版 |
2024/10/20(日) 16:01:39.48ID:UEPn2IJt
>>486
> いま、結論から書く方が、1対1の討論のみを考えれば簡潔だが
> しかし、それを見ている多数の人には、前振りがないとワケワカになる
> と思ったので、ステップを踏んだのです
 残念ながらあなたの前振りは全く不適切なので、はっきり言えばないほうがいい
(つづく)
488132人目の素数さん
垢版 |
2024/10/20(日) 16:08:48.76ID:UEPn2IJt
>>466
> ”conglomerability” or "independence conglomerability" 違反 を離れて
 違反からは離れたほうがいい、そういうアピールは無意味だから
> 日常の数学では、自然数Nから等しくない2数 na,nbを選ぶことは、普通に可能で
> この場合、P(na<nb)=P(na>nb)=1/2 となるだろう
> しかし、このP(na<nb)=P(na>nb)=1/2 は、厳密な確率論の裏付けのない議論だってこと
 君のいう「厳密な確率論の裏付け」はconglomerabilityだろ?
 対称性が確率論で裏付けられないと言い切る根拠は? 君は「保測変換」を否定するのかい?
489現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:13:51.49ID:UEPn2IJt
>>484
> finite(有限集合)のEにおける 確率空間の分割{Ri:i∈I} ならば、conglomerability 成立
 いうまでもないがね
> 要するに、infinite(無限集合)Eを扱うとき
> Conglomerability or Independence conglomerability を満たさないとき
> ”paradoxes”が導かれる
contradiction(矛盾)とはいってないがね
Banach-Tarski paradoxもcontradictionではないだろ?
490現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:22:41.27ID:UEPn2IJt
2つの自然数の比較をn個の自然数の比較に一般化すれば
「自分が選んだ数が最小だと負け」というゲームで
勝率1/2が勝率(n-1)/nになる
ここで、自分が選んだ数で場合分けすると
どう考えても他人が全員自分より大きな数をいう可能性がもっとも大きいので
Independence conglomerabilityを満たさない
しかしこれは矛盾でもなんでもない
491現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:25:49.39ID:UEPn2IJt
>>490
>2つの自然数の比較をn個の自然数の比較に一般化すれば
>「自分が選んだ数が最小だと負け」というゲームで
>勝率1/2が勝率(n-1)/nになる
 要するにn人の誰かが負けるが、対称性があるので、負ける確率は皆同じ1/n だから勝率は1-1/n 
 自然数がfixされていれば、単純にn個のランダム選択で、最小の自然数を選ばない確率
492現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:29:17.57ID:UEPn2IJt
>>491
>自然数がfixされていれば、単純にn個のランダム選択で、最小の自然数を選ばない確率
 ここから自然数がrandom valueの場合の確率を導くのは、
 別のconglomerabilityを用いることになるので、
 等確率だというのであれば、やはり保測変換で移りあうといったほうがいいだろう
493132人目の素数さん
垢版 |
2024/10/20(日) 16:31:14.29ID:qg2Fw+Lj
>>485
>Denisが
>「固定の配列で成り立つから、ランダムに選択された配列でも成り立つ」
>と考えていたと思われることは認めますか?
いいえ(理由は以下)。どの発言でそう思いましたか?

Prussは
What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.
と、固定の出題列に対して成立することが我々の共有事項であると述べており、
これに対するDenisの反論(固定の出題列でなくても成立する)を見てません。

またDenisは
ok this helps, but when you say "suppose u is chosen randomly",this is where the problem arises. Isn't there a way to ask the riddle so that the notion of probability of victory makes sense, without encountering this problem (for instance agains an opponent who chooses the sequence).
と、出題列がランダム選択されると述べた時に問題が持ち上がると述べている。

>それでもなおDenisの言い方をあなたも引き継ぐ理由は?
Denisがguessという言葉を
>箱の中身を見ずに言い当てること
の意味で使っているから、Denisの問い
In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?
には何の瑕疵も無いと考えるから。

あなたは以下の問いをスルーしたので再度聞きます。
"In this context"
で参照されている
"I would find the riddle even more puzzling if instead of 100 mathematicians, there was just one, who has to open the boxes he wants and then guess the content of a closed box."
のguessは
>箱の中身を見ずに言い当てること
としか解釈できないと思いますが、違いますか?
494現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:32:05.85ID:UEPn2IJt
>>492
とはいえ、保測変換が安全だという保証もない
例えば0度より大きく180度より小さい二つの半直線で区切られた平面上の図形は
保則変換で互いに移りあう どういう保測度変換でそうなるかは考えてみてくれたまえ
495現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:41:02.67ID:UEPn2IJt
>>493
>どの発言でそう思いましたか?
Denisの以下の発言
”yes but the point is that we can win again any strategy of the opponent, even if he chooses the sequence after we chose our (probabilistic) strategy. This way we avoid talking about probabilities on sequences.”
特に、最初の文章の”avoid”
496現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/10/20(日) 16:43:42.66ID:7YsdmV1A
>>489
>> Conglomerability or Independence conglomerability を満たさないとき
>> ”paradoxes”が導かれる
>contradiction(矛盾)とはいってないがね
>Banach-Tarski paradoxもcontradictionではないだろ?

和文 wikipedia(英文は別の説明だが)
”正しい仮定と正しい推論から正しい結論を導いたにも拘らず、結論が直観に反するものも「パラドックス」と呼ばれる。
これは擬似パラドックスと呼ばれ、前述した「真の」パラドックスとは別物である。
ヘンペルのカラス、バナッハ・タルスキの逆理などが擬似パラドックスとして知られる。”

(参考)
https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
パラドックス(paradox)とは、正しそうな前提と、妥当に思える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。

数学における概要
数学は矛盾を含まないよう注意深く設計されており、パラドックスの起こる命題はうまく避けたり、あるいはパラドックスを解消した上で取り込んでしまったりしている。従って昔はパラドックスを内包してしまっていた集合や無限のような対象も現在では取り扱う事ができる。
なお、上で説明したようなパラドックスと違い、
正しい仮定と正しい推論から正しい結論を導いたにも拘らず、結論が直観に反するものも「パラドックス」と呼ばれる。
これは擬似パラドックスと呼ばれ、前述した「真の」パラドックスとは別物である。
ヘンペルのカラス、バナッハ・タルスキの逆理などが擬似パラドックスとして知られる。

一方、
・正しそうに見えた仮定や推論が実は間違っていた
場合は単なる「勘違い」である。なお、(実は間違っている)仮定「Aではない」と正しい推論から矛盾した結論を得るのは背理法と呼ばれ、Aという結論を得る為に数学でよく使われる論法である。特殊な場合として、(公理以外に)何も仮定を置いていないにもかかわらず、正しい推論から矛盾した結論を得たとすると、これは「数学自身が矛盾を含んでいた」事になってしまうが、そのような事はないと予想されている。

https://en.wikipedia.org/wiki/Paradox
Paradox
497現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:43:59.75ID:UEPn2IJt
>>493
>あなたは以下の問いをスルーしたので再度聞きます。
 質問は無意味かと 違う解釈ができると考えるから議論になってるのではないですか?
 ち・が・い・ま・す・か?
498現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:46:30.66ID:UEPn2IJt
>>496
で?「箱入り無数目」は真のパラドックスですか?疑似パラドックスですか?
「箱入り無数目」から矛盾が導けますか?私はいまだそのような証明は見ておりませんが
499132人目の素数さん
垢版 |
2024/10/20(日) 16:46:41.43ID:qg2Fw+Lj
>>485
>単に文章を考えるのが苦手でほかに考えられないから?
>もしそのような消極的な理由だけで頑固に言い張るなら
>そのような反知性的態度は決して容認できない
guessの意味をDenisの意図とはたがえて解釈してませんか?
正しい解釈を持つことが先です。間違った解釈を前提にした指摘は無意味です。
500現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:51:03.64ID:UEPn2IJt
結局のところ
箱の中身のrandomnessの直接的な取り扱いを避けて
箱の中身がrandom valueである場合も同じ結論というのは
cheatというか正直dangerousであるから、箱の中身をfixした場合にとどめるべきで
その際には「箱の中身を当てる」という紛らわしい言い方をすべきでない
501現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:53:28.37ID:UEPn2IJt
>>499
> guessの意味をDenisの意図とはたがえて解釈してませんか?
 それは私があなたにいいたい言葉です
 Denisは”This way we avoid talking about probabilities on sequences.”といった
 fixedな場合にとどめるなら、avoidという言葉は決して使わない筈 違いますか?
502現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:55:26.79ID:UEPn2IJt
ここで、Denisや時枝正が
”箱の中身がfixedな場合にうまくいくなら、
箱の中身がrandom valueでもうまくいくだろ”
とついつい思っちゃったことを詰るつもりは毛頭ない
それは自然な発想だから
503現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 16:58:35.21ID:UEPn2IJt
>>502
しかし、Huynhがやったように
”当てる箱をfixedしたら当たんないのに
当てる箱をrandomにチョイスしたら当たるっておかしくない?”
とこれまた自然な発想で言われると
自然な発想(conglomerability)がつねに正しいわけじゃないんだなと分かる
それがThe Riddleのもっとも重要な知見だと思うけど、違いますか?(やらしい)
504現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2024/10/20(日) 17:07:09.52ID:7YsdmV1A
>>498
>で?「箱入り無数目」は真のパラドックスですか?疑似パラドックスですか?
>「箱入り無数目」から矛盾が導けますか?私はいまだそのような証明は見ておりませんが

「箱入り無数目」の前に
・>>415 Alex Pruss
"Example: I am going to uniformly randomly choose a positive integer (using a countably infinite fair lottery, assuming for the sake of argument such is possible). For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick. But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry.
 Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability."
 これは?
・つまり、この”For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick.
 You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick.
 But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry.”
 つまり、この可算無限(using a countably infinite fair lottery, assuming for the sake of argument such is possible)
 において ある場合には ”You despair: there is no way for you to have any chance to win,”
 ある場合には、”If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry.”
・”Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.”
 は、矛盾なのか? 疑似パラドックスなのか?

まずは、そこから
505132人目の素数さん
垢版 |
2024/10/20(日) 17:13:26.14ID:qg2Fw+Lj
>>495
>Denisの以下の発言
>”yes but the point is that we can win again any strategy of the opponent, even if he chooses the sequence after we chose our (probabilistic) strategy. This way we avoid talking about probabilities on sequences.”
>特に、最初の文章の”avoid”
まったく根拠になってないですね。

Denisがavoidしたかったのは下の引用のようにPrussがprobabilities on sequencesに言及していたためです。
But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i

実際、Denisは
ok this helps, but when you say "suppose u is chosen randomly",this is where the problem arises. Isn't there a way to ask the riddle so that the notion of probability of victory makes sense, without encountering this problem (for instance agains an opponent who chooses the sequence).
と、出題列がランダム選択されると述べた時に問題が持ち上がると述べており、このことからも
>Denisが
>「固定の配列で成り立つから、ランダムに選択された配列でも成り立つ」
>と考えていたと思われる
は否定できると思います。
506現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 17:21:41.77ID:UEPn2IJt
>>505
> まったく根拠になってないですね。
 それってあなたの感想ですよね? と答えときますw
>DenisがavoidしたかったのPrussがprobabilities on sequencesに言及していたためです。
>But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i
Prussの指摘に対して、Denisは
「いやいや、数列のrandom choiceなんて考えてないよ fixedだから」
ということもできたが、そういわずに、数列の確率に関する考察を「避ける」といった
これはfixedで正しいならrandom valueでも正しいと言いたかったからだろうと考える
507132人目の素数さん
垢版 |
2024/10/20(日) 17:28:57.29ID:UEPn2IJt
>>505 Denis
ok this helps, but when you say "suppose u is chosen randomly",this is where the problem arises. Isn't there a way to ask the riddle so that the notion of probability of victory makes sense, without encountering this problem (for instance agains an opponent who chooses the sequence).
この発言が見当たらない。この発言にPrussがどう返答したか知りたいのだが。
私はPrussの指摘の後、Denisは主張を後退させたものと認識するが
なにしろ発言が全く見当たらないので
508132人目の素数さん
垢版 |
2024/10/20(日) 17:29:10.20ID:qg2Fw+Lj
>>497
>>あなたは以下の問いをスルーしたので再度聞きます。
> 質問は無意味かと 違う解釈ができると考えるから議論になってるのではないですか?
> ち・が・い・ま・す・か?
文脈を押さえて文章を読めば違う解釈はできません。
議論の余地無し。
509現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 17:36:34.50ID:UEPn2IJt
>>504
>>504
> これは?
 何を尋ねたいのか?
> つまり、この可算無限において
> ある場合には・・・
> ある場合には・・・
> は、矛盾なのか? 疑似パラドックスなのか?
 ああ、自分じゃわからないから、私に尋ねてるのね
 もちろん、疑似だよ そもそもそこからどうやって矛盾を導き出すの?
510現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 17:40:11.64ID:UEPn2IJt
>>508
> 文脈を押さえて文章を読めば違う解釈はできません。
それもあなたの感想ですよね?
> 議論の余地無し。
 そもそもあなたは議論ではなく、自分に従うことを強制してるのかと思いました
 だから私はその強制に対しては拒否しました。NOと
 私はあなたに強制はしていません 誤解を招くからやめたほうがいいといったまでです
511現代数学の圏内 ENIGMA  ◆vN1DzE0DuQ
垢版 |
2024/10/20(日) 17:43:30.84ID:UEPn2IJt
>>507
Isn't there a way to ask the riddle so that the notion of probability of victory makes sense, without encountering this problem (for instance agains an opponent who chooses the sequence).

この質問に対しては、
「もちろんそういう方法はある 単に列がrandom valueでないようにすればいい」
というだけで、事実上答えはPrussが最初に提示しているのだが
512132人目の素数さん
垢版 |
2024/10/20(日) 17:56:48.28ID:UEPn2IJt
ID:qg2Fw+Lj はguessの件では意固地なようだが想定の範囲内だし
全体としてみれば大したことではないので特段気にしていない
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況