スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (672ﾚｽ)
上下前次1-新
548: 11/24(日)15:07 ID:20B4O1iN(10/18) AAS
>>545
>箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
>だから
>固定することは不可能だと
ほら、ぜんぜん分かってない。
選択公理を仮定すれば代表選択関数全体の集合は空でない。よってその集合のいずれか一元を選択・固定可能。
もう黙りなよ。口開けば間違うんだから。
549: 11/24(日)15:15 ID:20B4O1iN(11/18) AAS
>>546
>あなた "固定,固定,固定だぁ！
固定という言葉が分からないなら小学校からやり直し
550(1): 11/24(日)15:24 ID:20B4O1iN(12/18) AAS
ていうか箱入り無数目どころか選択公理も選択関数も関係無い。
「空でない集合のいずれか一元を選択できる」という命題に過ぎない。
もちろん自明に真。
551(1): 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)16:21 ID:I9DmCuNm(16/18) AAS
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
552: 11/24(日)16:52 ID:20B4O1iN(13/18) AAS
今日も間違いだらけでフルボッコされるコピペザル
553: 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)17:04 ID:I9DmCuNm(17/18) AAS
結局、選択公理を否定することでしか
箱入り無数目による勝率1-ε不成立を正当化できない
別に選択公理を否定しても無矛盾なのだから
堂々と選択公理を否定すればよいのに
何を恐れているのか？
554: 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)17:23 ID:I9DmCuNm(18/18) AAS
箱入り無数目の戦略がつねに失敗するとすれば以下の理由しかない
「どの列も、それが選ばれた場合と選ばれなかった場合で異なる代表を取らざるを得ず
前者の代表は後者の代表と比べて元の数列との一致度が低くなるため
結果として決定番号がより大きくなので当たらない」
そして「異なる代表を取らざるを得ない」というのは選択公理の否定であり
それが理解できないとすればそもそも選択公理の論理式が理解できてない
と考えざるを得ない
555(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)19:20 ID:pyyDnAPQ(11/15) AAS
>>551
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
(引用終り)
君は、詭弁・論点ずらし の天才だねｗ
御大からは”寝言”と見透かされているが
下記 ちょっと面白いけどな
省16
556(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)19:23 ID:pyyDnAPQ(12/15) AAS
>>546より再録します
>>544-545
箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから
固定することは不可能だと
>>542より ”no Vitali set is definable”（>>529） ヴィタリ集合は、definableではない
”Axiom of Choice is regarded as a non-constructive statement, so we do not have an algorithm or something like that in order to properly “construct” the Vitali set. We only use the Axiom of Choice to assert its existence, and that’s all.”by Samuel Gomes da Silva Ph.D.
あなた "固定,固定,固定だぁ！"
But by Samuel Gomes da Silva Ph.D. "We only use the Axiom of Choice to assert its existence, and that’s all.”
固定できないんじゃないの？ｗｗｗ
省2
557(1): 11/24(日)19:32 ID:20B4O1iN(14/18) AAS
>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して
558(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)20:32 ID:pyyDnAPQ(13/15) AAS
>>557
(引用開始)
>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して
(引用終り)
つまらん突っ込みだが
1）キーワード検索”空でない”
ヒットは5件で 一番近いのが >>550 より
”ていうか箱入り無数目どころか選択公理も選択関数も関係無い。
省14
559: 11/24(日)20:55 ID:20B4O1iN(15/18) AAS
>>558
ダメだこりゃｗ
560: 11/24(日)21:19 ID:20B4O1iN(16/18) AAS
>>558
>キーワード検索”空でない”
君、空集合って知らないの？ 空でない集合って空集合ではない集合って意味だよ？ 分からない？ 馬鹿？
>これ、選択公理の文言の一部でしょ？
はぁ？
「選択公理は関係無い」って書いてるじゃん
>ていうか箱入り無数目どころか選択公理も選択関数も関係無い
日本語読めないの？ 小学校からやり直せば？
>もっと、勉強してねｗ ；ｐ）
読み書きを習ってね
省1
561(2): 月光仮面 11/24(日)21:35 ID:jaWAOK+r(1/2) AAS
ホッホッホ爺さんの嘘
43 名前：１３２人目の素数さん[] 投稿日：2024/11/11(月) 23:46:43.67 ID:xGTnxzX9
富山県生まれ[1]。
（1970年東京大学入学後ワープして）
京都大学理学部卒業[2]、
1978年京都大学大学院理学研究科修士課程修了[1]。
（こっそりドイツ留学）
1981年理学博士[1]。京都大学数理解析研究所助教授を経て、
1987年O–Takegoshi L2 extension theorem
1990年 - 国際数学者会議に招待講演者
省8
562(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)21:37 ID:pyyDnAPQ(14/15) AAS
>>558
(引用開始)
>「空でない集合のいずれか一元を選択できる」
の反例を示して
(引用終り)
・集合論のド素人か
・下記 Vitali set →Solovay model（ZFCで選択公理を弱い従属選択公理DCに換えたモデル：非可測集合が存在しない）
・つまり、選択公理AC → 弱い従属選択公理DC にすると、連続濃度の集合族に対する 選択関数は 構成できない
・これが、反例と呼べるか否かはしらないが、選択公理ACの否定DCで Solovay modelができて 実数の集合が全てルベーグ可測になるよ
ｗ ；ｐ）
省23
563: 11/24(日)21:52 ID:20B4O1iN(17/18) AAS
>>562
選択公理？ 集合族？ 選択関数？
何の話してんの？
>ていうか箱入り無数目どころか選択公理も選択関数も関係無い
ほら、選択公理も選択関数も関係無いって明示的に書いてるよね？
>「空でない集合のいずれか一元を選択できる」
ほら、集合族なんて一言も書いてないよね？
日本語読めないの？ 小学校からやり直せば？
>・集合論のド素人か
日本語のど素人か
564: 11/24(日)21:53 ID:20B4O1iN(18/18) AAS
>>562
アホなフリすれば反例から逃げれると思った？
それとも本当にアホ？
どっち？
565(1): 月光仮面 11/24(日)22:08 ID:jaWAOK+r(2/2) AAS
嘘つきの素人のバトルｗｗｗ
566: 11/24(日)22:33 ID:pyyDnAPQ(15/15) AAS
>>561 ＆>>565
これは、弥勒菩薩さまかな
茶々入れ、ご苦労さまです
その>>561の中で
一番確からしそうなのが
”囲碁アマ7段格”です ；ｐ）
趙治勲 私の履歴書連載を熱心に読んでいた （＾＾
外部ﾘﾝｸ:ja.wikipedia.org
趙治勲
567: 11/25(月)05:44 ID:X9aIenaL(1/10) AAS
>>555
君こそ、詭弁・論点外し の天才
御小の”寝言”の第一は君の発言
自然演繹の∃除去規則は、ゲンツェンのシークエント計算の(∃L)に対応する
意味わかる？
上下前次1-新書関写板覧索設栞歴
あと 105 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s