[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋26 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
778(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/10(日)16:43 ID:zvgSRz4H(6/9) AAS
>>777
> 数列なんか一つも見る前に全同値類の代表は選択されている
> だから100列の決定番号は箱を一つも開けるまえから決まっている
ふっふ、ほっほ
（>>719より再録）
3）結局、手順が異なると 異なる確率計算結果になるのは、決定番号を使う確率計算というものは
well-defined でないってことだ（下記 『最終的な結論が中途の表式に依存している』）
省10
779(1): 2024/11/10(日)16:48 ID:77OcV5w4(31/44) AAS
>>778
> ふっふ、ほっほ
どうした？万年高校生 顔ひきつってるぞ
> 結局、手順が異なると 異なる確率計算結果になるのは、
> 決定番号を使う確率計算というものはwell-defined でないってことだ
決定番号を排除したいなら選択公理を否定するしかない
選択公理を否定しても無矛盾だとポール・コーエンも証明してる
省1
780: 2024/11/10(日)16:51 ID:77OcV5w4(32/44) AAS
>>778
> 原因は ”infinite fair lottery”状態
> つまり、決定番号が自然数N全体を渡り
> Ω＝N で P(Ω)＝1とできない
>（Ωが無限大に発散）ってことだね
別にR^Nから広義ベルヌーイ過程で列を選択する必要はないけどな
問題文にはそんなこと一言も書かれてないし
省2
791(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/10(日)17:41 ID:zvgSRz4H(7/9) AAS
>>779
> 決定番号を排除したいなら選択公理を否定するしかない
>>787
>「選択公理を仮定すれば箱入り無数目が成立する」
>を否定したいなら
>「選択公理を仮定しても箱入り無数目は成立しない」
>を示さなければならない
省35
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s