[過去ログ]
スレタイ 箱入り無数目を語る部屋20 (1002レス)
スレタイ 箱入り無数目を語る部屋20 http://rio2016.5ch.net/test/read.cgi/math/1720219614/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
822: 132人目の素数さん [] 2024/08/14(水) 11:38:57.13 ID:T6XuAVMl >>820 補足 いくつかのポイントを補足しておこう 1)”箱入り無数目”の決定番号を使う 確率99/100に、確率測度の裏付けがない (コルモゴロフの確率公理を満たす 標本空間の測度を1とする 確率測度を与えることができない>>779) 2)”箱入り無数目”は、具体的実行性に欠ける つまり、実数の可算無限列 R^Nのしっぽ同値による分類を完成させて、できた各同値類に具体的な代表を決める これは、思念としては可能でも、現実には不可 (卑近な例で、円周率πの10進展開で、理論的には無限数列ができる。しかし、人は円周率πの有限桁しかしらない。πの無限数列のシッポをしらない) 3)この元ネタ 実数の10進展開による数列が、Sergiu Hart氏のChoice Games November 4, 2013 P2 より( www.ma.huji.ac.il/hart/puzzle/choice.pdf) ”Player 1 chooses a rational number in the interval [0,1] and writes down its infinite decimal expansion3 0.x1x2...xn..., with all xn ∈ {0,1,...,9}.” また ”Remark. When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.” これについては、実は テンプレの>>4で紹介している 4)0.x1x2...xn..., →x1.x2...xn..., with all xn ∈ {0,1,...,9} のように、小数点の位置を 先頭から一つ動かして x1とx2の間に設定すれば x1.x2...xn... は、区間[0,10] の実数を表す( 9.99...9...=10 だから) 自然対数の底eや円周率πはもちろん、区間[0,10] の実数だ さて、e+π=5.859874・・ も 区間[0,10] 内だ もし、しっぽ同値による分類を完成させることができたならば e+πのしっぽが循環しているかどうか? よって、その同値類が有理数に属するか否か e+π が有理数か無理数か判定可能だ。しかし、まだe+π が有理数か無理数か不明だ つまり、区間[0,10] の実数 x1.x2...xn..., with all xn ∈ {0,1,...,9} ですら、しっぽ同値の分類を具体化することはできない! まして、実数の無限列 R^Nのしっぽ同値の分類の具体化など、夢のまた夢!!w ;p) まとめると ・”箱入り無数目”は、数列のシッポ同値類の分類が具体的実行性に欠ける ・数列のシッポ同値類の決定番号による 確率99/100は、確率測度の裏付けなし (コルモゴロフの確率公理を満たす 標本空間の測度を1とする 確率測度を与えることができない>>779) http://rio2016.5ch.net/test/read.cgi/math/1720219614/822
823: 132人目の素数さん [] 2024/08/14(水) 11:51:49.54 ID:MY/kMbI8 >>822 >・”箱入り無数目”は、数列のシッポ同値類の分類が具体的実行性に欠ける 可算無限個の箱を用意できないから具体的実行性とやらに欠けると? じゃあ数学は諦めて算数でもやってれば? >・数列のシッポ同値類の決定番号による 確率99/100は、確率測度の裏付けなし > (コルモゴロフの確率公理を満たす 標本空間の測度を1とする 確率測度を与えることができない 箱入り無数目の標本空間は{1,2,・・・,100}であり、各根元事象に確率測度1/100を割り当てればコルモゴロフの公理を満たす。 http://rio2016.5ch.net/test/read.cgi/math/1720219614/823
824: 132人目の素数さん [sage] 2024/08/14(水) 12:34:41.98 ID:2wCCoH3Y >>822 >”箱入り無数目”の決定番号を使う 確率99/100に、確率測度の裏付けがない 箱の中身は確率変数ではない ドバト1匹目捕獲 http://rio2016.5ch.net/test/read.cgi/math/1720219614/824
825: 132人目の素数さん [sage] 2024/08/14(水) 12:38:18.74 ID:2wCCoH3Y >>822 >”箱入り無数目”は、具体的実行性に欠ける >つまり、実数の可算無限列 R^Nの各しっぽ同値類に具体的な代表を決める >これは、思念としては可能でも、現実には不可 >(卑近な例で、円周率πの10進展開で、理論的には無限数列ができる。 > しかし、人は円周率πの有限桁しかしらない。πの無限数列のシッポをしらない) 選択公理を認めるなら、別に尻尾同値類の代表の選択関数を具体的に構築する必要は全くない ドバト2匹目確保 http://rio2016.5ch.net/test/read.cgi/math/1720219614/825
826: 132人目の素数さん [sage] 2024/08/14(水) 12:43:17.53 ID:2wCCoH3Y >>822 >もし、しっぽ同値による分類を完成させることができたならば >e+πのしっぽが循環しているかどうか? >よって、その同値類が有理数に属するか否か >e+π が有理数か無理数か判定可能だ。 >しかし、まだe+π が有理数か無理数か不明だ >つまり、区間[0,10] の実数 x1.x2...xn..., with all xn ∈ {0,1,...,9} >ですら、しっぽ同値の分類を具体化することはできない! >まして、実数の無限列 R^Nのしっぽ同値の分類の具体化など、夢のまた夢!! 決定可能アルゴリズムの有無にかかわらず、排中律は成り立つ つまりe+π は有理数か無理数かのいずれかである ドバト3匹目捕獲 http://rio2016.5ch.net/test/read.cgi/math/1720219614/826
827: 132人目の素数さん [sage] 2024/08/14(水) 12:48:07.82 ID:2wCCoH3Y >>822 >まとめると >・”箱入り無数目”は、数列のシッポ同値類の分類が具体的実行性に欠ける 分類は可能 代表を選ぶ手続きを示す必要はない したがってこの言いがかりは却下 >・数列のシッポ同値類の決定番号による 確率99/100は、確率測度の裏付けなし 箱の中身は確率変数ではない したがってこの言いがかりも却下 それでは高校数学までしか理解できてない ドバトどもをこれから一斉焼却する 🔥🔥🔥🔥🔥🔥🔥 http://rio2016.5ch.net/test/read.cgi/math/1720219614/827
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s