[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
521: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:23 ID:I9DmCuNm(6/18) AAS
>>502
> 考えてみるに、面倒なことをせず
> 要するに 思いっきり大きなDを出せば良いのであって
> だったら コンピュータでも使って 大きなDを作ればいいっぺ
> D >= dk が実現できるよう
> だが、そんな D >= dk が実現できるようなおおきな数 D は、
> 存在しないっぺ
こんなこといってるようでは
なんで決定番号を用いるのかわかってないですな
単独最大決定番号の列がたかだか１個しか存在しない
省3
522: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:27 ID:I9DmCuNm(7/18) AAS
>>508
> 成立不成立は寝言
選択公理の成立不成立はコーエンの独立性証明以降「寝言」
したがって選択公理の正否に依存する箱入り無数目も「寝言」
という程度の説明もできない嫉妬丸出しの発言は「妄言」
523(1): 2024/11/24(日)08:31 ID:20B4O1iN(3/18) AAS
それを言ったら数学自体寝言なんだがｗ
ACを寝言扱いするならZFもそうしないとダブスタだからね
524: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:31 ID:I9DmCuNm(8/18) AAS
>>510
> 100列で 99列はコケオドシの飾りで
> D >= dk が実現できるように見せる
> ダマシの手品の仕掛けだが
無限乗積の収束を対数の無限和の収束に置き換えることも思いつかず
正方行列の逆行列の存在が行列式が０でないことと同じであることも示せず
選択公理を用いるとなぜ任意の集合が整列できるかも説明できない
そんな素人には箱入り無数目が選択公理によってなぜうまくいくかもわからない
「大学１年の壁」を乗り越えられぬ縁なき衆生は・・・
525(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:32 ID:I9DmCuNm(9/18) AAS
>>523
> それを言ったら数学自体寝言なんだが
かつて龍樹はこういった
「すべて寝言」
526(1): 2024/11/24(日)08:40 ID:20B4O1iN(4/18) AAS
すべて寝言なら、寝言寝言言ってるあの御方の発言は寝言よりもナンセンスですなｗ
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]”
（Axiom of choice Criticism and acceptance）
で
8^ Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Lévy, Azriel (1973), Foundations of set theory (2nd ed.), Amsterdam-London: North-Holland Publishing Co., pp. 69–70, ISBN 9780080887050, MR 0345816.
省33
528(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:48 ID:I9DmCuNm(10/18) AAS
>>526
「あのお方」は
「俺様が研究している分野は、他の数学のいかなる分野よりも素晴らしい」
という自己愛に満ち溢れてる点で、その分野の創始者である
「あのお方」とそっくり
類は友を呼ぶ、ということか・・・
529(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)08:48 ID:pyyDnAPQ(2/15) AAS
つづき
2）
MathOverflow
mathoverflow.net › questions
2009/12/18 — But why should there be a definable Vitali set? Of course, some models of set theory have definable Vitali sets, because sometimes there is ...
回答 2 件
ベストアンサー:
(Edit.) With a closer reading of your question, I see that you asked for a very specific notion ...
What is the least α such that Lα contains a non-measurable set
2024年9月10日
省23
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
選択公理でその存在が主張される選択関数を具体的に示す必要はまったくない
ヒルベルトなら、ブラウワーに対してそういった筈である
その上で、別に選択公理を認めたくないなら、そうすればいい 無矛盾だから
コーエンなら、ブラウワーに対してそういった筈である
532: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:59 ID:I9DmCuNm(13/18) AAS
「選択公理の下では箱入り無数目の戦略は勝率1-εで成功する」というのは
「平行線公準の下では三角形の内角の和は180度である」というのと同じ
「・・・の下では」という前提を外すならもちろんその後の結論は言えない
だから箱入り無数目の戦略を認めたくないなら、こういうしかない
「俺は選択公理なんて認めない！ 具体的に示せないのに存在するとかいうのはオカルトだ！」
533: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)09:02 ID:I9DmCuNm(14/18) AAS
リチャード・ファインマンは
バナッハ・タルスキーの定理に対してムカつき
数学科の学生に「実際にやってみせろ」と（冗談で）食ってかかったとか
円盤が実は双曲平面全体だったなら、選択公理抜きで実際にできるけど・・・
そういう意味では、バナッハ・タルスキの非常識さは選択公理以前のことである
534: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:09 ID:pyyDnAPQ(3/15) AAS
>>525
(引用開始)
> それを言ったら数学自体寝言なんだが
かつて龍樹はこういった
「すべて寝言」
(引用終り)
胡蝶の夢、「知魚楽」
湯川博士は語ります。
「小さな目に見えないものにも、できるだけ親しみを感じるように仕向けることが科学普及のひとつの眼目であろう。」
御大
省20
535: 2024/11/24(日)09:13 ID:20B4O1iN(5/18) AAS
>>527
>一意的でない vs 一意化できる
>矛盾してないか？
選択関数全体の集合が複数の元を持つならそのうちの一つを選択できる。
複数の元を持つ：一意的でない
そのうちの一つを選択できる：一意化できる
まったく矛盾していない
馬鹿？
536(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:15 ID:pyyDnAPQ(4/15) AAS
>>530
(引用開始)
> 一意的でない vs 一意化できる
> 矛盾してないか？
矛盾してないが？
君、小学校で国語は学んだかね？
(引用終り)
ふっふ、ほっほ
>>517
＞fは唯一ではない（つまり一意的でない）が、
省7
537(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:24 ID:pyyDnAPQ(5/15) AAS
>>528
(引用開始)
「あのお方」は
「俺様が研究している分野は、他の数学のいかなる分野よりも素晴らしい」
という自己愛に満ち溢れてる点で、その分野の創始者である
「あのお方」とそっくり
類は友を呼ぶ、ということか・・・
(引用終り)
某私大数学科の3年生で オチコボレて30年のおサルさん>>25
不遇な人生で、心がひずんでしまった30年
省5
538: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:40 ID:pyyDnAPQ(6/15) AAS
>>537
>多変数複素関数論の創始者は、岡先生では？
検索：L^2 解析 関数論
で下記がヒット
”L2 評価式”が、専門用語らしい
L2 評価式の手法を 創案したのかな？
1）
L2 評価式とその幾何学への応用
J-Stage
外部ﾘﾝｸ:www.jstage.jst.go.jp›2›53_2_157›_pdf›-char
省13
539(1): 2024/11/24(日)09:42 ID:20B4O1iN(6/18) AAS
>>536
>ならば、それは 数学で一般にいう”一意化”ではない
話について来れないおまえがズレてるだけ
540(1): 2024/11/24(日)10:00 ID:20B4O1iN(7/18) AAS
相変わらず大量のコピペと間違いだらけ
人間様の数学はコピペザルには無理
上下前次1-新書関写板覧索設栞歴
あと 462 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s