[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
944(4): 2022/11/08(火)17:31 ID:+tJNUyFp(4/9) AAS
「選択公理だけ」で成立するメカニズムはあるが
「箱の中身をぴたりと当てる」ためには
φ(a)の値を知ることは絶対に必要。
従ってそれを認めなければ、解法は不成立。
「中身が代表列と一致する箱がある」くらいしか言えない。
その位置の特定には決定番号の入手が必要であり
それにもφ(a)の値は必要。
省2
949(1): 2022/11/08(火)18:42 ID:+hPdl9m3(1/3) AAS
>>944
＞φ(a)の値を知ることは絶対に必要。
人間にとって、「知る」という概念は本質的に
「構成的な手続きによってそこに到達する」というニュアンスを含んでいるので、
「実際に値を知ることは絶対に必要」
という考え方は、最終的には「構成的な手続きがなければインチキだ」
ということになってしまう。
省1
960: 2022/11/09(水)06:15 ID:KNLaRzNx(7/7) AAS
>>944
＞「選択函数の値の利用」というのは
＞選択公理の使い方として極めて異例なのでは？
異例だからダメ、とはいえない
961: 2022/11/09(水)12:39 ID:DZgSW3Qq(1) AAS
>>944
選択関数が存在する以上、定義域の任意の元に対する関数値は定まっている。(そうでなければ選択関数が存在するとは言えない)
その値を使って何が悪いと？
962: 2022/11/09(水)22:13 ID:v4oHq1u9(1) AAS
>>944
＞「選択函数の値の利用」というのは
＞選択公理の使い方として極めて異例なのでは？
極めて異例？ どういうこと？
「任意の実数列{a_n}について、○○」という言明で {a_n}は選択関数で a_nは選択関数の値なんだけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s