[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/11 12:40 / Filesize : 750 KB / Number-of Response : 1098
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

スレタイ 箱入り無数目を語る部屋3



1 名前:132人目の素数さん [2022/08/13(土) 16:51:12.04 ID:d42KNd2H.net]
前スレが1000近くなったので、新スレを立てる

前スレ 箱入り無数目を語る部屋2
https://rio2016.5ch.net/test/read.cgi/math/1629325917/

(参考)
時枝問題(数学セミナー201511月号の記事) 「箱入り無数目」抜粋
純粋・応用数学(含むガロア理論)8
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401
時枝問題(数学セミナー201511月号の記事)
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
(Denis質問)
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.
(Pruss氏)
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.
(Huynh氏)
If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.

つづく

839 名前:132人目の素数さん mailto:sage [2022/10/13(木) 19:12:00.05 ID:AMr2WmgW.net]
>>755
>商集合の構成には、選択公理は不必要では?

商集合の元が同値類そのものなら不必要だが
>>740では「同値類の代表元全体の空間」
といってるから、選択公理は必要

無駄なツッコミ5963

>商集合に分けたものが、有限なら有限に対する選択公理
>が、代表系を構成するのに、…必要ってことでしょ?

1行目「、」の位置が不適切
正しい文章は「商集合に分けたものが有限なら、」な

その上で、内容が誤り
商集合が有限なら、選択公理は必要ない。

で、>>754には反論できず悶死か 御愁傷様

840 名前:132人目の素数さん mailto:sage [2022/10/13(木) 19:12:32.37 ID:AMr2WmgW.net]
>>756
ともかく、
1)望月論文は、数学的には終わっている
 つまり、平均化すれば j^2キャンセルで、
 望月は終わっている
 つまり、Corollary3.12の証明は否定される
2)残る問題は
 ・望月の宇宙際トリックの謎解き
 ・もっといえば、なぜ証明できたように見えるか?
 ってことだけ
3)思うに
 ”入れ子の宇宙”が思考としては許されるが
 数学理論としては、何でも証明可(つまり矛盾)だから
 却下!ってオチじゃね?

え、ここ箱入り無数目スレ?・・・誤爆かw

841 名前:132人目の素数さん [2022/10/13(木) 23:33:07.75 ID:MxOOS5Ta.net]
>>766
>商集合の元が同値類そのものなら不必要だが
>>>740では「同値類の代表元全体の空間」
>といってるから、選択公理は必要

誤魔化しだな。>>740なんてかんけーねw

正確に引用するよ
 >>755より
(引用開始)
>>753
>  K^N/∪K^n (n∈N)を構成するのに選択公理が必要

??
商集合の構成には、選択公理は不必要では?

商集合に分けたものが、有限なら有限に対する選択公理
商集合に分けたものが、可算なら可算に対する選択公理
商集合に分けたものが、非可算なら非可算に対する選択公理
が、代表系を構成するのに、それぞれ必要ってことでしょ?

そして、非可算に対するフルパワー選択公理を使うと
非可測集合たるヴィタリ集合(R/Q の代表系よりなる)
が構成できるということでしょ
(引用終り)

842 名前:132人目の素数さん [2022/10/13(木) 23:36:21.48 ID:MxOOS5Ta.net]
>>767
それ面白いな

1)望月論文は、数学的には、論文は受理され、査読され、出版された
2)シンポジウムも、多数ある
3)問題は、
・望月の宇宙際トリックの謎解き
・もっと分かり易い説明が必要だ
4)それは、これからの仕事で

843 名前:オょ []
[ここ壊れてます]

844 名前:132人目の素数さん [2022/10/13(木) 23:40:26.79 ID:MxOOS5Ta.net]
>>756 補足

1)ともかく、大学教程の確率論、確率過程論を勉強して、ちゃんと単位を取った人は
 時枝記事などに惑わされることはない
2)可算無限数列のしっぽを使った決定番号
 そこから、d1,d2,・・・d100を使うトリック
3)結局ここで、確率論を踏み外しているんだw

845 名前:132人目の素数さん [2022/10/14(金) 00:42:25.36 ID:EE9vbJZt.net]
>>770
具体的にお願いしますね
記事のどの部分がどう間違ってると?

846 名前:132人目の素数さん [2022/10/14(金) 05:32:01.93 ID:jvsyohQG.net]
>>771
中卒には無理だろ
大学教程の確率論、確率過程論を勉強したことなんて一度もない筈
だって大学に入れなかったんだから
ああ、工学部は別な あれ、ただの「専門学校」だから
奴等は算数はできるが、論理による思考はできない
だから数学理論は全く理解できないし 証明も全く読めない
実数の公理を何の前提もなく証明しようとしてできず悶絶する馬鹿
それが中卒






[ 続きを読む ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧](;´Д`)<750KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef