[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
572(1): 2024/11/25(月)06:15 ID:X9aIenaL(6/10) AAS
>>571のつづき
> これが、反例と呼べるか否かはしらないが、
> 選択公理ACの否定DCで Solovay modelができて 実数の集合が全てルベーグ可測になるよ
尻尾同値類の代表の集まりが集合でないモデルでは、もちろん箱入り無数目は実行できない
しかしそれACが成立しないモデルだから、ACが成立するモデルでの反例ではない
ACが成り立つモデルでは述語論理の完全性定理により反例は存在しない
これ分かる？
573(1): 2024/11/25(月)06:20 ID:X9aIenaL(7/10) AAS
>>572
ACから箱入り無数目の成功確率1-εが導けるのだから
ACが成り立つ任意のmodelで「箱入り無数目の成功確率1-ε」は真である
箱入り無数目が成立しないmodelは存在するだろうが、そのようなmodelではACは成立しない
箱入り無数目記事ではACを前提しているので、ACが成立しないmodelは考えていない
なお、ACが成立しないにもかかわらず
箱入り無数目の成功確率1-εが真となるmodelが
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s