[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
797(3): 2022/11/06(日)13:45 ID:nNTYWkJt(3/6) AAS
>>792
選択函数をφとしてaを一つの同値類とする。
「φが存在する」ということと
「φ(a)の値が入手できる」ということは別だと思う。
ある箱の中身まで当てるという箱入り無数目は後者を仮定している。
804(2): 2022/11/06(日)14:11 ID:+0wVTm4U(19/43) AAS
>>797
>選択函数をφとしてaを一つの同値類とする。
>「φが存在する」ということと
>「φ(a)の値が入手できる」ということは別だと思う。
そこは誰も否定していないｗ
>ある箱の中身まで当てるという箱入り無数目は後者を仮定している。
仮定していない
省1
813: 2022/11/06(日)14:58 ID:aV+KEqav(18/54) AAS
>>797
＞選択函数をφとしてaを一つの同値類とする。
＞「φが存在する」ということと
＞「φ(a)の値が入手できる」ということは別だと思う。
別ではないけど
＞ある箱の中身まで当てるという箱入り無数目は後者を仮定している。
そうだね後者が実現してなかったら、中身あてはできない
省2
814: 2022/11/06(日)14:59 ID:+0wVTm4U(23/43) AAS
>>797
>選択函数をφとしてaを一つの同値類とする。
>「φが存在する」ということと
>「φ(a)の値が入手できる」ということは別だと思う。
φが存在するならφ(a)の値は定まっている。
同じことの言い換えだが、φ(a)の値が定まっていないならφは関数ではないから存在するとは言えない。
尚、φが構成的でないという意味で
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s