[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
555(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/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 2024/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): 2024/11/24(日)19:32 ID:20B4O1iN(14/18) AAS
>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して
558(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)20:32 ID:pyyDnAPQ(13/15) AAS
>>557
(引用開始)
>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して
(引用終り)
つまらん突っ込みだが
1）キーワード検索”空でない”
ヒットは5件で 一番近いのが >>550 より
”ていうか箱入り無数目どころか選択公理も選択関数も関係無い。
省14
559: 2024/11/24(日)20:55 ID:20B4O1iN(15/18) AAS
>>558
ダメだこりゃｗ
560: 2024/11/24(日)21:19 ID:20B4O1iN(16/18) AAS
>>558
>キーワード検索”空でない”
君、空集合って知らないの？ 空でない集合って空集合ではない集合って意味だよ？ 分からない？ 馬鹿？
>これ、選択公理の文言の一部でしょ？
はぁ？
「選択公理は関係無い」って書いてるじゃん
>ていうか箱入り無数目どころか選択公理も選択関数も関係無い
日本語読めないの？ 小学校からやり直せば？
>もっと、勉強してねｗ ；ｐ）
読み書きを習ってね
省1
561(2): 月光仮面 2024/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 2024/11/24(日)21:37 ID:pyyDnAPQ(14/15) AAS
>>558
(引用開始)
>「空でない集合のいずれか一元を選択できる」
の反例を示して
(引用終り)
・集合論のド素人か
・下記 Vitali set →Solovay model（ZFCで選択公理を弱い従属選択公理DCに換えたモデル：非可測集合が存在しない）
・つまり、選択公理AC → 弱い従属選択公理DC にすると、連続濃度の集合族に対する 選択関数は 構成できない
・これが、反例と呼べるか否かはしらないが、選択公理ACの否定DCで Solovay modelができて 実数の集合が全てルベーグ可測になるよ
ｗ ；ｐ）
省23
563: 2024/11/24(日)21:52 ID:20B4O1iN(17/18) AAS
>>562
選択公理？ 集合族？ 選択関数？
何の話してんの？
>ていうか箱入り無数目どころか選択公理も選択関数も関係無い
ほら、選択公理も選択関数も関係無いって明示的に書いてるよね？
>「空でない集合のいずれか一元を選択できる」
ほら、集合族なんて一言も書いてないよね？
日本語読めないの？ 小学校からやり直せば？
>・集合論のド素人か
日本語のど素人か
564: 2024/11/24(日)21:53 ID:20B4O1iN(18/18) AAS
>>562
アホなフリすれば反例から逃げれると思った？
それとも本当にアホ？
どっち？
565(1): 月光仮面 2024/11/24(日)22:08 ID:jaWAOK+r(2/2) AAS
嘘つきの素人のバトルｗｗｗ
566: 2024/11/24(日)22:33 ID:pyyDnAPQ(15/15) AAS
>>561 ＆>>565
これは、弥勒菩薩さまかな
茶々入れ、ご苦労さまです
その>>561の中で
一番確からしそうなのが
”囲碁アマ7段格”です ；ｐ）
趙治勲 私の履歴書連載を熱心に読んでいた （＾＾
外部ﾘﾝｸ:ja.wikipedia.org
趙治勲
567: 2024/11/25(月)05:44 ID:X9aIenaL(1/10) AAS
>>555
君こそ、詭弁・論点外し の天才
御小の”寝言”の第一は君の発言
自然演繹の∃除去規則は、ゲンツェンのシークエント計算の(∃L)に対応する
意味わかる？
568: 2024/11/25(月)05:56 ID:X9aIenaL(2/10) AAS
>>558
> おれの556の文中には、”空でない”が無いので
おまえの文章の中になくても、選択公理で、直積は空でない、といってる
569: 2024/11/25(月)06:00 ID:X9aIenaL(3/10) AAS
>>558
> 556の文中には、”空でない”が無いので
選択公理では”空でない”と書かれてるけどな
570(1): 2024/11/25(月)06:13 ID:X9aIenaL(4/10) AAS
>>562
> Solovay model（ZFCで選択公理を弱い従属選択公理DCに換えたモデル：非可測集合が存在しない）
つまり、Solovay modelではVitali setは集合ではない
これ分かる？
571(1): 2024/11/25(月)06:14 ID:X9aIenaL(5/10) AAS
>>570の都筑
> つまり、選択公理AC → 弱い従属選択公理DC にすると、連続濃度の集合族に対する 選択関数は 構成できない
つまり、Solovay modelでは選択公理ACは成立しない
これ分かる？
572(1): 2024/11/25(月)06:15 ID:X9aIenaL(6/10) AAS
>>571のつづき
> これが、反例と呼べるか否かはしらないが、
> 選択公理ACの否定DCで Solovay modelができて 実数の集合が全てルベーグ可測になるよ
尻尾同値類の代表の集まりが集合でないモデルでは、もちろん箱入り無数目は実行できない
しかしそれACが成立しないモデルだから、ACが成立するモデルでの反例ではない
ACが成り立つモデルでは述語論理の完全性定理により反例は存在しない
これ分かる？
573(1): 2024/11/25(月)06:20 ID:X9aIenaL(7/10) AAS
>>572
ACから箱入り無数目の成功確率1-εが導けるのだから
ACが成り立つ任意のmodelで「箱入り無数目の成功確率1-ε」は真である
箱入り無数目が成立しないmodelは存在するだろうが、そのようなmodelではACは成立しない
箱入り無数目記事ではACを前提しているので、ACが成立しないmodelは考えていない
なお、ACが成立しないにもかかわらず
箱入り無数目の成功確率1-εが真となるmodelが
存在するかどうかは未解決である
574: 2024/11/25(月)06:26 ID:X9aIenaL(8/10) AAS
>>573
「箱入り無数目は成功しない だから選択公理は偽である」というのはありだが
「箱入り無数目は成功しない なぜなら選択公理は偽だからだ」というのは無し
つまり「選択公理は偽」は「箱入り無数目は成功しない」の必要条件だが十分条件ではない
上下前次1-新書関写板覧索設栞歴
あと 428 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s