[過去ログ] スレタイ 箱入り無数目を語る部屋4 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
770(2): 2022/11/06(日)10:00 ID:aV+KEqav(13/54) AAS
>>768
実はそうです
選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
で、100列についていえば、
回答者が得られる情報から回答者自身が代表を選択することは可能です
ただしその場合、どの列を選択するかによって代表は違ってしまいます
なぜなら、自分が選択した列については、列全部の情報が得られないから
省4
777(3): 2022/11/06(日)11:17 ID:4rX/NHRo(7/23) AAS
>>770
>>>768
>>ただし「代表系のリストが手に入る」という仮定は選択公理を超えている
>実はそうです
>選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
アホちゃう
1)
省30
795(1): 2022/11/06(日)13:36 ID:4rX/NHRo(9/23) AAS
>>777 (>>782) 補足
(引用開始)
>>770
>>>768
>>ただし「代表系のリストが手に入る」という仮定は選択公理を超えている
>実はそうです
>選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
省18
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.030s