[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
795(1): 2022/11/06(日)13:36 ID:4rX/NHRo(9/23) AAS
>>777 (>>782) 補足
(引用開始)
>>770
＞>>768
＞>ただし「代表系のリストが手に入る」という仮定は選択公理を超えている
＞実はそうです
＞選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
省18
802: 2022/11/06(日)14:05 ID:+0wVTm4U(17/43) AAS
>>795
>＞選択公理が存在することと、選択を実現するアルゴリズムが存在することとは別です
に対して
>お主、基礎論弱いなｗ
>・「アルゴリズムが存在する」は、構成主義（下記）じゃなかったかな？
>・実数の構成では、一般的に 構成主義⊂ZFCじゃね？
が何の反論にもなってなくて草
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s