[過去ログ] スレタイ 箱入り無数目を語る部屋3 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
806(1): 2022/10/17(月)11:00 ID:RYhCayMB(1/5) AAS
・ 1つの出題 s に対しては100個の決定番号のみ必要。
・ ある s_0∈[0,1]^N に対して「その出題 s_0 では回答者の勝率は 99/100 以上」を証明し、
なおかつ「他の出題 s に対する回答者の勝率は調べない」のであれば、
回答者は s_0 に対する100個の決定番号さえ所持していればよいので、選択公理は必要ない。
・ 実際には、時枝記事では「 ∀s∈[0,1]^N s.t. その出題 s では回答者の勝率は 99/100 以上」
を示しているので、回答者は任意の出題 s に対応できなければならず、
よって完全代表系が必要なので、選択公理が必要。
815(1): 2022/10/17(月)23:19 ID:RYhCayMB(5/5) AAS
>>814
・ 時枝記事そのものについては、選択公理は必要(>>806-807)。
・ ただし、時枝記事と同等の戦術を、選択公理を使わない形で実行できるようにすることは可能(>>581-583)。
・ いずれの設定でも、回答者の勝率は 99/100 以上。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.040s