現代数学の系譜　カントル　超限集合論2

1 名前：現代数学の系譜 雑談 mailto:sage [2019/12/20(金) 23:28:06.21 ID:ZaXFXilg.net] 前スレ 現代数学の系譜　カントル　超限集合論 https://rio2016.5ch.net/test/read.cgi/math/1570237031/ 関連スレ １）現代数学はインチキのデパート https://rio2016.5ch.net/test/read.cgi/math/1570145810/28- 直接には、ここの28からの続き ２） １）の前スレ 現代数学はインチキだらけ https://rio2016.5ch.net/test/read.cgi/math/1567930973/1- ３） ２）の中の正則性公理に関する議論の前のスレ（＾＾ 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 https://rio2016.5ch.net/test/read.cgi/math/1568026331/1- 653 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/22(日) 12:56:05.77 ID:TMbOZsnt.net] >>600 訂正追加 　>>593より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜； 　　↓ 　>>594より”広中−岡のエピソードの教訓”を読みましょう〜！！(゜ロ゜； かな（＾＾ 654 名前：１３２人目の素数さん [2020/03/22(日) 13:11:13.44 ID:+SjNGkOL.net] 抽象化になってないと言ってんのに分らんの？バカなの？痴呆なの？ 655 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/22(日) 13:15:30.06 ID:TMbOZsnt.net] 抽象化を、広い意味で、「余計な要素を落として、純粋に数学的要素だけを残して考える」とすれば、いいべ ｗ（＾＾ 656 名前：１３２人目の素数さん [2020/03/22(日) 13:19:20 ID:+SjNGkOL.net] 本質要素を落としてると言ってのが分からんの？バカなの？痴呆なの？ 657 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/22(日) 13:30:01 ID:TMbOZsnt.net] >>604 https://bokete.jp/boke/77618733 「能ある鷹は爪を隠す」の対義語 能なしサルはケツ真っ赤 - 2019年12月01日 ボケて（bokete） (引用終り) おサルのお顔は、まっかっかｗ（＾＾； 658 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 14:14:06 ID:OFMTPL9H.net] >>593　>>597 出題の列Xを固定するなら、的中確率はn/n+1じゃなくて1だけど (証明) 列Xの決定番号をd 開ける項の番号をm とする d<=mなら代表元と一致 d>m　なら一般的に代表元と一致しない d<=mとなるmは無限個 d>mとなるmは有限個 したがって無作為にmを選んだ場合　d<=mとなる確率1 岡潔「君、自爆だな」 659 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/22(日) 14:17:29 ID:TMbOZsnt.net] おサル、分からない問題スレで、冷たくあしらわれているな 分からない問題スレで、ドッチラケだな 哀れだねーｗ（＾＾； 分からない問題はここに書いてね458 https://rio2016.5ch.net/test/read.cgi/math/1581260776/855-858 855 名前：１３２人目の素数さん[sage] 投稿日：2020/03/22(日) 11:47:03.77 ID:OFMTPL9H [6/7] ID:BUSW/Nah氏への問い Q.長さn以下の10進小数の9/10が長さn 　ある人曰く 　「だからｎ→∞の極限で有限小数の9/10が長さ∞」 　これホント？ 858 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 13:26:37.77 ID:BUSW/Nah [8/8] >>854 忖度させる問題文 しかもほとんど意味ないものを あらためようとしないのはNG マルでダメだな 660 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/22(日) 14:31:30 ID:TMbOZsnt.net] >>606 (引用開始) d<=mとなるmは無限個 d>mとなるmは有限個 したがって無作為にmを選んだ場合　d<=mとなる確率1 (引用終り) おっ、分かってきたかな？ｗ なお 誤：したがって無作為にmを選んだ場合　d<=mとなる確率1 　↓ 正：したがって十分大きなmを選んだ場合　d<=mとなる確率1 が、正確だな つまり、 １．”可算無限長列で、常に有限の決定番号ｄが存在するならば、十分大きなmを選んで、　d<=mとできるなら、代表列との比較で "rXd=Xd"と推測が的中確率1” 　となる ２．これが、”広中−岡のエピソードの教訓”から得られる 時枝記事の抽象化だな ３．そして、ここには、フルパワー選択公理は必要ない 　∵ただ1つの同値類から、代表を選ぶことができれば足りるからだ ４．ところで、上記１の数学的な証明がないんだな 　ここが、大問題なのだ （＾＾； 　（ 有限の決定番号ｄ の分布についての考察が、決定的に欠けている！ ） 661 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 14:32:50 ID:OFMTPL9H.net] >>607 自爆で発狂　御愁傷様 https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%B2%E3%82%BF%E3%83%9F%E3%83%B3 662 名前：１３２人目の素数さん [2020/03/22(日) 14:36:07 ID:+SjNGkOL.net] >>608 >ここが、大問題なのだ （＾＾； 簡単に解決できるじゃん 1列から100列を作っていずれかを無作為に選べばいいだけ バカですか？ 663 名前：１３２人目の素数さん [2020/03/22(日) 14:48:11 ID:OFMTPL9H.net] >>608 ＞おっ、分かってきたかな？ なんだ、分かってないのか 「的中確率１」だぞ ＞誤：無作為に ＞正：十分大きな 「十分大きな」では無意味　 「無作為に」で十分 ＞”可算無限長列で、 ＞　常に有限の決定番号ｄが存在するならば、 ＞　十分大きなmを選んで、　d<=mとできるなら、 ＞　代表列との比較で "rXd=Xd"と推測が的中確率1” 二行目 　いかなる無限長列r∈R^Nも自身が属する同値類の代表元と同値 　ゆえに常に有限（つまり自然数）の決定番号d∈Nが存在する 　したがって「決定番号をdと表せば」が正しい 三行目 　d<=mとなるｍが存在するのは自明 　重要なのは、ほとんどすべての自然数mで、d<=mとなること 　したがって、「ほとんどすべての自然数mで、d<=mとなるので」が正しい 四行目 　比較するのはXdではなくXm 　したがって「代表列との比較で "rXm=Xm"となる的中確率1」が正しい つまり通して書くと以下の通り 「可算無限長列で、 　決定番号をdと表せば 　ほとんどすべての自然数mで、d<=mとなるので 　代表列との比較で "rXm=Xm"となる的中確率1」 [] [ここ壊れてます] 665 名前：１３２人目の素数さん [2020/03/22(日) 14:52:22 ID:+SjNGkOL.net] conglomerability assumption 666 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 14:59:01 ID:OFMTPL9H.net] Prussがnon-conglomerableだと指摘した理由　それは 「場合分けによって確率が全然違ってしまうから」 １．項ｍで場合分けしたら、確率０ （ほとんどすべての列で決定番号ｄがｍより大きいから） ２．列ｘで場合分けしたら、確率１ （ほとんどすべての自然数ｍが列ｘの決定番号ｄ以上だから） ３．ｎ列固定で、1列選んで、The Riddleの戦略で項を決めたら確率１−１／ｎ つまり場合分けの仕方でconglomerabilityに基づいた確率の結果が異なるから 667 名前：１３２人目の素数さん [2020/03/22(日) 17:31:33 ID:+SjNGkOL.net] 3は1,2と独立且つ正しい Prussはすべった 668 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 17:35:54 ID:OFMTPL9H.net] >>614 1,2も条件付き確率としては正しい 3を「100列を確率変数とした場合」に拡大できない という点ではPrussは正しい 669 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 17:37:53 ID:OFMTPL9H.net] 要するに ・１．２．３．とも条件つき確率としては正しい ・１．２．３．とも「１００列を確率変数とした場合」には拡大できない 670 名前：１３２人目の素数さん [2020/03/22(日) 17:47:48 ID:+SjNGkOL.net] Denisは 1,2は間違い とも 3を100列を確率変数としても正しい とも言ってないんじゃないかな Prussも3が間違いとは言ってないとすれば、マチガッテルのはあの方だけですね 671 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 17:54:59.56 ID:OFMTPL9H.net] >>617 Denisが100列固定として理解してるとは思いますが 100列を確率変数とした場合に延長できるかどうか についてはコメントがないですね だからPrussは「100列が確率変数だったらダメだよ」 といってるんだと思います Prussが100列固定の場合の3について否定してないことは The Riddleを肯定したことからも明らかです ＞マチガッテルのはあの方だけですね 「確率１で決定番号が∞」と云ってる時点で明らかでしょう 決定番号∞だったら、同値でないってことですが 根本的に分かってないんでしょう 672 名前：１３２人目の素数さん [2020/03/22(日) 18:08:07 ID:+SjNGkOL.net] >決定番号∞だったら、同値でないってことですが 間違いのレベルがぶっ飛んでますね 673 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/22(日) 18:39:24 ID:TMbOZsnt.net] >>608 補足 ＞ １．”可算無限長列で、常に有限の決定番号ｄが存在するならば、十分大きなmを選んで、　d<=mとできるなら、代表列との比較で "rXd=Xd"と推測が的中確率1” ここが問題なんだな つまり、我々は、決定番号ｄを直接選ぶことはできないのだ 　∵ 問題の列Xで、Xdを決してしることはできないのだから （選択公理などで）選ぶことができるのは、代表列rXでしかないのです おサルには理解出来ないかも知れないが、人には理解できるだろうｗ（＾＾ 674 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 20:03:10 ID:da5TzX47.net] >>620 > 我々は、決定番号ｄを直接選ぶことはできないのだ 決定番号は数当てでは単なる比較のための基準でしかないから 回答者は数当てができるような基準を設定しているだけのことだよ 実数を1つ選んでその無限小数表示を考えて1桁ずつ並べて数列にする たとえば12345.678999... の小数点を除外して 1, 2, 3, 4, 5, 6, 7, 8, 9, 9, 9, ... この数列を見ても元の小数点の位置は分からないが 数当てをするのに小数点の位置を何らかの基準にするのならば 数列の数字を変えない前提で回答者は自分で小数点を付け加えて考えればよい (たとえば小数点第1位と決定番号を等しくしてもよい) 実数の無限小数表示を考えればその整数部分の桁数は有限 675 名前：１３２人目の素数さん mailto:sage [2020/03/22(日) 20:17:23 ID:OFMTPL9H.net] >>620 決定番号ｄを選ぶ 676 名前：必要はありません 当てる列を固定すればいいだけです つまり、試行を繰り返す場合には 毎度毎度別の人が回答者になればいいだけ 頭は生きてるうちに使いましょう [] [ここ壊れてます] 677 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/22(日) 22:07:04 ID:TMbOZsnt.net] >>611 ＞　したがって「代表列との比較で "rXm=Xm"となる的中確率1」が正しい ああ、それでも可だ 下記 時枝にある通りで ”結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう”だな だから、 "rXm=Xm"も "rXd=Xd"も どちらも可だ （参考） 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/51 時枝問題（数学セミナー201511月号の記事） (抜粋) sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる. 更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・ が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり， 結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう. 678 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/22(日) 22:09:24 ID:TMbOZsnt.net] おサル、分からない問題スレで、冷たくあしらわれているな 分からない問題スレで、ドッチラケだな 哀れだねーｗ（＾＾； 分からない問題はここに書いてね458 https://rio2016.5ch.net/test/read.cgi/math/1581260776/862-863 862 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 14:04:27.32 ID:OFMTPL9H [8/8] >>858 >>855に答えましょうね 863 名前：１３２人目の素数さん[] 投稿日：2020/03/22(日) 19:48:33.60 ID:BUSW/Nah [9/9] >>862 >>853 君の思惑は既に破産してるって気が付かないみたい ホントに下らない人間なのかな？ 679 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/23(月) 07:54:24 ID:8hlHRLPg.net] >>597 補足説明 (引用開始) ここで、出題の列Xと無関係な 　見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って 　P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて 　dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け 　>>593と同様に 　列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる 　（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ） これは、全くバカげた話ですｗ (引用終り) １．時枝理論を 回答者に有利なようにルールを変えることができる 　「同値類の代表は、回答者に有利に選び直せる」こととする ２．そうすると、dmaxはいくらでも 大きく取れる 　つまり、回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ 　（∵ dmax=1とか、あり得ないけど、小さな数では明らかに勝てない。で、dmaxが好きなだけ大きくできることは自明で、そうすれば良い。可算無限長の数列だから） ３．もし、大きなdmaxを選ぶことができれば、時枝理論では 　「勝つ確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε」とできるという 　それは、d番目の箱からdmaxまで、dmax - d + 1 個の 箱の中の実数が、箱を開けずに的中できるということ 　dmaxは、いくらでも増やせるから、100万個でも1億個でも1兆個でも・・、箱を開けずに的中できる 　これは、明らかにおかしい（矛盾） ４．この矛盾の原因は、有限の代表番号dの存在にある 　よって、背理法により、”有限の代表番号dの存在”は否定された QED （＾＾； 680 名前：１３２人目の素数さん [2020/03/23(月) 20:09:37 ID:lDyHiL++.net] >>625 >１．時枝理論を 回答者に有利なようにルールを変えることができる >　「同値類の代表は、回答者に有利に選び直せる」こととする >２．そうすると、dmaxはいくらでも 大きく取れる >　つまり、回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ dが分かってないのにどうやってd＜dmaxとなるように選ぶの？ >　（∵ dmax=1とか、あり得ないけど、小さな数では明らかに勝てない。 そんなことはない。大きかろうが小さかろうがd≦dmaxなら勝てる。 >で、dmaxが好きなだけ大きくできることは自明で、そうすれば良い。可算無限長の数列だから） 好きなだけ大きくしてもいいが、どうやってd≦dmaxを保証するの？dが分からないのに。バカ？ >３．もし、大きなdmaxを選ぶことができれば、時枝理論では >　「勝つ確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε」とできるという 論理がおかしい。「時枝理論では」と「もし、大きなdmaxを選ぶことが出来れば」は相容れない。 なぜなら時枝戦略でdmaxの決め方は決められてるし、時枝戦略とは違う決め方をするなら「時枝理論では」とは言えない。 頭腐ってる？ >　それは、d番目の箱からdmaxまで、dmax - d + 1 個の 箱の中の実数が、箱を開けずに的中できるということ dが分かってないんだから、当てる箱はdmax番目。 d≦dmaxの場合、的中できるのはdmax番目以降のすべて（無限個）の箱。 まったく分かってないね。 >　dmaxは、いくらでも増やせるから、100万個でも1億個でも1兆個でも・・、箱を開けずに的中できる >　これは、明らかにおかしい（矛盾） まったく矛盾してない。 １兆個？少な過ぎｗ　無限個だよｗ　まったく分かってないね。 >４．この矛盾の原因は、有限の代表番号dの存在にある >　よって、背理法により、”有限の代表番号dの存在”は否定された 決定番号＝∞とは同値でないという意味だｗ それは代表の定義に反するｗ バカ、ここに極まれりｗ まったく分かってませんね。時枝戦略を論じたいなら正しく理解することから始めましょう。 681 名前：１３２人目の素数さん [2020/03/23(月) 20:12:37 ID:lDyHiL++.net] いやあ、よくもこれだけ恥を晒せるものだ 厚顔無恥のオリンピックがあったら金メダル量産だねｗ 682 名前：１３２人目の素数さん [2020/03/23(月) 20:26:02 ID:+uQyfpo2.net] >>625 （「箱入り無数目」について） >回答者が勝つためには、”d＜dmax”なる dmaxを選べば勝てるのだ 然り >それは、d番目の箱からdmaxまで、 >dmax - d + 1 個の 箱の中の実数が、 >箱を開けずに的中できるということ 然り >dmaxは、いくらでも増やせるから、 >100万個でも1億個でも1兆個でも・・、 >箱を開けずに的中できる 然り ただ、無限個全体からみれば所詮「有限個」ですが >これは、明らかにおかしい（矛盾） おかしいだけでは「矛盾」とはいえないが そこはおいておくとして >この矛盾の原因は、有限の代表番号dの存在にある もし、「同値類のほとんどすべての元の決定番号dが∞」だとしよう その場合、「決定番号∞の元は、代表元と同値でない」ということになる （なぜなら、自然数で番号づけられるどの項からも 　それ以降の全ての項が代表元と等しくなることがないから） つまり、「尻尾の同値関係は、実は同値関係ではなかった」ということになる それならそれで、同値関係でないという証明、つまり 「a〜b　かつ　b〜c　であるが、a〜cでない」 という反例の無限列a,b,cを示すしかない しかし、それは不可能だろう なぜなら、a〜b　かつ　b〜cであれば、 a〜bの一致先頭番号d1とb〜cの一致先頭番号d2の いずれか大きいほうが、a〜cの一致先頭番号になるから つまり >よって、背理法により、”有限の代表番号dの存在”は否定された は背理法により否定される 要するに、「明らかにおかしい（矛盾）」がおかしいのであって この場合、矛盾の原因となる直観を否定するしかない 683 名前：１３２人目の素数さん [2020/03/23(月) 20:37:17 ID:+uQyfpo2.net] 追伸 >>626の指摘通り　d≦dmaxなら当たる 684 名前：１３２人目の素数さん mailto:sage [2020/03/23(月) 22:03:05 ID:2vPoPtWs.net] >>625 > dmaxはいくらでも 大きく取れる それは特定のある同値類(の代表元)に固定した場合であって > ”有限の代表番号dの存在”は否定された これは言えないよ 全ての同値類(ある1つの完全代表系に含まれる全ての代表元)について は言えないから もっと単純な例 実数を可算無限個の箱に入れていく 実数aに一致したら停止する この場合aを固定したら有限回で停止しないと考えるのが妥当でも 実数のどれかに一致したら停止という条件なら有限回で停止する 685 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/24(火) 07:52:04.21 ID:1Hky7X6d.net] >>625 追加 (>>597より 引用開始) ここで、出題の列Xと無関係な 　見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って 　P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて 　dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け 　>>593と同様に 　列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる 　（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ） これは、全くバカげた話ですｗ (引用終り) １．時枝記事は、>>370ご参照 ２．”広中−岡のエピソードの教訓”(>>594)から得られる 時枝記事の抽象化 　要するに「出題の可算無限長数列Xがあって、数列のしっぽの同値類から、うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる」 　というもの。ここに、dが決定番号です ３．見知らぬ "おっさん" が勝手に、数列Yを作って、同じように同値類から決定番号dmaxを得る 　１列作った場合、Xとの２列の比較で、d<dmaxとなる確率P(d<dmax)=1/2 　ｎ列作った場合、Xとのn+1列の比較で、d<dmaxとなる確率P(d<dmax)=n/(n+1) （つまり、確率1-ε） 　（ｎ列の場合、dmaxはｎ列の決定番号の最大値です） ４．さて、dmax+1から先を開けるのを、dmax+1+k(ｋ>=1)から先を開けると改良できる 　そうすると、d番目からdmax+k までの箱が、ごっそり的中できる。kは任意だから、100兆個でも1000兆個でも、ごっそり的中できる ５．あきらかに、これはおかしい。そもそも、見知らぬ "おっさん"ってさ、出題者と何の関係もないでしょ 　さらに、箱１つの実数を当てることさえ難しいのに、100兆個、1000兆個・・ の的中が 確率1-εなんてありえな〜い！ つづく 686 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/24(火) 07:55:09.59 ID:1Hky7X6d.net] >>631 つづき ６．明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい 　何がどう おかしいか？ 　１）1つは、dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、有限dmaxに対して、確率P(d<dmax)は常に0 　　∵ dが自然数N全体を渡るので、自然数N全体に対して、d<dmaxの部分集合は無限小にすぎない 　２）”d番目からさきが一致する”を考えてみると、これは”d番目からさき”の無限個の箱の数が一致するってことですｗ（＾＾； 　　列Xと代表rXとの比較で、1つの箱が一致する確率をpとすると、2つならp^2、n個ならp^n、無限ならp^∞＝0 　　つまり、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”確率は0 ！！ 　３）確率は0だからといって、そのような代表rXが存在しないわけではない 　　ただ、 687 名前：回答者がそういう代表rXを選べる確率が0ということ 　４）ここに、時枝のトリックがある。つまり、そのよう代表rXは、自然に頭に浮かびます。そして、あたかも簡単に選べるように錯覚する 　　これ、宝くじの原理。当たりくじは、必ずある。自分に選べる気がする。でも、当たりくじを選ぶ数学的方法は無い。当たる確率は0に近い QED （＾＾； [] [ここ壊れてます] 688 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/24(火) 07:57:11.32 ID:1Hky7X6d.net] >>632 補足 ＞ 　１）1つは、dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、有限dmaxに対して、確率P(d<dmax)は常に0 簡単に一様分布を仮定したが、正確には一様分布ではなく、すそが発散するとんでもない分布なのです （説明すると長くなるので、省略します（＾＾；　） 689 名前：１３２人目の素数さん mailto:sage [2020/03/24(火) 18:40:47 ID:nj3f9M7r.net] >>632 > 明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい 可算無限個の箱の全てに実数であればどんな数字でも入れることが可能なんだから成り立っている ある代表元とある箱から先の数字が全て一致しているから 可算無限個の箱の全てに実数を入れ終わったということが言える > これ、宝くじの原理。当たりくじは、必ずある。 > 当たる確率は0に近い 回答者は完全代表系を用いるから宝くじで言えばくじを全部購入済み 当たりが必ず入っているんだから買ったくじのどれかが当たる確率は1 「当たりくじは、必ずある」くじを全部買っても「当たる確率は0」は単なるイカサマの告白 690 名前：１３２人目の素数さん [2020/03/24(火) 19:28:48 ID:MEXav4AL.net] >>632 >明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい まず代表rXの選択を肯定するなら、どう代表を選んでも 任意の数列Xに対しても必ずある自然数dが存在して d番目から先が、数列Xが所属する同値類の代表rXと一致する なぜなら、代表元はそれが所属する同値類の中の任意の数列と同値だから したがって否定するのは ”代表rXを選ぶことができて、” その場合、選択公理を否定することになる ただ「おかしい」というだけでは 「選択公理から矛盾が導かれる」 とはいえない 691 名前：１３２人目の素数さん [2020/03/24(火) 19:29:09 ID:MEXav4AL.net] >>633 >dが自然数N全体を渡るとき（簡単に一様分布を仮定して）、 >有限dmaxに対して、確率P(d<dmax)は常に0 だからといって、P(d∈N)=0、P(∞)=1、とはいえない 注：ここでは∞は任意のn∈Nより大きい「数」でNの要素でない、とする 　　「XとrXの一致項が無限個でない」と言いたいのなら当然そうなるだろう 　　（しかし、「」内の主張はXとrXが同値であることと真っ向から矛盾するが） 692 名前：１３２人目の素数さん [2020/03/24(火) 22:00:14 ID:RQgrFGVd.net] >>631 >３．見知らぬ "おっさん" が勝手に、数列Yを作って、同じように同値類から決定番号dmaxを得る >　１列作った場合、Xとの２列の比較で、d<dmaxとなる確率P(d<dmax)=1/2 大間違い あれほど説明したのに未だに解ってないｗ　バカに数学は無理ｗ >４．さて、dmax+1から先を開けるのを、dmax+1+k(ｋ>=1)から先を開けると改良できる >　そうすると、d番目からdmax+k までの箱が、ごっそり的中できる。kは任意だから、100兆個でも1000兆個でも、ごっそり的中できる どうやってｄを知るんだよｗ >５．あきらかに、これはおかしい。 おかしいのはおまえｗ 693 名前：１３２人目の素数さん [2020/03/24(火) 22:08:30 ID:RQgrFGVd.net] >>631 バカに質問ｗ　 なんで↓が成立すると思ってるの？ >ここで、出題の列Xと無関係な >　見知らぬ "おっさん" が勝手に、n個の列 Y1〜Ynを作って >　P（d＜dmax）＝n/(n+1)となるので、列 Y1〜Ynの箱を開けて >　dmaxを知り、列Xにおいて dmax+1以降のしっぽの箱を開け >　>>593と同様に >　列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中することになる >　（確率 P（d＜dmax）＝n/(n+1) 、即ち 1-ε でｗ ） >これは、全くバカげた話ですｗ はい、全くバカげた話なんですけどｗ 694 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/24(火) 23:45:34 ID:1Hky7X6d.net] 無限を考えるとき、人はしばしば間違う そこで、有限の極限を確認するという、真面目な取り組みを心懸けるようお薦めしたい 時枝については、>>552に示している通りです なお、物理学では、ボーアの指導原理「量子数 n が十分大きい極限では，古典力学による記述が可能となる」 プランク定数 h → 0 の極限で量子力学が古典力学に一致する 相対性理論は,光速度を無限大とする極限においては ニュートン物理学と一致する などが有名です （参考） www.wattandedison.com/Bohr.pdf 伝熱 2010 年 1 月 ニールス・ボーア(1885~1962)の功績 村上陽一（東京工大） (抜粋) 5. 対応原理 ボーアは量子現象が古典論によっては根本的に説明出来ないものである事を確信しましたが， 彼は古典論を棄て去ったのではなく，古典論は量子論の� 695 名前：黷ﾂの極限であるはずだという， 両者を結ぶ重要な概念を提案します． この考えはボーアの対応原理(correspondence principle)と呼ばれ， 「量子数 n が十分大きい極限では，古典力学による記述が可能となる」と表現されるものです． つづく [] [ここ壊れてます] 696 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/24(火) 23:46:02 ID:1Hky7X6d.net] >>639 つづき https://ja.wikipedia.org/wiki/%E3%83%97%E3%83%A9%E3%83%B3%E3%82%AF%E5%AE%9A%E6%95%B0 プランク定数 (抜粋) 理論 プランク定数は量子論的な不確定性関係と関わる定数であり、h → 0 の極限で量子力学が古典力学に一致するなど、量子論を特徴付ける定数である。 https://www.jstage.jst.go.jp/article/jpssj1968/39/2/39_2_17/_pdf 科学哲学39-2(2006) 相対性理論の意味 田中裕 (上智大学) (抜粋) P27 相対性理論は,光速度を無限大とする極限においては (正確には,物体の速度vと光速度の比がゼロとなる極限においては) ニュートン物理学と一致するということがよくいわれる. (引用終り) 以上 697 名前：１３２人目の素数さん mailto:sage [2020/03/25(水) 05:22:23 ID:hW5LBiGq.net] >>639 >無限を考えるとき、人はしばしば間違う >そこで、有限の極限を確認するという、 >真面目な取り組みを心懸けるようお薦めしたい 質問 箱の中身を0〜9の10個の数に制限する このとき、無限列は10進無限小数だと考えることができる .000…の同値類の代表元を.000…とする このとき、決定番号∞となる小数を一つ上げよ 例えば .000…は決定番号１ .900…は決定番号２ .990…は決定番号３ … としてこの数列の極限 .999…が決定番号∞ なのか？ もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？ 698 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/25(水) 07:52:46 ID:wzyKzdmN.net] >>641 良い質問ですね〜（＾＾ (引用開始) 質問 箱の中身を0〜9の10個の数に制限する このとき、無限列は10進無限小数だと考えることができる .000…の同値類の代表元を.000…とする このとき、決定番号∞となる小数を一つ上げよ (引用終り) 良い質問ですね〜 ＜答え＞ ・具体的に、例を挙げることはできない 　∵実数R自身が、Qの完備化（例えば コーシー列による定義）からなる存在だから ・しかし、.000…の同値類の中に、決定番号∞となる小数（同値類の元）が存在すると考えるべきである 　例：0に収束するコーシー列、これをC:c1,c2,・・ として、 C≠.000… (＊)なるコーシー列Cを考えることができる 　 （ (＊) この≠の意味は、0に収束するが、Cは .000… と異なるコーシー列であることを示す） 　∵コーシー列とは、そのようなものだから。そして、それは、具体的な小数として書き下すことはできない存在なのだ (引用開始) 例えば .000…は決定番号１ .900…は決定番号２ .990…は決定番号３ … としてこの数列の極限 .999…が決定番号∞ なのか？ (引用終り) ＜答え＞ Yes (引用開始) もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？ (引用終り) ＜答え＞ ・まず、修正：「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」だな（＾＾； ・この証明はあるが、厳密には ”実数Rとは？、 Qの完備化である！”に、遡ってしなければならない ・もし、大学数学科レベルの人に対してなら、「コーシー列を考えれば自明」の一言で証明は終わる！ QED （参考） https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0 実数 (抜粋) コーシー列を用いた構成 実数の構成は有理数の空間 Q の完備化とよばれる手続きによる方法が一般的である。 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97 コーシー列 (抜粋) 実数の構成 実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。 (引用終り) 以上 699 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/25(水) 13:46:30 ID:YzGeEn4T.net] >>642 コーシー列 補足 www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf 実数の構成に関するノート? 原隆　（九大） Last updated: Juy 10, 2007 (抜粋) これは僕の微積の講義ノートの付録として，また「数学 II」の補助ノートとして，実数論の初歩を書いたもの です．具体的には「有理数の切断」としての実数の構成を 2 章で，また「コーシー列の同値類」としての実数の構 成を 3 章で論じた後，両者が基本的に同値なものである事を 4 章で述べました．そのあと，更に舞台を拡げて，実 数の公理を満たす体は本質的に一つに決まることを簡単に 5 章で説明してあります． www2.math.kyushu-u.ac.jp/~hara/lectures/07/biseki4a.html 微分積分学・同演習A (数学科，SI-4クラス) 実数についてのプリントの書きかけ．2007.07.10版．（これが上記 PDFです） www2.math.kyushu-u.ac.jp/~hara/lectures/07/biseki4b-app.pdf 微分積分学・同演習 B 　数学科 （原 九大） A 微積 B への補足（この章は完全におまけ） (抜粋) A.1 コーシー列についての補足 コーシー列についてもう少し知りたい，との要望があり，また数学概論ではコーシー列をうまく避けているよう なので，少し補足しておきましょう． コーシー列の定義は講義で触れた通り，またある数列がコーシー列であることと，その数列が収束列であること は同値です（これも講義でやりました）．この節ではいくつかの具体例を考えます． A.2.5 最後に：このような順序交換はなぜ大事なのか？ 「数学概論」でも強調されていると思うが，我々が扱わなければならない関数は非常に多種多様であり，大抵の ものは何らかの級数としてしか表せないことが多い．そのような訳のわからない関数に対しては，当然，その微分 や積分なども良くわからない． 良くわからないけども，級数の形で書けている関数に対しては，級数の各項を微分・積分する事で形式的に微分 や積分を行う事が可能だ． （参考） www2.math.kyushu-u.ac.jp/~hara/index-j.html 原隆 九大 www2.math.kyushu-u.ac.jp/~hara/lectures/07/biseki4b.html 微分積分学・同演習B (数学科) 08/03/05 700 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/25(水) 17:10:05 ID:YzGeEn4T.net] >>643 コーシー列 補足２ （コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾；　） www.comp.tmu.ac.jp/yosihiro/teaching/calculus4/jissuunokousei.pdf 澤野嘉宏 首都大 （２０１１年の微分積分　前期（月曜日一二限）（京都大学の過去の講義）関連か） (抜粋) 1 実数とは 実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい． 近似をするときに，10 進法にこだわる必要はなく，k 進法であってもよい．とにかく， 与えられた x を有理数で近似する方法は当然のことであるがとてつもなく多い． 実数とは，このようにして有理数による近似列であることを言う． 1. 【R の完備性】任意の上に有界な数列は収束する．上に有界な集合には上限がある． 2. 【Q の稠密性】Q を真部分集合として含み，Q の数列からなる数列の極限として あらわされる． われわれは，円周率 π を考えるときそれを近似している有理数を考えないのと同じように 以後，実数とは有理数のコーシー列のことと定義はしたものの どのような有理数のコーシー列かは一切考えない事とする． www.comp.tmu.ac.jp/yosihiro/teaching/calculus4/ichihensuunobisekibun.pdf （多分上記と下記は同じかな？）２０１１年の微分積分　前期（月曜日一二限）（京都大学の過去の講義） 1変数の微積分学 講義ノート 京都大学　澤野嘉宏 P81 第5章 追記：実数とは www.comp.tmu.ac.jp/yosihiro/teaching/calculus4/calculus4.html １変数の微積分のファイル(2008京都大学での講義)（多分2011が正しそう） 講義資料 www.comp.tmu.ac.jp/yosihiro/teaching/calculus4/ichihensuunobisekibun.pdf 1変数の微積分学 講義ノート ２０１１年の微分積分　前期（月曜日一二限）（京都大学の過去の講義） 京都大学　澤野嘉宏 P81 第5章 追記：実数とは www.comp.tmu.ac.jp/yosihiro/teaching/teaching.html 首都大学東京　澤野嘉宏の授業 セミナー www.comp.tmu.ac.jp/yosihiro/teaching/ 首都大学東京理工学研究科数学専攻　澤野嘉宏 701 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/25(水) 17:37:57 ID:YzGeEn4T.net] >>644 ＞（コーシー列も分からんようでは、議論にならん。どっかの素人さんと変わらん。いくら議論しても無駄。いい加減悟れよ、おいｗ（＾＾；　） ＞澤野嘉宏 首都大 ＞実数とはいったいなんであろうか？有理数という概念は既知の状態からはじめたい． こうやって、コーシー列の資料を補足で貼っている意味が分からないかも 「実数とは、コーシー列と」いう視点に立つとき 「整数でさ� 702 名前：ｦ、コーシー列」だという 高い視点に立つことができる そして、>>642の ゼロ(0)さえ 「0=.000…」で、コーシー列だという視点に立つことができる ってことなのだが ま、コーシー列が理解できていないと、分からないだろうな そして、議論がかみ合わないだろうな [] [ここ壊れてます] 703 名前：１３２人目の素数さん [2020/03/25(水) 19:34:48 ID:hW5LBiGq.net] >>642 ＞＞.999…が決定番号∞なのか？ ＞Yes 本当？ まず、.999…はいかなるn∈Nについても　 あるn<=mが存在して、m番目の桁が0でない これは、.999…が、.000…と同値でないことを 示していると考えられるが如何？ ＞＞もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？ ＞・まず、修正：「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」だな その修正は認められない 無限列は{0,…,9}＾Nの要素、つまり、Nから{0,…9}への関数 つまり、どの桁も自然数で番号づけられている 追加した「00…」の0の開始位置も番号づけられなければならない したがってその場合決定番号は自然数となり、∞とはならない ＞・この証明はあるが、 ではその証明は誤りなのでまっさきに修正しましょう ＞厳密には ”実数Rとは？、 Qの完備化である！”に、遡ってしなければならない 無限列として無限小数を持ち出しただけなのでRの位相構造は無関係 つまり、例えば、無限列全体がカントール集合（完全不連結）でも問題ない ＞・もし、大学数学科レベルの人に対してなら、「コーシー列を考えれば自明」の一言で証明は終わる！ 上述の理由により、コーシー列を考える必要はない 大学数学科レベルの人なら、必ずこういう 「決定番号∞(最後の自然数）ということはない 　なぜなら自然数の定義に反するから」 704 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/25(水) 21:23:32 ID:wzyKzdmN.net] >>646 Q1：コーシー列を、理解していますか？ Q2：コーシー列の存在を、認めますか？ ｗｗｗ（＾＾； 705 名前：１３２人目の素数さん [2020/03/25(水) 22:14:04.15 ID:GjA6/puQ.net] かわいそうに 自分がバカであることも分らないなんて 706 名前：１３２人目の素数さん mailto:sage [2020/03/25(水) 22:23:01 ID:ARqBz0VU.net] カキコで飯食ってるそうな 707 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/25(水) 23:17:29.80 ID:wzyKzdmN.net] >>648 かわいそう 同じ穴の狢（ムジナ）って、分かりますかぁ〜ｗ（＾＾ ５ｃｈで、大きな顔をする人を、そう呼びますｗｗ(゜ロ゜； なお、ガロアスレのスレ主は、「バカ」ではなく「馬鹿であほ」です 以前は、テンプレがあったんだがね〜ｗ（＾＾； 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/16 16 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/02/09(日) 19:34:31.31 ID:XY5HcLEF [16/24] 過去スレより rio2016.2ch.net/test/read.cgi/math/1484442695/338 338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6 スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします 大体、私は、自分では、数学的な内容は、筆を起こさない主義です じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます が、それも基本、信用しないように 数学という学問は特に、自分以外は信用しないというのが基本ですし ”証明”とかいうらしいですね、数学では その”証明”がしばしば、間違っていることがあるとか、うんぬんとか 有名な話で、有限単純群の分類 ”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか おいおい、競馬じゃないんだよ（＾＾； https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4 単純群 1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。 これは時期尚早だった、と� 708 名前：｢うのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。 [] [ここ壊れてます] 709 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/25(水) 23:42:46.16 ID:wzyKzdmN.net] >>649 ＞カキコで飯食ってるそうな ぼくちゃん、引きこもりだね 世間を知らないんだ 狭い世界観、５ｃｈ数学板の外には 「釣れる」ところが沢山ある 有名なのが「ニュー速」板とかね 下記は、勢いランキングだけど ニュース速報+ なら勢い 1位で108252、　100位で3649 一方、数学板では 1位で111、 100位は0 （＾＾； （3桁違うんだな、勢いがｗ） もし、お金稼げるなら、「ニュー速」板 数学板は、過疎で稼げないｗ！ これ、世間の常識！！　ｗｗ（＾＾； 数理感覚の疎い ぼくちゃん には ワカランだろうなぁ〜ｗｗ （参考） 勢いランキング ニュース速報+：勢いランキング ニュース速報+ （お気入りに追加[+]） 順位 6H前比 スレッドタイトル レス数 勢い 1位 new 東京、パニック状態！　都内スーパー、かつてない混雑　水・食料品の買い占め発生中★13 644 108252 2位 new 東京、パニック状態！　都内スーパー、かつてない混雑　水・食料品の買い占め発生中★12 1001 64558 　・ 　・ 100位 ↓-99 小田原市のアマゾン倉庫で 男性従業員がコロナ感染者　国内最大規模の物流拠点 1001 3649 勢いランキング 数学：勢いランキング 順位 6H前比 スレッドタイトル レス数 勢い 1位 = 0.99999……は１ではない　その７ 666 111 2位 new RIMS講究録のPDFを全部落として命名するスレ　part1 9 78 　・ 　・ 100位 = ¶ 放送大学の数学科目 6講目 § 250 0 710 名前：１３２人目の素数さん [2020/03/26(木) 05:07:22.56 ID:/vnWknlA.net] >>647 A1：はい A2：はい 逆に質問 Q3：「箱入り無数目」の無限列がR^Nだと、理解していますか？ Q4：∞は自然数Nの要素でない、つまり自然数Nには最大元がないと、認めますか？ 711 名前：１３２人目の素数さん mailto:sage [2020/03/26(木) 05:52:40.14 ID:HUPBeOCI.net] このスレと日高のスレと朝日新聞ははやくつぶれてくれと願うのみ 不快、目障り 712 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/26(木) 07:31:23.89 ID:+Ol1TdQp.net] >>653 結構結構 「毀誉褒貶相半ばする」 そういう人がいていいｗ（＾＾ もっとも、良い評判は聞かないがね〜ｗｗ（＾＾； （”相半ば”してないか？ｗ） （参考） https://eigobu.jp/magazine/kiyohouhen 英語部 公開日: 2018.03.03 更新日: 2018.03.03 例文付き「毀誉褒貶」の正しい意味と使い方！類語や英語表現も紹介 (抜粋) 「毀誉褒貶（きよほうへん）」という言葉をご存知ですか？「毀誉褒貶相半ばする」などとよく使われています。 今回は「毀誉褒貶」の正しい意味と使い方、類語や英語表現について例文で詳しく解説します！ ぜひ、正しく日本語を覚えましょう。 「毀誉褒貶相半ばする人物」とは 「毀誉褒貶相半ばする人物」とは、「良い評判と悪い評判が半分半分位あって評価の分かれる人物」「良く言う人もいれば、悪く言う人もいるような人物」を指します。 二面性があったり、見方によっては受け止め方が違うところのある人に対して賞賛する人と悪口言う人が半分ずつくらいいることです。 例えば「仕事は出来るが厳しすぎる」ために、「仕事が出来て素晴らしい 713 名前：」と評価する人と「あまりに厳しくて人間性が良くない」といい評価と悪い評価が半々くらいある人物ということです。 また、「穏やかで相手に合わせる性格」なために「和やかで接しやすくて良い」という人と「はっきりしなくて嫌だ」などと意見が二分される人物のことを言います。 [] [ここ壊れてます] 714 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/26(木) 07:32:22.95 ID:+Ol1TdQp.net] >>652 A3：Yes A4：Yes 続きは後で（＾＾ 715 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 12:10:47 ID:Toc1jVc8.net] >>647 さて 「コーシー列を、理解し 存在を認めた」（>>652）ところから、出発しよう そして、>>642の課題 １）決定番号∞ と ２）「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」 を略証しよう。 （厳密な証明は書かない。長くなり、視認性が悪くなるから。行間は各人埋めること。質問は可とする） １．決定番号∞について ・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ 　（下記、レーヴェンハイム?スコーレムの定理「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」ご参照） ・さて√2に収束するコーシー列C:c1,c2,・・が考えられる 　例えば下記のテーラー展開の式で初項から順番にｎ項までの和をcnとすれば良い 　さて、このコーシー列Cは、√2に収束するが有限で終えることはできない 　∵有限で終えれば、cnは有理数であり、一方√2は無理数だから ・テーラー展開の式では、有理数列によるコーシー列だが、有限小数から成るコーシー列も考えられる 　円周率πが分かり易いが、 　3.14159・・の小数部分を一桁ずつ増やす 　コーシー列C:c1=.1,c2=.14,c3=.141・・ 　このコーシー列もまた、円周率πに収束するが有限で終えることはできない。理由は、上記に同じ ・つまり、「決定番号は有限」で留まることはありえず、その否定としての ∞ になる つづく 716 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 12:13:17 ID:Toc1jVc8.net] >>656 つづき ２．「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」について ・まず、「コーシー列を、理解し 存在を認めた」として、√2とか円周率πが無限桁の小数だということは良いだろう（上記） ・一番簡単なのは、有限小数を ある小数第ｎ位以降が全て”0”の無限小数と見ることである 　（この視点は、多項式が ある項以降全て”0”の形式的冪級数と見る視点と同じ（下記）） ・そこで、.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える 　このコーシー列Cが、整数”1”を表す（収束する）ことは、実数の構成から自明だ 　そして、コーシー列Cは 有限で終わってはならないこともまた、上記 √2とか円周率πと同様だ ・そこで、任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせることも、上記の通り 　この数列cn＝0.99・・9 00・・と、数列 000…00… とは、時枝の定義のしっぽが一致し、決定番号dはd=n+1となる 　決定番号dが、上記1同様、自然数N全体を渡ることは自明 QED つづく 717 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 12:14:41 ID:Toc1jVc8.net] >>657 つづき (参考) https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理 (抜粋) 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。 この事実を定理の一部とする場合もある。 www.phys.u-ryukyu.ac.jp/~maeno/sizensuugaku/lec11.html 自然科学のための数学2014年度第11講 第３章 テイラー展開 www.phys.u-ryukyu.ac.jp/~maeno/sizensuugaku/lec11_sqrt.html テイラー展開可能な点と不可能な点 (抜粋) √x のような関数はどうやって近似するかというと、x=0以外、たとえばx=1の回りにテイラー展開する。 √x=1+1/2(x?1)?1/8(x?1)^2+1/16(x?1)^3?5/128(x?1)^4+? https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87 円周率 718 名前： (抜粋) 解析 π/4=1- 1/3+ 1/5- 1/7+・・・ =Σ_n=0〜∞ (-1)^n/(2n+1) （ライプニッツの公式、#2千年紀も参照） https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0 多項式環 (抜粋) 係数が零であるような項 pk・X^k (pk = 0) は省略することができる。 注意すべき点として、多項式には項が有限個しかないこと ーつまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということー は、暗黙の了解である。 https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 (抜粋) （形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。 (引用終り) 以上 [] [ここ壊れてます] 719 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 12:16:42 ID:Toc1jVc8.net] >>658 訂正 √x=1+1/2(x?1)?1/8(x?1)^2+1/16(x?1)^3?5/128(x?1)^4+? 　↓ √x=1+1/2(x-1)-1/8(x-1)^2+1/16(x-1)^3-5/128(x-1)^4+・・ まあ原文見てください（＾＾； 720 名前：１３２人目の素数さん [2020/03/26(木) 12:38:47.54 ID:/vnWknlA.net] >>657 ＞.999…00…が.000…00…と同値 {0,…,9}^Nの要素である.999…00…が.000…00…と同値であることは自明 この場合.999…00…の0の開始位置は必ずある自然数dで表される なぜなら、{0,…,9}^Nの要素である無限列のどの桁の位置も 自然数で表されるから ＞.999…で 9がひとつずつ増えるコーシー列C：c1=.9,c2=.99,c3=.999,・・・を考える ＞任意の有限 cn＝0.99・・9(小数第ｎ位まで9)が、無限 cn＝0.99・・9 00・・とみなせる ＞この数列cn＝0.99・・9 00・・と、数列 000…00… とは、 ＞時枝の定義のしっぽが一致し、決定番号dはd=n+1となる まず.999…＝.999…00…ではありません なぜなら.999…のどの桁の値も9だからです そして、.999…は、「コーシー列」のどの項cn＝0.99…900…とも同値ではありません なぜなら、どの桁についてもその先の桁で値が9と0で一致しないものが存在するからです つまり.999…と、.99…900…について、 「その先の桁の項が全て一致する先頭の桁」 を一致番号としたとき、その番号は存在しないので これを∞と表記することにした場合、 一致番号が∞となる2列は同値ではない ということです つまり.999…は.000…と同値でなく .999…の決定番号が∞となることもありません （蛇足） ＞レーヴェンハイム・スコーレムの定理 ＞「いくらでも大きな有限のモデルを持つ理論は ＞　無限のモデルを持たねばならない」 上記の定理は「箱入り無数目」とは無関係 なぜならNの有限モデルは存在しないから 721 名前：現代数学の系譜 雑談 mailto:sage [2020/03/26(木) 15:22:07.07 ID:Toc1jVc8.net] >>657 補足 あと １）決定番号ｄの範囲が無限大になるとき、ｄは非正則分布になる（下記ご参照） 　この場合、確率的な取り扱いができない 　（ｄを確率変数として考えた時、ｄの範囲が無限大なら、ｄは裾が減衰しないと、積分が発散して∞になる。そのとき、全事象Ω＝１にすると、各事象は０とならざるを得ない。つまり、確率の公理を満たせない） ２）決定番号ｄをランダムに選ぶとか、あるいは（非可算無限集合たる同値類の中から）代表をランダムに選ぶことを考えるときには 　下記の確率のベルトランのパラドックスのように、”無作為な選択の方法”を定義しなければ、確率計算ができない！ 　だが、時枝は定義がない。そもそも「（非可算無限集合たる同値類の中から）代表を無作為に選ぶ」が、定義できるのかどうか？？？ ３）上記の１）と２）とを合わせて、確率計算で誤魔化しをしているのが、時枝記事です QED （参考） https://to-kei.net/bayes/improper_prior/ to-kei.net 非正則事前分布とは？?完全なる無情報事前分布? 2017/10/06 (抜粋) Contents [hide] 1 非正則な分布とは？一様分布との比較 2 非正則分布は確率分布ではない！？ 3 非正則事前分布は完全なる無情報事前分布 4 まとめ https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AB%E3%83%88%E3%83%A9%E3%83%B3%E3%81%AE%E9%80%86%E8%AA%AC (抜粋) ベルトランの逆説（ベルトランのぎゃくせつ、英: Bertrand paradox）は、確率論の古典的解釈において発生する問題である。 確率変数を導入する方法やメカニズムが明確に定義されない場合、確率がうまく定義できない場合があることを示す例として与えた。 古典的な解答 この問題に対する古典的な解答は、以上のように、「無作為に」弦を選ぶ方法に 722 名前：依存する。 すなわち、無作為な選択の方法が確定すれば、そしてそのときのみ、この問題はwell-definedな解をもつ。 選択の方法は唯一ではないので、唯一の解は存在しえない。 [] [ここ壊れてます] 723 名前：１３２人目の素数さん [2020/03/26(木) 15:33:36.35 ID:/vnWknlA.net] >>661 決定番号が必ず自然数の値をとることは 尻尾の同値関係と同値類の定義から示されることで 非可測だからといって決定番号が∞になることはない 上記を理解しましたか？ 724 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 17:26:13 ID:Toc1jVc8.net] >>662 下記 レーヴェンハイム?スコーレムの定理（上方部分）：いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない を理解しましょうｗｗ（＾＾； (参考) https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理 (抜粋) 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。 この事実を定理の一部とする場合もある。 725 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 17:33:54 ID:Toc1jVc8.net] >>660 なんか、反論になっていない！！ 勘違いの ”あさって” 妄言ではないでしょうか？？ｗｗ（＾＾； ・まず、>>658の形式的冪級数：a0+a1X+a2X^2+・・で考える ・二つの形式的冪級数を考える 　一つは、係数が全て9の形式的冪級数：F(X)=9+9X+9X^2+・・ 　一つは、係数が全て0の形式的冪級数：G(X)=0+0X+0X^2+・・ ・いま、上記において、一つのｎ次多項式 f(X)=a0+a1X+a2X^2+・・・anX^n を 　考えて、上記の二つの形式的冪級数の先頭部分を取り換える 　F(X)'=a0+a1X+a2X^2+・・anX^n+9X^(n+1)・・ 　G(X)'=a0+a1X+a2X^2+・・anX^n+0X^(n+1)・・ ・そして、 　形式的冪級数を、数列 (an)n→∞ とみなすことができる（下記引用ご参照） 　F(X)→無限数列 9,9,9・・ 　G(X)→無限数列 0,0,0・・ 　F(X)'→無限数列 a0,a1,a2・・an,9・・ 　G(X)'→無限数列 a0,a1,a2・・an,0・・ ・ここで、G(X)'=a0+a1X+a2X^2+・・anX^n+0X^(n+1)・・において、 　各係数(anたち)を9と置くことができる。即ち、a0=a1=a2=・・=an=9だ 　そして、n→∞の極限を考えると 　.999・・0・・は、.999・・・に収束し、その値は1になる ・同様に、F(X)'=a0+a1X+a2X^2+・・anX^n+9X^(n+1)・・において、 　各係数を0と置くことができる。即ち、a0=a1=a2=・・=an=0だ 　そして、n→∞の極限を考えると 　.000・・9・・は、.000・・・に収束し、その値は0になる ・なお、両者とも 決定番号はd=n+1で、ｎ→∞とできる QED （なお、上記では 煩雑を避けるために、記号と表記の濫用で、形式的冪級数→無限級数→無限小数 の対応 また、その逆の対応を 断りなく用いた） （参考） https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 (抜粋) より形式的な定義 N を非負整数全体の集合とし、配置集合 AN すなわち N から A への関数（A に値を持つ数列）全体を考える。 ここでの (an) は上の ΣanX^n と対応する。 (引用終り) 以上 726 名前：１３２人目の素数さん [2020/03/26(Thu) 17:35:58 ID:/vnWknlA.net] >>663 自然数は有限のモデルを持たないことを理解しましょう （自然数全体の集合Nは有限集合にならない） また、 ・最大の自然数は存在しない ・いかなる自然数も自分以上の自然数が無限に存在する ということも理解しましょう （参考） 自然数の定義 ・自然数0が存在する。 ・任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する　　（suc(a) は a + 1 の "意味"）。 ・異なる自然数は異なる後者を持つ。つまり a ≠ b のとき suc(a) ≠ suc(b) となる。（ある種の単射性） ・0はいかなる自然数の後者でもない（0より前の自然数は存在しない）。 ・0がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 727 名前：１３２人目の素数さん [2020/03/26(Thu) 17:42:23 ID:/vnWknlA.net] >>664 そもそも、>>642の「まず修正」が見当違い .999…は全ての桁の値が9 .999…∈{0,…,9}^Nは、桁の位置が全て自然数で表される .999が実数として1に等しいというのは 「箱入り無数目」とは無関係 無限列としては等しくないから 728 名前：１３２人目の素数さん [2020/03/26(Thu) 17:49:39 ID:/vnWknlA.net] >>666 追伸 3進カントール集合は、3進無限小数のうち1が現れないもの {0,2}^nと考えることができる 0.022…と０.200…は無限列としても数としても異なる 729 名前：１３２人目の素数さん [2020/03/26(木) 18:00:43.72 ID:/vnWknlA.net] （質問） もしかして ・数列　.9、.99、.999、…　の極限は.999… ・そして、数列の各項について 　.000…と.9000…は同値　（決定番号2） 　.000…と.9900…は同値　（決定番号3） 　.000…と.9990…は同値　（決定番号4） 　… 上記２点から ・.000…と.999…も同値　（決定番号∞） という「論法」を用いてますか？ 730 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/26(Thu) 18:21:54 ID:Toc1jVc8.net] >>663 ｗ（＾＾； 731 名前：https://fujicategory.hatenadiary.org/entry/20110721/1311211333 数学基礎論の勉強ノート id:fujicategory 2011-07-21 レーヴェンハイム・スコーレムの定理！！ (抜粋) 第５章 まずは定理の引用から。（新井敏康「数学基礎論」より） 定理５.１.７（上方(Upward)Lowenheim-Skolem 定理） １．言語Ｌでの公理系Ｔがどんなにも大きい有限モデルをもてばあるいは無限モデルをもてば 　　どんな無限基数κ?card(L)についても 　　ＴのモデルNで濃度κのものが存在する． すごいのは、この定理から導かれる系５.１.１０。 この系によれば、公理系Ｔが無限モデルをもてば、Ｔの濃度κのモデルＭで、Ｍで定義できる無限集合の濃度がすべてＭと同じκになるようなものが作れます。 すると、たとえばＺＦＣの(有限部分の)モデルで、モデル内で定義できる無限集合がすべて可算濃度ωになるものが存在します。 http://www.cs-study.com/koga/set/lowenheimSkolem.html 形式的論理体系の定義から レーベンハイム・スコーレムの定理までの大急ぎのまとめ by Akihiko Koga 17th Jan. 2019 (Update) (抜粋) 目次 概要 記号論理の文法 (Syntax) と意味 (Semantics) 記号論理とモデルの説明（詳細編） レーベンハイム・スコーレムの定理と集合論での解釈 レーベンハイム・スコーレムの定理の証明 完全性定理を使った証明のアウトライン （補足）（ダウンワード）レーベンハイム・スコーレムの定理成立の本質 二階述語論理などの関連事項 雑感 （補足） （ダウンワード）レーベンハイム・スコーレムの定理成立の本質 当然のことながら証明は厳密にしなければならないのだが，レーベンハイム・スコーレムの 定理が成り立つ本質的な理由は， 有限，あるいは可算無限個の関数記号や述語記号から 作り出すことができる要素の総体は可算無限個である ことによる．これは上の証明の中の Termσ/〜Σ を 考えればわかる． ちなみに我々の自然言語も有限のアルファベットあるいはかななどからなるので， それらの言葉で直接指し示すことができる数学的概念も，高々可算無限個である． 我々が直接言葉で表すことができるものは結構少ないのだ． 2019.01.17 (木) [] [ここ壊れてます] 732 名前：１３２人目の素数さん [2020/03/26(Thu) 19:27:49 ID:w9QXoHzC.net] >>656 >１．決定番号∞について >・この∞の意味は、言い換えれば、「決定番号d上限はない」あるいは「決定番号dは全ての自然数を渡る」ということ バカの言ってることが正しいと仮定。 「決定番号dは全ての自然数を渡る」より d∈N 決定番号d=∞ より ¬(d∈N) 矛盾が導かれたので仮定は偽。 数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。 733 名前：１３２人目の素数さん [2020/03/26(Thu) 19:59:07 ID:/vnWknlA.net] >>670とは関係ないが・・・ ∞が超準自然数だとしても「箱入り無数目」の障害にはならない ∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、 最大の元としての∞はペアノの公理の１つである後者の存在と 矛盾するのであり得ない 734 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 20:15:21 ID:+Ol1TdQp.net] >>670 レーヴェンハイム・スコーレムの定理を否定するとな？！ｗ （＾＾； 数学のすの字も解ってないことを天下に晒して頂き本当に有難うございました。 735 名前：１３２人目の素数さん [2020/03/26(Thu) 20:21:40 ID:w9QXoHzC.net] バカの一つ覚えｗ 736 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 20:22:42 ID:+Ol1TdQp.net] >>671 (引用開始) ∞が超準自然数だとしても「箱入り無数目」の障害にはならない ∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、 最大の元としての∞はペアノの公理の１つである後者の存在と 矛盾するのであり得ない (引用終り) 意味不明だな 言葉のサラダ？ 言葉のスパゲティー？ｗ（＾＾； （参考） https://hidamarikokoro.jp/blog/%E6%80%A5%E6%80%A7%E6%9C%9F%E3%81%AE%E9%99%BD%E6%80%A7%E7%97%87%E7%8A%B6%E3%80%80%E2%91%A2%E8%A7%A3%E4%BD%93%E3%81%97%E3%81%9F%E4%BC%9A%E8%A9%B1%E3%81%A8%E8%A7%A3%E4%BD%93%E3%81%97%E3%81%9F%E8%A1%8C/ クリニックブログ 2017.01.12 言葉のサラダとは？ 「解体した会話」とはどのような会話なのでしょうか？ 「解体した会話」とは、「脈絡のない」「前後のつ� 737 名前：ﾈがりがない」「理解できない」会話と言えるでしょう。 これらの解体した会話がひどくなると、まったく脈絡なく単語が出てくる「言葉のサラダ」と呼ばれる状態になります。 引用文献：　図解　よくわかる統合失調症 [] [ここ壊れてます] 738 名前：１３２人目の素数さん [2020/03/26(Thu) 20:30:58 ID:/vnWknlA.net] >>674 意味は明瞭 決定番号ｎが標準自然数でも超準自然数でも、 ｎ＋１が存在するからその先の尻尾が得られる 一方∞が最大の要素であって、∞＋１が存在しないなら 決定番号が∞の場合、その先の尻尾が得られない 「箱入り無数目」の方法の妨げとなるものは 「決定番号の先の尻尾の非存在」しかない しかし、∞＋１が存在しない、という主張は ペアノの公理である後者の存在を真っ向から否定する 739 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 20:36:50 ID:+Ol1TdQp.net] >>674 数学基礎論と消えたパラドックス/Ｈ. フリードマンの定理ｗ （＾＾； ”ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ． 標準モデルはたった１つしかないが、 超準モデルは可算のものに限っても非可算無限個存在する．”ｗｗ （参考） https://sites.google.com/site/sendailogichomepage/files/ref/ref_07 Sendai Logic Homepage 仙台ロジック倶楽部ＯＬＤの関係資料ページを復旧したものです． 文章は田中一之先生によるものです．（旧ページ製作はNBZ先輩） ■ 読み物系 □数学基礎論と消えたパラドックス（『数学セミナー』1993年8月号より） パラドックスから数学基礎論の誕生，不完全定理への流れを解説． (抜粋) ■ Ｈ. フリードマンの定理 言葉の説明を後回しにして、定理を述べる． ペアノの算術の可算な超準モデルは、自らと同型な接頭部を持つ． 和積演算を伴った非負整数の集合をペアノの算術の“標準モデル”といい、 それと同型でない数学的構造でペアノの公理を満たすものを“超準モデル”という． 標準モデルはたった１つしかないが、 超準モデルは可算のものに限っても非可算無限個存在する． 超準モデルもペアノの公理を満たしているから、 その上に大小関係や和積演算が定義されている． モデルの要素を大きさの順に並べて、 あるところで大きい方と小さい方に分け、小さい方を“接頭部”と呼ぶ． どんな超準モデルも、 標準モデルと同型な接頭部を持つことが簡単に示せる． そして、どんな超準モデルも 自分の縮小コピーを接頭部として持ついうのがフリードマンの結果である． これは、自分と同じものは自分の中で造れないという第二不完全性（＋完全性定理）と矛盾するようだが、そうではない． なぜなら、接頭部の切り口が自分では見つけられない（定義できない）からである． 　この定理の証明がまた実に巧妙で面白い． 厳密な議論を紹介するスペースはないが、 以下に述べるアイデアからその卓抜さに共感戴ければ幸いである． (引用終り) 以上 740 名前：１３２人目の素数さん [2020/03/26(木) 20:41:47.12 ID:/vnWknlA.net] >>676 ＞超準モデルもペアノの公理を満たしている でしょう？ では∞について、∞＜∞＋１　となる∞＋１の存在を認めるね？ 741 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/26(Thu) 21:28:55 ID:+Ol1TdQp.net] ＜ヒルベルトの無限ホテルのパラドックス＞ ・自然数N（1, 2, 3, …）を、奇数と偶数とに分ける ・奇数 1,3,5,・・・、偶数 2,4,6,・・・ ・2つの数列を直列した数列 奇数列＋偶数列：1,3,5,・・・,2,4,6,・・・ ・上記の数列に先頭から番号を振ります：1→1,2→3,3→5,・・,n→2n+1・・,ω→2,ω+1→4,ω+2→6,・・・ ・つまり、自然数Nは 無限集合なので「その真部分集合である奇数号室すべての集合の基数と等しい」（ヒルベルトの無限ホテルのパラドックス） （参考） https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 ヒルベルトの無限ホテルのパラドックス (抜粋) パラドックスの内容 それぞれに無限の乗客が乗った無限台の車がホテルに乗りつけたとする。 この場合、まず奇数号室を上のようにして� 742 名前：�け、1台目の乗客を 3n（n = 1, 2, 3, …）号室に、2台目の乗客を 5n（n = 1, 2, 3, …）号室に、…というふうに入れる。i 台目の乗客は pn（ここで p は i + 1 番目の素数）に入れればよい。 現実にある（2室以上ある）有限ホテルでは、当然奇数号室の数は全室数より少ないが、無限ホテルではそうではない。 数学的には、全室からなる集合の基数（有限集合における要素の個数に当たる）は、その真部分集合である奇数号室すべての集合の基数と等しい。 これは無限集合の特徴である。 この可算無限集合の基数は N0（アレフ・ゼロ、アレフ・ヌル）と表される。 https://math-fun.net/20180731/996/ 趣味の大学数学 ガリレオのパラドックスとヒルベルトの無限ホテルから感じる、無限集合の性質 2018年7月31日2019年10月25日 (抜粋) 目次 ガリレオのパラドックス ヒルベルトの無限ホテル 無限集合の不思議 [] [ここ壊れてます] 743 名前：１３２人目の素数さん [2020/03/26(Thu) 21:44:36 ID:/vnWknlA.net] （質問） ｎが超準自然数でも何の問題もなく「箱入り無数目」の方法が適用できて 超準自然数同士の大小の比較も可能で、箱の中身が的中できることは 全面的に認めますね？ 744 名前：１３２人目の素数さん [2020/03/26(Thu) 22:16:50 ID:w9QXoHzC.net] 自然数にも上限は無いがどの自然数も有限 コピペ馬鹿に数学は無理 745 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/27(金) 07:20:49.86 ID:PNCnIYnC.net] >>679 時枝は、 １．しっぽの同値類は可能 ２．決定番号を決めることは可能 ３．しかし、確率計算は正当化できない ってことでしょ 746 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/27(金) 07:31:23.83 ID:PNCnIYnC.net] >>680 >自然数にも上限は無いがどの自然数も有限 自然数に上限は無く どの自然数も有限でも しかし、超限順序数ωは ヒルベルト無限ホテルのパラドックスを使って （>>678ご参照） 直ちに実現できますねｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 (抜粋) この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。 ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。 747 名前：１３２人目の素数さん [2020/03/27(金) 07:42:23.78 ID:asHKGG7T.net] >>681 ＞１．しっぽの同値類は可能 ＞２．決定番号を決めることは可能 ３．どの決定番号でも、その先の尻尾をとることが常に可能 ４．決定番号は整列順序により大小の比較が常に可能 したがって「箱入り無数目」は（100列が確定している場合）正しい 748 名前：１３２人目の素数さん [2020/03/27(金) 07:49:41.59 ID:asHKGG7T.net] >>682 超限順序数ωは超準自然数ではない 「箱入り無数目」で、R^NをわざわざR^(N∪{∞})に並べ替えて失敗させたところで 「箱入り無数目」の否定にはならない 749 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/27(金) 08:45:51.61 ID:PNCnIYnC.net] >>683-684 結局さ 大学教程の確率論を学んだ高い立場に立たないと 時枝理論のおかしさに気付かないし いつまでも、”はまって”抜け出せない 750 名前：１３２人目の素数さん [2020/03/27(金) 09:02:51 ID:asHKGG7T.net] >>685 まず、大学教程の自然数論を学ぶこと 基礎から積み上げないと数学は正しく理解できない 無限列をR^Nを定義したのだから、Nを理解すること Nの定義はペアノの公理 ・0はNの要素 ・nがNの要素なら、n+1はNの要素 2点目から、最後の自然数が存在しないことがわかる それで箱入り無数目は反駁不能とわかる 751 名前：１３２人目の素数さん [2020/03/27(金) 09:06:18 ID:asHKGG7T.net] 今日は在宅勤務？ HNとトリップは本スレッドでしか使用していないようだが 今後は自宅および職場からの投稿のどちらも トリップだけにしていただいて結構 長たらしいHNは無意味 752 名前：１３２人目の素数さん [2020/03/27(金) 09:1 ] [ここ壊れてます] 753 名前：5:57.45 ID:asHKGG7T.net mailto: IUTスレッドと分からない問題スレッドでは HNおよびトリップをつけていないようだが 本スレッドでも不要　 むしろつけることで誤りを認められなくなってるなら 外したほうがいい [] [ここ壊れてます] 754 名前：１３２人目の素数さん [2020/03/27(金) 09:27:00.52 ID:asHKGG7T.net] 日高、イナ、酒浸り、哀れな素人、Mara Papiyas等の 分かりやすいＨＮが好ましい 755 名前：１３２人目の素数さん [2020/03/27(金) 09:32:13.75 ID:asHKGG7T.net] もし私がつけていいなら「集合Ａ」を提案する 英語でいうと”Set A” https://www.youtube.com/watch?v=sTn6eaiYN1w ♪特別じゃない　どこにもいるさ　俺は集合A 756 名前：１３２人目の素数さん [2020/03/27(金) 09:59:30 ID:asHKGG7T.net] 本スレッドのスレッド名も陳腐なので 新しく立てるなら名前を変えたほうがいい たとえば「数理資本主義」とか 反資本主義の活動家が大量に押しかけてくるだろう 757 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:02:53 ID:JV2qk9Qn.net] おサル必死だな コテとトリップを付けるかどうかは おれは、専用ブラウザを使っているので 設定しておけば、簡単でね このスレでは、コテとトリップ あのスレでは、無しとかね なお、余談だが あと、sageとage もスレ毎に設定できる 別に、なんということもない 758 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:04:34 ID:JV2qk9Qn.net] >>691 今日は、ヒマか？ つうか、コロナでヒキコモに、好都合か ＞反資本主義の活動家が大量に押しかけてくるだろう ヒマ人の妄想も ここまで来れば立派 薬しっかり飲めよ 759 名前：１３２人目の素数さん [2020/03/27(金) 10:07:32 ID:asHKGG7T.net] >>692 ＞専用ブラウザを使っているので 承知している しかしHNのネーミングとか書き込みの内容は 専用ブラウザの使用とは無関係の書き手のセンスの問題 誤りに満ちた書き込みを固定ハンドルで書いても恥ずかしいだけだろう それなら全部匿名にしたほうがいい　違うかな？ 760 名前：１３２人目の素数さん [2020/03/27(金) 10:25:38 ID:asHKGG7T.net] >>693 職場から書き込みか？　コロナに感染するぞ 761 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:27:02 ID:JV2qk9Qn.net] >>669 補足 > https://fujicategory.hatenadiary.org/entry/20110721/1311211333 >数学基礎論の勉強ノート id:fujicategory > 2011-07-21 >レーヴェンハイム・スコーレムの定理！！ これ、面白い 図解が面白い 是非、ご一見願います（＾＾； 追加貼る www.cs-study.com/koga/set/setTheory.html#about_CH 集合，位相，論理など (Set, Topology, Logic, etc.) 28th Dec 2019 (Updated) 10th Oct. 2017 (First) Akihiko Koga (抜粋) 1)集合論の基礎 1.いろいろな集合論についてのおぼえ書き -1.公理的集合論 -2.素朴集合論 -3.圏論ベースの集合論 -4.代替集合論 (Alternative Set Theories) 　某勉強会で発表してきたことを追加しました．(2019.06.22) 2.集合論の学習での重要なポイント 3.Zorn の補題と選択公理のお話 4.フォーシングと連続体仮説の否定の無矛盾性 5.基礎的な集合論の教科書 6.集合論についての素朴な(かなり，おまぬけな)疑問集 2)位相空間の基礎 　テキストや計算機応用の文献など 3)論理学の基礎 1.Hilbert の体系の例 2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem) 　某勉強会での連続体仮説解説の顛末追記 3.ゲーデルの不完全性定理について 　別のコーナーで書いた簡単な説明へのリンクです 2019.12.28 4.数理論理学の基礎を勉強するための参考になりそうな文献例 つづく 762 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 10:27:38 ID:JV2qk9Qn.net] >>696 つづき 2.レーベンハイム・スコーレムの定理 (Lowenheim-Skolem Theorem) とある勉強会で，連続体仮説の否定の無矛盾性の解説をするために レーベンハイム・スコーレムの定理を分かった気にさせる解説を執筆完（2018.09.29）． レーベンハイム・スコーレムの定理 (初出 1915年 ) は，一階述語論理のモデルの大きさに関する命題である．大雑把に言えば， その一階述語論理に用意された記号の集合が可算無限個のとき，その論理体系の中の 公理系がモデルを持てば，そのモデルの要素数（基数）を可算無限個まで絞ることも， 非可算無限個まで水増しすることもできるという内容である． www.cs-study.com/koga/set/pictures/LowenheimSkolem000.jpg これは，全体が可算個の集合からなる集合論のモデルを保証したり，自然数の集合のサイズが 非可算個でも矛盾がないことを意味し，一見，それまで築かれた数学的常識と 反するので，発見当初は，レーベンハイム・スコーレムのパラドクスとして 扱われた．その後，この定理の解釈が整理されるとともに，今は，特にパラドクスでは ないという認識になっていると思う． 私は，今，勉強会のためにこの解説を作りながら，この定理は 無限集合に関する我々自身の思考に関わるもので，とても 含蓄のある定理だと感じている． (引用終り) 以上 763 名前：１３２人目の素数さん [2020/03/27(金) 10:32:33 ID:asHKGG7T.net] ＞薬しっかり飲めよ こんな書き込みに真面目にレスポンスする人はいないだろうが ヒマなので書くことにしよう 薬は今は飲んでない 以前、突発性難聴にかかり後遺症の耳鳴りで 不眠症になったので睡眠薬を処方してもらったが それがよくなかった 結局やめるのに半年かかった 眠れないからといって薬を飲むのはよろしくない 764 名前：１３２人目の素数さん [2020/03/27(金) 10:35:55 ID:asHKGG7T.net] >>696-697 いくら読んでも「箱入り無数目」の否定は導けないよ 765 名前：１３２人目の素数さん [2020/03/27(金) 10:40:13 ID:asHKGG7T.net] 「箱入り無数目」は、列をS^O（Oは順序数）で表したとき Oが極限順序数であれば成立する 要するに「終端がない」ということが最も重要 N∪{∞}は、ω＋１であって、後続順序数だから終端がある 後続順序数で成立しない、といったところで意味がない なぜならN（＝ω）は極限順序数だから 766 名前：１３２人目の素数さん [2020/03/27(金) 10:45:07 ID:asHKGG7T.net] まったくどうでもいい話 レーベンハイムは４人の祖父母のうち１人がユダヤ人だったらしいが ナチ時代の法律で、３／４アーリア人として扱われたらしい 767 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 10:53:34.19 ID:JV2qk9Qn.net] >>685 補足 (引用開始) 結局さ 大学教程の確率論を学んだ高い立場に立たないと 時枝理論のおかしさに気付かないし いつまでも、”はまって”抜け出せない (引用終り) 補足： １）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"） ２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6 ３）複数の箱がある。iid(独立同分布)を仮定する 　下記のiidの説明 通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 ４）可算無限個の箱がある。iid(独立同分布)を仮定する 　（ここは、大学の確率論の教程を学べば分かる） 　下記の通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 　どの箱も、例外無し！ ５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという 　大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！ QED （＾＾； （参考） https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12157505717 mas********さん2016/3/2720:48:25 Yahoo サイコロの目が出る確率は1/6ですが サイコロの目を当てる確率はいくつですか？ 私はランダムにサイコロの目を選ぶとその2倍当たりにくく1/12だと思うのですがどうなんですか？ 回答1?1件/1件中 umi********さん 2016/3/2720:55:03 1/6 ですよ。 半分は国語の問題ですねw 「特定の」サイコロの目が出る確率は 1/6。 つまり 1の目が出て欲しいとき、それが出る確率は6 768 名前：つの面のどれかが出るわけですから、もちろん1/6です。 https://www.practmath.com/iid/ 実用的な数学を 2019年6月20日 投稿者: TAKAN 独立同分布である i.i.d. IID (抜粋) 同じ分布のデータは互いに不干渉だよ これは「確率変数を別々に扱えるよ」という『仮定』です。 これが仮定されていると、非常に計算がしやすくなります。 相関を考えなくて良いので、共分散などを使う必要がありません。 https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布 以上 [] [ここ壊れてます] 769 名前：１３２人目の素数さん [2020/03/27(金) 10:55:03.24 ID:asHKGG7T.net] もう「箱入り無数目」は終わりにしたほうがいいね 列に終端がない時点で否定の余地は全くないから このスレッドも要らないね 集合論には興味ないでしょ 全然理解もしてないしね 無理に「ベーリンガー・インゲルハイムがー」なんていわなくていいよ あ、それは製薬会社か https://www.boehringer-ingelheim.jp/ 770 名前：１３２人目の素数さん [2020/03/27(金) 10:58:44.95 ID:asHKGG7T.net] >>702 ＞ある箱の数当てが1-εにできる それ、記事の読み間違い 「当たる箱を選ぶ確率が1-εにできる」が正しい 箱の中身が固定だから、代表元と一致するかしないかしかない 確率でいえば１か０ １の箱が９９個で、０の箱が１個だから 箱をランダムに選べば１の箱を選ぶ確率は９９／１００ 771 名前：１３２人目の素数さん [2020/03/27(金) 11:04:39.72 ID:asHKGG7T.net] 結局「ある箱の数当てが1-εにできる」という誤解に対する否定だから 相手は記事の著者じゃなくて、自分自身 772 名前：１３２人目の素数さん [2020/03/27(金) 11:19:02.64 ID:asHKGG7T.net] ところで、無限列ｘと同値類の代表元ｒ（ｘ）を比較した場合 「第ｎ項が不一致」って事象は、任意有限個では独立だけど、 無限個で考えたら独立ではないね なぜなら自然数の無限部分集合について、 その要素となるｎ全部で「第ｎ項が不一致」 となることはないから （不一致となる項は有限個） 773 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 12:09:27 ID:JV2qk9Qn.net] >>702 補足 (引用開始) ４）可算無限個の箱がある。iid(独立同分布)を仮定する 　（ここは、大学の確率論の教程を学べば分かる） 　下記の通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 　どの箱も、例外無し！ (引用終り) これが理解できないんだ まあ、難しくないけど 「可算無限個の箱→可算無限の確率変数族」 という読み替えができるかどうか？ ここが大学の確率論の教程だけれど あとは、「iid(独立同分布)を仮定する」なんて 確率論の頻出で、いろはのい、初歩の初歩です 分からない人、あほのあ！ｗ（＾＾； 774 名前：１３２人目の素数さん [2020/03/27(金) 12:22:31.70 ID:asHKGG7T.net] >>707 ＞これが理解できないんだ あなたが？ ＞まあ、難しくないけど 理解できないのに易しいという？ もしかしてコロナに感染してる？ 775 名前：１３２人目の素数さん [2020/03/27(金) 12:28:35.04 ID:asHKGG7T.net] >>707 ＞・・・のあ 乃木坂の白石麻衣が、デビュー前ジャニーズの追っかけをやってたことは 知る人ぞ知る事実だが、その頃名乗っていた「安田のあ」という名前は 「安田（章大の愛人）のあ」の意味らしい 776 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 13:58:35.77 ID:JV2qk9Qn.net] 分からない 落ちこぼれ の人、落ちこぼれ の "お" ！！ｗｗ(゜ロ゜; 777 名前：１３２人目の素数さん [2020/03/27(金) 14:25:49.26 ID:asHKGG7T.net] 「箱入り無数目」についての発言は諦めたんだね では、HNについて 職場から出すほうが短いので、 自宅から出すほうも同じく短くしようね もうガロアの話なんて全然してないしできないからね 正規部分群の定義も正しく理解できず 円分体の自己同型も間違えるんじゃ ガロア理論なんか絶対理解できるわけないからね 完全に断念したのは大正解　スレッドも一掃されたし 778 名前：１３２人目の素数さん [2020/03/27(金) 14:30:22.82 ID:asHKGG7T.net] このスレッドが終わったら次に立てるスレッドの名前は 「現代数学の系譜 雑談」がいいだろうね 雑談なら何を書いてもいいからね その時はHNは無しのほうがいいね 書くのは自分だけだろうけど、 HNが無ければどこの誰か詮索しないよ 間違えてもどこのだれかわからないし どうもHNがあると間違いを認めず 779 名前：に つっぱり続けるみたいだからね [] [ここ壊れてます] 780 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:32:37.55 ID:JV2qk9Qn.net] >>702 補足 (引用開始) ４）可算無限個の箱がある。iid(独立同分布)を仮定する 　（ここは、大学の確率論の教程を学べば分かる） 　下記の通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 　どの箱も、例外無し！ (引用終り) これが理解できないんだ まあ、難しくないけど 「可算無限個の箱→可算無限の確率変数族」 という読み替えができるかどうか？ ここが大学の確率論の教程だけれど あとは、「iid(独立同分布)を仮定する」なんて 確率論の頻出で、いろはのい、初歩の初歩です おサルは、必死の”ひ”！ｗ（＾＾； 781 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:35:00.16 ID:JV2qk9Qn.net] >>712 >このスレッドが終わったら次に立てるスレッドの名前は >「現代数学の系譜 雑談」がいいだろうね >雑談なら何を書いてもいいからね おサル、忘れたのか？ あれだけ 暴れたのにさｗ ガロアスレのスレタイは、下記だよ （参考） 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 https://rio2016.5ch.net/test/read.cgi/math/1581243504/ 782 名前：That's done [2020/03/27(金) 14:35:58.63 ID:asHKGG7T.net] 今、いいHNのアイデアがひらめいた 君にあげようかとおもったけど 自分で使うことにした >>713 That's done.　（それは終わったよ） 783 名前：１３２人目の素数さん [2020/03/27(金) 14:39:12.80 ID:asHKGG7T.net] >>714 誰も彼も同じ人物だと思い込む妄想が治らないね 過去のスレッドのタイトルなんて忘れなよ いい思い出なんて一つもなかっただろ？ 心機一転　新しいタイトルで出直しな HNも捨てていいよ　誰もそんなもの気にしないし 784 名前：That's done [2020/03/27(金) 14:41:02.14 ID:asHKGG7T.net] いかんいかん、HNが抜けたな 専用ブラウザなんて使ってないんだ 浪人買うなんて無駄金出すほど馬鹿じゃないし まさか、浪人買ってるの？　5ch中毒？ 785 名前：That's done [2020/03/27(金) 14:55:21.35 ID:asHKGG7T.net] 提案 １．HNとトリップは止めな　意味ないから ２．スレッドは立ててもいいけど　今後は分野特定せずに「雑談」にしな 786 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:55:48.71 ID:JV2qk9Qn.net] 浪人使っているよ ・金には困っていない（これが一番ｗ） ・センブラは便利（これが二番） ・エロ アド（PR） がうざい（これも二番） ・まあ、”久米仙人”（下記）みたいなものよｗｗ(゜ロ゜; （参考） zizimuge.blog44.fc2.com/blog-entry-7.html さおのむかし 久米仙人は何故落ちたか？（１）2006.02.12 (抜粋) 久米仙人というのは、聖武帝の御世に生きた人だというから、実在したのだとすれば、ほぼ八世紀頃の人物である。吉野の龍門寺で仙法をきわめ、自在に空を飛翔するほどになったのだが、あるとき吉野河で洗濯をする女性の足に目を奪われて、河に墜落してしまったのだという。 この話は『今昔物語集』巻十一に、「久米仙人、始造久米寺語」（くめせんにん、はじめてくめでらをつくれること）という題で語られており、古来有名なものなのだが、どちらかと言えば、真面目な検討の対象になるというよりは、むしろ「女性の色香に惑わされて、験力を失った愚かな仙人」ということで、笑い話として扱われることが多いようである。 787 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 14:58:30.69 ID:JV2qk9Qn.net] >>718 妄想がひどくない？ 薬、飲めよ！！ おまえは、自分が運営になったつもり？ おまえには、なんの権限も、力もないんだよｗ！！ｗｗ（＾＾； 788 名前：That's done [2020/03/27(金) 15:04:15.07 ID:asHKGG7T.net] 今のHNを英語に翻訳してみたことある？ The genealogy of modern mathematics, chat かな でもここでgenealogyなんて語ってないから余計だね ちなみに Mathematics Genealogy ProjectっていうHPは別にある 数学者の師弟関係を記録したサイトだね https://www.genealogy.math.ndsu.nodak.edu/ ここで語ってるのはせいぜいchat of modern mathematics だね どうみてもHNというよりスレッド名 だからスレッド名は次から「現代数学雑談」 工学とか物理とか要らない　 数学の人は現実にも 789 名前：実用性にも興味ないから [] [ここ壊れてます] 790 名前：That's done [2020/03/27(金) 15:24:00.07 ID:asHKGG7T.net] >>719 >金には困っていない 金がいくらあっても、数学書は買えても、数学の理解は買えないよ >久米仙人 数学を理解できないのは、エロとは無関係だな >>720 提案だよ　て・い・あ・ん 791 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 15:35:35.76 ID:JV2qk9Qn.net] ＜再録＞ >>685 補足 (引用開始) 大学教程の確率論を学んだ高い立場に立たないと 時枝理論のおかしさに気付かないし いつまでも、”はまって”抜け出せない (引用終り) 補足： １）数当てと言えば、確率ですね（下記 "chiebukuro.yahoo"） ２）いま、一つ箱があり、サイコロの目を入れた。確率 1/6 ３）複数の箱がある。iid(独立同分布)を仮定する 　下記のiidの説明 通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 ４）可算無限個の箱がある。iid(独立同分布)を仮定する 　（ここは、大学の確率論の教程を学べば分かる） 　下記の通り、箱一つと同じ計算になる 　サイコロの目を入れたなら、確率 1/6 　どの箱も、例外無し！ ５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという 　大学の確率論の教程を学べば、「iidだからそれはおかしい」と即座に分かる！！ QED （＾＾； （参考） https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12157505717 mas********さん2016/3/2720:48:25 Yahoo サイコロの目が出る確率は1/6ですが サイコロの目を当てる確率はいくつですか？ 回答 umi********さん 2016/3/2720:55:03 1/6 ですよ。 半分は国語の問題ですねw https://www.practmath.com/iid/ 実用的な数学を 2019年6月20日 投稿者: TAKAN 独立同分布である i.i.d. IID (抜粋) 同じ分布のデータは互いに不干渉だよ これは「確率変数を別々に扱えるよ」という『仮定』です。 これが仮定されていると、非常に計算がしやすくなります。 相関を考えなくて良いので、共分散などを使う必要がありません。 https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布 >>702 補足 これが理解できないんだ まあ、難しくないけど 「可算無限個の箱→可算無限の確率変数族」 という読み替えができるかどうか？ ここが大学の確率論の教程だけれど あとは、「iid(独立同分布)を仮定する」なんて 確率論の頻出で、いろはのい、初歩の初歩です 792 名前：That's done [2020/03/27(金) 15:41:49.60 ID:asHKGG7T.net] >>723 ＞”ある箱の数当て”が確率 …1-εにできる どうしてもその”誤り”にはまって抜け出せないね　何故？ 「ある箱の数当て」ではないよ 「当たる箱の選出」だよ 箱の中身は定数だからiidなんて無用　分布なんてないし That's done.　（それは終わったよ） 793 名前：That's done [2020/03/27(金) 15:45:34.23 ID:asHKGG7T.net] 無限列ｘとその同値類の代表元ｒ（ｘ）を比較した場合 任意の自然数ｎについて「第ｎ項が不一致」って事象は、 任意有限個では独立だけど、無限個で考えたら独立ではないね なぜなら自然数の無限部分集合について、その要素となるｎ全部で 「第ｎ項が不一致」となることはないから （不一致となる項は有限個） 794 名前：現代数学の系譜 雑談 mailto:sage [2020/03/27(金) 16:48:53.13 ID:JV2qk9Qn.net] おサル必死 くっ くっ く、 >>723ご参照 ww（＾＾； 795 名前：That's done [2020/03/27(金) 17:05:08 ID:asHKGG7T.net] >>726 That's done.　（それは終わったよ） 明日からHNとトリップ捨てて出直しなよ 796 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/27(金) 17:12:37 ID:JV2qk9Qn.net] おサル必死 くっ くっ く、 >>723ご参照 ww（＾＾； 終わっているのは、お ま え ｗｗｗ 797 名前：That's done [2020/03/27(金) 17:17:17 ID:asHKGG7T.net] >>728 That's done.　（それは終わったよ） 明日からHNとトリップ捨てて出直しなよ 798 名前：That's done [2020/03/27(金) 17:22:21 ID:asHKGG7T.net] >>723 >>724 「ある箱の数当て」ではないよ 「当たる箱の選出」だよ 箱の中身は定数だからiidなんて無用 799 名前：１３２人目の素数さん [2020/03/27(金) 19:07:38 ID:WXxBUAbr.net] The Riddle も解らない馬鹿に数学は無理 800 名前：１３２人目の素数さん [2020/03/27(金) 19:12:36 ID:WXxBUAbr.net] >>681 >３．しかし、確率計算は正当化できない Ω={1,2,...,100} の離散一様分布が正当化できないと？ 脳みそコロナ感染してる？ 801 名前：１３２人目の素数さん [2020/03/27(金) 19:16:07 ID:WXxBUAbr.net] iidって要するに当てずっぽうでしょ？ そりゃ当てずっぽうじゃ当たらないわなｗ そんな話が数学セミナーの記事に？妄想もたいがいにしましょうねｗ 802 名前：１３２人目の素数さん [2020/03/27(金) 19:26:55.96 ID:WXxBUAbr.net] HNこれにしとけ 「自然数も分らない馬鹿」 時枝？ そりゃ自然数も分らない馬鹿には無理ですよｗ 803 名前：That's done [2020/03/27(金) 19:31:57.40 ID:asHKGG7T.net] >>733 あの人はiidばっかり繰り返してるけど 実はポイントはそこじゃなくて ある箱に絞った場合の条件つき確率 として考えることなんだけどね 例えばX_(n,m)（n列目のm番目の箱)に絞るとすると 当たる場合は、n列目の決定番号がm以下の場合だし 外れる場合は、n列目の決定番号がmより大きい場合 つまり 「全部の列の決定番号の最大値がmの場合」と 「全部の列の決定番号がmより大きくて 　n番目以外の列の決定番号の最大値がmの場合」 の確率を比較することになる だから前者が後者に比べて圧倒的に小さくてほぼ0になるということ だからといって「箱入り無数目」とは矛盾しないのでほっといていい 804 名前：１３２人目の素数さん [2020/03/27(金) 19:35:26 ID:asHKGG7T.net] >>734 AI(=Artificial Intelligence)に対抗して NI(=Natural Innocence)というのは如何？ 805 名前：１３２人目の素数さん mailto:sage [2020/03/27(金) 21:11:23 ID:BRYMq2Nk.net] >>702 >>707 > 「iidだからそれはおかしい」と即座に分かる > 「可算無限個の箱→可算無限の確率変数族」 https://ja.wikipedia.org/wiki/コーシー列 > 収束するかどうか調べるためには、その前に極限値がわからなければ > ならないのであるが 「その前に極限値がわからなければならない」から どの同値類に収束するか前もって分からないといけない 前もって収束する先の(R^Nでの)同値類を決めておくと 「iid」ではそのような数列を作ることはできない > どの箱も、例外無し！ 1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの では同値類は異なるよ 806 名前：１３２人目の素数さん [2020/03/28(土) 10:23:57 ID:+ARtdTH+.net] >>702 >５）ところが、時枝理論では、ある箱の数当てが 確率1/6ではなく、1-εにできるという 時枝先生はそんなこと言ってません。「固定された100列のいずれかをランダムに選択すればアタリ列を選ぶ確率は99/100以上になる」と言ってます。 そしてこれは完全に正しい。 全く分かってませんね� 807 名前：B時枝戦略を語りたいなら正しく理解することから始めましょう。 [] [ここ壊れてます] 808 名前：１３２人目の素数さん [2020/03/28(土) 10:29:53 ID:+ARtdTH+.net] >>682 >自然数に上限は無く どの自然数も有限でも >しかし、超限順序数ωは >ヒルベルト無限ホテルのパラドックスを使って >（>>678ご参照） >直ちに実現できますねｗ（＾＾； だからなに？ 箱入り無数目はR^Nですけど？ 809 名前：１３２人目の素数さん [2020/03/28(土) 10:40:16 ID:+ARtdTH+.net] 確率論があーが口癖の瀬田が一番確率分かってないね。 試しに時枝戦略の確率の確率空間書いてみ？ 810 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 11:16:30.13 ID:MRwZqC/h.net] >>737 だれか知らないが、コーシー列を誤読しているよ https://ja.wikipedia.org/wiki/コーシー列 > 収束するかどうか調べるためには、その前に極限値がわからなければ > ならないのであるが 正確には、下記だ。つまり、 ”収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。” です。上記とは、真逆の意味だよ。分かりますか？ https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97 コーシー列 (抜粋) 実数におけるコーシー列 |xn - xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。また本質的に同じことだが、級数の収束性を和を仮定せずに判定することもできる。 コーシーの収束判定基準という。 収束の定義に基づいて点列 (xn) の収束性を判定する場合、極限値 x を推定した上で |xn - x| を評価する必要がある。つまりこの方法で収束するかどうか調べるためには、その前に極限値がわからなければならないのであるが、コーシーの方法ならば極限値の推定は不要であるという利点がある。 コーシー列の収束性と空間の完備性 距離空間 (X,d) は、その任意のコーシー列が X 上に極限を持つとき完備であるといい、完備である距離空間を完備距離空間、または単に完備空間という。 “実数の連続性”は、実数全体の成す距離空間 R が完備であることを意味している。 すでに述べたように、Rk や Ck などもすべて完備である。 一方、有理数全体の成す集合 Q やユークリッド空間内の有理点全体 Qkなどを完備でない距離空間の例としてあげることができる。 実数の構成 実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。 (引用終り) >1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの >では同値類は異なるよ いわんとしていることが、正確には理解できないが 空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い 811 名前：１３２人目の素数さん [2020/03/28(土) 11:25:58.72 ID:+ARtdTH+.net] >>741 箱入り無数目にコーシー列など不要 相変わらず馬鹿丸出し 812 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 11:29:20.03 ID:MRwZqC/h.net] >>741 (引用開始) >1つの箱にだけサイコロの目を入れるのと全ての箱にサイコロの目を入れるの >では同値類は異なるよ いわんとしていることが、正確には理解できないが 空の箱を許容するという意味なら、{実数＋Φ（空）} の可算無限列を作れば良い (引用終り) この話は、非常に示唆に富んでいる つまり、箱に入れて良い要素を増やしても、同様に確率1-εが得られるというのが、時枝理論だ だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる （この話は、>>525に書いた通り、実数→多元数の同値類 に拡張できる。そして、任意の多元数で 同じ 確率1-εが得られる 　しかし、入れる方があくまで実数しか入れないなら、的中率は下がるべき。これ、時枝理論の矛盾です （＾＾； ） 813 名前：１３２人目の素数さん [2020/03/28(土) 11:38:07.91 ID:hDJsRLVm.net] >>743 ＞箱に入れて良い要素を増やしても、同様に確率1-εが得られる そもそも「ある箱の数当て」ではないので当然 ＞これ、矛盾です ただの読み間違い 814 名前：１３２人目の素数さん [2020/03/28(土) 11:52:45 ID:+ARtdTH+.net] >>743 >だが、明らかに、入れる要素を増やせば、一方入れる方があくまで実数しか入れないなら、的中率は下がる まったく明らかじゃないｗ 妄想じゃなく数学語ってねｗ 815 名前：１３２人目の素数さん [2020/03/28(土) 11:54:18 ID:+ARtdTH+.net] >>743 >的中率は下がるべき 時枝解法を理解してないからそう思えるだけ 馬鹿丸出し 816 名前：１３２人目の素数さん [2020/03/28(土) 12:10:14 ID:+ARtdTH+.net] なんで確率空間書かないの？ 分からないの？ 確率勉強してね 817 名前：１３２人目の素数さん [2020/03/28(土) 12:19:07 ID:+ARtdTH+.net] 確率空間も書けないのに大学4年の確率論があって言ってたんですね 馬鹿丸出しですね 818 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 12:43:45.86 ID:MRwZqC/h.net] (>>593より) ＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞ により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した さて、時枝の手法は、ある方法で 819 名前：、大きな数d'を与えて 問題の数列の決定番号dに対し d＜d' とできれば 列Xにおいて、Xd'+1から先のしっぽの箱を開けて 列Xの代表（rXとする）を知り、"rXd=Xd"と推測が的中できるというもの これが成立たないことも、すでに>>593に説明した さらに、ここを掘り下げてみよう！ １．ある方法で、d'が与えられたとする ２．問題の数列 X：X1,X2,・・Xd',Xd'+1,・・ において 　しっぽの箱 Xd'+1,・・ たちを開けて、列Xの同値類を決める ３．そして 同値類の代表列 rXが分かる ４．このとき、2つの場合がおきる 　１）開けた Xd'+1,・・ たちとの比較で、d'＜dとなってしまっている場合（開けたところまでで、すでに代表列rXの箱の数と不一致がある場合） 　　（実は、こうなる確率が１なのだが*) ）この場合、"rXd=Xd"は無意味だ 　　∵ Xdは、すでに開封された箱だから "rXd=Xd"は無意味 　２）もし、d<=d'+1となっている場合(開けたd'+1までの箱の全部が一致の場合) 　　しかしこの場合でも、d=d'+1の可能性が大なのだ 　　∵ d'の箱の比較で、"rXd'≠Xd'"の可能性大。つまり、任意の2つの実数を比較して、"rXd'＝Xd'"なる確率は0にすぎない ５．結局、時枝の数当て 不成立です！！ QED （＾＾； 注*)（上記の「実は、こうなる確率が１」の説明） １．dが自然数N全体を渡るとき、有限d'で分けて、n<=d'なるnは有限だが、d'<n なるnは無限 ２．従って、自然数N全体からnをランダムに選ぶと、確率 P(n<=d')＝0 　（もっとも、これは正統な確率計算ではない ∵ 自然数Nの一様分布は、正則分布ではないから） ３．なお、時枝記事では、実は、我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない 　　にも関わらず、決定番号dを選ぶことができるが如く錯覚させていることも、時枝トリックの1つだ 　　（これ実は、けっこう重要なのだ） [] [ここ壊れてます] 820 名前：１３２人目の素数さん [2020/03/28(土) 13:08:32 ID:+ARtdTH+.net] >>749 >(>>593より) >＜時枝理論の複数列の比較による確率計算を潰す試みｗ(゜ロ゜；　＞ >により、時枝の複数列の比較は、数学的には本質ではない ことは、すでに示した >３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど（>>593） 言ってませんけど？ ぜんぜん解ってないね >１．ある方法で、d'が与えられたとする >５．結局、時枝の数当て 不成立です！ おまえの云うある方法≠時枝の方法　なので無意味 頭大丈夫ですか？時枝の方法じゃなきゃ当たらないのは当たり前ですね〜 821 名前：１３２人目の素数さん [2020/03/28(土) 13:16:08 ID:+ARtdTH+.net] >>593） >３．そして、２列だから、確率 P（d＜d'）＝1/2 というけれど 2列のいずれかをランダムに選ぶから1/2が言えるのであって、選ぶ列を固定したら1/2は言えません。 ていうかなんで1/2が言えると思ってるの？バカ？ 822 名前：１３２人目の素数さん [2020/03/28(土) 13:36:38 ID:/8rYWzo5.net] 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net 数学 物理学 化学 生物学 天文学 地理地学 IT 電子 工学 言語学 国語 方言 など 823 名前：１３２人目の素数さん [2020/03/28(土) 15:43:02 ID:hDJsRLVm.net] >>749 「箱Xdを特定したとき、"rXd'＝Xd'"なる確率は0」 というのは「箱入り無数目」とは無関係 100列が決まっているときに、それぞれの列について 他の99列の決定番号の最大値をdとしたとき 100列のうち99列の箱について"rXd'＝Xd'"となるから ランダムに1列選んで"rXd'＝Xd'"となる確率が99/100 というのが「箱入り無数目」 824 名前：１３２人目の素数さん [2020/03/28(土) 16:00:58 ID:+ARtdTH+.net] ランダムが分からない瀬田 825 名前：１３２人目の素数さん [2020/03/28(土) 16:32:41 ID:hDJsRLVm.net] 「箱入り無数目」とは無関係の定理 ・番号dを特定したとき、ランダムに列Xを選べば"rXd＝Xd'"なる確率は0 ・列sを特定したとき、ランダムに番号Nを選べば"rsN＝sN'"なる確率は1 （いずれも大文字が確率変数） dがsの決定番号のとき d<=NなるNで、rsN＝sN N<=dなるNは有限だが、d<=N なるNは無限 自然数全体からNをランダムに選ぶと、確率 P(d<=N)＝1 したがってP(rsN＝sN)=1 826 名前：１３２人目の素数さん [2020/03/28(土) 16:43:14.55 ID:hDJsRLVm.net] 「箱入り無数目」の代表元は、確率変数の無限族の ”まるまるの”独立性を満たさない ・任意のnについて 　P(not(rXn＝Xn))=1 < 827 名前：br> ・任意有限個のn_iについて 　P(∧not(rXn_i＝Xn_i))=1 しかし ・無限個のn_iについて 　P(∧not(rXn_i＝Xn_i))=0 なぜなら、not(rXn＝Xn)となるnは有限個だから [] [ここ壊れてます] 828 名前：１３２人目の素数さん mailto:sage [2020/03/28(土) 20:40:48 ID:WA7Bn40i.net] >>741 > 空の箱を許容するという意味なら >>743 > 明らかに、入れる要素を増やせば、 ある箱だけに着目するのか全ての箱に着目するのか？ ということですよ ある箱にだけサイコロの目を入れるというのは 他の箱は実数を入れるんだから他の箱にサイコロの目の数字が入る確率は0でしょ 全ての箱に入れるんだったらある箱にサイコロの目が入っているのなら 他の箱にもサイコロの目が入っている確率は1 サイコロの目を入れるということは箱の中の数字を1から6の6通りに絞るということで 数当ての出題は箱の中の数字を1つに絞るということだから同様に考えると 出題者が実数から選んだ数字がある箱にだけ入っているのならば 他の箱に出題者が実数から選んだ数字が入る確率は0 全ての箱に出題者が実数から選んだ数字を入れるんだったら ある箱に出題者が実数から選んだ数字が入っているのなら 他の箱にも出題者が実数から選んだ数字が入っている確率は1 829 名前：１３２人目の素数さん mailto:sage [2020/03/28(土) 20:47:36 ID:WA7Bn40i.net] >>741 > コーシー列を誤読しているよ 時枝記事の数列はコーシー列ではないんですよ an = 0: 0, 0, 0, ... , 0, ... an = 1/n: 1, 1/2, ... , 1/n, ... これらが属する同値類をr(an = 0), r(an = 1/n)などと書くことにする an = 0とan = 1/n (> 0)の数列の値の極限値はともに0であるが数列の値の極限値 は数当ての出題には使えない 箱の中の数字を1つに絞ることができないから 有限数列: 1, 1/2, ... , 1/kを数列の値の極限値が0であるような無限数列にする sn: 1, 1/2, ... , 1/kをsn→0 (n→∞)となるようにすると 1, 1/2, ... , 1/k, 0, 0, ... , 0, ... 1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ... 1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ... など1つに絞れない 箱の中の数字を1つに絞るには無限数列が属する同値類を極限値として考えることになる sn→r(an = 0) (n→∞) 1, 1/2, ... , 1/k, 0, 0, ... , 0, ... sn→r(an = 1/n) (n→∞) 1, 1/2, ... , 1/k, 1/(k+1), ... , 1/n, ... sn→r(an = 1/2n) (n→∞) 1, 1/2, ... , 1/k, 1/2(k+1), ... , 1/2n, ... > 極限値 x を推定した上で |xn - x| を評価する必要がある。 無限数列が属する同値類を推定してその代表元rnに対して |sn - rn| を評価すると s1-r1, s2-r2, ... , s(d-1)-r(d-1), 0, 0, ... , 0となるから収束する つまり決定番号dが有限でd以降のsnとrnが全て一致するから収束する 830 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/28(土) 21:27:42 ID:MRwZqC/h.net] >>723 補足 　確率空間？（>>747-748）ｗｗ iid(独立同分布)を仮定すると 可算無限個の箱があっても 箱が1つの場合と同じ確率空間で扱える これ、確率論の常識ですょ！！ ほとんど、自明でしょｗ 例えば、サイコロの場合、下記です（＾＾； （参考） https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E7%A9%BA%E9%96%93 確率空間 (抜粋) 定義 数学、特に確率論において、確率測度（かくりつそくど）とは、可測空間 (S, E) に対し、E 上で定義され P(S) = 1 を満たす測度 P のことである。 このとき、三つ組 (S, E, P) のことを確率空間と呼ぶ。さらに、集合 S を標本空間、S の元を標本あるいは標本点、完全加法族 E の元を事象あるいは確率事象と呼ぶ。また、E の元としての S を全事象という。 事象 E に対し、P の E における値 P(E) を、事象 E の確率という。つまり、E は確率が定義できることがらの集まりである。 必ずしも S の部分集合全てが事象とはならないことに注意されたい。 例 ・実数からなる区間 [0, 1] とそのボレル集合族 B からなる可測空間 ([0, 1], B) 上でルベーグ測度 μ を考えれば、μ([0, 1]) の値は区間の長さ |[0, 1]| = 1 ? 0 = 1 に等しいので、μ は ([0, 1], B) 上の確率測度であり、三つ組 ([0, 1], B, μ) は確率空間になる。 ・サイコロ投げの確率空間は次のようなものである： 　S = {1, 2, 3, 4, 5, 6}, E = 2^S, P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6) https://mathtrain.jp/probspace 確率空間の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06 (抜粋) 確率空間とは (Ω,F,P) の三つ組のことを言います ただし， ・Ω は集合 ・F は Ω の部分集合族（σ -加法族） ・P は F から実数への非負関数（確率測度） これだけだとよく分からないと思うので，以下で一つずつ解説していきます。 とりあえず「測度論的確率論では，確率を議論するときには確率空間というものの上で考える。そして，確率空間は3つの物のセットのことを表す」と覚えておいて下さい 831 名前：１３２人目の素数さん [2020/03/28(土) 21:41:33 ID:+ARtdTH+.net] >>759 箱入り無数目の確率空間になってないのでゼロ点 落ちこぼれには無理でした 832 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/03/28(土) 22:35:23.03 ID:MRwZqC/h.net] >>759 補足 １．大学確率論で、普通にiid(独立同分布)を考えれば、 　箱にサイコロの目を入れるとして、 　P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6) ２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという 　じゃ、その1つ以外の箱の数当て確率は どうなる？ 　iid(独立同分布)通り、P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)だと？ 　バカ言ってるんじゃない ３．d番目って、代表の取り方に依存する 　ある人Aさんが選んだ代表では、d番目としても 　別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？ 　じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？ 　　　・ 　　　・ 　あんたの数学は、属人的な数学かい？？ ばか言っているんじゃないよ、時枝さん 833 名前：１３２人目の素数さん [2020/03/28(土) 22:40:03.06 ID:+ARtdTH+.net] >>761 >２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという だから箱を特定したらならないと何度言えば おまえ脳に障害あるだろ >ばか言っているんじゃないよ、時枝さん 馬鹿はおまえだよ瀬田 834 名前：１３２人目の素数さん [2020/03/29(日) 00:23:11 ID:ReTOy/u3.net] >>761 ＞d番目って、代表の取り方に依存する ＞ある人Aさんが選んだ代表では、d番目としても ＞別の人Bさんが選ぶ代表では、ｄ’番目(ｄ’≠d)になる？ ＞じゃ、また別の人Cさんが選ぶ代表では、ｄ’’番目(ｄ’’≠ｄ’≠d)になる？？ 「決定番号∞」の誤りを指摘されて諦めたと思ったら 今度は「選択関数は１つじゃない！」ですか？ 何人居ても選択関数は１つに決めるほうが当たる わざわざ変えて損する馬鹿はいませんよ ∞の件も同じ　R^Nだから当たるんで、 R^(N∪{∞})に並べ替えて損する馬鹿はいませんよ 835 名前：１３２人目の素数さん mailto:sage [2020/03/29(日) 01:24:32 ID:AAFtJXqL.net] >>761 > その1つ以外の箱の数当て確率は どうなる？ 箱に入れる数字は実数であるとして Aさんはサイコロを振って箱に入れる数字を決めて数列を出題する Bさんは袋に入っている数列をランダムに選んで出題する さて Aさんはサイコロを振って数列snを1つ作って出題することにする またその数列snだけが入った袋をBさんに渡す Bさんは袋から数列を選んで出題する s1, s2, ... , Xi, ... Xi = siである確率は1 回答者はどのような数列も自分が数当てに用いる袋の中の代表元の 先頭から有限個が変更されたものであると考える 箱の数当て確率は先頭から0がならび決定番号以降は1がならぶ 0, 0, ... , 0, 1, 1, ... , 1, ... 自分が数当てに用いる袋の中の代表元であるから 数列ごとに決定番号が定まる 836 名前：１３２人目の素数さん [2020/03/29(日) 09:49:02.91 ID:ReTOy/u3.net] https://rio2016.5ch.net/test/read.cgi/math/1582883006/518-520 匿名でも誰が書いたかわかるもんだな でもハンドル名要らないから 匿名なら生暖かく見守るだけ 837 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/29(日) 09:57:36 ID:PhmwLbdr.net] >>765 おまえの勝手だが おまえはIUTについて語れるレベルに達していないことは明白だよｗ 838 名前：１３２人目の素数さん [2020/03/29(日) 10:02:35 ID:YiV+QH7u.net] >>766 おまえの勝手だが おまえは箱入り無数目について語れるレベルに達していないことは明白だよｗ 839 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/29(日) 10:12:05 ID:PhmwLbdr.net] >>761 (引用開始) １．大学確率論で、普通にiid(独立同分布)を考えれば、 　箱にサイコロの目を入れるとして、 　P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6) ２．ところで、時枝さんは、あるd番目の箱Xdの確率がP=1-εになるという 　じゃ、その1つ以外の箱の数当て確率は どうなる？ 　iid(独立同分布)通り、P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6)だと？ 　バカ言ってるんじゃない ３．d番目って、代表の取り方に依存する (引用終り) ここ、補足しておくと ・箱にサイコロの目を入れるとして ・iid（独立同分布）と考えて、1つの箱の数当ては、確率P＝1/6 ・時枝は、あるd番目の箱の的中確率がP＝1-εに出来るという 　全くバカげた話で、そもそも確率P＝1/6と確率P＝1-εと2つの確率になることがおかしい ・時枝理論では、d番目の箱以外については、何も言えない！ 　だったら、本来の確率論通りで、iid（独立同分布） 箱の数当て 確率P＝1/6 でしょ ・代表の取り方を変えれば、d→d’で、d’番目の箱の的中確率がP＝1-εになる 　そのとき、もとのd番目の箱はどうなる？ 確率P＝1/6と確率P＝1-εと2つの確率になるよね ・そして、代表の取り方をどんどん変えれば、d,d’,d’’,d’’’',d’’’’・・・・ と、おかしな箱が増えていく ・極 840 名前：論すれば、可算無限の箱全部がそうなる可能性がある 　それって、完全に 大学教程の確率論と矛盾だ QED (゜ロ゜； [] [ここ壊れてます] 841 名前：１３２人目の素数さん [2020/03/29(日) 10:22:45.04 ID:YiV+QH7u.net] >>768 >・時枝は、あるd番目の箱の的中確率がP＝1-εに出来るという おまえは大脳に障害があるの？ 時枝はそんなこと言ってないと何度言えば分かるの？ >　全くバカげた話で バカげてるのはおまえの妄想であって時枝ではない 842 名前：１３２人目の素数さん [2020/03/29(日) 10:34:06 ID:YiV+QH7u.net] 瀬田はとうとう頭がおかしくなったのか？ 妄想が尋常じゃないんだが まあ前からだけどｗ 843 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/29(日) 11:16:59 ID:PhmwLbdr.net] >>749 (引用開始) ２．従って、自然数N全体からnをランダムに選ぶと、確率 P(n<=d')＝0 　（もっとも、これは正統な確率計算ではない ∵ 自然数Nの一様分布は、正則分布ではない ３．なお、時枝記事では、実は、我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない 　　にも関わらず、決定番号dを選ぶことができるが如く錯覚させている (引用終り) 決定番号dの分布について、補足説明する １．問題の数列 X：X1,X2,・・,Xd-1,Xd,Xd+1,・・ において 　その同値類の 代表列を rX：r1,r2,・・,rd-1,Xd,Xd+1,・・ 　とする(rd-1≠Xd-1とする) 　この場合、しっぽ Xd,Xd+1,・・が一致し、rd-1≠Xd-1だから、時枝の決定番号はdだ ２．いま、箱にq面サイコロを作って、1〜qの整数を入れるとする 　・d=1となる 代表列rXは、1個しかない（全ての数が一致） 　・d=2となる 代表列rXは、q-1個（2番目以降のしっぽの数が一致） 　・d=3となる 代表列rXは、(q-1)q個（3番目以降のしっぽの数が一致） 　・d=4となる 代表列rXは、(q-1)q^2個（4番目以降のしっぽの数が一致） 　・d=mとなる 代表列rXは、(q-1)q^(m-2)個（m番目以降のしっぽの数が一致） ３．もし、qが十分大きいなら、q-1≒qとして、d=mとなる 代表列rXは、q^(m-1)個 と書ける（以下この場合を扱う） ４．ここで、「我々は決定番号dを選ぶことができず、ただ代表列rXを選ぶしことしかできない」を思い出そう 　つまり、ある代表を選んで決定番号が仮に7だったとする 　しかし、8の代表はそのq倍多く、9の代表はそのq^2倍多く・・となる 　dは全ての自然数を渡るが、一様分布ではなく、裾の（指数関数的に)増大する分布になる ５．このように、決定番号dの大小については、正統な確率的な扱いができないことは、大学の確率論を学べば分かる ６．それを、数学的に説明したのが、過去のガロアスレ 確率論の専門家さんと ジムの数学徒さんのレスです（下記） QED （＾＾； （参考） ガロアスレ 20 wc2014.2ch.net/test/read.cgi/math/1466279209/ （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ） ガロアスレ 80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/ （31&271ご参照 ジムの数学徒さん ID:jmw8DMZb） 844 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/29(日) 12:00:38 ID:PhmwLbdr.net] >>771 さらに、補足説明する １）まず、有限長の数列を考えよう 　問題の数列 X：X1,X2,・・,Xd-1,Xd,Xd+1,・・Xh (hは有限整数) 　同値類の代表列を rX：r1,r2,・・,rd-1,Xd,Xd+1,・・Xh 　とする ２）上記同様、箱にq面サイコロを作って、1〜qの整数を入れるとする 　qは十分大きく、q-1≒qとする ３）上記>>771の通り d=mとなる 代表列rXは、q^(m-1)個 と書ける 　全体hまでの場合の数は、等比数列の和公式より 　Σm=1〜h {q^(m-1)} ＝ (q^h -1)/(q-1)・・(1) 　dまでの場合の数も、同様 　Σm=1〜d {q^(m-1)} ＝ (q^d -1)/(q-1)・・(2) ４）そこで、有限長の数列→可算無限長の数列 で 極限 h→∞ を考える 　決定番号が、数列の先頭部分で、有限d以下に収まる割合Lは 　上記(1)(2)を使うと 　L＝｛(q^d -1)/(q-1)｝/｛(q^h -1)/(q-1)｝ 　 ＝(q^d -1)/(q^h -1) 　ここで、dはある有限の定数で、極限 h→∞ をとると 　lim h→∞ L ＝lim h→∞ (q^d -1)/(q^h -1) ＝0 　つまり、Lは 指数関数的に0に近づく ５）このような分布を持つ 決定番号dの大小の確率は論じられない 　∵ 　１）可算無限長列では、決定番号dが有限の場合の割合は、0！！ 　２）決定番号dが有限の場合の割合が0の中で、d1,d2の大小を論じて確率計算をしても、無意味 QED ｗｗ（＾＾； （参考） https://www.kwansei.ac.jp/hs/z90010/sugakua/suuretu/touhisum/touhisum.htm 等比数列の和 - 関西学院大学 https://ja.wikipedia.org/wiki/%E7%AD%89%E6%AF%94%E6%95%B0%E5%88%97 等比数列 845 名前：１３２人目の素数さん [2020/03/29(日) 12:10:18.01 ID:YiV+QH7u.net] >>771 >５．このように、決定番号dの大小については、正統な確率的な扱いができないことは、大学の確率論を学べば分かる 決定番号は自然数だから任意の二つの決定番号 a,b は a>b, a=b, a<b のいずれか一つを満たす。 よって決定番号の大小比較に言いがかりをつけても無駄。 >６．それを、数学的に説明したのが、過去のガロアスレ 確率論の専門家さんと ジムの数学徒さんのレスです（下記） 違う。自称確率論の専門家は決定番号が非可測だから確率計算不能と主張した。 しかし時枝の確率は可測性を仮定していないのでまったく的外れ。 過去何度も説明した。おまえが理解できてないだけの話。 相変わらず馬鹿丸出し 846 名前：１３２人目の素数さん [2020/03/29(日) 12:13:11 ID:YiV+QH7u.net] >>772 >２）上記同様、箱にq面サイコロを作って、1〜qの整数を入れるとする >　qは十分大きく、q-1≒qとする え？ｗ　1≒2と言いたいの？ｗ　頭大丈夫？ｗ 847 名前：１３２人目の素数さん [2020/03/29(日) 12:16:34 ID:ReTOy/u3.net] >>770 もともと頭は良くなかった >>771 ジムの人は箱の中身が{0,1}の要素の場合で考えてたが むしろ閉区間[0,1]の要素の場合で考えたほうがよかった そうすれば 「どの箱も代表元と一致しない確率が1なのに 　無限個の箱がすべて代表元と一致しない確率は0」 という”無限族まるごと独立性”の否定に気づけた筈 >>772 ＞可算無限長列では、決定番号dが有限の場合の割合は、0！！ 誤り　 任意の自然数nについて　決定番号がn以下の確率は0だが そこから、決定番号が自然数となる確率が0、という結論は導けない ＞決定番号dが有限の場合の割合が0の中で、 ＞d1,d2の大小を論じて確率計算をしても、無意味 決定番号は必ず自然数となるから当然大小が比較できる 超準自然数でも全く同様　大小が比較できないというのは嘘 848 名前：１３２人目の素数さん [2020/03/29(日) 12:17:07 ID:YiV+QH7u.net] >>772 >　１）可算無限長列では、決定番号dが有限の場合の割合は、0！！ 定義により決定番号は自然数。どの自然数も有限。よって決定番号が有限の確率は１！！ 妄想もほどほどに 849 名前：１３２人目の素数さん [2020/03/29(日) 12:19:36 ID:ReTOy/u3.net] >>756で書いたこと 「箱入り無数目」の代表元は、確率変数の無限族の ”まるまるの”独立性を満たさない ・任意のnについて 　P(not(rXn＝Xn))=1 ・任意有限個のn_iについて 　P(∧not(rXn_i＝Xn_i))=1 しかし ・無限個のn_iについて 　P(∧not(rXn_i＝Xn_i))=0 なぜなら、not(rXn＝Xn)となるnは有限個だから 850 名前：１３２人目の素数さん [2020/03/29(日) 12:36:06.63 ID:YiV+QH7u.net] 瀬田の主張とその間違い 1.決定番号=∞だから大小比較はできない → 決定番号は自然数だから大小比較可能 2.ある箱の確率=1-εはiidと矛盾する → 時枝の確率はある箱の確率ではない これテンプレに貼っとけ 瀬田は一晩で忘れるようだから毎日拝めｗ 851 名前：１３２人目の素数さん [2020/03/29(日) 12:40:07.36 ID:YiV+QH7u.net] 時枝の主張は「勝つ確率≧1-ε」なのになんで瀬田は「ある箱が当たる確率≧1-ε」って誤解するんだろうね？馬鹿だから？ 852 名前：１３２人目の素数さん [2020/03/29(日) 12:48:29 ID:YiV+QH7u.net] 箱1〜箱100があります。そのうちアタリ箱は99個です。アタリ箱をひく確率は？ という話なのに、瀬田はどれか特定の箱だけ99/100になるのはおかしいと主張。 馬鹿としか言い様が無い。 853 名前：１３２人目の素数さん [2020/03/29(日) 12:53:18 ID:ReTOy/u3.net] >>780 ＞箱1〜箱100があります。そのうちアタリ箱は99個です。 実は上記は確率論抜きで成り立つ定理 したがっていくら「確率論が」といっても無駄 無理に否定しようとすると 「無限列と代表元の中身が食い違う項はたかだか有限」 という点を否定してしまい、尻尾の同値関係と矛盾することになる 決定番号∞はその典型例 854 名前：１３２人目の素数さん [2020/03/29(日) 13:16:23 ID:ReTOy/u3.net] https://rio2016.5ch.net/test/read.cgi/math/1582599485/25 南堂久史がトンデモだと気づかない人に数学は無理 855 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/29(日) 13:35:07 ID:PhmwLbdr.net] >>782 どうも。スレ主です。 ありがとう おっちゃん も認識しているよ、それ（＾＾ （参考） 純粋・応用数学 https://rio2016.5ch.net/test/read.cgi/math/1582599485/26 26 名前：１３２人目の素数さん[sage] 投稿日：2020/03/29(日) 13:09:57.11 ID:JlXmRJZe おっちゃんです。 >>26 区体論は、どちらかというとトンデモに分類されているようだ。 856 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/29(日) 15:17:54 ID:PhmwLbdr.net] >>772 補足 時枝の話は、可算無限数列を、形式的冪級数（の係数）で しっぽが一致 　↓ 式の次数が高い係数がすべて一致 におきかえると 問題の数列＝1つの形式的冪級数の 形式的冪級数環のしっぽの同値類 と考えることができて 分り易い 例えば下記 (なお、変数をｙとします（Xはすでに使っているため）) 問題の数列 X：X1,X2,X3,・・,Xd,Xd+1・・ 　↓ 形式的冪級数 FX＝X1+X2y+X3y^2・・ xd-1 y^(d-2)+Xd y^(d-1)+Xd+1 y^d・・ 代表列 rX：r1,r2,・・,rd-1,Xd,Xd+1,・・ 　↓ 形式的冪級数 FrX＝r1+r2y+r3y^2・・rd-1 y^(d-2)+Xd y^(d-1)+Xd+1 y^d・・ と、対応して書き直せる ここで、2つの式の差 857 名前： FX-FrX を考えると、係数がd番目Xdから後が一致しているので FX-FrX＝　・・・+0y^(d-1)+0y^d・・ としっぽの係数 d以降がすべて0になる多項式になる そして、同値類は、形式的冪級数のしっぽによる 多項式環の話に直せる つまり、決定番号は、多項式環の1つの式（＝同値類の元）の次数d-1に直せる*) （*)注：多項式環では、係数が0次の定数項から始まるので、次数との比較で1つ ずれる） この話は、過去にガロアスレにも書いたが、また 時間があるときに 書きます 形式的冪級数→多項式環→多項式の次数 という流れで考えると 時枝記事の（みせかけ）トリックが、よく分ります (参考) http://lupus.is.kochi-u.ac.jp/shiota/ 塩田研一 高知大学 理工学部 情報科学教室 http://lupus.is.kochi-u.ac.jp/shiota/misc/index.html 塩田研一覚書帳 http://lupus.is.kochi-u.ac.jp/shiota/misc/field/FieldTheory.html 体 ― 塩田研一覚書帳 ― p 進体 p 進付値（ふち） 有限次代数体の素イデアル p についても p 進距離を考えることができます。 また体 F 上の一変数関数体 F(x) においては、例えば x が素数の役割を果たして付値が定義でき、 その完備化は形式的べき級数体 F((x)) になります。 Qp の中で |x|p≦1 を満たす元 x を p 進整数と呼び、 p 進整数全ての集合を Zp と表します。 http://lupus.is.kochi-u.ac.jp/shiota/misc/field/FiniteField.html 有限体 ― 塩田研一覚書帳 ― [] [ここ壊れてます] 858 名前：１３２人目の素数さん [2020/03/29(日) 15:35:17 ID:YiV+QH7u.net] >>784 >形式的冪級数→多項式環→多項式の次数 という流れで考えると >時枝記事の（みせかけ）トリックが、よく分ります 分からない、というか何も言えてないｗ 環を持ち出す意味が無いｗ 馬鹿丸出しｗ 859 名前：１３２人目の素数さん [2020/03/29(日) 15:40:18 ID:YiV+QH7u.net] でトリックって何なの？ 決定番号が有限の確率=０がトリック？ いいえ、決定番号は自然数であり、どの自然数も有限なので、決定番号が有限の確率=１です トリック詐欺ｗ 860 名前：１３２人目の素数さん [2020/03/29(日) 16:15:53 ID:ReTOy/u3.net] >>784 >形式的冪級数 無駄だね 端的にいえば、自然数の集合でいい で、自然数の集合S1,S2について、 共通集合S1∩S2以外の要素が S1-(S1∩S2)、S2-(S1∩S2)とも 有限個ならば同値 で、決定番号は、相違する要素の最大値+1 つまり、そこから先は皆共通要素 決定番号が∞ってことは 決定番号が自然数として存在しないことだから S1-(S1∩S2)、S2-(S1∩S2)のいずれかが 無限集合ってことで、S1とS2は同値でない これで愚者ハッタリ君が、同値関係と決定番号を 全然理解できてないことが丸わかりだね 861 名前：１３２人目の素数さん [2020/03/29(日) 16:22:29 ID:ReTOy/u3.net] >>786 ＞決定番号が有限の確率=０がトリック？ まず>>784の自然数の集合で考えた場合 有限集合は空集合と同値 逆に空集合と同値なものは有限集合に限られる したがって、もし空集合と同値な集合Sをもってきて Sの決定番号が∞だとしたら、 Sは無限集合であって、空集合と同値ではない ということになる な、わかりやすいだろ？ 862 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/03/30(月) 07:14:23 ID:BDQGXRW7.net] おサルたち 壊れたレコードのように、訳の分からん、同じような寝言の繰り返しか おまいら、詰んでいるよ 863 名前：１３２人目の素数さん [2020/03/30(月) 10:24:56.73 ID:TAyiOCxP.net] 大学一年の4月で落ちこぼれた瀬田は時枝を読む学力レベルに達してないってことさ 864 名前：現代数学の系譜 雑談 mailto:sage [2020/03/30(月) 13:43:32.99 ID:zICzxEKY.net] おれは名前の議論はしない だれか他人に迷惑がかかるといけないからね だが、別に正しいのは明らかにおれで 間違っているのは、おサルたち 実名が判明しても、なんら困らん 困るのは、おまいらサルだよ 865 名前：１３２人目の素数さん [2020/03/30(月) 13:56:24.30 ID:TAyiOCxP.net] >>681 >１．しっぽの同値類は可能 >２．決定番号を決めることは可能 決定番号は自然数である。　Y/N {d(s^i)|i∈{1,2,...,100}}:=Mは、100個の（重複を許す）自然数の集合である。　Y/N Mは全順序 866 名前：集合である。　Y/N Mは最大元を持つ。　Y/N Mの最大元は1個または複数個である。　Y/N Mの単独最大元は1個または０個である。　Y/N k∈{1,2,...,100} をランダム選択したとき、d(s^k)がMの単独最大元である確率は1/100以下である。　Y/N P(s^k(D)=r^k(D))≧99/100（但しD:=max{d(s^i)|i≠k}）　Y/N >３．しかし、確率計算は正当化できない は誤りである。　Y/N [] [ここ壊れてます] 867 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/30(月) 15:21:41 ID:zICzxEKY.net] もういいだろう アホな質問に答えても サルに餌を与えるようなものだからｗ(゜ロ゜; 868 名前：１３２人目の素数さん mailto:sage [2020/03/30(月) 15:25:48 ID:KP/93ZLk.net] 自分から時枝記事の話題を再燃させたくせに、 反論できなくなると「もういいだろう。サルの相手はここまでだ」 バカにつける薬はないねｗ 結論：時枝記事は正しい 869 名前：１３２人目の素数さん [2020/03/30(月) 17:16:07.02 ID:TAyiOCxP.net] >>793 瀬田逃亡ｗ 間違いを認められるようにならないと生涯ピエロのままだぞ？ｗ 870 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/30(月) 18:30:10 ID:zICzxEKY.net] >>794 ほざいてろ、アホサル おまいら、当初は このスレに来ない予定だったんじゃね？ｗ(゜ロ゜; >>795 おれは、おまいら無視して、時枝を書くからよ おまいらも勝手にかけよ そもそも５Chなんて、そういう板でしょ みんな、自由にやろうぜｗｗ（＾＾； 871 名前：１３２人目の素数さん [2020/03/30(月) 18:59:10 ID:TAyiOCxP.net] >>796 瀬田なんかいつもと違うな　 間違いに気づいて動揺してんのか？　落ち着いて涙拭けよ そもそもおまえが悪いんだぞ？　 こっちは何年も前から教えてやってるのに、おまえが聞く耳持たなかっただけの事なんだから 872 名前：１３２人目の素数さん [2020/03/30(月) 19:07:22 ID:TAyiOCxP.net] >>796 >そもそも５Chなんて、そういう板でしょ 5ちゃんを程度の低い板と自分に言い聞かせることによって、4年以上間違い続けた自分の自我を保とうとしてるんですね？ 分かります 873 名前：１３２人目の素数さん [2020/03/30(月) 19:29:33 ID:S2UibJYq.net] >>789 >壊れたレコードのように、訳の分からん、同じような寝言の繰り返し ・「箱の中身は定数」なのに「iid(独立同分布)を仮定する」と言い張る ・「的中する箱の選択確率」なのに「あるd番目の箱の的中確率」と言い張る ・「決定番号がd以下の割合0」から「決定番号dが有限の場合の割合は0」と誤った推論 ♪詰んでるね　逝ってるね https://www.youtube.com/watch?v=j95hpT_w4ZQ 874 名前：１３２人目の素数さん [2020/03/30(月) 19:30:14 ID:S2UibJYq.net] >>793 　　　　　　　　　　　　　　,,,,,,,,,,,,,,,,,,,, 　　　　　　　　　　　　 ／": : : : : : : : ＼ 　　　　　　　　　　　/-─-,,,_: : : : : : : : :＼ 　　　　　　　　　　/　　　　　'''-,,,: : : : : : : :i 　　　　　　　　　 /、　　　　　　/: : : : : : : : i　　　　　＿＿＿＿＿＿＿＿ 　　　　　　　　　r-、 ,,,,,,,,,,、　/: : : : : : : : : :i　　　 ／ 　　　　　　　　　L_,　,　　 、　＼: : : : : : : : :i　　 ／　答えたら負け 　　　　　　　　 /−) (−>　　　|: :__,=-、: /　＜　　　と思ってる 　　　　　　　　l ｲ　 '-　　　　　|:/　tbﾉﾉ　　　　＼ 　　　　　　　　l ,`-=-'＼　　　　 `l ι';/　　　　　 ＼ 　セタ（６０代・男性） 　　　　　　　　ヽﾄｪ-ｪｪ-:）　　　 　-r'　　　　　　　　　￣￣￣￣￣￣￣￣ 　　　　　　　　　ヾ＝-'　　　　　／ / 　　　　　＿＿＿_ヽ::::...　　　／ ::::| 　　／￣　::::::::::::::l　`──''''　　 :::| 875 名前：１３２人目の素数さん [2020/03/30(月) 19:33:30 ID:TAyiOCxP.net] 瀬田がバカなのはもうとっくにバレバレなんだから間違いを認めちまえよ 楽になるぞ？ 876 名前：１３２人目の素数さん [2020/03/30(月) 19:58:11 ID:S2UibJYq.net] >>796 このスレッドも次はないな 立てたら速攻で削除 877 名前：１３２人目の素数さん [2020/03/30(月) 20:05:31 ID:S2UibJYq.net] >>792 ＞決定番号は自然数である。 セタ「エェェェェェヌ！！！」 （完） 878 名前：現代数学の系譜 雑談 mailto:sage [2020/03/31(火) 09:48:42.74 ID:YIE+6BeO.net] >>800 でましたね おサル お得意のAA あほ丸出し おれは他のスレが忙しくなったので しばらく来ないかも それまでしっか 879 名前：り、踊ってろ [] [ここ壊れてます] 880 名前：１３２人目の素数さん mailto:sage [2020/03/31(火) 12:41:32 ID:IVZo+4KA.net] 自分から時枝記事の話題を再燃させたくせに、 反論できなくなると「忙しくなったから、しばらく来ない」 バカにつける薬はないねｗ 結論：時枝記事は正しい 881 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/03/31(火) 13:32:19 ID:YIE+6BeO.net] あほ丸出し キチガイの妄想に反論する必要などない おサルは分かってない 分かってないおサルに教える必要もない 882 名前：１３２人目の素数さん mailto:sage [2020/03/31(火) 14:06:42 ID:IVZo+4KA.net] 忙しいと言いつつ、すぐに反応ｗ 結局、忙しいなんてウソであり、単に反論できなくなっただけｗ 自分から時枝記事の話題を再燃させたくせに、 反論できなくなると「キチガイの妄想に反論する必要などない 」 バカにつける薬はないねｗ 結論：時枝記事は正しい 883 名前：１３２人目の素数さん [2020/03/31(火) 14:50:01 ID:IBxpSYhd.net] 瀬田よ、これ以上恥を上塗るな。 いいじゃん、バカで。もうみんな判ってるよ。いまさら見栄張るなよ。認めちまえ、楽になるぞ？ ま、これに懲りたら人の話に聞く耳を持つことだ、でないと一生ピエロのままだぞ。 884 名前：mara papiyas ◆y7fKJ8VsjM [2020/03/31(火) 19:26:47 ID:wL5WZYpe.net] >>804 Mr.Seta is exiled to Crelle thread! https://rio2016.5ch.net/test/read.cgi/math/1582599485/ 885 名前：mara papiyas [2020/03/31(火) 19:34:27.27 ID:wL5WZYpe.net] Mr.Seta get fucked by big mara. 886 名前：１３２人目の素数さん mailto:sage [2020/03/31(火) 21:10:29 ID:IWVIdgjU.net] 【速報】東京都が #新型コロナウイルス 感染症死亡者数を過少評価か、 「例年より少ない」とされていたインフルエンザ関連死が急増＝国立感染症研究所 https://www.niid.go.jp/niid/ja/flu-m/2112-idsc/jinsoku/1852-flu-jinsoku-7.html … コロナで死んだのインフルに振り替えてるんじゃまいか こういうニュースが出てくる時点で隠蔽はもう無理 おそらくパンデミックは避けられないと思うね 887 名前：CIA [2020/04/01(水) 07:29:50.25 ID:b6rmcN1+.net] https://rio2016.5ch.net/test/read.cgi/math/1582599485/63-64 888 名前：CIA [2020/04/01(水) 07:33:28.85 ID:b6rmcN1+.net] rio2016.5ch.net/test/read.cgi/math/1577401302/309 889 名前：１３２人目の素数さん [2020/04/01(水) 12:57:32 ID:U41p3z0c.net] 【定義】決定番号 「sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す. 」 数列は自然数で付番されているので決定番号は自然数である。 そしてそのことを認めるなら自動的に >>３．しかし、確率計算は正当化できない >は誤りである。　Y/N も認めるしかない。瀬田完全敗北。 瀬田の4年間は敗北の歴史 890 名前：１３２人目の素数さん [2020/04/01(水) 13:14:59 ID:7MztWasM.net] 連続と離散を統一した！ ttp://x0000.net/topic.aspx?id=3709-0 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net 891 名前：CIA [2020/04/01(水) 14:56:35 ID:b6rmcN1+.net] rio2016.5ch.net/test/read.cgi/math/1582599485/65 数学に限らず、知力の無い者の発言は、名前の有無に関わらず、全く無意味 892 名前：CIA [2020/04/01(水) 14:59:11 ID:b6rmcN1+.net] rio2016.5ch.net/test/read.cgi/math/1577401302/311-312 893 名前：CIA [2020/04/01(水) 16:42:24 ID:b6rmcN1+.net] rio2016.5ch.net/test/read.cgi/math/1582599485/66 ■プール＝エルとクリプキの定理 　１９６０年代，プール＝エルとクリプキは， 　”算術を含むどんな理論も，字面だけ見ればみんな同型になっている” 　というすごい定理を発見した． 　不完全性定理の最強バージョンともいえるこの結果には， 　さすがのゲーデルも驚いたらしい． https://sites.google.com/site/sendailogichomepage/files/ref/ref_06 894 名前：CIA [2020/04/01(水) 22:52:11 ID:b6rmcN1+.net] rio2016.5ch.net/test/read.cgi/math/1582599485/69-72 895 名前：CIA [2020/04/02(Thu) 05:22:53 ID:vaZakOcE.net] rio2016.5ch.net/test/read.cgi/math/1584625377/795 ○○○○注意報発令 896 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/02(Thu) 07:33:12 ID:kD9YEDnI.net] （転載ｗ（＾＾） 0.99999…… 897 名前：は１ではない　その７ https://rio2016.5ch.net/test/read.cgi/math/1584625377/795 795 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/04/01(水) 23:19:10.15 ID:RqQA8SNl [2/2] １）ここに1個の箱がある。任意の数を入れる。箱を開けずに、当てる方法なし ２）ここにn個の箱がある。任意の数を入れる。iid(独立同分布)を仮定する。箱を開けずに、当てる方法なし！！ ３）n→∞の極限を考える。任意の数を入れる。iid(独立同分布)を仮定する。箱を開けずに、当てる方法なし！！ 　当たり前 ４）時枝記事は、n→∞の極限を考えると、ある1つの箱、k番目として、箱を開けずに、確率1-εで的中できるという 　iid(独立同分布)を仮定しているのに 　アホでしょ、それｗｗ（＾＾； [] [ここ壊れてます] 898 名前：１３２人目の素数さん [2020/04/02(木) 08:08:23.84 ID:xC7jufjA.net] 糞ほどの価値も無いレスを後生大事にｗ　さすがピエロｗ 899 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/04/02(Thu) 09:59:39 ID:XDgVHU54.net] >>822 わらえる これ >>821 一発で、おまいらおサル即死じゃんｗ(゜ロ゜; 900 名前：１３２人目の素数さん [2020/04/02(Thu) 10:09:26 ID:xC7jufjA.net] >>823 なんで？ 901 名前：CIA [2020/04/02(木) 10:16:30.93 ID:vaZakOcE.net] >>821 ＞時枝記事は、n→∞の極限を考えると、ある1つの箱、k番目として、 ＞箱を開けずに、確率1-εで的中できるという ＞iid(独立同分布)を仮定しているのに 時枝記事の誤読 箱の中身が確率変数でiidかつ一様分布とした場合 k番めの箱を選んだ条件での確率は1-εではなく0 但し、上記の結果から時枝記事の方法での的中確率を0と導くことはできない 902 名前：CIA [2020/04/02(木) 10:18:44.99 ID:vaZakOcE.net] >>823　 観察対象◆e.a0E5TtKE コロナウイルス感染により死去 903 名前：現代数学の系譜 雑談 mailto:sage [2020/04/02(木) 10:25:37.33 ID:XDgVHU54.net] >>826 あ、そのギャグ面白い （＾＾； 904 名前：１３２人目の素数さん [2020/04/02(木) 10:25:55.25 ID:xC7jufjA.net] ピエロ瀬田　はやく>>792に答えてね 905 名前：CIA [2020/04/02(Thu) 10:29:55 ID:vaZakOcE.net] >>827 ◆e.a0E5TtKEの"幽霊"による反数学的荒らし行為に対し警戒 906 名前：CIA [2020/04/02(木) 10:49:58.82 ID:vaZakOcE.net] 4/1 rio2016.5ch.net/test/read.cgi/math/1582599485/74-76 4/2 rio2016.5ch.net/test/read.cgi/math/1582599485/78 rio2016.5ch.net/test/read.cgi/math/1582599485/80-81 ”クレレ”スレッドにおける活動については観察のみにとどめ 観察対象に対する積極的な働きかけを行わないこととする 907 名前：現代数学の系譜 雑談 mailto:sage [2020/04/02(木) 15:47:40.26 ID:XDgVHU54.net] >>821 思いついたので、メモをしておく １．時枝記事（>>370-）が正しいとすると ２．可算無限の列を、mod100で 100列に並べ替えて ３．決定番号 d1,d2,・・,d100ができる ４．ある列を選ぶ、di とする(1<= i <=100) ５．平均的には、di の大きさは およそ50番目だ（d1,d2,・・,d100の中央値が存在するとして、およそ中央値） ６．i番目の列を開けて、diを知り、残りの99列については、di+1を開けて、各同値類と代表を知り、各代表のd番目＝各列のd番目 で およそ50個の箱が的中できることになる（時枝記事の通り） ７．mod100→mod n とできるので (ここにnは、100以上の任意自然数と出来る （ｎは大きい方が面白いので100以上とした）)、およそn/2個の箱が的中できることになる ８．nはいくらでも大きくできるので、多くの箱について、箱を開けなくても、箱の中の数が的中できることになるぞ これって、アホでしょ、時枝先生ｗｗ よって、背理法で時枝記事は不成立！！ QED ｗ（＾＾ 908 名前：１３２人目の素数さん [2020/04/02(木) 16:37:31.86 ID:xC7jufjA.net] >>831 iの選び方次第では全く当たらないこともある。 iの選び方と当たり易さについて何も言ってないのでまったくのナンセンス。 しかも仮に50%当たるとして nを増やせば当たる箱がいくらでも増やせるが、同時に当たらない箱も増える。 バカ丸出しｗ >これって、アホでしょ、時枝先生ｗｗ アホは瀬田だよｗｗ 909 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/04/02(Thu) 17:54:52 ID:XDgVHU54.net] >>831 > ７．mod100→mod n とできるので (ここにnは、100以上の任意自然数と出来る （ｎは大きい方が面白いので100以上とした）)、およそn/2個の箱が的中できることになる > ８．nはいくらでも大きくできるので、多くの箱について、箱を開けなくても、箱の中の数が的中できることになるぞ >これって、アホでしょ、時枝先生ｗｗ >よって、背理法で時枝記事は不成立！！ これ分からないやつ、相当数学のセンスないよね（アホのアホ）ｗｗ １．nを国家予算レベルの100兆としましょうか？ 　都合で、n=200兆とすると、n/2＝100兆＝1x10^12 の 的中になる ２．一方、箱にサイコロ1個を振って、その目を入れる。１個の的中確率1/6だが 　100兆個当たるなら、その確率は P=1/6^(10^12) ｗｗ ３．およそn/2個の箱→およそn/k個の箱 ( 2 < k ) とできるから、100兆個当てたいなら 　n＝kx100兆 とかに、増加すれば良いだけのこと ４．また、nは100兆に限定されないから、100兆の二乗、三乗、・・n乗 とできるよね 　それって、おかしいよねｗ これ分からないやつ、相当数学のセンスないよね（アホのアホ）！ ｗｗ（＾＾； 910 名前：１３２人目の素数さん [2020/04/02(Thu) 18:56:23 ID:xC7jufjA.net] 間違った前提・推論に基づいて時枝を否定しようとしてもアホなだけですよ？ そんなのはいいから早く>>792に答えてね 911 名前：１３２人目の素数さん [2020/04/02(Thu) 19:12:19 ID:xC7jufjA.net] 決定番号が無限大とか言っちゃうやつ、相当数学のセンスないよね（アホのアホ）！ ｗｗ（＾＾； 912 名前：CIA [2020/04/02(Thu) 19:18:13 ID:vaZakOcE.net] >>831 >ある列を選ぶ、di とする(1<= i <=100) >平均的には、di の大きさは およそ50番目だ >（d1,d2,・・,d100の中央値が存在するとして、およそ中央値） 平均値＝中央値＝最頻値　とはいえない 例えば対数正規分布の場合 最頻値＜中央値＜平均値 https://ja.wikipedia.org/wiki/%E5%AF%BE%E6%95%B0%E6%AD%A3%E8%A6%8F%E5%88%86%E5%B8%83 913 名前：CIA [2020/04/02(Thu) 19:18:49 ID:vaZakOcE.net] >>831 >i番目の列を開けて、diを知り、残りの99列については、di+1を開けて、各同値類と代表を知り、 >各代表のd番目＝各列のd番目 で およそ50個の箱が的中できることになる 記事の文章が正しく読めていない 「箱入り無数目」記事の文章 「さて， 1〜100 のいずれかをランダムに選ぶ. 　例えばkが選ばれたとせよ. 　・・・ 　第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける. 　第k列の箱たちはまだ閉じたままにしておく. 　開けた箱に入った実数を見て，代表の袋をさぐり， 　 S^1〜S^(k-l),S^(k+l)〜S100の決定番号のうちの最大値Dを書き下す. 　いよいよ第k列 の(D+1) 番目から先の箱だけを開ける」 １．「選んだ列の箱を全部開ける」　は全くの誤り 　　「選んだ列以外の箱を全部開ける」　が正しい ２．「選んだ列の決定番号をdとして、選んだ列以外のd+1番目以降の箱を開ける」　は誤り 　　「選んだ列以外の決定番号の最大値をDとして、選んだ列のD+1番目以降の箱を開ける」　が正しい D<d（つまり選んだ列の決定番号が単独最大値）となる確率はたかだか1/100 したがって　負ける確率はたかだか1/100 914 名前：CIA [2020/04/02(Thu) 19:22:13 ID:vaZakOcE.net] >>833 >>836　>>837を読め 915 名前：CIA [2020/04/02(Thu) 20:06:52 ID:vaZakOcE.net] 全てはこの日　始まった 現代数学の系譜11 ガロア理論を読む17 314 ：１３２人目の素数さん：2015/12/20(日) 11:37:12.83 ID:d5oIGObW https://wc2014.5ch.net/test/read.cgi/math/1448673805/314 318 ：現代数学の系譜11 ガロア理論を読む：2015/12/20(日) 14:05:10.43 ID:saIApgKR https://wc2014.5ch.net/test/read.cgi/math/1448673805/318 ちなみに12/20はMara Papiyasが愛してやまないBABYMETALの Vocal 　SU-METALの生誕日である 916 名前：CIA [2020/04/02(Thu) 20:12:48 ID:vaZakOcE.net] The One https://www.youtube.com/watch?v=TZRvO0S-TLU この動画は、2015/12/13の横浜アリーナのライブのもの その日、実際にそこにいたので間違いない 917 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/02(Thu) 21:08:32 ID:kD9YEDnI.net] >>833 追加 >>これって、アホでしょ、時枝先生ｗｗ >>よって、背理法で時枝記事は不成立！！ >これ分からないやつ、相当数学のセンスないよね（アホのアホ）ｗｗ さらに、アホな事象を追加する 以前書いた 多元数の話（>>538,>>743）です １．時枝記事（>>370-）の数列のしっぽの同値類と決定番号は、箱に入れる数体系には依存しないのです 　しかし、99/100とか1-εに、数体系の依存性がないのは おかしい のです（＾＾ ２．まず、普通のサイコロの目 Ω={1,2,3,4,5,6} 1つの目の的中確率 Ｐ＝1/6 （なお、コイントスなら Ｐ＝1/2 ） ３．ｎ面サイコロ Ω={1,2,・・,n} 1つの目の的中確率 Ｐ＝1/n ４．n→∞ で Ω={1,2,・・,n・・}（=N(自然数)） 1つの目の的中確率 Ｐ＝1/∞（可算無限） ５． [0,1] 上の一様分布 Ω={ 0 以上 1 以下の実数全体 } 1つの目の的中確率 Ｐ＝0 （∵ルベーグの零集合（1/∞（非可算）とも考えら 918 名前：れる）） 　（下記ご参照） ６．Ω={ 実数R全体 } 1つの目の的中確率 Ｐ＝0 （∵ルベーグの零集合＆1/R（範囲が-∞から+∞ の1次元であることを 記号の濫用で1/Rとした）） ６．Ω={ 複素数Z全体 } 1つの目の的中確率 Ｐ＝0 （∵ルベーグの零集合＆1/R^2（同上 Rの2次元）） ７．Ω={ n次多元数全体 } 1つの目の的中確率 Ｐ＝0 （∵ルベーグの零集合＆1/R^n（同上 Rのn次元）） という具合で、コイントス P=1/2からサイコロ 1/6・・1/n・・1/∞（可算）,1/∞（非可算）,・・1/R^n（Rのn次元） と、どんどん当たらなくなるのに、「時枝理論では、標本空間Ωの変化が全く反映されない」！ これは明らかにおかしい ！！ 要するに、時枝理論はデタラメってことです！ QED (゜ロ゜； （参考） https://mathtrain.jp/probspace 高校数学の美しい物語 確率空間の定義と具体例（サイコロ，コイン）最終更新:2015/11/06 (抜粋) 確率空間とは 確率空間とは (Ω,F,P) の三つ組のことを言います。 ただし， ・Ω は集合 ・F は Ω の部分集合族（σ -加法族） ・P は F から実数への非負関数（確率測度） つづく [] [ここ壊れてます] 919 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/02(Thu) 21:09:02 ID:kD9YEDnI.net] >>841 つづき これだけだとよく分からないと思うので，以下で一つずつ解説していきます。 とりあえず「測度論的確率論では，確率を議論するときには確率空間というものの上で考える。そして，確率空間は3つの物のセットのことを表す」と覚えておいて下さい。 標本空間 Ω まずは標本空間 Ω についてです。確率を考える土台となる集合です。 例1 普通のサイコロ Ω={1,2,3,4,5,6} 本当は Ω の各要素を「1 の目」「2 の目」などと書くべきですが「の目」は省略しています。 例3 [0,1] 上の一様分布（ランダムに 0 から 1 の間の実数を返すモデル） Ω={ 0 以上 1 以下の実数全体 } ・Ω のことを標本空間と言います。 ・Ω の各要素は根元事象と呼ばれます。 ω と書くことが多いです。 (引用終り) 以上 920 名前：１３２人目の素数さん [2020/04/02(Thu) 22:07:33 ID:xC7jufjA.net] >>841 >これは明らかにおかしい ！！ ぜんぜん >要するに、時枝理論はデタラメってことです！ デタラメなのは時枝戦略を当てずっぽう戦略として扱う瀬田ですね 921 名前：１３２人目の素数さん [2020/04/02(Thu) 22:12:36 ID:xC7jufjA.net] >>841 >さらに、アホな事象を追加する アホなレスを追加しても無意味ですよ〜 そんなのはいいから早く>>792に答えてね 922 名前：CIA [2020/04/03(金) 01:35:18 ID:2nZLtvFr.net] rio2016.5ch.net/test/read.cgi/math/1582599485/83-86 rio2016.5ch.net/test/read.cgi/math/1582599485/87-96 923 名前：CIA [2020/04/03(金) 01:40:04 ID:2nZLtvFr.net] >>841 >「時枝理論では、標本空間Ωの変化が全く反映されない」！ そもそも箱入り無数目における標本空間の理解が間違っている 正しくはΩ＝{1,…,100}である 924 名前：１３２人目の素数さん [2020/04/03(金) 01:58:45 ID:h8W4tjFC.net] >>846 >正しくはΩ＝{1,…,100}である その通りですね。記事に「さて， 1〜100 のいずれかをランダムに選ぶ.」と書かれてますから。 逆に瀬田のΩは完全に妄想ですね、記事のどこにもそのようなΩは書かれてませんから。 925 名前：CIA [2020/04/03(金) 02:17:28.39 ID:2nZLtvFr.net] >>847 ID:h8W4tjFC氏へ 数学板安全保障会議（MBSC)では、 反数学スレッドの撲滅 親数学スレッドの樹立 を進めている 当スレッドは反数学スレッドと認定されている 数学セミナー記事「箱入り無数目」に関しては 新たに親数学勢力によりスレッドが立てられる ことが望ましい ついては貴殿にスレッドの樹立を求める その際、以下の３条件を満たしていただきたい １．名称を以下の通りとし、番号はつけない 　　【数セミ】箱入り無数目【時枝正】 ２．上記スレッドの1の文章は以下の通りとすること 　　数学セミナー2015年11月号の 　　時枝正氏の記事「箱入り無数目」 　　について語るスレッド ３．テンプレートは過去スレッドのリンクのみ認める 926 名前：１３２人目の素数さん [2020/04/03(金) 02:24:13.20 ID:J9EgNFT7.net] CIAワロタ 927 名前：１３２人目の素数さん [2020/04/03(金) 02:24:44.51 ID:J9EgNFT7.net] でも分類はよいと思うよ 928 名前：１３２人目の素数さん [2020/04/03(金) 02:27:40 ID:J9EgNFT7.net] も 929 名前：しかしてCIAさんが今まで変なスレを削除してくれたのかも知れん ありがとうございます [] [ここ壊れてます] 930 名前：CIA [2020/04/03(金) 02:32:46 ID:2nZLtvFr.net] >>849 賛同有難う 数学板歌 https://www.youtube.com/watch?v=vPKp29Luryc 某国歌に酷似？ 気のせいだ！ 931 名前：１３２人目の素数さん [2020/04/03(金) 02:38:34 ID:J9EgNFT7.net] >>852 英語はわからないけど アメリカの国歌っぽいですねｗ 何か少しでも日米友好になれれば思います 932 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/03(金) 07:44:03 ID:DyKRdYgC.net] >>848 わろた〜ｗ（＾＾ それって、妄想すごくね？ CIA？　数学板安全保障会議（MBSC)？ なにそれｗ 統合の お薬飲んでますか〜〜！！ ｗｗｗ(゜ロ゜； 933 名前：１３２人目の素数さん [2020/04/03(金) 07:48:15 ID:kCiAK/6b.net] >>854 お前CIAなめんなよ 2ちゃんから5ちゃんに移行した意味を考えろ 管理人は外国人になったんだろ ネットはもともと軍事技術だ どんな統制・管理・監視をしているかを想像しろ ネット弁慶は終わりだ 934 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/03(金) 07:57:00 ID:DyKRdYgC.net] >>846-847 (引用開始) >正しくはΩ＝{1,…,100}である その通りですね。記事に「さて， 1〜100 のいずれかをランダムに選ぶ.」と書かれてますから。 逆に瀬田のΩは完全に妄想ですね、記事のどこにもそのようなΩは書かれてませんから。 (引用終り) アホなおサルが二匹かｗ 問題文も読めないおサル お情けで 少しだけ説明してやると 設問は下記引用の通りだよ ”私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.” です なので、>>841-842の設定のΩは、実数を入れる側の自由の範囲内です おサルのゴマカシは、人には通用しません！！ｗｗ (参考：>>370より) 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/50-51 (抜粋) 時枝問題（数学セミナー201511月号の記事） １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 935 名前：CIA [2020/04/03(金) 07:58:38 ID:2nZLtvFr.net] 今日は我々の情報操作について紹介しよう 現在、某島国の萌えブームにあやかり トンデモ萌死計画を企画中である ISISちゃん https://ja.wikipedia.org/wiki/ISIS%E3%81%A1%E3%82%83%E3%82%93 936 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/03(金) 07:58:42 ID:DyKRdYgC.net] >>855 ありがとさん 面白いギャグだな〜ｗ(゜ロ゜； 937 名前：CIA mailto:sage [2020/04/03(金) 08:08:23 ID:2nZLtvFr.net] >>856 問題文が読めてないのはTT(Tondemo Thread）の君 「さて， 1〜100 のいずれかをランダムに選ぶ. 　例えばkが選ばれたとせよ. 　s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 　第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける. 　第k列の箱たちはまだ閉じたままにしておく. 　開けた箱に入った実数を見て，代表の袋をさぐり， 　S^1〜S^(k-l),S^(k+l)〜S100の決定番号のうちの最大値Dを書き下す. 　いよいよ第k列 の(D+1) 番目から先の箱だけを開ける 　S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・. 　いま 　D >= d(S^k) 　を仮定しよう.この仮定が正しい確率は99/100， 　そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった. 　 938 名前：仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て 　代表r＝r(s~k) が取り出せるので　列r のD番目の実数r(D)を見て， 　 第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ， 　めでたく確率99/100で勝てる.」 出題前に箱を一つ決めてその中身を当てるのではない 出題誤に中身が代表元と一致する箱を選ぶ　これが正しい読解 [] [ここ壊れてます] 939 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/03(金) 08:11:53 ID:DyKRdYgC.net] >>854-855 >>857 CIAとか、数学板安全保障会議（MBSC)とか、ISISちゃん とか はっきり言って、逆効果だと思うぜ 墓穴でしょ、おサルたちの ｗ（＾＾； 940 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/03(金) 08:13:15 ID:DyKRdYgC.net] >>859 ＞出題誤に中身が代表元と一致する箱を選ぶ　これが正しい読解 意図してかどうか知らないが 面白い”誤変換”だなｗｗ（＾＾ 941 名前：CIA [2020/04/03(金) 08:18:50 ID:2nZLtvFr.net] CIAではTTの最低追随者(Infreme Follower)セタ（仮名）について目下調査中である 当人の発言によればN国にある国立O大学の工学部を卒業したとのことであるが 今のところ該当する人物は見つかっていない 942 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/04/03(金) 08:46:23 ID:DyKRdYgC.net] ピンチになると、複数のIDの使い分けか おサルも、ご苦労なこったな〜ｗｗ（＾＾； 943 名前：１３２人目の素数さん [2020/04/03(金) 08:57:46 ID:h8W4tjFC.net] >>856 >なので、>>841-842の設定のΩは、実数を入れる側の自由の範囲内です >おサルのゴマカシは、人には通用しません！！ｗｗ 箱にサイコロの目を入れてめくらで当てるなら1/6ですが、時枝記事のどこにもめくらで当てるなんて書かれてませんよ？ 瀬田のゴマカシは、文字が読める人には通用しません！！ｗｗ 944 名前：CIA [2020/04/03(金) 09:00:05 ID:2nZLtvFr.net] >>863 反数学活動に対する攻撃は数学板の総意 複数人が書き込みしているからIDも複数 たった一人だと思いたがってるのはTTのIF（最低追随者）だけ 945 名前：CIA [2020/04/03(金) 09:16:40 ID:2nZLtvFr.net] セタはたった２ページの「箱入り無数目」すらろくに読んでいない その証拠が>>831　誤りは>>837で指摘した 数学セミナーの記事の論理も追えないなら、 数学書を読んで理解することは到底不可能 946 名前：１３２人目の素数さん [2020/04/03(金) 11:13:24 ID:vSQ1+KEK.net] >>855 kCiA… 947 名前：１３２人目の素数さん [2020/04/03(金) 13:54:06 ID:kfXJpfMA.net] 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net 数学 物理学 化学 生物学 天文学 地理地学 IT 電子 工学 言語学 国語 方言 など 948 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/04/03(金) 14:36:17 ID:eln2Kr6c.net] >>867 >kCiA… うまい ワロタァ〜！！ ｗ（＾＾； ほんと、おサルはガキだな CIAごっこか？ アホ丸出し 949 名前：CIA [2020/04/03(金) 16:19:12 ID:2nZLtvFr.net] >>869 rio2016.5ch.net/test/read.cgi/math/1582883006/597 ＞”数学の真の目的って何”という問いは、数学の中には答えが無い ＞∵ ゲーデルの不完全性定理による。 ＞つまり、数学の中では ”数学とはxx”と定義することができない ゲーデルの不完全性定理の濫用の典型例 数学の定義がなされていないのは、ゲーデルの不完全性定理とは無関係 950 名前：CIA [2020/04/03(金) 16:48:26 ID:2nZLtvFr.net] rio2016.5ch.net/test/read.cgi/math/1582599485/97 草房誠二郎 ( くさふさ・せいじろう ) 1950 年生まれ . 宇都宮大学大学院工学研究科修了 . 専門分野 : コンピュータ科学・離散数学、航空宇宙、 ソフトウェア科学会正会員 . 大学講師、コンピュー タ会社勤務を経て米国でコンサルティング会社起業 . 海外事業開拓支援、ジェトロ専門家 . 世界各国で講演活動多数. リタイヤ後つくばエキスポセンタでボ ランティアインストラクター. 2014 年よりつくば市産業コーディネーター. 最近の著書 : 離散数学パズル - ビリアードの定理 - ISBN978-4-990532383 www.expocenter.or.jp/?post_type=event&p=25381 951 名前：CIA [2020/04/03(金) 16:57:43 ID:2nZLtvFr.net] >>848の提案に対してID:h8W4tjFC氏はいまだコメントしていない スレッドを立てられない可能性がある 952 名前：１３２人目の素数さん mailto:sage [2020/04/06(月) 02:42:33 ID:SZuKZByO.net] 過去スレ遡ってたら10年近く前からやってたのね 10年続けられるってスゲーと思う 953 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/04/06(月) 07:25:47.55 ID:n8nAmtxW.net] >>872 妄想おつｗ 可能性ないよｗｗ >>873 ありがとう 2012年からだから、まだ10年経ってないな 下記の”12年振り”さんには負けるけどね（＾＾； （参考） 0.99999……は１ではない　その７ https://rio2016.5ch.net/test/read.cgi/math/1584625377/169 169 名前：酒浸り[sage] 投稿日：2020/03/20(金) 19:17:00.71 ID:m4j018eI [10/11] 12年振りの0.999…を語るスレ住人の俺が新興同題スレに来たら人が訳分からなかったので覚書 954 名前：annihilator [2020/04/06(月) 07:49:59.04 ID:miwYJJQx.net] なんだまた戻ってきたのか？ IUTスレッドで匿名ではしゃいでればいいものを 955 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE mailto:sage [2020/04/06(月) 10:43:43 ID:Vi++uUTK.net] ありがとう しばらくIUT祭りだな コテも状況を見て付けるかも（＾＾； 956 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/06/07(日) 18:18:02 ID:Q0Rzcycw.net] ＜転載＞ Inter-universal geometry と ABC予想 (応援スレ) 47 https://rio2016.5ch.net/test/read.cgi/math/1590418250/583 583 自分：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/06/06(土) 09:46:06.53 ID:SrYikU2t [5/10] (参考：>>370より) 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/50-51 (抜粋) 時枝問題（数学セミナー201511月号の記事） １．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 (引用終り) ＜証明＞ 勝つ戦略はありません！ 一目ですｗ（＾＾； QED！！ 957 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [2020/06/07(日) 18:18:35 ID:Q0Rzcycw.net] >>877 613 自分返信：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/06/06(土) 19:23:27.44 ID:SrYikU2t [9/10] >>583 じゃ、もう一言ｗ 「反例の存在証明」 ＜まず確認＞ １．箱への数の入れ方は、「どんな実数を入れるかはまったく自由」である ２．したがって、”独立同分布である i.i.d. IID”（下記）で、箱に数を入れることは可能 ３．時枝記事の”勝つ戦略”なるものは 　「ある1つの箱を残して、他の箱を全て開けることを許せば、 　その1つの箱の実数を 確率99％（あるいは確率1-ε（εは任意に小さく取れる））で的中できる」 　ということだった ＜反例証明＞ １．”独立同分布 i.i.d. IID”で、箱に数を入れるとする 　（可算無限個の確率変数を扱うことは、大学レベルの確率論＆確率過程論の射程内である） ２．IIDとして、サイコロで箱に数を入れれば、的中確率は1/6である 　どの箱も例外無し。どの1つの箱も 確率99％にならないので、反例となる ３．区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる 　ルベーグ測度では区間[0,1]の１点ｒ( 0 =< r =< 1 ) の測度は0（∵零集合）で、的中確率0 　これも、反例となる QED （補足：”独立”だから、問題の箱以外を開けても、問題の箱の確率には 何ら影響しない。サイコロなら1/6、区間[0,1]の一様分布内の１点ｒなら的中確率0） ｗ（＾＾； この「反例証明」が分からないのは、小学生レベルの”数学落ちこぼれ”ｗｗ （参考） https://www.practmath.com/iid/ 実用的な数学を 2019年6月20日 投稿者: TAKAN 独立同分布である i.i.d. IID (抜粋) || 同じ分布のデータは互いに不干渉だよ これは 958 名前：「確率変数を別々に扱えるよ」という『仮定』です。 これが仮定されていると、非常に計算がしやすくなります。 相関を考えなくて良いので、共分散などを使う必要がありません。 なにせ条件付き確率の発想から分かる通り、独立性は特別なものです。 といっても、そうそうおかしなことにはならないわけですけど。 (引用終り) [] [ここ壊れてます] 959 名前：１３２人目の素数さん mailto:sage [2020/06/08(月) 16:34:14.72 ID:ZNiOPlY2.net] >>877 誤　勝つ戦略はありません！ 正　勝つ戦略が理解できません！ 選択公理が分んない人には無理だな 960 名前：１３２人目の素数さん mailto:sage [2020/06/08(月) 16:41:00.36 ID:ZNiOPlY2.net] >>878 （反例の非存在の証明） 「箱入り無数目」記事に従って、１００列それぞれから１箱を選ぶ このうち、代表元と一致しない箱はたかだか１箱である なぜなら、自列の決定番号ｄが他の列の決定番号の最大値Dより 大きくなる列はたかだか１列しか存在しないからである もしｄ＞Dとなる列が2列以上あるとすると ｄｉ＞ｄｊ　かつ　ｄｊ＞ｄｉとなる 自然数ｄｉ，ｄｊが存在することになるが これは自然数の全体が全順序集合であることと矛盾する 馬鹿は、自然数が全順序集合でないといいたいようだｗｗｗ 961 名前：１３２人目の素数さん [2020/06/08(月) 22:45:15.38 ID:Qt2Gn2hJ.net] 時枝戦略を否定する瀬田は a>b かつ a<b を満たす自然数 a, b を示さなければならない 962 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/06/09(火) 07:44:48.53 ID:mV3b+2le.net] 大学教程の確率論・確率過程論の単位を取れなかった バカなおサルが騒いでいる もっと、確率論・確率過程論を勉強してみな おれが正しいことが分かるからｗ（＾＾ 963 名前：１３２人目の素数さん [2020/06/09(火) 09:06:05.46 ID:M7AMQsff.net] >>882 いやいや、あんた、確率論も確率過程論も全く知らんでしょ 順序の公理、確認しなって あんたが間違ってることが分かるから あんた大学１年の４月でザセツしたまんまなんだよ −−− ちなみにT大数学科だと、 確率論は３年 確率過程論は４年〜大学院修士 工学部？知らんよ　そんな専門学校に行ったことないから 確率統計学Ｉ（数学科3年） 内容：確率論の基礎 確率統計学II（数学科4年）・数理統計学（大学院）： 統計推測の漸近理論について講義する。 推定量の一致性、漸近正規性、尤度比検定、多項分布の検定、モデル選択のための情報量規準を解説する。 確率統計学�V（数学科4年）・確率過程論（大学院）： 確率過程、特にその重要なクラスであるマルチンゲールについて講義する。 主に離散時間の場合を論ずるが連続時間マルチンゲールにも簡単に触れ、 ブラウン運動などについても解説する。 確率統計学XA（数学科4年）・確率解析学（大学院）： 「確率過程論」に引き続き、確率積分、確率微分方程式、伊藤の公式などについての講義を行う。 964 名前：１３２人目の素数さん [2020/06/09(火) 09:16:59.02 ID:M7AMQsff.net] Pは集合、≦をP上で定義された二項関係とする。 反射律：P の任意の元 a に対し、a≦a が成り立つ。 推移律：P の任意の元 a, b, c に対し、a≦b かつ b≦c ならば a≦c が成り立つ。 反対称律：P の任意の元 a, b に対し、a≦b かつ b≦a ならば a＝b が成り立つ。 全順序律：P の任意の元 a, b に対し、a≦b または b≦a が成り立つ。 ≦ が反射律と推移律を満たすとき、≦ を P 上の前順序という。 ≦ が前順序でありさらに反対称律を満たすとき、≦ を P 上の半順序という。 ≦ が半順序でありさらに全順序律を満たすとき、≦ を P 上の全順序という。 自然数全体の成す集合Nは、全順序集合 965 名前：１３２人目の素数さん [2020/06/09(火) 21:31:26.58 ID:U+nROBoy.net] >>882 どうぞ The Riddle を確率論・確率過程論で反証してみて下さい 小学校レベルの確率すら使ってません� 966 名前：ｯどｗ [] [ここ壊れてます] 967 名前： mailto:sage [2020/06/10(水) 03:24:39.76 ID:YZJti9n0.net] >>884 その用語は本によりいろいろですね、 私の本では 擬順序、順序、全順序 でした 968 名前：現代数学の系譜 雑談 mailto:sage [2020/06/10(水) 09:55:30.18 ID:7el1RmGN.net] >>886 C++さん、どうも 細かいフォローありがとうございます。（＾＾ 969 名前：１３２人目の素数さん [2020/06/10(水) 22:59:20 ID:Te7DZE/8.net] >>887 早く>>881に答えて下さいねー 970 名前：１３２人目の素数さん [2020/06/12(金) 11:02:08.08 ID:nCq9cu2T.net] 瀬田、>>881 >>885から逃亡ｗ 逃亡するくらいなら最初からアホな主張しなければいいのにねー 971 名前：現代数学の系譜 雑談 mailto:sage [2020/06/12(金) 15:04:45.14 ID:mZK3Uri8.net] あほサルの相手など、全く不要 　>>878は、大学教程の確率論・確率過程論を学べば ほぼ自明ですよｗｗｗｗ 972 名前：１３２人目の素数さん mailto:sage [2020/06/12(金) 17:44:00.61 ID:p3605jdn.net] >>890 ・・・と大学で確率論・確率過程論を全く学べなかった 工学部卒の馬鹿がわめきちらす 973 名前：１３２人目の素数さん [2020/06/13(土) 22:58:29.75 ID:lOWOoBWZ.net] >>890 >　>>878は、大学教程の確率論・確率過程論を学べば >ほぼ自明ですよｗｗｗｗ >>878の誤りが具体的に指摘されており、瀬田は指摘に答えなければならない。 にもかかわらず壊れた機械のように自明と繰り返すのみ。 安達といい瀬田といいキチガイはみな独善的。 974 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/06/14(日) 10:31:17.86 ID:1kqaL5Im.net] あほサルの相手など、全く不要 　>>878は、大学教程の確率論・確率過程論を学べば ほぼ自明ですよｗｗｗｗ 975 名前：１３２人目の素数さん [2020/06/14(日) 10:48:16 ID:oy2zoPuc.net] 誤　大学教程の確率論・確率過程論 正　確率変数の無限族の強力な独立性　 　　（確率論で定義される、任意の有限部分族の独立性ではなく） 上記の確率変数の無限族の強力な独立性は選択公理を否定する （予測が不能なら、選択公理による代表元の取得を否定することになる） 結論：セタ氏、選択公理を完全否定 976 名前：１３２人目の素数さん [2020/06/14(日) 18:11:26.88 ID:5SHzdMUc.net] >>893 ほらねｗ 言ってる傍から「自明」を繰り返してるしｗ 単に都合の悪い相手をあほサルと呼んでるだけｗ　数学でも何でもないｗ 977 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/07/04(土) 19:41:14.10 ID:CndtYA/1.net] >>878 補足 ＜反例証明2＞ １．時枝の戦略で、100列並べる前のある箱 ｍ (=100d+k ：並べ変えた100列中のｋ列のｄ番目の箱） 　が、99％の確率で的中できるとして、時枝戦略による予想では、その箱の数がA0だと示されたとする ２．ところで、時枝記事では、箱に入れる数は、どの箱も出題者の自由だった ３．そこで、>>878と同じようにIIDを仮定すると、そのｍ番目に入れる数もまた、時枝記事のルール上自由だ 　よって、そのｍ番目以外を固定したとして 　・ｍ番目に コイントスで数を入れれば 数の範囲は 0 or 1 の整数で、的中確率は1/2 　 （もし、表が出れば ある実数x、裏なら別の実数ｙ を入れるとすれば、的中確率は1/2のままだが、数の範囲は実数全体） 　・ｍ番目に サイコロで数を入れれば 数の範囲は1〜6の整数で、的中確率は1/6 　・ｍ番目に 区間[0,1]の一様分布の数を入れれば 数の範囲は0〜1の実数で、的中確率は0 （上記のコイントスの実数版に類似） ４．明らかに、上記３は １の時枝の反例である（99％の確率で的中など、実現できないことは明白） ＱＥＤ （＾＾； 978 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/07/04(土) 20:14:04.58 ID:CndtYA/1.net] >>896 補足 ＜時枝戦略が一見正しいように見える仕掛け＞ ・時枝戦略が不成立など、高校生でも直観で分かる ・ＩＩＤ 独立同分布なのに、あるｍ番目の箱のみ的中確率99％などなりようがない ・ＩＩＤ 独立同分布なのに、あるｍ番目の箱の数を、ｍ番目以外の他の箱を開けて、推測が出来たり、推測の手がかりが得られることはない ・そんなことは、高校生でも分かることだが、ではなぜ当たるように見えるのか？　そのトリックは？ ・おそらく、可算無限個の箱にトリックがある 　１．いま、（例えば100列の）箱の長さがｎ（個）とする 　２．決定番号d （範囲は1<=d<=n） として、dが 範囲 １〜ｊ （ｊ＜ｎ） にある確率は、ｐ＝ｊ/ｎ である 　３．さて、ｊ はある有限の自然数とし、かつ、簡単に分母ｎは自然数Ｎ全体で一様分布とすると、 時枝記事に合わせて n→∞ を考えて、lim n→∞ ｐ (ｊ/ｎ) =0 　４．つまり、決定番号dがある有限ｊ 以下である確率は0（その事象が生じないわけではない） 　　確率は0だが、その事象が生じないわけではない。が、「確率0」だということがなかなか見えない 　５．そして、簡単な計算で分かることだが、分母ｎは自然数Ｎ全体を渡るが、一様分布ではなくボトムヘビーの分布になる 　６．だから、一見当たるように見えるだけで、実は当たらない（「確率0」が効いている） 　（なお、当たらないことの数学的証明は、すでに述べたように、もっと簡単に反例の存在により、すでに示しめしている（>>896など）） （参考） https://ja.wikipedia.org/wiki/%E6%9D%A1%E4%BB%B6%E4%BB%98%E3%81%8D%E7%A2%BA%E7%8E%87 条件付き確率 (抜粋) B の測度が 0 の場合が問題である。 この方法はボレル-コルモゴロフのパラドックス（英語版）が生じる。 979 名前：１３２人目の素数さん [2020/07/04(土) 20:16:46.43 ID:1EH0+MbP.net] >>896 >１．時枝の戦略で、100列並べる前のある箱 ｍ (=100d+k ：並べ変えた100列中のｋ列のｄ番目の箱） >　が、99％の確率で的中できるとして だからそれが間違いだと何度言えば分かるのか？ 「ある箱」と箱を固定したら当てることはできない。なぜなら時枝戦略で当てるのは箱の中身ではなくアタリ箱だから。 「さて， 1〜100 のいずれかをランダムに選ぶ. 」と、列をランダム選択している意味がまるで分かっていない。 いい加減に学習してもらえませんかね？ 980 名前：１３２人目の素数さん [2020/07/04(土) 20:21:59.02 ID:1EH0+MbP.net] 間違った仮定から出発して間違った結論を導いてるだけ。何の意味も無い。 しかも複数人からさんざんに教えられたのにまったく理解できない。 瀬田に数学は無理なので諦めて下さい。 981 名前：１３２人目の素数さん [2020/07/04(土) 20:29:48.59 ID:1EH0+MbP.net] いくら確率確率言っても無駄。 確率を一切使っていないThe Riddleを確率で否定することはできないから。 そしてThe Riddle が成立するなら時枝成立も自明。 確率確率言うくせに「さて， 1〜100 のいずれかをランダムに選ぶ. 」が確率変数を示していることも分からないアホ。 しかもさんざんに教えてもらっといて。瀬田に数学は無理。 982 名前：１３２人目の素数さん [2020/07/04(土) 20:35:34.41 ID:1EH0+MbP.net] >>897 >・時枝戦略が不成立など、高校生でも直観で分かる 直感に反するから大学生でも理解できる簡単な定理なのに数セミ記事になることも分からないアホ 実際大学数学を理解できない直観バカが釣れてるしなｗ 983 名前：１３２人目の素数さん mailto:sage [2020/07/04(土) 20:36:05.27 ID:iKe8zzl2.net] >>898 記事の日本語読まずに、自分勝手な妄想に固執する人には、数学は理解できないよね 「選べる箱が100個で、そのうち99個が当たり」というのが真相 それ以外なにもないが、記事を読まない人には永遠に理解できないだろうね 984 名前：１３２人目の素数さん [2020/07/04(土) 20:37:56.36 ID:1EH0+MbP.net] 瀬田は数学の勉強してないのか？ 5年間全く進歩しとらんやないかい 985 名前：１３２人目の素数さん mailto:sage [2020/07/04(土) 20:40:44.59 ID:iKe8zzl2.net] >>903 勉強嫌いなら数学に興味持たなきゃいいのにな いったい何がしたいんだろうね？ 986 名前：１３２人目の素数さん [2020/07/04(土) 20:44:36.02 ID:1EH0+MbP.net] >>902 はい、瀬田は記事読んでないですね。 いつも「記事のこの部分がオカシイ」ではなく、「当てられるとしたらこんな変なことになる」という論法。 しかし「当てられる」の意味をはき違えているのでまったくナンセンスｗ 987 名前：１３２人目の素数さん [2020/07/04(土) 20:48:44.90 ID:1EH0+MbP.net] 瀬田は落ちこぼれなので読んでないというより読めないんでしょう。 仮に瀬田の云う通りマチガッテルなら記事のどこかに欠陥があるはずで、それを指摘せよと言っても瀬田は絶対 988 名前：に答えられないｗ [] [ここ壊れてます] 989 名前：１３２人目の素数さん mailto:sage [2020/07/04(土) 20:51:48 ID:iKe8zzl2.net] ＞あるｍ番目の箱のみ的中確率99％などなりようがない あるｍ番目の箱のみ的中確率99％になる、なんてどこにも書いてない 書いてない文章を読むのは・・・異常 990 名前：１３２人目の素数さん mailto:sage [2020/07/04(土) 20:53:26 ID:iKe8zzl2.net] >>906 欠陥があるとすれば、それは記事ではなく読み手の精神 991 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2020/07/05(日) 22:54:51.86 ID:UyE0c9o0.net] >>897 ＞あるｍ番目の箱のみ的中確率99％などなりようがない あるｍは、∃ｍ まあ あるｍ番目の箱のみ的中確率99％などなりようがない 　↓ あるｍ番目の箱があって、その箱の数が的中確率99％などなりようがない とでも書けば良いのかい？（＾＾； （参考） https://ja.wikipedia.org/wiki/%E9%87%8F%E5%8C%96 量化子の記法 全称量化子は "A" を逆さにした "∀" で記述され、これは "all" に由来する。存在量化子は "E" を裏返しにした "∃" で記述され、これは "exists" に由来する。これを使った量化式は次のようになる。 ∃xP 　∀xP ここで、"P" は何らかの（論理）式を表す。他にも様々な表記方法がある。 歴史 ジュゼッペ・ペアノは、全称量化を (x) と記した。"(x)φ" は、x のあらゆる値について、式 φ が真であることを意味する。 また彼は1897年に、存在量化を表す記法として (∃x) を採用した。 アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルの『数学原理』Principia Mathematica ではペアノの記法が採用されている。 また、ウィラード・ヴァン・オーマン・クワインとアロンゾ・チャーチも生涯を通じて、ペアノの記法を使用した。ゲルハルト・ゲンツェンは1935年、ペアノの ∃ 記号からの類推で ∀ 記号を導入した。 しかし、∀ が一般に浸透したのは1950年代になってからである。 992 名前：１３２人目の素数さん [2020/07/06(月) 00:50:07 ID:B0u50akG.net] >>909 まだ分かってないｗ 時枝記事に書かれているのは、100個の箱のいずれかをランダム選択して99個以上のアタリ箱を引く確率。 （「さて， 1〜100 のいずれかをランダムに選ぶ. 」がその証拠） 一方、あるm番目の箱はm-1番目の箱でもm+1番目の箱でもなく、つまり箱が一つ特定されている。 箱を一つ特定しその中身を当てる確率なんて時枝記事には一言も書かれていない、 にもかかわらず「99/100以上」だけ記事から持ってくるからおかしな話になるだけのこと。 確率変数を誤解していると何度教えられても理解できない瀬田に数学は無理。 993 名前：１３２人目の素数さん [2020/07/06(月) 01:05:43.19 ID:B0u50akG.net] 確率計算には前提となる確率分布が必要。 サイコロで1の目が出る確率を1/6とできるのは一様分布の前提があるから。（小学校で「同様に確からしい」を習わなかったか？） 時枝記事における確率分布の指定は「さて， 1〜100 のいずれかをランダムに選ぶ. 」であり、それ以外に無い。 だからこの 「1〜100」以外が確率変数になることはあり得ない。確率計算ができないから。 もし反論があるなら確率分布の指定箇所を具体的に示せ。 994 名前：１３２人目の素数さん [2020/07/06(月) 01:20:06.19 ID:B0u50akG.net] 瀬田は「時枝の結論が正しいならこんな変なことになる」論法ばかり。 時枝記事の不備を直接指摘することは一切しない。記事を読めていない証拠。 時枝記事を読むには大学数学の知識が必要だから瀬田には読めない。 995 名前：１３２人目の素数さん [2020/07/07(火) 01:46:24.45 ID:Rm3D2FVx.net] 瀬田、一言も反論できず撃沈ｗ だから言ってるだろ？瀬田に数学は無理なので諦めなさいと 996 名前：１３２人目の素数さん [2020/07/07(火) 05:54:11 ID:xRNSanl3.net] 乙、自分が立てたスレッドで壮烈な自爆死！ おっちゃんのスレ https://rio2016.5ch.net/test/read.cgi/math/1593920188/ 44 １３２人目の素数さん2020/07/06(月) 11:17:00.18ID:S8CqiuNh おっちゃんです。 有理数列 {q_n/p_n} について、第n項を (p_n,q_n)＝1 p_n≧1 なる有理数 q_n/p_n とする。 このとき、lim_{n→+∞}(q_n/p_n)＝q/p (p,q)＝1 p≧1 ならば、正整数列 {p_n}、整数列 {q_n} はどちらも収束し、 lim_{n→+∞}(p_n)＝p、lim_{n→+∞}(q_n)＝q。 有理数列 {q_n/p_n} の第n項 q_n/p_n (p_n,q_n)＝1 p_n≧1 について、 p_n は正整数、q_n は0でない整数だから、証明の方針は小平解析入門のデデキントの実数論の辺りと同様。 52 １３２人目の素数さん2020/07/06(月) 13:52:33.67ID:uITHUiBq 44 【反例】 q_n/p_n = 3/10, 33/100, 333/1000, 3333/10000, … = 0.3, 0.33, 0.333, 0.3333, … → 0.333333… (n → ∞) = 1/3 いったいどうやって「証明」されたのでしょうか？ 53 １３２人目の素数さん2020/07/06(月) 15:45:07.75ID:EzGiePye>>54>>64 52 整数列 {p_n} が整数pに収束することを、次のように定義する。 或る正整数Nが存在して、n≧N のとき p_n＝p となるとき、整数列 {p_n} は整数pに収束するといい、lim_{n→+∞}(p_n)＝p と表す。 あとは、小平解析入門の加法の極限や減法の極限、乗法の極限などからやり直して同じように示す。 54 １３２人目の素数さん2020/07/06(月) 15:54:07.50ID:uITHUiBq>>55 53 どうやら示せていないようですね >>52の q_n, p_n は明らかに発散するので 55 １３２人目の素数さん2020/07/06(月) 15:59:33.53ID:EzGiePye>>57 54 紙に書いたら長くなり、実際には示していない。 56 １３２人目の素数さん2020/07/06(月) 16:01:16.64ID:EzGiePye ぶっちゃけ、直観で書いただけ。 57 １３２人目の素数さん2020/07/06(月) 16:01:38.21ID:uITHUiBq 55 ちゃんと確認せずに適当なこと書き込んじゃダメでしょ 997 名前：１３２人目の素数さん mailto:sage [2020/07/07(火) 17:50:30 ID:bBtBWRC5.net] >>914 直観で「おかしい」と分からないのは確かに数学センスが皆無。 有理数の稠密性と、既約分数との1対1対応 そして、有限の区間内で分母がNを超えない分数は有限個なんだから いくらでも近づきながら分母が無限に大きくなっていく既約分数の無限列の存在は明らか。 998 名前：１３２人目の素数さん mailto:sage [2020/07/07(火) 18:01:27 ID:bBtBWRC5.net] 無理数論とか勉強しているようなこと言っておきながら、基本的なロジックが さっぱり分かってないってことだね。まぁ予想通りだが。 「無理数度」という概念 https://ja.wikipedia.org/wiki/%E7%84%A1%E7%90%86%E6%95%B0#%E7%84%A1%E7%90%86%E6%95%B0%E5%BA%A6 は基本的だけど、乙にはこういう論理は決して理解できないだろう。 言葉で言うと、逆説的なようだが "良い"近似分数列が存在するほど 無理数度が大きいってこと。 999 名前：１３２人目の素数さん mailto:sage [2020/07/07(火) 18:35:25 ID:bBtBWRC5.net] 小平解析入門なんて全然読めてないだろｗ もともと乙とセタが仲良かったのは、数学の専門書や高度な理論の話で 意気投合してたからだったと思う。 互いに全然理解してない話で盛り上がってたというｗ 1000 名前：１３２人目の素数さん mailto:sage [2020/07/08(水) 08:48:25.21 ID:3+ERc/dG.net] >>915-917 そういうことにしておいてくれ。 1001 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:09:51 ID:e3xNYXlE.net] >>917 どっちも他人にマウントしたがるマウントヒヒだったからな ただ乙のパワーワードは岡潔と多変数関数論で セタのパワーワードはグロタンディクと圏論だった という違いがあるだけ どっちも中身が分かってない点では口先三寸の詐欺師ｗ 1002 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:12:30.15 ID:e3xNYXlE.net] ところで、セタは「箱入り無数目」で、いったん箱を選んだら 二度目以降は選んだ箱は変えないまま、箱の中身を入れ替える と誤読してるのかもしれないな もちろん、そんな、バカなことはないｗ 1003 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:15:27.05 ID:e3xNYXlE.net] 「箱入り無数目」の毎回の試行で、箱の中身を入れ替える、とすると 実は非可測性により確率が計算できない 確率が求まるのは、実は、箱の中身を入れ替えないまま、 毎回の試行で、どの列（ 1004 名前：つまり箱）を選ぶかだけ変える と想定しているから （確率の計算の仕方を見れば一目瞭然） ここまでガチガチに固めれば、そりゃほぼ自明だろ、といわれても仕方ないが [] [ここ壊れてます] 1005 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:17:12.08 ID:e3xNYXlE.net] 毎回の試行で選んだ箱を固定するのなら、 最初にどういうやり方で箱を選ぼうが 当たる確率はほぼ０だろう セタが馬鹿なのは、記事の文章を読めずに 自分勝手に「選んだ箱は決して変えない」と 思い込みつづけてる点にあるようだ 実に馬鹿な話だ 1006 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:22:46 ID:e3xNYXlE.net] セタは基本的には何も分かってない 上記が露見した決定的証拠が ａ∈ｂ　⇔　ａ⊂ｂ の主張 どうも、ａもｂも集合なら、上記が成り立つ と勝手に思い込んでたらしい しかし、そんなことはない {{}}∈{{{}}}だが {{{}}}の部分集合は自分自身のほかは空集合{}だけだから {{}}⊂{{{}}}ではない こんなの人間ならアホ・バカ・タワケでも分かる常識なのだが、 セタはそれすら分らん野生の毛深い獣ｗ 1007 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:30:24 ID:e3xNYXlE.net] セタは公理図式の読み方も分かってないｗ 例えば分出公理で ｛ｘ∈Ｓ｜Ｐ（ｘ）｝ のＰ（ｘ）はｘが自由変数となる式なら何をいれてもいい （例えば¬（ｘ∈ｘ）） しかし、セタは何をトチ狂ったか 「公理図式で式を入れるところは公理の式に限る　それが公理主義」 とか馬鹿丸出しな俺様解釈を絶叫してきたｗ もちろんそんな俺様解釈は完全な誤りだ ¬（ｘ∈ｘ）のどこが公理なのか？ｗ ｛ｘ｜¬（ｘ∈ｘ）｝が集合なら矛盾だが ｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝なら矛盾しない なぜなら、｛ｘ∈Ｓ｜¬（ｘ∈ｘ）｝は集合Ｓの要素でない、で終わりだから こんなことは数学を学ぶ大学１年生なら常識だが どうせセタはマージャンとかテニスとか＊＊Ｘとかで遊び惚けてたんだろｗ ♀ザル相手に腰振るしか能がない毛深い♂ザルに数学が分かるわけがない 1008 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:34:38 ID:e3xNYXlE.net] セタは 「εδはＳＬだ、今は超準解析だ、これがＥＬだ」 とかいいたいみたいだが、とんだお笑い草であるｗｗｗ εδも分らんアホに超準解析の理屈がわかるわけなかろうがｗ 工学部の毛深いサルどもには論理は理解できないから 結局理由抜きで記号処理による計算方法だけを教えるしかない サルでも方法だけ教えればアホウのように繰り返すから問題ないｗ 1009 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:37:19 ID:e3xNYXlE.net] そもそも群論の初歩（正規部分群）も分らん毛深いサルに 圏論なんか分かりようがない 群より圏のほうが制限がユルイからである サルはガチガチに制限がキツイ場所では勝手に暴れても問題ないが 制限がユルイ場所で同じことやったら確実に自爆死するｗ 1010 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:41:48 ID:e3xNYXlE.net] 正直ガロア理論も分からん馬鹿にグロタンディクなんか到底無理なのである だいたいガウスの円分体も分かってないテイタラクなんだから 「一般の５次方程式の解法ガー」 とかいう前に、円分方程式の解を根号で解く方法を確実に理解しろ 工学部の毛深いサルにできるのは 「解を求める方法をカラダで覚えること」 「ある方法（例えば四則演算と根号のみを使う）では 　解が求められないことをアタマで理解する」 なんてのは到底無理 「なんか数学者が無理って証明したから無理なんだろ」と覚えとけばいい お前らは（数学がわかる）人間じゃなく（数学が分からん）サルなんだからｗ 1011 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:47:25 ID:e3xNYXlE.net] 「ゲーデルの不完全性定理は人間の理性の限界」とかいうのは 「人間に理解できるのは有理数のみ」というのと同じレベルの発言ｗ ピタゴラスや安達のような人物にとっては√２が無理数と� 1012 名前：｢うのは発狂案件だろうｗ ヒルベルトは数学の問題を悉く解決できるアルゴリズムが（原理的に）存在すると 思っていたようだが、その意味では現代のピタゴラスといってもいいかもしれん （注：別にＤＩＳってない　当時はそう考える人の方が多かったに違いない 　何しろゲーデルだって、最初から不完全性定理を証明しようと思ってたわけではない 　ヒルベルト計画にしたがって、解析学の無矛盾性を証明しようとしたら、 　「そんなことができたら矛盾する」と気づいてしまったってだけだから） [] [ここ壊れてます] 1013 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 08:57:57 ID:e3xNYXlE.net] セタに理解できる数学の頂点は ・オイラーの公式 ・オイラーの等式 くらいか よく上記を理解するのに「解析接続」が必要とかいう人がいるが 単純に上記の式が成り立つことを理解するだけならそこまで必要ない というか数学科以外の毛深い獣にはそもそも解析接続なんて理解できないｗ 単に指数関数を複素数まで拡張する方法を示した上で その拡張について上記の式が成立することを示せばいい 拡張の仕方が解析接続になってるなんてことの証明など 計算しかしない毛深い獣にはどうでもいいことなのであるｗ ＃「オイラーの公式」「オイラーの等式」は ＃中等教育の数学の〆としてはいい題材 ＃適度に美しく適度に有用で適度に難しいから 1014 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:03:06 ID:e3xNYXlE.net] ガウスについていえば ・「代数学の基本定理」は大した成果だが、工学部の連中は結果だけしっときゃいい ・円分体の研究は、数学のマニア化の入り口 要するに、代数方程式の根が必要なら数値計算でゴリゴリ解けばいいんで よほど残念な場合（重根のことだが）を除けば、ｎ次方程式には ｎ個の異なる根があるから心配御無用 で、その根を根号だけで表せないかなんて余計なこと考えると 世間一般の常識人のから道を踏み外して趣味人に成り下がる 1015 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:11:47.01 ID:e3xNYXlE.net] まあ、どうしても毛深い猿が新しい数学を学びたい っていうんなら双曲幾何をお勧めする そっちなら論理抜きの計算馬鹿でもなんとかなる そして役にたつこともいろいろある （実は相対論の理解につながるし、 　最近では統計関係でもポアンカレ埋め込みとか 　いろいろ応用されてるから） 素人は登山電車・ケーブルカー・ロープウェイのある山にしとけ チョモランマみたいな山に素人が素手で登れるわけなかろうがｗ 1016 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:13:35.13 ID:e3xNYXlE.net] 素人にとってはＡＢＣ予想どころか、 ファルティングスが解決したモーデル予想すら、 結果だけ知っときゃいいレベルの話 わざわざ登ろうとするのは愚の骨頂である 1017 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:20:20.87 ID:e3xNYXlE.net] 双曲幾何からついつい モジュラー関数だのｊ不変量だの に関心を示すと道を踏み誤るｗ 1018 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:23:20.58 ID:e3xNYXlE.net] 数学でも整数論とかいうのはマニアの殿堂である 別にマニアであってはいけないなんていうつもりは毛頭ないが 一般人はのぞき見るだけでやめといたほうがいい 無能な奴がはいり込んだら確実に人生棒に振るｗ 1019 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:33:30 ID:e3xNYXlE.net] セタは日本第一党というより俺様第一党の党首だなｗ https://www.youtube.com/channel/UC8i7FuzvmbaQI-93WE92jQg ↑こいつみたいにYOUTUBEチャンネルでも立ち上げたらどうだ？（嘲） 1020 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:36:15 ID:e3xNYXlE.net] 貧乏人が愛国とかいうのは 無知ゆえの哀れな自爆である 1021 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:38:34 ID:e3xNYXlE.net] 国家は金持 1022 名前：ちのためにある 国家は貧乏人を救わない 官僚は詐欺師と同じである 狡知で馬鹿な貧乏人をたぶらかして金も労働力も巻き上げる 「国のため」なんていって忠実に奉公しても使い捨てられるだけｗ [] [ここ壊れてます] 1023 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:56:59 ID:e3xNYXlE.net] 国家は、国民の敵が国家自身であることを気づかせまいと目くらましする 他国敵視の宣伝はまさにその典型である 国家は、国民自身を互いに離反させようと画策する 団結して国家に向かってこられたら倒されるからだ 国家は暴力団　国民から貪るだけの悪党 1024 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:57:55 ID:e3xNYXlE.net] No Government No Money 政府も要らない　金も要らない 1025 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 09:58:55 ID:e3xNYXlE.net] ｗ 1026 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:01:55 ID:e3xNYXlE.net] 検索結果コピペスレ https://rio2016.5ch.net/test/read.cgi/math/1592654877/ もうネタがなくなったらしいw 1027 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:02:54 ID:e3xNYXlE.net] セタは「カスプのラベル」が何なのかも分らんのだから何検索して眺めても無駄ｗ 1028 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:05:10 ID:e3xNYXlE.net] こういうと、セタは必ず 「じゃあ、貴様には分かるのか？」 というが、他人が分かったら負けなのか 負けたら首掻き切って死ぬのか？ 死なないんだろ？だったら黙って負ければいいじゃん 「はいはい負け負け　オレは負け犬　うーキャンキャン」 とかいってりゃいいじゃんｗｗｗ 1029 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:08:05 ID:e3xNYXlE.net] だいたい、大学１年でεδが理解できなかったにもかかわらず 全く勉強しなかったほど怠惰でやる気ゼロの工学部のクソ学生が 今になって「IUTで逆転！」なんて馬鹿なこと夢見ても無駄だって お前には数学なんかムリなんだから死ぬまで馬鹿のままでいろよ どうせ会社でもロクな仕事もせずに給料だけもらってたんだろ？ 勝ちじゃんｗ　ジャン勝ちじゃんｗｗｗ　 馬鹿にしては上出来だよｗｗｗｗｗｗｗ 1030 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:10:44 ID:e3xNYXlE.net] 近所の本屋で売ってた本 「コンピュータは数学者になれるのか？」 -数学基礎論から証明とプログラムの理論へ- 照井一成 著 ま、すでに買って読んでたけどね 1031 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:12:17 ID:e3xNYXlE.net] >>945 正直、KBのクソIUT本とか読むより100倍、いや10000倍はマシ 1032 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:14:44 ID:e3xNYXlE.net] 個人的にはytb氏もなんか本を書いてほしい、とマジで思ってる こんなところでいわれても当人には迷惑かもしれないが・・・ 1033 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:20:53.47 ID:e3xNYXlE.net] 余談 「ちょける」 https://article.yahoo.co.jp/detail/cdfc602e2b25064e321bd798e33ee4ed4067a48b そんな下卑た言葉知らねぇし知りたくもねぇよｗ もう関西は日本から独立してくれｗ いや、日本の国号も天皇も貴様等に返してやるから フォッサマグナ以東は独立させてくれｗ もう東京じゃなくていい　 江戸のほうがカッコイイし 1034 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:24:37.97 ID:e3xNYXlE.net] よく、東京と埼玉は違うとかいうヤツがいますが そういうホラを流すのはだいたい関西から来た連中ｗ 地元の人はそんな馬鹿なことはいいませんｗ ついでにいうと埼玉と千葉は違うといえば違いますが それは川のこっちと向こうで違うとかいう程度です お互いに侮りあってるとかいうホラを流すのも関西から来た連中 いいからおまえら関西に帰れよ　 東京で丸餅に白みその雑煮とか食ってんじゃねえよｗ 1035 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 10:30:54.10 ID:e3xNYXlE.net] 下らんニュース https://j-town.net/tokyo/research/results/204442.h 1036 名前：tml こんな下らんもの流す前に 実際に、美人の比率を求めたらいいだろうｗ [] [ここ壊れてます] 1037 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:09:52.94 ID:/t+wH2vB.net] >>919 >乙のパワーワードは岡潔と多変数関数論 セタからいわれていただけ。 特にパワーワードでもなんでもない。 1038 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:37:31.67 ID:e3xNYXlE.net] >>951 ああ、そうなんか セタは「おっちゃんといえば多変数関数論」みたいにいってたけど あれ嫌がらせのインネンだったんか？ 1039 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:39:01.69 ID:e3xNYXlE.net] 二言目には岡潔とかいうヤツもウザイよな 1040 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:42:24.66 ID:e3xNYXlE.net] 岡潔は有能かもしれんが、はっきり言って情緒不安定人格障害 1041 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:44:14.99 ID:e3xNYXlE.net] 岡潔を持ち上げる奴も同じ情緒不安定人格障害かもな 1042 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:47:39.87 ID:e3xNYXlE.net] ま、M田M生は明らかにサギ師 1043 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:48:15.65 ID:e3xNYXlE.net] あんなのにカネ出す奴はidiot 1044 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:49:47.09 ID:/t+wH2vB.net] >>952 そう。多変数関数論に興味はない。 多変数関数論で新しい成果出すのは難しいから、下手に取り組まない方がいいと思う。 1045 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:50:38.68 ID:e3xNYXlE.net] 馬鹿がウソつきに騙される(嘲) 1046 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:52:39.01 ID:e3xNYXlE.net] >>958 そもそも岡の定理を説明できる奴を見ない時点で終わってるけどな 1047 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:54:31.02 ID:e3xNYXlE.net] さて、ここからは読者へのご案内です 1048 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:55:56.26 ID:e3xNYXlE.net] 数学セミナー記事「箱入り無数目」についてですが 1049 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:56:58.57 ID:e3xNYXlE.net] 議論したい人がいれば、今後、当記事限定でスレッドを立てます 1050 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:58:33.62 ID:e3xNYXlE.net] 立てる場合、タイトルには「箱入り無数目」の文字は入れるつもりです 1051 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 11:59:49.77 ID:e3xNYXlE.net] なお、議論は記事内容に限定するので、著者名は書かないでくださいね 1052 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:02:15.30 ID:e3xNYXlE.net] なぜなら記事のアイデアは著者発案のものではないから 1053 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:04:26.43 ID:e3xNYXlE.net] 立てる時期については、今後の様子を見て判断します 1054 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:05:45.33 ID:e3xNYXlE.net] 正直なところ、記事を理解できてないのは一人しかいないので 1055 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:07:41.60 ID:e3xNYXlE.net] 要するに根本的には不必要と考えてます 1056 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:27:14.48 ID:e3xNYXlE.net] 以上　４６４９ 1057 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:29:48.18 ID:e3xNYXlE.net] >>962で述べた件以外については、以下のスレッドをご利用ください https://rio2016.5ch.net/test/read.cgi/math/1592578498/ 1058 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:31:14.47 ID:e3xNYXlE.net] スレッドは可能な限り集約していきたいと考えています 1059 名前：P３２人目の素数さん mailto:sage [2020/07/10(金) 12:33:35.51 ID:e3xNYXlE.net] >>971のスレッドもタイトルを見直す必要がありますね 1060 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:35:10.79 ID:e3xNYXlE.net] 案についても、今後向こうのスレッドで提案していきましょう 1061 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:37:13.82 ID:e3xNYXlE.net] 私もそろそろ「浪人」購入を打ち切ろうと思ってるので 1062 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:40:04.34 ID:e3xNYXlE.net] まとめですが >>962-970　「箱入り無数目」専用スレは必要があれば立てる >>971-974　他の話題は、他のスレに集約する 1063 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:41:20.51 ID:e3xNYXlE.net] よろしくお願いいたします 1064 名前：１３２人目の素数さん mailto:sage [2020/07/10(金) 12:42:39.07 ID:e3xNYXlE.net] さて 1065 名前：１３２人目の素数さん [2020/07/10(金) 12:42:54.71 ID:e3xNYXlE.net] それでは 1066 名前：１３２人目の素数さん [2020/07/10(金) 12:43:11.61 ID:e3xNYXlE.net] 作業を進めていきましょう 1067 名前：１３２人目の素数さん [2020/07/10(金) 12:43:34.16 ID:e3xNYXlE.net] 「箱入り無数目」専用スレは必要があれば立てます 1068 名前：１３２人目の素数さん [2020/07/10(金) 12:43:50.46 ID:e3xNYXlE.net] 他の話題は、他のスレに集約する 1069 名前：１３２人目の素数さん [2020/07/10(金) 12:44:15.24 ID:e3xNYXlE.net] よろしくお願いします 1070 名前：１３２人目の素数さん [2020/07/10(金) 12:44:53.99 ID:e3xNYXlE.net] ABC 1071 名前：１３２人目の素数さん [2020/07/10(金) 12:45:08.58 ID:e3xNYXlE.net] DEF 1072 名前：１３２人目の素数さん [2020/07/10(金) 12:45:18.64 ID:e3xNYXlE.net] GHI 1073 名前：１３２人目の素数さん [2020/07/10(金) 12:45:31.20 ID:e3xNYXlE.net] JKL 1074 名前：１３２人目の素数さん [2020/07/10(金) 12:45:42.02 ID:e3xNYXlE.net] MNO 1075 名前：１３２人目の素数さん [2020/07/10(金) 12:45:52.76 ID:e3xNYXlE.net] PQR 1076 名前：１３２人目の素数さん [2020/07/10(金) 12:46:03.51 ID:e3xNYXlE.net] STU 1077 名前：１３２人目の素数さん [2020/07/10(金) 12:46:17.22 ID:e3xNYXlE.net] VWX 1078 名前：１３２人目の素数さん [2020/07/10(金) 12:46:28.02 ID:e3xNYXlE.net] YZ 1079 名前：１３２人目の素数さん [2020/07/10(金) 12:46:50.24 ID:e3xNYXlE.net] ！”＃ 1080 名前：１３２人目の素数さん [2020/07/10(金) 12:47:03.87 ID:e3xNYXlE.net] ＄％＆ 1081 名前：１３２人目の素数さん [2020/07/10(金) 12:47:18.66 ID:e3xNYXlE.net] ’（） 1082 名前：１３２人目の素数さん [2020/07/10(金) 12:47:37.89 ID:e3xNYXlE.net] ＜＞ 1083 名前：１３２人目の素数さん [2020/07/10(金) 12:47:50.39 ID:e3xNYXlE.net] ＋＊ 1084 名前：１３２人目の素数さん [2020/07/10(金) 12:48:08.83 ID:e3xNYXlE.net] ＝〜｜ 1085 名前：１３２人目の素数さん [2020/07/10(金) 12:48:23.07 ID:e3xNYXlE.net] ｛｝ 1086 名前：１３２人目の素数さん [2020/07/10(金) 12:48:38.66 ID:e3xNYXlE.net] 1000！ 1087 名前：1001 [Over 1000 Thread.net] このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 202日 13時間 20分 32秒 1088 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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