[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む33 [無断転載禁止]©2ch.net (713ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
83(1): 2017/05/28(日)05:40 ID:wTm+t2cZ(1/40) AAS
>>77
>> 「箱入り無数目」の記事に対して間違ってるという人が
>> 記事の問題の設定から矛盾を導く証明を示す義務があると
>> 思ってます
>１．一つは、それは双対だな（下記）。世間的でいう、お互いさま
記事は十分丁寧に書かれており
これ以上何か補足することはないでしょう
省5
84(1): 2017/05/28(日)05:52 ID:wTm+t2cZ(2/40) AAS
>>77
>２．批判・批評は表現の自由だ。
>というか、数学から批判・批評の精神が無くなったらまずいだろうよ・・（＾＾
数学は文学ではないと思いますよ
求められているのは批評ではなく反証でしょう
>３．また、正しいことが、世間に理解されるのに時間が掛かることがある。
>しかし、正しければ、時間は掛かっても、徐々に理解が浸透する場合が多い。
省11
86(1): 2017/05/28(日)06:03 ID:wTm+t2cZ(3/40) AAS
>４．”えらーい”権威のある先生が、数学セミナーという雑誌に記事を書いた。
数学においてはいかなる権威も存在しませんよ
例えばヒルベルトプログラムもゲーデルにひっくり返されました
その頃ヒルベルトは数学界では知らぬものはいないほど高名でした
一方ゲーデルは学位をとったばかりで無名の存在です
年齢だって４０以上開きがあった筈です
それでもゲーデルの証明は認められたのです
省13
88(1): 2017/05/28(日)06:18 ID:wTm+t2cZ(4/40) AAS
>５．みんなが権威に負けて、記事を盲信しているときに、
>一人それを批判してこそ値打ちがあるというもの。
申し訳ありませんが、権威を感じたのは>>1氏だけではないですか？
そもそも数学は宗教ではないので定理は信仰対象ではありません
理解できないことを信仰する義務など誰にもありません
その上で、記事中の確率評価の前提に対して
「私はこの前提を採用しない」というのは自由です
省13
94(1): 2017/05/28(日)06:39 ID:wTm+t2cZ(5/40) AAS
>>77
蛇足
>失礼な野郎でね。新参者が、このスレを甘く見るんじゃ無いぞ！と（＾＾
失礼云々はともかくとして、新星の登場は大いに期待するところです
たとえばこういうのとか
動画ﾘﾝｸ[YouTube]
真ん中の子はそのスジでは「虎の穴」といわれている機関の出身です
省1
96(1): 2017/05/28(日)06:53 ID:wTm+t2cZ(6/40) AAS
>>89-90
>ご高説は結構だが、少し自分達の議論に専念してもらえませんかね？
申し遅れましたが・・・私も権威に反抗したい性分でして
スレ主とよばれる>>1の「権威」を私は一切認めません
あらかじめご承知おき下さい
（追伸）
>スレ28は、何のために立てた？
省1
98(1): 2017/05/28(日)07:00 ID:wTm+t2cZ(7/40) AAS
>>95
＞１．過去１年半ほど、このスレで「箱入り無数目記事はガセか、正しいか」で議論してきた。
議論ではない、というのが私の見方です
まず箱入り無数目の結論に感情的に反発する方がいた
その方に対して、箱入り無数目は妥当な前提に基づいた
推論の結果だと説明する方々がいた
しかし反発する方は
省5
100(1): 2017/05/28(日)07:13 ID:wTm+t2cZ(8/40) AAS
>>95
＞２．で、2017/01/02(月)に、High level people たち、スレ28を立てた
立てたのは貴方ではないのですか？
もし貴方なら、上記の文章は嘘ということになりますが如何ですか？
＞３．だから、棲み分けしませんか？ ”記事は正しい”と思う人は、どうぞスレ28へ。
この件は、箱入り無数目の結論に感情的に反発する方が
自分に対して説得を試みる親切な方々を疎んじて
省10
101(2): 2017/05/28(日)07:19 ID:wTm+t2cZ(9/40) AAS
＞４．こちらでは、
＞「箱入り無数目記事が成り立たないことを前提として、
＞ 箱入り無数目記事がなぜ成り立たないか？
＞ なぜ、成り立つように見えるか」
＞を議論したい。
>>1さんは背理法をご存じですか？
仮定から矛盾を導いて、仮定を否定するものです
省8
106(1): 2017/05/28(日)07:26 ID:wTm+t2cZ(10/40) AAS
>>97
＞別の意味の与太話はすきですよ（＾＾
それはよかった
＞・・・こういうのを見ると、
＞彼女らが、芸能界に入って成功することが
＞果たして人生の幸せに繋がるのかどうか
＞芸能界であまり売れないか、あるいはそこそこの成功で、
省10
107(1): 2017/05/28(日)07:29 ID:wTm+t2cZ(11/40) AAS
>>103
＞（箱入り無数目の）解法は，現在の測度論から導かれる解釈のほうが自然．
ではその証明をお願いします
99/100ではなく、（実数の場合）0だという計算結果を示してください
他人の言葉を無責任に引用せず、自分の証明を示してください
そうでなければ一切他人に対して説明できないと思いますが如何ですか？
証明を完成させるため >>1氏がスレ２８におこもりになられるのは随意ですよ
108(1): 2017/05/28(日)07:34 ID:wTm+t2cZ(12/40) AAS
>>104
＞（箱入り無数目の）方法は「確率は計算できない」が今の確率論の答えだと思う
直接計算できる、とは記事でも述べてませんよ
公平性に基づけば99/100になる、ということでしょう
他の方法で別の値がでれば記事中の公平性の前提を否定できますよ
それが背理法 それが数学 違いますか？
109(1): 2017/05/28(日)07:37 ID:wTm+t2cZ(13/40) AAS
>>105
＞数学的には一度決着している
一度も決着していませんね 残念ですが
感情による非数学的な主張で記事を否定したがってるのは
>>1さんあなたのほうですよ
数学板で書くのなら、あなたの主張を数学として正当化していただけますか？
116(3): 2017/05/28(日)09:09 ID:wTm+t2cZ(14/40) AAS
>>110
１．スレ28の>>1は貴方のHNを勝手に使った、ということですか
しかしそんなの２ｃｈでは日常茶飯時ですよ
２．スレ28の>>1がそういってるわけですね
しかしそんなの守る必要ないでしょう
３．「数学的には一度決着している。」というのは嘘ですね
矛盾の証明なしにあなたの主張が正しいと決着することは
省4
117(1): 2017/05/28(日)09:18 ID:wTm+t2cZ(15/40) AAS
>>112
＞このスレでは、哀れな素人さんとの議論が白熱している
矛盾が証明できない言い訳のつもりならそんな気遣いは無用ですよ
別に誰も>>1氏を急かしていませんから
119(1): 2017/05/28(日)09:26 ID:wTm+t2cZ(16/40) AAS
>>115
スレ28の「禁止事項」読ませていただきました
＞・他サイトからのコピペでスレを埋め尽くす行為
そもそも>>1氏の引用は意図が不明の上
そもそも自分の文章と引用を区別する配慮が
為されていないので大変読みにくいです
自分の文章をしっかり書いてほしいものです
省1
123(1): 2017/05/28(日)09:37 ID:wTm+t2cZ(17/40) AAS
>>115
＞・デタラメを述べておきながら
＞間違いの指摘は無視する行為
＞・明らかな間違いにもかかわらず、
＞数学は自由だから何でもありだろ？、
＞と無理やり正当化する行為
一般論ですが
省2
124(1): 2017/05/28(日)09:43 ID:wTm+t2cZ(18/40) AAS
>>120
＞可測関数に対してのみ主張できる結果を、
＞証明なしに非可測関数に適用している
つまり測度が定義されないものについて
公平性を前提することはできない、という主張ですか？
ところであなたは何がどう非可測だと考えていますか？
例えば２^Nを同値関係〜で切断した集合は確かに非可測でしょうが
省1
128(1): 2017/05/28(日)09:56 ID:wTm+t2cZ(19/40) AAS
>>126
>d_1,d_2,...,d_100が可測関数で独立同一分布ならその結論は正しいですが
つまり
無限列の〜による各同値類の２つの要素の組を
決定番号別に分けた部分集合が非可測だ
といってるのでしょうか？
その証明はありますか？
省5
135(1): 2017/05/28(日)10:19 ID:wTm+t2cZ(20/40) AAS
>>132
HighとかLowとかいう言葉は無用ですよ
＞確率論の最初くらいは勉強してくれ
99/100という計算も確率論の基本から出てきてますよ
逆にこの結果が成り立たない、ということは
基本の前提が成り立ってないってことです
具体的にいえば「どの列が最長になるのも同じ確率」
省6
136(2): 2017/05/28(日)10:26 ID:wTm+t2cZ(21/40) AAS
＞おそらく非可測だろうと時枝氏も認めている
記事で述べられていたのは「R^N/〜は非可測集合」であって
同値類に測度が設定できないとまでは言っていなかったと
記憶しているが違いますか？
＞論理の飛躍がある
正確には「新たな前提を立てている」でしょう
それが「どの列が最大長になるかは同確率」という点でしょう
省4
137(1): 2017/05/28(日)10:33 ID:wTm+t2cZ(22/40) AAS
>>134
すみません レスを>>136で返しました
追記ですが
「どの列が最大長になるかは同確率」
という条件が、他の前提とは独立であって
そうだと仮定してもそうでないと仮定しても
矛盾は導けない、ということであれば
省9
170(1): 2017/05/28(日)13:26 ID:wTm+t2cZ(23/40) AAS
>>138
>自然な仮定は「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」だけでしょう
>「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」だけで数当てをするのが
>(記事の）目的だったのではないでしょうか。
それはあなた個人の希望であって、記事の内容はそうなってないのではないでしょうか
171(1): 2017/05/28(日)13:41 ID:wTm+t2cZ(24/40) AAS
>>139
>非ユークリッド幾何学は実際に構成できたから認められたわけなので
>「どの列が最大長になるか同確率」 を
>・・・満たすようなモデルがあってはじめて意味をなすでしょう
そもそも
「有限列全体からどの有限列も等確率で取り出せる確率分布は存在するか？」
という問題がありますね
省5
175(3): 2017/05/28(日)15:12 ID:wTm+t2cZ(25/40) AAS
>>172
>>「有限列全体からどの有限列も等確率で取り出せる確率分布は存在するか？」
>今その話は全く関係ないので・・・
いや、大いに関係ありますよ
もし等確率でなくてもよいなら、
「有限列全体から有限列を取り出す確率分布」
は存在しますし、その時点で
省3
179: 2017/05/28(日)15:28 ID:wTm+t2cZ(26/40) AAS
>>147
＞小学生の文章題を、中学校以上の未知数を文字で表す代数方程式として解くやり方がある
＞だが、代数方程式の基本が分かっていない人に、これを２ＣＨのスレで教えるのは難しいだろう
連立一次方程式の解法ですよね？
だったらそんなに難しいことじゃないと思いますよ
181(1): 2017/05/28(日)15:32 ID:wTm+t2cZ(27/40) AAS
>>175
＞たぶんできてないし・・・
たぶん？
よく考えたほうがいいですよ
あなたは今頭に血が上っているから
頭をよく冷したほうがいいでしょう
186(2): 2017/05/28(日)15:39 ID:wTm+t2cZ(28/40) AAS
>>147
＞大学レベルの確率論の初歩も、
＞２ＣＨのスレで教えてもらうのではなく、
＞自分で学習してもらうしかない
＞確率論を論じるとき、最低限の基礎知識がないと、
＞議論がかみ合わないだろう
では、>>1氏に
省9
191(1): 2017/05/28(日)15:54 ID:wTm+t2cZ(29/40) AAS
>>183
＞本論には全然返せなくなってきましたね
いや、ピッチャーライナーで打ち返しましたよ
あなたは眉間に打球を受けて失神し
今タンカに乗せられて運ばれたところです
ただそんなに>>175の打球は速くなかったんで
普段から守備練習してる人なら
省4
196(1): 2017/05/28(日)16:07 ID:wTm+t2cZ(30/40) AAS
>>172
＞ありえないぐらい強い仮定
実は
「無限列に対して、同値な無限列を等確率で選ぶ」
が一番「強い」仮定かもしれん（薄々感じてたけど）
はじめの無限列に依存して確率が決まるような選択はいくらでも構成できる
頭のほうから文字を置き換えていって選ぶかどうか決めるだけだから
省4
198(1): 2017/05/28(日)16:12 ID:wTm+t2cZ(31/40) AAS
>>194
＞あの何度も書いてますが
意識朦朧な人の譫言については
聞かなかったことにするのが
大人の配慮というものです
＞可算無限の等確率分布が存在しないことは常識
もしあなたが数学科の学生ならそうでしょうね
省3
199(1): 2017/05/28(日)16:15 ID:wTm+t2cZ(32/40) AAS
>>197
>>「無限列に対して、同値な無限列を等確率で選ぶ」
>「箱入り無数目」の方法でそんなことはしてません
同様のことをしています
>選択公理で一つ構成しただけです。
何を「一つ」構成したんですか？
202: 2017/05/28(日)16:23 ID:wTm+t2cZ(33/40) AAS
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
「無限列に対して、その同値類の代表元を等確率で選ぶ」
「どの列も、代表元との一致部分が最大になる確率は同じ」
これが「箱入り無数目」の３つの設定
2番目の条件を緩和すれば、測度論の範囲内で語れるが
そうすると元の無限列に依存してしまい予測ができなくなるので無意味
（最後の箱の中身を予測するのに使えるのは、開けた箱の情報だけ
省1
204(1): 2017/05/28(日)16:30 ID:wTm+t2cZ(34/40) AAS
>>201
＞つまり構成できないんですね。
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
「どの列が最大長になるか同確率」
だけなら両立するモデルは構成できますよ
ただ、その場合
「無限列に対して、その同値類の代表元を等確率で選ぶ」
省4
209: 2017/05/28(日)16:57 ID:wTm+t2cZ(35/40) AAS
>>203
＞R^N/〜に対して、f(x)∈x (x∈R^N/〜)を満たす関数を選択公理で一つ構成したのですよ。
なるほど、同じ同値類なら同じ代表元を返す関数を使うわけか（今更）
上記のｆを使うんならそりゃ非可測だから
測度論に基づいて
「どの列が最大長になるか同確率」が
必ず成り立つなんてことはいえない
省1
211: 2017/05/28(日)17:04 ID:wTm+t2cZ(36/40) AAS
>>206
＞では構成してみて下さい
>>203で、やっと問題の前提を取り違えていたと気づきました
ということで、ｆを使ったモデルという意味なら、思いつけません
ただ、「等確率でない」というモデルも、思いつかないでしょう？
214(1): 2017/05/28(日)17:19 ID:wTm+t2cZ(37/40) AAS
今の気持ちを言わせてもらえば
今更ですが、選択公理によるｆを使う時点で、正直お手上げ（笑）
今まで見当違いな思索にふけってしまい、申し訳ない てへぺろ(・ω<)
まあ、ただｆなんて具体的に構成できそうもないから、
現実の予測にはちっとも使えそうもないなあ
>>１さん そんな力んで「間違ってる」とかいわなくてもいいですよ
現実的な問題とは関係しないですから
216(1): 2017/05/28(日)17:25 ID:wTm+t2cZ(38/40) AAS
ID:PqWMwFYKさん 今更ですが
どうも見当違いなことばかり言って申し訳ない
やはり記事をコピーして読むべきでした
でもおかげで「箱入り無数目」のトリックがよく理解できた・・・気がします（笑）
221: 2017/05/28(日)18:01 ID:wTm+t2cZ(39/40) AAS
で、最初に戻るが、結局99/100を算出した根拠は
「どの列の決定番号が最大になるかは等確率」
かと思うので、 ここから矛盾が導けるか否か
が問題だと思う
これ測度論というより集合論の問題だなぁ・・・OTL
224(1): 2017/05/28(日)19:30 ID:wTm+t2cZ(40/40) AAS
落穂拾い
2chｽﾚ:math
＞”しっぽが一致する”を実際の数列について、
＞判別する方法（実行方法）が与えられていない
そもそも「実行可能性」については言及してないので
実行できそうもないからどうでもいい、というのであれば
話はそこで終わりなだけ ま、その辺でケリつけたら
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s