[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
527(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)08:46 ID:pyyDnAPQ(1/15) AAS
>>517
＞fは唯一ではない（つまり一意的でない）が、
＞少なくとも一つ存在するなら一つとれる（つまり一意化できる）
一意的でない vs 一意化できる
矛盾してないか？
そのうえで、>>492 (en.wikipedia.org/wiki/Axiom_of_choice)より
”a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable.[8]”
省36
530(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:50 ID:I9DmCuNm(11/18) AAS
>>527
> 一意的でない vs 一意化できる
> 矛盾してないか？
矛盾してないが？
君、小学校で国語は学んだかね？
531: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:55 ID:I9DmCuNm(12/18) AAS
>>527 >>529
選択公理でその存在が主張される選択関数を具体的に示す必要はまったくない
ヒルベルトなら、ブラウワーに対してそういった筈である
その上で、別に選択公理を認めたくないなら、そうすればいい 無矛盾だから
コーエンなら、ブラウワーに対してそういった筈である
535: 2024/11/24(日)09:13 ID:20B4O1iN(5/18) AAS
>>527
>一意的でない vs 一意化できる
>矛盾してないか？
選択関数全体の集合が複数の元を持つならそのうちの一つを選択できる。
複数の元を持つ：一意的でない
そのうちの一つを選択できる：一意化できる
まったく矛盾していない
省1
542(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)13:48 ID:pyyDnAPQ(7/15) AAS
>>539-541
(引用開始)
>ならば、それは 数学で一般にいう”一意化”ではない
君は一意的＝一意化と思ってるが、それは誤解
的と化は違う文字、一意的でないのを一意にするから一意”化”
(引用終り)
ふっふ、ほっほ
省34
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s