[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
770(2): 2022/11/06(日)10:00 ID:aV+KEqav(13/54) AAS
>>768
実はそうです
選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
で、100列についていえば、
回答者が得られる情報から回答者自身が代表を選択することは可能です
ただしその場合、どの列を選択するかによって代表は違ってしまいます
なぜなら、自分が選択した列については、列全部の情報が得られないから
その列全体を代表とすることができません 必ず推測せざるを得なくなります
したがって「箱入り無数目」の前提条件
「どの列を選んでも、かならず同じ代表が得られる」
省1
777(3): 2022/11/06(日)11:17 ID:4rX/NHRo(7/23) AAS
>>770
＞>>768
＞>ただし「代表系のリストが手に入る」という仮定は選択公理を超えている
＞実はそうです
＞選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
アホちゃう
１）
選択を実現するアルゴリズムが存在しても、
それに対して、常に新しい公理系を考えるべきってかい？("選択公理を超えている")
ある日まで、具体的アルゴリズムが考えられていなかったとして
省27
795(1): 2022/11/06(日)13:36 ID:4rX/NHRo(9/23) AAS
>>777 (>>782) 補足
(引用開始)
>>770
＞>>768
＞>ただし「代表系のリストが手に入る」という仮定は選択公理を超えている
＞実はそうです
＞選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
お主、基礎論弱いなｗ
・「アルゴリズムが存在する」は、構成主義（下記）じゃなかったかな？
・実数の構成では、一般的に 構成主義⊂ZFCじゃね？
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s