[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
299: １３２人目の素数さん [sage] 2022/09/18(日) 15:12:48.08 ID:ldv25uGN では、信託機械と同じノリで、スレ主の>>290の質問に回答しよう。 ・ 可算無限個の対象をそのまま出力できる機械を想定する。 ・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。 このような能力を持った機械を想定する。この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。特に、 ・ 全ての実数の入る可算無限列を、そのしっぽの同値類で分類して、完全代表系を決めることもできる ことになる。芋づる式に、スレ主の懸念であった ＞・ 毎回必ず (√2, √2, √2, …) を出題し、そのたびにスレ主は時枝戦術を使って統計を取る このような統計までもが「本当に実行可能」になる。 しかし、どうやってそのような芸当をプログラミングしたのか、 そのソースコードに当たる「動作原理」の部分は、我々には分からない。 しかし、その部分は知る必要がない。ただ単に実行可能でありさえすればよい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/299
353: １３２人目の素数さん [sage] 2022/09/19(月) 16:27:45.90 ID:k+EEBfQ5 >>352 その点については>>297-300で反論済み。信託機械と同じノリで、 ・ 可算無限個の対象をそのまま出力できる機械を想定する。 ・ その機械はさらに、選択公理で記述される選択関数を実際に出力可能であるとする。 このような能力を持った機械を想定すればよい。 この機械を使役することで、 我々は時枝戦術の全てを「本当に実行可能」になる。 特に、時枝戦術を使って統計を取ることが可能になる。 しかし、どうやってその機械にそのような芸当をプログラミングしたのか、 そのソースコードは我々には分からない。しかし、その部分は知る必要がない。 ただ単に実行可能でありさえすればよい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/353
357: １３２人目の素数さん [sage] 2022/09/19(月) 16:37:02.98 ID:k+EEBfQ5 >>356 それも>>299-300で既に示してあるでしょ。 今の場合、毎回必ず (√2, √2, √2, …) を出題するのだから、決定番号の方も、 ある固定された (a1, a2, …, a100) が毎回100％の確率で (d1, d2, …, d100)＝(a1, a2, …, a100) と出力される。 この (a1, a2, …, a100) が具体的に何なのかは、我々には知る術がない。しかし、知る必要はない。 なぜなら、何らかの (a1, a2, …, a100) が「実際に出力されている」ことに変わりはないからだ。 そして、一番大切なのは 「毎回100％の確率で同じ (a1, a2, …, a100) が出力されている」 という論理的な性質である、この性質がありさえすればよい。 すると、a1,a2,…,a100 の中で、箱の中身の推測に失敗する ai は高々1個で、しかもその ai 自体が固定である。 すなわち、 ・ 毎回毎回、固定された a1〜a100 があって、その中で高々1個の固定された ai のみがハズレ という状況になる。この状況下で統計を取れば、明らかに、99/100 以上の確率で当たりを引くことになる。 従って、件の反復試行によって統計を取ると、その統計は上記の機械のもとで「本当に実行可能」であり、 しかも、その統計結果は 「スレ主が 99/100 以上の確率で何らかの箱の中身を当ててしまう」 という結果になる。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/357
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s