スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (671ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
575(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/25(月)07:34 ID:PVFg9nt/(1/4) AAS
>>567-574
ふっふ、ほっほ
>「箱入り無数目は成功しない なぜなら選択公理は偽だからだ」というのは無し
ありだよ。その理由は、>>4-5の ”infinite fair lottery”現象で
”（Pruss氏）
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.”だ
もっと言えば、>>8 「非正則分布は確率分布ではない！？」 ai-trend.jp/basic-study/bayes/improper_prior/
の状態
つまり、全事象Ωが無限大に発散し、確率公理P(Ω)=1が満たせない、根源事象の確率0
これらは、ZFC内だよ。つまり、選択公理があっても
省20
576: 11/25(月)07:40 ID:5DDJczCB(1/17) AAS
>>575
まーたΩを勝手に改変してるよこのコピペザル
577: 11/25(月)08:03 ID:6LgyNPbb(1/3) AAS
>>575
>>「箱入り無数目は成功しない なぜなら選択公理は偽だからだ」というのは無し
> ありだよ。その理由は、
…の後が相変わらずトンチンカンなので無し
選択公理が偽でも箱入り無数目が成立する場合があるかないかは、open problem
578: 11/25(月)08:09 ID:7AbnTBxi(1) AAS
>>575
>>つまり、Solovay modelではVitali setは集合ではない
> そこ面白いから解説しておくよ
の後の解説が胡散臭い、具体的には
> Solovay model：ZFCで選択公理を弱い従属選択公理DCに換えたモデル
とあるが、Solovay modelはZFCのmodelではなく、ZF＋DCのmodel
ZFCのmodelだと思ってるなら誤りだし、
ZFCのmodelでないと分かってるならここで持ち出す意味がない
ZFCの下で成立するか否かが問題なのでZF+DCで成立しないといっても
「そういうこともあるでしょう それが何か？」で終わり
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.806s*