[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
825(1): 2022/11/06(日)15:46 ID:+0wVTm4U(26/43) AAS
>>819
>代表選出関数は使ってよくて
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.」
と明言している。
>箱の位置から箱の中の実数を求める関数を使ってはいけないの不思議だな
使ってはいけないんじゃなくて無いｗ
有るというなら証明してみて
827(3): 2022/11/06(日)16:04 ID:+aEgKflC(10/12) AAS
>>825
関数のアルゴリズムは不要なんでしよ
箱を全部開ける
箱の位置と実数の対応を調べあげる
その対応が求める関数である
箱を開ける事はいつでも可能なので関数自体の存在は確認された
箱を開けない関数のアルゴリズムはわからない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s