1 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 10:45:05.23 ID:JTc4r8fR.net] このスレは、皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/grzt9u2b/e/ 596 名前：１３２人目の素数さん [2018/12/28(金) 20:37:29.99 ID:fkehK+Gv.net] ぶっちゃけ、スレ主が ＞あとで、あとでな とか言ってるのを見て 鼻で笑っちまった 597 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/28(金) 20:39:31.71 ID:Aart/Hgg.net] >>540-545 いや ありがとうありがとう 催促しようと思っていたんだ バカピエロ踊りを！（＾＾ やっぱりこのスレは、バカピエロが踊らないと 様にならない さあ、踊れ バカピエロ！（＾＾ 598 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/28(金) 20:39:58.48 ID:Aart/Hgg.net] >>547 ありがとう ピエロちゃん（＾＾ 599 名前：１３２人目の素数さん [2018/12/28(金) 20:43:06.32 ID:fkehK+Gv.net] >>546 日本語も読めないスレ主に英語は無理 そもそもスレ主は選ぶ対象を間違ってる 選ぶのは決定番号じゃなく列　 列の数は１００個　はずれは高々１個 日本語の文章もろく読めないスレ主が 入れる大学ってどこだろうな　まったく 600 名前：１３２人目の素数さん [2018/12/28(金) 20:47:03.71 ID:fkehK+Gv.net] >>548-549 スレ主の必死なコピペこそバカピエロ踊りだろｗ 反論したいならまず英語を日本語に翻訳してみろ 全然使 601 名前：えないってことがわかるぞｗ [] [ここ壊れてます] 602 名前：１３２人目の素数さん [2018/12/28(金) 20:50:26.61 ID:fkehK+Gv.net] >>546 ＞（「arbitrarily large」が可能無限、「infinite」が実無限な ） スレ主ってホント馬鹿だな 「arbitrarily large」は有限、「infinite」は無限だ 603 名前：１３２人目の素数さん mailto:sage [2018/12/28(金) 21:02:01.91 ID:Mez7x6wS.net] >>537 「手前勝手に設定」とスレ主は書いているが 時枝記事では100列の中で数当て戦略が失敗するような決定番号は 高々1つしかない そこで最悪のケースとして100個の決定番号の中に数当て戦略が失敗する 決定番号が必ず1個あると仮定すれば数当て戦略が失敗するのは 当然100個の内1個だけ (無限を扱うのに極限を定義すれば)100個の決定番号を用いて数当てが失敗 する決定番号を選ぶ場合の確率空間を定義できる この場合P({k}) = 1/100だから1 - 1/100 = 99/100と導ける https://ja.wikipedia.org/wiki/確率空間 > サイコロ投げの確率空間は次のようなものである：S = {1, 2, 3, 4, 5, 6}, E = 2^S, P({k}) = 1/6 (k = 1, 2, 3, 4, 5, 6) (6列なら6個の決定番号)これと同じことです 604 名前：１３２人目の素数さん [2018/12/28(金) 21:08:45.26 ID:fkehK+Gv.net] >>546 ＞mathoverflow.net/ みたく、ばりばりの数学科生が書いていて スレ主が勝手にそう思い込んでるだけだろｗ お目出度い奴だな 605 名前：１３２人目の素数さん [2018/12/28(金) 21:21:14.51 ID:+5Kxdi2K.net] >>552 その通り >>546 「arbitrarily large」は「任意に大きい」 「infinite」は「無限の」 と解説してやってもスレ主は理解しないだろう。過去ログから分るが、スレ主は両者の区別がついてない。 ＞「infinite」が実無限 と書いてる辞書があるなら書名を教えてくれ、文句言ってやる。 606 名前：１３２人目の素数さん [2018/12/28(金) 21:30:34.94 ID:fkehK+Gv.net] >>546 だいたいスレ主は海外の掲示板の中から 自分に都合のいい文章を引っこ抜いただけだろ そりゃ決定番号の確率分布なんか考えようとしたら破綻する しかし、それが時枝戦略の成功確率の計算に不可欠かといえばそんなことはない 日本人だろうが外国人だろうが間違うヤツは間違う　ただそれだけのこと 607 名前：１３２人目の素数さん [2018/12/28(金) 21:37:27.96 ID:fkehK+Gv.net] >>546 ＞because we would need to define a measure on sequences これこそ分かってるつもりの馬鹿の発言 数列上の測度の定義なんか必要ない 必要ないものを必要だと思うのは頭が悪い 608 名前：１３２人目の素数さん [2018/12/28(金) 21:44:51.39 ID:fkehK+Gv.net] ハウスドルフの逆理みたいに、 ある方法では１／２、別の方法では１／３ になる場合には確率が定義できない といっていいが、時枝戦略の成功確率は そういうものではない 609 名前：１３２人目の素数さん [2018/12/28(金) 22:04:33.25 ID:+5Kxdi2K.net] 英語圏にもスレ主のようなバカがいるらしい よかったなスレ主 610 名前：１３２人目の素数さん [2018/12/28(金) 22:09:26.71 ID:fkehK+Gv.net] スレ主は結局、反論を思いつけず ただ海外の掲示板を検索して 「向うの”数学関係者”は否定発言してる」 とわめくだけの●違いピエロだったか https://www.youtube.com/watch?v=V5rjVz_VWfg 611 名前：１３２人目の素数さん [2018/12/28(金) 22:11:38.36 ID:fkehK+Gv.net] >>559 ＞英語圏にもスレ主のようなバカがいるらしい バカはどこにでもいるでしょうｗ スレ主が卑怯卑劣なのは、そういうバカが 数学の専門家であるかの如くみせかける点 まさにサイコパス 612 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/28(金) 22:26:04.84 ID:Aart/Hgg.net] >>534 追加 maxima.hatenablog.jp/entry/2018/03/27/223834 2018-03-27 -数学- ガロアの逆問題 Maxima で綴る数学の旅 (抜粋) ガロア理論の周辺の問題として、「ガロアの逆問題」と呼ばれる問題があります。与えられた有限群をガロア群としてもつ多項式をあれば求めよ、というような問題です。もう少しきちんと書くと以下のようになります。 この問題に対して５次方程式のガロア群（対称群 S5の部分群）について"生成多項式"を具体的に与える論文[1]があります。位数10の２面体群、位数5の巡回群、位数20のフロベニウス群、５次の交代群、５次の対称群などは５次方程式のガロア群となるものです。それぞれの群について具体的な 613 名前：方程式を生成する方法が下記の論文には載っています。 http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1324-21.pdf 橋本喜一朗、角皆 宏、5 次可移群に対する Q 上 2 助変数生成的多項式の構成、数理解析研究所講究録 1324 巻 2003 年 207-216 [] [ここ壊れてます] 614 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/28(金) 22:26:34.06 ID:Aart/Hgg.net] 付録 検索でヒットしたので www.tsuyama-ct.ac.jp/matsuda/ 松田　修　津山高専 www.tsuyama-ct.ac.jp/matsuda/eBooks/galios.pdf ガロア理論を理解しよう Osamu MATSUDA 平成 30 年 11 月 16 日 615 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/28(金) 22:28:35.54 ID:Aart/Hgg.net] >>550-561 バカ踊りありがとう、ピエロ さあ、踊れ バカピエロ！（＾＾ 616 名前：１３２人目の素数さん [2018/12/28(金) 22:29:13.33 ID:+5Kxdi2K.net] >>561 ＞バカはどこにでもいるでしょうｗ それはそうだが、スレ主ほどのバカがいるとは些か驚きｗ 617 名前：１３２人目の素数さん [2018/12/28(金) 22:30:40.11 ID:fkehK+Gv.net] >>564 バカは掲示板の英語文コピペしただけで 反論した気になってるAIアタマのスレ主 さあ狂え　●違いピエロスレ主 618 名前：１３２人目の素数さん [2018/12/28(金) 22:33:26.22 ID:fkehK+Gv.net] スレ主がいくら 「非可測だから確率が定義できない」 とわめいたって、こっちは 「それは貴様がバカだからだろ 　別のやり方で確率は算出できる」 というだけのことで、スレ主は こっちのやり方を否定する論拠 なんか持ち合わせちゃいない スレ主　惨敗 619 名前：１３２人目の素数さん [2018/12/28(金) 22:39:32.40 ID:fkehK+Gv.net] >>565 ＞スレ主ほどのバカがいるとは些か驚きｗ 一つの考え方に固執するバカは珍しくない 時枝戦略でいえば、数列上の測度に固執するバカとか 非可測なんだからその道は諦めて別の道を行けよ 620 名前：１３２人目の素数さん [2018/12/28(金) 22:48:52.25 ID:fkehK+Gv.net] IUTスレで珍しくここのスレ主の話題がでたから 数学どころか文章の読解もできず 他人の文章をコピペするだけの池沼だと さんざんこきおろしてやった ざまあみろ 621 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 07:56:58.69 ID:nqXwmrkU.net] >>569 >IUTスレで珍しくここのスレ主の話題がでたから >数学どころか文章の読解もできず >他人の文章をコピペするだけの池沼だと >さんざんこきおろしてやった >ざまあみろ おは ピエロちゃん、ありがとう（＾＾ ああ、下記かい これ、面白すぎるわ 記念に全文をコピペしておくよ あんたのサイコパス性格が、もろ全開だね〜（＾＾； これ、Ｍ＝望月新一先生だね ・「肝心の圏論の理解はボロボロなＭは只のイタイ奴」 ・「ここにはMのイヌがいるのか？」 ・「おまえがMのイヌか？」 ・「＞前者（Mのやりたかったこと）の部分にははなから何もないのか 　　なんかあったって間違ってるんなら無意味だろ」 いやはや、ピエロの小学生頭で、おまえIUTの何を理解しているんだ ”ボロボロなＭは只のイタイ奴”とか、”Mのイヌ”とか、”間違ってるんなら無意味”とか、何をもってそう決めつけているのかね？？ おれなんか、IUTスレはレベル高すぎて、ヤジウマが精一杯だよ まあ、ド素人のおれなんか、プロ野球を外野スタンドから見ているようなものだが ピエロの小学生頭じゃ、下手なド素人が、プロのグランドに降りて、引っかき回してきたとした思えないね https://rio2016.5ch.net/test/read.cgi/math/1543778612/975 Inter-universal geometry と ABC予想 35 975 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 18:12:34.28 ID:fkehK+Gv [1/5] 結局、自分の理論に「宇宙際」とか中二病な名前つけときながら 肝心の圏論の理解はボロボロなＭは只のイタイ奴ってことでＯＫ？ 983 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 22:44:19.60 ID:fkehK+Gv [2/5] ここにはMのイヌがいるのか？ つづく 622 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 07:57:49.24 ID:nqXwmrkU.net] >>5 623 名前：70 つづき 984 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 22:47:02.91 ID:fkehK+Gv [3/5] >>967 ＞古典ガロアスレ主とかと一緒のタイプなのか 古典ガロアスレ主は正真正銘の池沼だよ 数学が分かってないだけでなく そもそも文章が読めない だからやたらとコピペしまくる 読んで自分の言葉にすることができない 988 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 22:58:52.34 ID:fkehK+Gv [4/5] >>986 おまえがMのイヌか？ 989 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 23:03:47.03 ID:fkehK+Gv [5/5] >>987 ＞前者（Mのやりたかったこと）の部分にははなから何もないのか なんかあったって間違ってるんなら無意味だろ (引用終り) 以上 [] [ここ壊れてます] 624 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 07:58:10.07 ID:nqXwmrkU.net] >>565-569 バカ踊りありがとう、ピエロ さあ、今日も踊れ バカピエロ！（＾＾ 625 名前：１３２人目の素数さん [2018/12/29(土) 08:22:27.17 ID:dAnabccJ.net] >>570-571 IUTの正当性は知らんけどな Mこと望月新一氏の信奉者に対して 決して数学界が受け入れてるわけではない という情報を伝えるのはいいことだろうよ >>572 またバカスレ主のピエロが発狂してるな 626 名前：１３２人目の素数さん [2018/12/29(土) 08:27:51.53 ID:dAnabccJ.net] ”時枝記事の戦略の成功確率が 　「有限事象の確率の計算」 　に帰着されるのは 　a. 1〜100のいずれかkをランダムに選ぶ 　b. 選ばれた列s~kの決定番号d(s~k)が 　　他の列の決定番号どれよりも大きい 　　場合はたかだか1つ 　の２点に基づいているから” この文章にスレ主はいまだ反論できず >>546？　ありゃ反論じゃないな ただのコピペ　しかも理屈は全然なし スレ主　文章読めんし書けんって本当だったな 627 名前：１３２人目の素数さん [2018/12/29(土) 08:35:07.20 ID:dAnabccJ.net] >>546 ”In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"? I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N_ 1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.” 「この文脈では、「ボックスの内容を任意の高い確率で推測する」と言っても意味がありますか。 　私たちが必要とする唯一の確率尺度は{0,1、…、N_1}上の一様確率であるため、それは問題ないと思います。 　しかし、他の人々はそれが問題だと主張します、なぜなら私たちは数列に関する測度を定義する必要があり、さらに選択の公理はすべてを台無しにするからです。」 上記の「他の人々」は「数列に関する測度」とかいう袋小路に入り込んで 「出口がない！」とわめいてる点で、スレ主と同レベルだな 628 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:34:21.42 ID:nqXwmrkU.net] >>573-575 バカ踊りありがとう、ピエロ さあ、今日も踊れ バカピエロ！（＾＾ 629 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:36:13.23 ID:nqXwmrkU.net] >>573 >IUTの正当性は知らんけどな >Mこと望月新一氏の信奉者に対して >決して数学界が受け入れてるわけではない >という情報を伝えるのはいいことだろうよ はあ？　”IUTの正当性は知らんけど”って？ 「IUTの正当性」が、あのスレのキモでしょうよ？（＾＾； はあ？　”決して数学界が受け入れてるわけではない”？？ 　お前が、数学界を代表して発言しているのかい？ （査読の終わった論文として発行されるというのが、「数学界が受け入れる」ことの第一歩でしょ？　まだ査読が終わっていないの周知よ。なに言ってるの？） サイコパス頭全開だね〜、ワロタよ、ピエロ（＾＾； 630 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:37:51.40 ID:nqXwmrkU.net] >>570 ついでに https://rio2016.5ch.net/test/read.cgi/math/1543778612/966-967 Inter-universal geometry と ABC予想 35 966 名前：１３２人目の素数さん[sage] 投稿日：2018/12/28(金) 16:56:10.21 ID:bMFTtxiH [2/2] 最後って言いながらずっと書き込んでる痴呆症の人は物理屋さんとか親切な人をレスに盛り込まないと書き込めない病気も患ってるの？ 967 名前：１３２人目の素数さん[sage] 投稿日：2018/12/28(金) 17:03:08.35 ID:KlRY2tKA [7/10] >>966 なんかそのひとってほんと主張に特徴があって、 ・IUTTは成功してないけど望月のアイデアはすごい 　→　IUTTに独創的なアイデアというほどのアイデアはない 　　　ショルツたちがIUTTのアイデアで独創的と認めているものはない ・IUTTは現状の数学では成立しないけど数学的には意義がある 　→　意味がよく分からない ・いろいろ書いてるけど別に数学に詳しくないっぽい のよね。古典ガロアスレ主とかと一緒のタイプなのか。 (引用終り) 「そのひと＝古典ガロアスレ主とかと一緒のタイプ」 って、このひとのレスを見たけど、おれよりよほどレベルが高い まあ、「いろいろ書いてるけど別に数学に詳しくないっぽい」というのは、私スレ主には当たっているが このひとには該当しないと思うよ つづく 631 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:40:15.03 ID:nqXwmrkU.net] >>578 つづき で、このガロアスレについて書くと 下記に、2ch勢いランキングというのがあって（いま5chだけど） このガロアスレが勢いで２位 のみならず、６位（スレ55）と１９位（スレ52）にも、過去スレが生き残っている この勢いは、バカピエロのバカ踊りのたまものなので、バカピエロには感謝しているが（＾＾； 一方で、「この5ch数学板の惨状はなんなのだ？」という思いもある 下記スレタイ見ても、読んでみようかと思うタイトルは少ないし、たまに覗くと人が居ないし 49.212.78.147/index.html?board=math 2ch勢いランキング 2ch全カテゴリ > 学問・理系 > 数学 (抜粋) 順位 6H前比 スレッドタイトル レス数 勢い 1位 = Inter-universal geometry と ABC予想 36 18 55 2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 572 44 3位 = Inter-universal geometry と ABC予想 35 1001 38 4位 = 奇数の完全数の存在に関する証明3 557 29 5位 = 分からない問題はここに書いてね449 963 29 6位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む55 745 24 7位 = 面白い問題おしえて〜な 28問目 907 15 8位 = 数学の本第80巻 505 12 9位 = 高校数学の質問スレPart398 713 10 10位 = 【専門書】数学の本第80巻【啓蒙書】 310 7 つづく 632 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:40:39.31 ID:nqXwmrkU.net] >>579 つづき 11位 ↑2 【数学検定】数学検定（数検）総合スレッド Part.12 891 6 12位 ↓-1 【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】 740 6 13位 ↓-1 巨大数探索スレッド14 864 6 14位 = ■■■■■■■■■■■■■　　　人工太陽　　　108 5 15位 = Michael F. Atiyahがリーマン予想を証明しました。 407 4 16位 = 数理論理学（数学基礎論）　その13 547 4 17位 = 「数学って何の役に立つの？」へのお前らの答えを書くスレ 124 4 18位 = コラッツ予想がとけたらいいな　その2 672 3 19位 ↑2 現代数学の系譜 工学物理雑談 古典ガロア理論も読む52 688 3 20位 = 量子コンピュータは数学の証明に使えるか？ 36 3 21位 ↓-2 【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章 933 3 (引用終り) つづく 633 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:41:06.00 ID:nqXwmrkU.net] >>580 つづき で、この５ｃＨ数学板で、ガロアスレ以上のレベルで、議論が活発なスレは？ 見るところ、「Inter-universal geometry と ABC予想」くらいじゃない？ ＩＵＴスレは、レベル高杉で、ほとんどついて行けないが、面白いのでヤジウマしている だけど、他で面白そうなのは、住民がいないし アクティブなスレがあると、高校レベルに毛の生えた程度だし なので、ここ１年くらいは、ＩＵＴスレ以外は巡回していないんだ どうぞ、どなたでも ガロアスレ以上のレベルで アクティブなスレがあれば教えて下さい 巡回ルートに入れますので 以上 634 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:41:23.42 ID:nqXwmrkU.net] バカ踊りありがとう、ピエロ さあ、今日も踊れ バカピエロ！（＾＾ 635 名前：& [2018/12/29(土) 09:50:00.73 ID:h+e/QCOw.net] 𓀀 𓀁 𓀂 𓀃 𓀄 𓀅 𓀆 𓀇 𓀈 𓀉 𓀊 𓀋 𓀌 𓀍 𓀎 𓀏𓀐 𓀑 𓀒 𓀓 𓀔 𓀕 𓀖 𓀗 𓀘 𓀙 𓀚 𓀛 𓀜 𓀝 𓀞 𓀟𓀠 𓀡 𓀢 𓀣 𓀤 𓀥 𓀦 𓀧 𓀨 𓀩 𓀪 𓀫 𓀬 𓀭 𓀮 𓀯𓀰 𓀱 𓀲 𓀳 𓀴 𓀵 𓀶 𓀷 𓀸 𓀹 𓀺 ̊ 636 名前：83; 𓀼 𓀽 𓀾 𓀿𓁀 𓁁 𓁂 𓁃 𓁄 𓁅 𓁆 𓁇 𓁈 𓁉 𓁊 𓁋 𓁌 𓁍 𓁎 𓁏𓁐 𓁑 𓁒 𓁓 𓁔 𓁕 𓁖 𓁗 𓁘 𓁙 𓁚 𓁛 𓁜 𓁝 𓁞 𓁟𓁠 𓁡 𓁢 𓁣 𓁤 𓁥 𓁦 𓁧 𓁨 𓁩 𓁪 𓁫 𓁬 𓁭 𓁮 𓁯 𓁰 𓁱 𓁲 𓁳 𓁴 𓁵 𓁶 𓁷 𓁸 𓁹 𓁺 𓁻 𓁼 𓁽 𓁾. [] [ここ壊れてます] 637 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:53:30.34 ID:nqXwmrkU.net] >>575 >上記の「他の人々」は「数列に関する測度」とかいう袋小路に入り込んで >「出口がない！」とわめいてる点で、スレ主と同レベルだな まじレスすれば 過去にそういう人は、このスレに来たよ 最初が、私が確率論の専門家さんと呼ぶ人だった あと二人くらい来て 最後が、ぷふさんだったね まあ、そのうち、お前のピエロバカ頭にも分るように書いてやるからさ それまで、ピエロ踊り頑張ってくれ〜！（＾＾ 638 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 09:54:10.53 ID:nqXwmrkU.net] >>583 ありがとう ご苦労さまです（＾＾ 639 名前：& [2018/12/29(土) 09:58:16.13 ID:h+e/QCOw.net] ピエロとヒエログリフ →ダジャレ 640 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 11:00:07.88 ID:TDtgy/5r.net] 巨大数スレとかちょくちょく大学以上の数学について話されてるけどな 641 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 11:12:36.15 ID:nqXwmrkU.net] >>573 >決して数学界が受け入れてるわけではない >という情報を伝えるのはいいことだろうよ ID:dAnabccJ ＝ピエロ じゃん（＾＾； 「できなきゃ数学界では認められない」（下記） お前、数学界を代表して発言しているのかい？ッﾌﾟ（＾＾ （サイコパスだね〜） https://rio2016.5ch.net/test/read.cgi/math/1546010649/ Inter-universal geometry と ABC予想 36 19 名前：１３２人目の素数さん[] 投稿日：2018/12/29(土) 09:18:07.89 ID:dAnabccJ >>9 ショルツの指摘に反駁するのはＭの仕事だろ できなきゃ数学界では認められない　当り前のこと 642 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 11:13:31.06 ID:nqXwmrkU.net] >>586 ありがとう わろた〜（＾＾ 643 名前：１３２人目の素数さん [2018/12/29(土) 11:19:12.97 ID:Om+har0l.net] もはや誹謗中傷しかしなくなったスレ主 それでスレが伸びてると自慢 はあ 644 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 11:38:26.35 ID:nqXwmrkU.net] >>587 >巨大数スレとかちょくちょく大学以上の数学について話されてるけどな ああ、下記ね ありがとう 今見てきたけど まあ、アスキー書式しか使えない場所で 数学の議論をすることの限界をしめしていると思う 実際極めて読みづらい 49.212.78.147/index.html?board=math 2ch勢いランキング 2ch全カテゴリ > 学問・理系 > 数学 (抜粋) 順位 6H前比 スレッドタイトル レス数 勢い 13位 ↓-1 巨大数探索スレッド14 864 6 巨大数探索スレッド14 https://rio2016.5ch.net/test/read.cgi/math/1532700505/ 645 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 11:48:00.22 ID:nqXwmrkU.net] >>590 まあ、十分時間をかけないとね（＾＾ 時枝記事の不成立は、ある程度の数学レベルがないと、理解が難しい （>>508より） おっちゃんの 「100個の相異なる決定番号からなる有限集合をΩとする。Ωの濃度は card(Ω)＝100。 そこで、濃度が 2^{100} に等しいΩのσ-集合体をFとする。」 ピエロ >Ωは{1,･･･,100}でOKなんで (引用終り) これみたら、確率空間の設定を間違えている確率論ド素人丸出し こんなやつらを、どうやってまともに相手するっていうんだ？ まあ、おれも確率論が詳しいとはいえないけどよ 646 名前：１３２人目の素数さん [2018/12/29(土) 12:08:29.91 ID:Om+har0l.net] >>592 ＞まあ、十分時間をかけないとね（＾＾ ＞時枝記事の不成立は、ある程度の数学レベルがないと、理解が難しい 3年では足りないと？ 647 名前：１３２人目の素数さん [2018/12/29(土) 12:13:47.37 ID:Om+har0l.net] >>592 ＞これみたら、確率空間の設定を間違えている確率論ド素人丸出し いや、決定番号＝∞とか言っちゃうスレ主がアホ丸出しでしょ 決定番号が自然数でありさえすれば、その確率空間の設定で何ら問題無いし、 実際、選択公理を仮定すれば決定番号は自然数になる。 648 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 12:14:30.77 ID:nqXwmrkU.net] >>563 追加 「2017 年 8 月下旬から当時小学校 4 年生の高橋洋翔君との研究交流が始まった」「T は 10 歳の数学少年」だって（＾＾ あと 「飯高茂，数学の研究をは 649 名前：じめよう／高校生の定義した新しい完全数，その衝撃−前編，現代数学 2017 年 5 月号，現代数学社，pp.79-85」 にも、びっくり（＾＾ http://www.tsuyama-ct.ac.jp/matsuda/ 松田　修　津山高専 http://www.tsuyama-ct.ac.jp/matsuda/AlgeGeo/algegeo_index.html 代数幾何学シンポジウムの記録 −高専代数幾何学研究会編− http://www.tsuyama-ct.ac.jp/matsuda/AlgeGeo/algebraic_geometry_2017.pdf 代数学ミニシンポジウム2017 in 倉敷 （報告集） new (抜粋) ハイパー完全数と スーパー完全数（飯高 茂） ・・・・・・・ 1 5 高橋君との研究交流 9 5.1 m:奇数の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 5 高橋君との研究交流 2017 年 8 月下旬から当時小学校 4 年生の高橋洋翔君との研究交流が始まった. ここで は高橋君を T を筆者を I と書く. (T は 10 歳の数学少年 ,I は 75 歳の後期高齢者). 1. 2017 年 8 月 25 日. T は I に数学の研究になる課題を教えてほしいと要望. 2. 8 月 27 日. I は葉書を出して . φ(2φ(a) + 1) = a + 1 の解 a は何かを問う. 3. 2 日後 T は 解は 2^e. ここで 2^e + 1 は素数と返書. 4. I は葉書を出して, 未解決の問題なので難問と添え書きして φ(2φ(a) ? 2) = ?3 の解を問う. 5. T は 解は 双子素数の兄の方であると証明をつけて ipad で返書. 6. ２日後 I は 葉書を出して一般に m:負の奇数のとき φ(2φ(a) + 1 + m) = a + m, の解などを問う. 7. 9 月 2 日 T は 多くの課題と結果を書きならべ, m = ?1 のとき φ(2φ(a)) = a ? 1の解は 2 とフェルマ素数と予想するが未証明と ipad で返書 8. それを受けて I は m = ?1:のとき解はないとしていた誤りに気づき, 正しい証明を作り mail で伝えた. 以下はこのような流れの中でできた結果についてふれる つづく [] [ここ壊れてます] 650 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 12:15:43.65 ID:nqXwmrkU.net] >>595 つづき 素数??を基礎にした完全数の研究（桐山翔伍） ・・・・・・・ 76 昨年の JSEC2016 において「メルセンヌ素数とその派生数に関する研究」[K1]を発表し た．この研究において，私はこれまでに知られている完全数をより一般的に扱った「素数?? を基礎にした完全数」という数を定義することに成功した． 9. おわりに 昨年の JSEC2016 の後，それまでの研究を論文[K2]にまとめた．そしてまとめた論文を数 学クラブの顧問の先生の勧めで日本教育学会会高専・大学部会論文誌に投稿し，掲載された． この論文[K2]を見て，学習院大学名誉教授の飯高茂先生が，雑誌「現代数学」に「高校生の 定義した新しい完全数」というサブタイトルで，私の研究を紹介して評価してくださり(参 考[K1], [K2])，とてもうれしく，感謝した． 参考文献 [I1] 飯高茂，数学の研究をはじめよう／高校生の定義した新しい完全数，その衝撃−前編， 現代数学 2017 年 5 月号，現代数学社，pp.79-85 [I2] 飯高茂，数学の研究をはじめよう／高校生の定義した新しい完全数，その衝撃−後編， 現代数学 2017 年 6 月号，現代数学社，pp.82-87 (引用終り) 以上 651 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 12:16:55.66 ID:nqXwmrkU.net] >>593-594 ピエロちゃん、アホ踊りありがとう（＾＾ 652 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 12:19:52.52 ID:nqXwmrkU.net] >>596 文字化け訂正 素数?? ↓ 素数p 追伸 これが文字化けするとは、不便な板だね（＾＾ 653 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 12:22:03.86 ID:9ok3z8n8.net] おっちゃんです。 >>592 私は時枝記事は読んでいないと>>525に書いたろ。 100個の決定番号が相異なることは保証されていないから、 スレ主のマネして構成しようとした確率空間 (Ω,F,μ) card(Ω)＝100 が間違うのは当たり前。 Ωが1元集合でもいいのだし、このときは公理的な確率論は適用するまでもない。 2≦card(Ω)≦100 のときは、μの定� 654 名前：ﾟ方が私には分からん。 このように、スレ主のマネするとややこしいことになる。 だから、公理的な確率論は持ち出すまでもない。 [] [ここ壊れてます] 655 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 12:27:07.72 ID:9ok3z8n8.net] >>592 というか、2≦card(Ω)≦100 のときは、μを定める一定の基準は見たところなさそうだな。 656 名前：１３２人目の素数さん [2018/12/29(土) 12:30:18.99 ID:Om+har0l.net] 3年の間スレ主の傍証は尽く否定されたし、スレ主は一度も時枝解法の間違い箇所を指摘できていない。 なのに何故スレ主が未だに不成立と思ってるのかが謎。 誹謗中傷しかできない荒しとなってまで不成立の立場を守る価値があるのか？ 657 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 12:34:46.09 ID:9ok3z8n8.net] >>592 2≦card(Ω)≦100 のときは、 1)：card(Ω)＝2 のとき、2)：card(Ω)＝3 のとき、…、99)：card(Ω)＝100 のとき、 としらみ潰しに場合分けするしかなさそうだが、本来する必要は全くないのに、 こんな面倒でバカげたことをする人間いないだろ。 そういうことを考えるのはスレ主だけ。 658 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 12:49:01.53 ID:9ok3z8n8.net] >>592 >>602の >1)：card(Ω)＝2 のとき、2)：card(Ω)＝3 のとき、…、99)：card(Ω)＝100 のとき、 は >1)：2≦card(Ω)≦99 のとき、2)：card(Ω)＝100 のとき、 とに簡略化出来そうだが、今更やる気はない。 Ωを Ω＝{1,2,…,100} とすることで、もう話は終わっている。 659 名前：１３２人目の素数さん [2018/12/29(土) 16:01:19.21 ID:dAnabccJ.net] >>584 なんだ、スレ主の主張って結局「袋小路」につきるのか スレ主ってホント考えることがニガテなバカなんだな ＞まあ、そのうち、お前にも分るように書いてやるからさ スレ主には一生かかっても無理だろ 計算方法が一つしかないはずだと妄想してる ●違いピエロのスレ主にはさ 660 名前：１３２人目の素数さん [2018/12/29(土) 16:09:24.00 ID:dAnabccJ.net] >>592 >>Ωは{1,･･･,100}でOKなんで >これみたら、確率空間の設定を間違えている確率論ド素人丸出し >こんなやつらを、どうやってまともに相手するっていうんだ？ 素人は ”we would need to define a measure on sequences” と思ってるスレ主のほうだろ 実際は ”the only probability measure we need is uniform probability on {0,1,…,N-1}” なんだよ 無駄に難しく考えたがるのが素人 玄人はそういう馬鹿な誤ちは犯さない 根拠は以下の通り 一遍読んだだけで理解できないなら 理解できるまで百遍でも千遍でも読み直せ このAIアタマが！ ”時枝記事の戦略の成功確率が 　「有限事象の確率の計算」 　に帰着されるのは 　a. 1〜100のいずれかkをランダムに選ぶ 　b. 選ばれた列s~kの決定番号d(s~k)が 　　他の列の決定番号どれよりも大きい 　　場合はたかだか1つ 　の２点に基づいているから” 661 名前：１３２人目の素数さん [2018/12/29(土) 16:16:52.11 ID:dAnabccJ.net] >>594 >決定番号＝∞とか言っちゃうスレ主がアホ丸出しでしょ ああ、それはバカ丸出しだなｗ さすがにいくらスレ主がバカでも、 いまでもそう思い続けてるってことはないだろ え？スレ主のバカには底がない？ それは酷いな　自然数の定義も確認せずにデッチあげるとは スレ主いわく「頭が良すぎる」バカの典型か？ >決定番号が自然数でありさえすれば、 >その確率空間の設定で何ら問題無いし、 そう、順序の基本的性質から 予測に失敗する「外れくじ」は たかだか1個だと示せる スレ主は全部が全部、 「他より最大」のハズレくじ になると思ってるらしいがなｗ >実際、選択公理を仮定すれば決定番号は自然数になる。 選択公理で検索して見つかった文章をコピペするだけの AIアタマのスレ主には、なぜそうなるのかが分からない 代表元がとれるのを保証するのが選択公理 決定番号が自然数になるのは同値類の定義 この程度のことも時枝記事の文章から読み取れないのが AIアタマのスレ主 662 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 16:17:52.22 ID:9ok3z8n8.net] >>592 まあ、少し考えたところ、決定番号の定義上、1,2,…,100 の100個の正整数に対して それぞれ一意に定まるような100個の決定番号が相異なること(私にΩについて card(Ω)＝100 となること) は示せなさそうで、時枝記事に論理のギャップがある訳ではなさそうだし、>>502に間違いは見当たらない。 むしろ、スレ主のやり方をしようとすると、逆に間違いが生じる。 というか、高校レベルの古典的確率論について書かれた 有名な大学の確率論(公理的な確率論)のテキストがあるのを知らんのか。 663 名前：１３２人目の素数さん [2018/12/29(土) 16:20:39.41 ID:dAnabccJ.net] >>599 >100個の決定番号が相異なることは保証されていないから・・・ おっちゃんがなぜ、Ωの元に決定番号をとりたがるのかわからんが 単に（列番号.決定番号)の組を考えればいいだけ、 実際、列番号に対してランダムな選択を行っているのだから 664 名前：１３２人目の素数さん [2018/12/29(土) 16:23:45.57 ID:Om+har0l.net] 最近のAIは株価予測もできるらしい。機械学習の進歩は目覚ましい 3年かかって進歩ゼロのスレ主とは大違い 665 名前：１３２人目の素数さん [2018/12/29(土) 16:30:52.49 ID:dAnabccJ.net] >>601 >3年の間スレ主の傍証は尽く否定されたし、 そりゃ決定番号∞とか、無限列の連接とか トンデモな素人発想が速攻三秒で否定されるのは あたりまえだろｗｗｗ >スレ主は一度も時枝解法の間違い箇所を指摘できていない。 スレ主は選択公理を否定したがらないから、代表元は必ずとれてしまう 同値類の性質は定義だから、代表元が存在すれば決定番号は自然数になる 決定番号が自然数なら、１００個の自然数中、 他の９９個より大きな数は存在するなら1個だけだ。 最大値となる自然数が２個以上の場合は、時枝戦略は必ず成功する つまり、時枝戦略が失敗する可能性はたかだか(100-1)/100=99/100 >なのに何故スレ主が未だに不成立と思ってるのかが謎。 スレ主は単に「独立の筈なのに予測できるわけがない」と 感情的に反発しつづけてるだけ。論理的根拠は特にない。 ただ、それではバカ扱いされるだけなので、 非可測性に固執して「確率は計算できない」と もっともらしい顔して反対してるだけ。 時枝の「証明」に対する反論のネタは見つけられずしまい。 >誹謗中傷しかできない荒しとなってまで不成立の立場を守る価値があるのか？ スレ主は●違いだから仕方ない　 文章がまともに読めない時点で知能指数も格段に低そうだ 大学は出てるらしいが、MARCHどころか日東駒専、 いや大東亜帝国なみのカス大学だろ ぶっちゃけ早慶とかいうことはない 666 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 16:31:37.70 ID:9ok3z8n8.net] >>608 ＞>100個の決定番号が相異なることは保証されていないから・・・ ＞ ＞おっちゃんがなぜ、Ωの元に決定番号をとりたがるのかわからんが ＞単に（列番号.決定番号)の組を考えればいいだけ 私が間違いをした時点では正確な時枝記事の問題を忘れていて、 そのとき決定番号にしつこくダダこねてこだわって来たスレ主に付き合った。 667 名前：１３２人目の素数さん [2018/12/29(土) 16:37:30.48 ID:dAnabccJ.net] >>609 スレ主はAIで失職する人材の典型だろう スレ主でもできるような計算もしくは機械的作業なら AIは難なくやりこなすだろうから スレ主は時枝記事の肝心の戦略の箇所が読解できないから 完全にAIに負けている　AIにできない仕事に就くのは無理だろう 668 名前：１３２人目の素数さん [2018/12/29(土) 16:44:07.16 ID:dAnabccJ.net] このスレが人気の理由が専らスレ主によるところなのは間違いない しかし、それはスレ主が思ってるような理由（スレ主が賢い、等）ではない ぶっちゃけスレ主がアホのくせにリコウぶって わけのわからんことを書き続けるのが滑稽だから というこの一点につきるｗ スレ主がなんでコピペばっかりするのか？ 要するにキーワードで検索するだけで みつかった結果の文章を読解できない 残念なオツムの持ち主だからだろう 669 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 17:42:27.99 ID:9ok3z8n8.net] >>592 まあ、何れにしろ、時枝記事の問題は単純に古典的な確率論でに考えた方が簡単。 670 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 17:46:28.77 ID:9ok3z8n8.net] >>578 あと、上の方で IUT のことにスレ主は触れていたが、 長い IUT の論文を読むことは、マトモな洋書を1冊読むようなことに当たる。 正しいかどうかだけでなく、応用面も限られているようだしな。 見たところ、解析的なことには使えなさそうだ。 そのようなこともあり、IUT をするなら、他のことをした方がいい。 とはいっても、スレ主は驚いたことに中学レベルであったが。 それじゃ、おっちゃんもう寝る。 671 名前：１３２人目の素数さん [2018/12/29(土) 18:03:59.83 ID:Om+har0l.net] 変数と定数の違いがわからないスレ主は中学生にバカにされるレベル さらに国語も英語もダメ 反論があるなら「確率変数∈R」や「infinite：実無限」と書かれている書籍名を答えてからね 672 名前：１３２人目の素数さん mailto:sage [2018/12/29(土) 18:05:36.25 ID:X/1uhhp/.net] おっちゃんってスレ主が細心の注意を払って おだてたりすかしたりしながら（逃げられないように） このスレで飼ってる感じなのかと思ってたら、最近は そのおっちゃんにまでバカにされてるのかw 673 名前：１３２人目の素数さん [2018/12/29(土) 18:06:40.06 ID:dAnabccJ.net] IUTに比べたら時枝記事なんか所詮２ｐだろ そのくらい三分で読めよ、といいたい スレ主みたいに３年も「わからん！」と駄々こねるのは異常 674 名前：１３２人目の素数さん [2018/12/29(土) 18:08:53.51 ID:dAnabccJ.net] >>617 ＞おっちゃんにまでバカにされてるのかw 実際スレ主はおっちゃんよりバカだろ 本人はおっちゃんより賢いと思い込んでるみたいだがｗ 675 名前：１３２人目の素数さん [2018/12/29(土) 18:38:23.02 ID:dAnabccJ.net] >>611 ＞決定番号にしつこくダダこねてこだわって来たスレ主 スレ主は自己愛性人格障害だからな 世界は自分のためにある、と本気で思ってる 676 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:23:23.17 ID:nqXwmrkU.net] じゃ、ご要望により、 (>>592 より） ピエロ >Ωは{1,･･･,100}でOKなんで (引用終り) では、なぜだめか を説明します もう”改変は無し”でお願いしますよ！ （＾＾ （>>508で確認を入れていますからね。多分、多くの人は途中で”なぜだめか”に気付くでしょうが ） 先は長いので、またーりしましょうね まず、選択公理を確認しましょうね（＾＾ 「選択公理を使えば、いろんなことができる」は、ある意味正しいが、ある意味では正しくない 選択公理が、魔法の杖のように勘違いしている人がいるので、まずここから ・選択公理については、沢山の文献があるが、下記に適当なものを引用した ・選択公理は、カントール以前の人たちには意識されず、無限集合についても有限集合と同じように扱えると、直感的に捉えていた ・カントール以降、有限、可算無限、非可算無限、それ以上 ということが意識され ・集合論をもとに、数学を公理化しようという動きが活発になった。それが20世紀初頭 ・上記のように、選択公理は、数学を公理化しようという動きの中で、”無限集合についても有限集合と同じように扱える”ということを公理化したもの 　（選択公理の”えらい”（未定義用語だが）ところは、公理として明解な表現にしたところにある。 　　その機能は「有限集合に直観的に行っていた操作（ここも厳密な定義はしないが）と同じ」だと。） ・上記のようなことは、どこにでも書いてある（勿論下記引用にもある） 　強調したいことは、当然有限集合に対しても、選択公理と同じ操作が可能だと（例えば下記のen.wikipedia Axiom of choice”Restriction to finite sets”ご参照） ・似たようなことで、可算集合に限定した可算選択公理というものも考えられて、「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」（ja.wikipedia 選択公理 選択公理の変種 可算選択公理より）と言われる つづく 677 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:25:12.23 ID:nqXwmrkU.net] >>621 つづき ここがすべってしまうと、先に進まないので、念押しです 今日はここまで （後で少し補足入れますが）（＾＾ www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室 www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-11_AC.pdf 第11章 選択公理 改訂(2018.06.04) 執筆中の本「集合・写像・数の体系(仮)」の草稿 尾畑 東北大 (抜粋) 11.2 選択公理 もし Λ が有限ならば, (11.7) に示したように, 直積集合は順序対または有限列 に帰着されるので, (11.11) は当然成り立つ. ところが, Λ が無限集合の場合は そうはいかない. こ� 678 名前：ﾌ違いを理解するためには, 有限の場合に「当然成り立つ」 とした根拠を明らかにする必要がある. 実際, 集合論の発展とともに, このよう な問題が認識され始め, 大論争になった. 結果から言うと, Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される. しかし, Λ が無限集合に なると, この議論が通用せず, ZF 公理系の下で (11.11) を証明することができな い. したがって, 必要なら証明なしで公理として認めざるを得ない. この公理こ そが選択公理である. https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 (抜粋) 選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。 つづく [] [ここ壊れてます] 679 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:28:45.06 ID:nqXwmrkU.net] >>622 つづき 定義 空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。 あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像 略 であって任意の x∈ A に対し f(x)∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。 歴史 集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。 しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。 確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。 バナッハ＝タルスキーのパラドックスと選択公理 選択公理は「どれかひとつを選んで取り出すことができる」という一見当たり前で直感的な命題に見える。しかし、無限集合においてそのような選択を行えるかどうかは自明ではないという主張もある。 実際、選択公理は、一見、奇怪で非直観的な結果を導く。バナッハ＝タルスキーのパラドックスはそのような結果の中でも有名なもので、「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。 つづく 680 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:30:30.29 ID:nqXwmrkU.net] >>622 つづき 定義 空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。 あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像 略 であって任意の x∈ A に対し f(x)∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。 歴史 集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。 しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。 確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えるかどうかは必ずしも明らかではない。 バナッハ＝タルスキーのパラドックスと選択公理 選択公理は「どれかひとつを選んで取り出すことができる」という一見当たり前で直感的な命題に見える。しかし、無限集合においてそのような選択を行えるかどうかは自明ではないという主張もある。 実際、選択公理は、一見、奇怪で非直観的な結果を導く。バナッハ＝タルスキーのパラドックスはそのような結果の中でも有名なもので、 「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。 つづく 681 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:32:44.63 ID:nqXwmrkU.net] >>623-624 （ダブりなので、どちから一つ省略） つづき 選択公理の変種 可算選択公理 カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。 (引用終り) https://en.wikipedia.org/wiki/Axiom_of_choice#Criticism_and_acceptance Axiom of choice (抜粋) Restriction to finite sets The statement of the axiom of choice does not specify whether the collection 682 名前：of nonempty sets is finite or infinite, and thus implies that every finite collection of nonempty sets has a choice function. However, that particular case is a theorem of the Zermelo?Fraenkel set theory without the axiom of choice (ZF); it is easily proved by mathematical induction.[6] In the even simpler case of a collection of one set, a choice function just corresponds to an element, so this instance of the axiom of choice says that every nonempty set has an element; this holds trivially. The axiom of choice can be seen as asserting the generalization of this property, already evident for finite collections, to arbitrary collections. (引用終り) つづく [] [ここ壊れてます] 683 名前：１３２人目の素数さん [2018/12/29(土) 19:36:09.08 ID:dAnabccJ.net] >>621-622 ＞では、なぜだめか　を説明します 結論からいうと、現時点では説明できてないけどね ＞まず、選択公理を確認しましょうね スレ主が自分一匹で確認しろよ ＞どれも空でないような集合を元とする集合 ＞（すなわち、集合の集合）があったときに、 ＞それぞれの集合から一つずつ元を選び出して ＞新しい集合を作ることができる 時枝記事でいえば、 「空でないような集合」＝「同値類」 「それぞれの集合から一つずつ元を選び出す」 ＝「同値類の中から代表元を選び出す」 ということ つまり、同値類から代表元を選び出せる というのは選択公理の直接的帰結 反論の余地はない 684 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:36:12.43 ID:nqXwmrkU.net] >>625 つづき 若干の補足： 「バナッハ＝タルスキーのパラドックス」が、”選択公理のせい”とよく言われるが、半分当たっていて半分外れ ”選択公理＋無限集合のせい”というのが、正確なとらえ方だろうと つまり、下記に解説があるが、3次元ユークリッド空間の有界な部分集合を、 点集合は選択公理を使ってつくられる選択集合で構成することで、パラドックス的状況が生じる が、良く考えると、点集合は無限集合なわけで それは、デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（下記”デデキント無限”参照）を持つわけで ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い 繰返すが、これらのパラドックスは、”選択公理＋無限集合のせい”というのが、正確なとらえ方だろうと思う https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 バナッハ＝タルスキーのパラドックス (抜粋) ・3次元ユークリッド空間の有界な部分集合で、内部が空でないもの(つまり、有限の拡がりを持ち、曲線や曲面ではないもの)を任意に二つ選んだとすると、それらは分割合同である。 言い換えると、ビー玉を有限個に分割して組み替えることで月を作ったり、電話を組み替えて睡蓮を作ったり出来る（当然のごとく材質は変えられない）、ということである。 この定理の証明で、点集合は選択公理を使ってつくられる選択集合で構成されており、各断片はルベーグ可測ではない。 すなわち、各断片は明確な境界や通常の意味での体積を持たない。物理的な分割では可測な集合しか作れないので、現実にはこのような分割は不可能である。 しかしながら、それらの幾何学的な形状に対してはこのような変換が可能なのである。 つづく 685 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:36:56.03 ID:nqXwmrkU.net] >>627 つづき この定理は 3次元以上の全ての次元においても成り立つ。 2次元ユークリッド平面においては成り立たないものの、 2次元においても分割に関するパラドックスは存在する: 円を有限個の部分に分割して組替える事で、同じ面積の正方形を作ることが出来るのである。これはタルスキーの円積問題(en:Tarski's circle-squaring problem)として知られている。 2次元ユークリッド平面においては、合同変換ではなく面積を保つ変換に条件をゆるめると、バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、1929年にジョン・フォン・ノイマンが証明した。 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 ヒルベルトの無限ホテルのパラドックス https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90 無限 (抜粋) デデキント無限 詳細は「デデキント無限」を参照 ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。デデキント無限でない集合はデデキント有限であるという。デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。無限集合が、デデキント無限集合であるということと、可算無限部分集合を持つことは同値である。 https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90 デデキント無限 (抜粋) デデキント無限集合であるとは、A と同数（equinumerous）であるようなA の真部分集合B が存在することである。それはつまり、A とA の真部分集合B の間に全単射が存在するということである。 (引用終り) 以上 686 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:40:48.75 ID:nqXwmrkU.net] >>626 はいはい、ピエロちゃん 自殺行為ありがとう そうやって、自分で逃げ道を潰してくれると 助かるわ（＾＾； 687 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 19:43:31.75 ID:nqXwmrkU.net] 突然ですが、メモを貼る 時枝とは関係薄いですが（＾＾ https://researchmap.jp/read0173605/ 榛葉 豊 researchmap www.sist.ac.jp/~shinba/ 榛葉 豊＊ Yutaka SHINBA www.sist.ac.jp/~shinba/newpage6.html 教員の専攻分野 　科学哲学 / 科学基礎論 www.sist.ac.jp/~shinba/roots_math_formal_qm.pdf 量子力学の数学形式は経験世界のいかなる原理に由来するのか（2014）静岡理工科大学紀要 22 2014年9月 688 名前：１３２人目の素数さん [2018/12/29(土) 19:43:52.33 ID:dAnabccJ.net] >>623-624 バナッハ＝タルスキーのパラドックスは、 球面に適用する場合には選択公理が必要だが 例えば双曲平面全体に適用するなら別に必要ない なぜならバナッハ＝タルスキーのパラドックスの肝は 「変換群が、階数２以上の自由群を部分群として持つか」 にあるのであって、双曲変換群の場合、階数２以上の自由群が 部分群として自然な形であらわれるから、選択公理を用いる必要がない 689 名前：１３２人目の素数さん [2018/12/29(土) 19:49:18.82 ID:dAnabccJ.net] >>627-628 ＞「バナッハ＝タルスキーのパラドックス」が、 ＞”選択公理のせい”とよく言われるが、 ＞半分当たっていて半分外れ >>631に書いた通り、別に選択公理のせいではない ３次元以上の回転群に適用する場合、選択公理が必要なだけ ２次元以上の双曲変換群なら、選択公理抜きの分割で 同様のパラドックスが構成できる まあ、球面と違って双曲空間全体に 有限の測度を割り当てることはしないから 実際には問題はないが 690 名前：１３２人目の素数さん [2018/12/29(土) 19:49:59.02 ID:Om+har0l.net] 誰もが知ってることをグダグダとコピペしてスレ伸ばし＆時間稼ぎするアホ とっとと結論家タコ 691 名前：１３２人目の素数さん [2018/12/29(土) 19:55:51.43 ID:dAnabccJ.net] >>629 スレ主はもしかして時枝戦略の成功確率は 「バナッハ・タルスキ―のパラドックス」と同様の 問題を引き起こすと妄想してないか？ 残念ながら時枝戦略のどこにも 階数２以上の自由群なんて出てこないから 「バナッハ・タルスキ―と同じ問題を引き起こす」 という難癖は全く説得力がない むしろ、選択公理の使用によって 同値類の代表元がとれてしまい 決定番号も得られる点で 選択公理を認めるスレ主の行為は まさにオウンゴール（自殺点）である 逃げ道を塞いで自爆したのはまさにスレ主 選択公理ときいてバナッハタルスキを連想した AIバカ頭の持ち主では致し方ないが 692 名前：１３２人目の素数さん [2018/12/29(土) 20:07:51.35 ID:dAnabccJ.net] >>634 バナッハ・タルスキーのパラドックス」が 双曲空間上では選択公理抜きで実現できるように 広義の時枝戦略も、例えば一般の無限列の代わりに 有理数の小数展開をとる形にすれば、選択公理抜きで 代表元を選ぶ関数が作れて同様の結果が成り立つ つまり、選択公理の否定は真の逃げ道ではない 693 名前：１３２人目の素数さん [2018/12/29(土) 20:12:18.61 ID:dAnabccJ.net] 百聞は一見に如かず 双曲平面上でのバナッハ・タルスキのパラドックス https://www.youtube.com/watch?v=m4YDNHvAfeU 動 694 名前：画なら文章の読めないスレ主にも明らかだろう [] [ここ壊れてます] 695 名前：１３２人目の素数さん [2018/12/29(土) 20:20:11.71 ID:dAnabccJ.net] 結局、スレ主は選択公理について むやみにコピペしただけで Ωが{1,･･･,100}ではダメな理由は 全く説明できなかった 論理的思考力がゼロで検索するしか能がない AIアタマのスレ主は、何であれ「説明」は不可能らしい 696 名前：１３２人目の素数さん [2018/12/29(土) 20:37:49.19 ID:dAnabccJ.net] 有理数の小数展開を用いる場合 循環節が始まる桁を決定番号とすれば 選択公理を使用しなくて済む １００個の有理数から１個選んで その中のある桁の数字を当てる場合 他の９９個の有理数の循環節の開始位置を見て その中の最大値の桁を選べば 自分が選んだ有理数の循環節の開始位置が それより大きい可能性は１／１００しかない 結局可算集合上で各点に均一の重みを与える測度が定義できない （可算加法性を満足しない）ので有理数全体の測度にもとづく 計算ができないのだが、だからといって上記の計算が無意味だ という理由にはならない 697 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/29(土) 20:56:04.18 ID:nqXwmrkU.net] >>631-638 はいはい、ピエロちゃん 自殺行為ありがとう そうやって、自分で逃げ道を潰してくれると 助かるわ（＾＾； 698 名前：１３２人目の素数さん [2018/12/29(土) 20:58:48.86 ID:Om+har0l.net] とうとうハッタリしか言えなくなったスレ主が哀れ過ぎる 699 名前：１３２人目の素数さん [2018/12/29(土) 21:04:01.92 ID:dAnabccJ.net] このところスレ主の煽りがスベりまくってる 700 名前：１３２人目の素数さん [2018/12/29(土) 21:06:22.15 ID:dAnabccJ.net] スレ主は自分がコピペした文章を読解できてないから当然だが 実はコピペした文章がスレ主を爆破する自爆展開が少なくない 701 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 07:28:42.51 ID:A4Yw8jtX.net] >>627 補足 >ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスの3次元ユークリッド版と言えなくも無い ここ、補足だが、ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、“可算選択公理”が使われているということ つまり、このパラドックスは、” 可算選択公理＋可算無限集合のせい”だと パラドックスは、『デデキント無限の性質＝「ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在する」（上記”デデキント無限”参照）』が表れているのだと 702 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 07:32:49.18 ID:A4Yw8jtX.net] >>622 さて、それでは、昨日からの続きです。 (>>592 より）ピエロ >Ωは{1,･･･,100}でOKなんで (引用終り) が、なぜだめかの続きをやります。 これ(>>638)結構結構だね（＾＾ 自分で語ってくれているので、手間が省けるね だが、念押しするよ。後で言い逃れができないようにね。 もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。 １．時枝記事でやっている数学ロジックを抽出すると下記になる （注：時枝記事については>>21ご参照） 　１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る 　２）代表元r= r(s)を決める 　３）数列sと代表元 rとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す 　４）決定番号d = d(s)は、自然数である 　５）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して(注：ここにs^1などは、上付き添え字を表わすとする。以下同様) 　　同値類の代表元 r^1, r^2,・・・r^100 を決めることができ 　　決定番号 d^1, d^2,・・・d^100 を決めることができる。 　　d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない 　　D >= d^k である確率は、99/100となる つづく 703 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 07:35:39.37 ID:A4Yw8jtX.net] >>644 つづき ２．さて、上記の時枝記事の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。 　　標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれるのだと。 　　つまり、これを導くのには、１）選択公理を使って、２）数列しっぽの同値類を作って、３）決定番号を決めている。４）決定番号が自然数� 704 名前：ｾから、シンプルに、標本空間 Ω＝{1,･･･,100}が取れるのだと。 　　そして、「D >= d^k である確率は、99/100」が導かれ、確率空間を使って時枝記事の解法が正当化されるのだと。 ３．くどいが、再度数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。 　　概略こういうことで、良いですね。念押しするよ。後で言い逃れができないようにね。 　　もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。 以上 （参考） https://mathtrain.jp/probspace 高校数学の美しい物語 確率空間の定義と具体例（サイコロ，コイン） 最終更新:2015/11/06 (抜粋) 標本空間 Ω 確率を考える土台となる集合です。 Ω の各要素は根元事象と呼ばれます。 ω と書くことが多いです。 (引用終わり) [] [ここ壊れてます] 705 名前：１３２人目の素数さん [2018/12/30(日) 07:45:04.77 ID:Fgu/mMxZ.net] >>645 >１）選択公理を使って、 >２）数列しっぽの同値類を作って、 >３）決定番号を決めている。 スレ主は既に順番を間違ってるね 正しくは以下の通り １）数列しっぽの同値類を作って、 ２）選択公理を使って ３）同値類の代表元を選んで（決定番号を決めて）いる 決定番号は同値類の代表元に付随して決まる 選択公理は、同値類の作成ではなく その代表元の選定のために用いられてる スレ主はこんな基本的なことも分かってない いったい時枝記事を何を読んでるんだ？ 706 名前：１３２人目の素数さん [2018/12/30(日) 07:51:11.93 ID:Fgu/mMxZ.net] >>645 ＞１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、 ＞この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。 まず３）と４）を分ける理由がないね。 さらにいえば、数列しっぽの同値関係から、 同値類の代表元が存在すれば、 決定番号が自然数であることは 自動的に導ける したがって、時枝記事の成立に必要な前提は １）数列しっぽの同値類 ２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在） の２つだね ちなみに、一般の無限列のかわりに有理数の小数展開列を用いる場合 ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK 707 名前：１３２人目の素数さん [2018/12/30(日) 07:56:19.62 ID:Fgu/mMxZ.net] >>644 ＞時枝記事でやっている数学ロジックを抽出すると下記になる 正しくは以下のとおり 　１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る 　２）代表元r= r(s)を決める　（※選択公理により） 　３）数列sと代表元 rとがそこから先ずっと一致する番号（＝自然数）を 　　　sの決定番号と呼び，d = d(s)と記す 　４）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して 　　　(注：ここにs^1などは、上付き添え字を表わすとする。以下同様) 　　　同値類の代表元 r^1, r^2,・・・r^100 を決めることができ 　　　決定番号 d^1, d^2,・・・d^100 を決めることができる。 　　　d^k 1<= k <=100 が、 　　　（d_k以外の決定番号の)最大値 D = max(d^1, d^2,・・・d^100) 　　　を取る確率は、1/100に過ぎない 　　　D >= d^k である確率は、99/100となる 708 名前：１３２人目の素数さん [2018/12/30(日) 08:01:45.19 ID:Fgu/mMxZ.net] >>648 一般の無限列の代わりに有理数の小数展開を用いる場合 *　１）のsが、有理数の小数展開 *　２）の代表元が、循環節から自然に定まる　（選択公理の必要無し！） *　３）の決定番号が、循環節の開始位置となる スレ主が選択公理に逃げ込む道はこれで塞がったｗ 709 名前：１３２人目の素数さん [2018/12/30(日) 08:36:44.88 ID:Fgu/mMxZ.net] 蛇足 >>643 ＞ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、 ＞“可算選択公理”が使われている これ完全な誤解 なぜなら真部分集合への全単射の構成に可算選択公理は必要ないから なんか「デデキント無限」を持ち出してるけど、 可算選択公理がない場合、 「デデキント有限」な無限集合が存在する というだけで、ヒルベルトの無限ホテルの 実現を妨げるものではない 710 名前：１３２人目の素数さん [2018/12/30(日) 08:39:51.17 ID:Fgu/mMxZ.net] >>650 自然数全体の集合はデデキント無限 これは選択公理なしに成立する 711 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 08:46:23.26 ID:A4Yw8jtX.net] >>646-649 どもありがとう スレ主です これ結構だね（＾＾ 「したがって、時枝記事の成立に必要な前提は １）数列しっぽの同値類 ２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在） の２つだね」 それで良いですよ まあ、細かいけど 昨日の選択公理の確認（>>621）でやったので、念押ししておくが ・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン） 正確な表記ではないが、マンガ風に図解すれば、こうだと ・つまり、上位互換で、選択公理（フルバージョン）は、適用できる集合は連続無限集合でも、あるいは連続無限より上位の濃度の無限集合でも適用可 　（もちろん、下位の可算無限集合および有限集合にも適用できる。選択公理の定義の通り、適用できる集合に制限無し！ ） ・可算選択公理は、可算無限以下の集合にのみ適用できる ・選択公理の有限集合版は、公理というよりむしろ原理とか定理という方が良いかもしれないが 　（補足、>>622 尾畑先生テキスト： 　　「Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11) 　　が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り 　　返すことで有限列の存在が数学的帰納法で証明される」ご参照 　　あるいは、>>625 Axiom of choice Restriction to finite sets をご参照 712 名前：） > 一般の無限列のかわりに有理数の小数展開列を用いる場合 > ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK ここ、おれの理解は、可算選択公理を使っていると思うけどね。 まあ、ここは上位互換なので、選択公理を使っていると言っても、間違いではないと思う ここ、しつこく拘る気は無いが、念押しな 拘って、先に進まないのも困るのでね 良いですね。念押しするよ。後で言い逃れができないようにね。 もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。 [] [ここ壊れてます] 713 名前：１３２人目の素数さん [2018/12/30(日) 08:47:25.05 ID:Fgu/mMxZ.net] ついでにいえば、狭義の時枝戦略における 同値類の代表元の存在を否定するには 非可算選択公理を否定すればいいだけなので 可算選択公理は成立しても問題ない これでスレ主の 「可算選択公理を否定したら数学が弱体化」 とかいう言い訳も無意味化された （もっとも>>649でそもそも選択公理の否定自体 　時枝戦略の本質的な否定にならないことは 　既に言及済だが） 714 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 08:47:59.09 ID:A4Yw8jtX.net] >>650-651 どもありがとう スレ主です その話は、時枝が済んでからやろうね 議論が錯綜しそうだからね 715 名前：１３２人目の素数さん [2018/12/30(日) 08:51:09.73 ID:Fgu/mMxZ.net] >>652 >> 一般の無限列のかわりに有理数の小数展開列を用いる場合 >> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK >おれの理解は、可算選択公理を使っていると思うけどね。 それスレ主の誤解　 ヒルベルトの無限ホテルの場合も同様だが 代表元を選ぶ関数が直接構成できる場合 可算選択公理は必要ない >しつこく拘る気は無いが >拘って、先に進まないのも困るのでね 拘って恥かくのはスレ主だけ 選択公理に固執しても、貴様に勝ち目はないよ 716 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 08:51:40.07 ID:A4Yw8jtX.net] >>653 結構結構。>>652に含まれることを、自分で書いてくれて 自分で逃げ道を塞いでくれているので、簡単で助かるよ でも、念のため、>>652にもレスしておくれ（＾＾ 717 名前：１３２人目の素数さん [2018/12/30(日) 08:52:21.13 ID:Fgu/mMxZ.net] >>654 ＞その話は、時枝が済んでからやろうね 必要ない 貴様が誤りを認めればいいだけ 貴様、自分が正しいと思ってるのか？ 718 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 08:54:40.40 ID:A4Yw8jtX.net] >>655 ありがとう スレ主です。>>656（”念のため、>>652にもレスしておくれ”）と被ったな 他に、言いたいことないですか？（＾＾ 719 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/30(日) 08:55:08.06 ID:A4Yw8jtX.net] >>657 つー、>>658 720 名前：１３２人目の素数さん [2018/12/30(日) 08:56:41.37 ID:Fgu/mMxZ.net] >>656 ＞念のため、>>652にもレスしておくれ（＾＾ 何にどうレスしてほしいのかね？ >選択公理の有限集合版は、公理というよりむしろ >原理とか定理という方が良いかもしれないが 明確に定理であることは、貴様がコピペした 以下の文章に書いてあるぞ 貴様、コピペするだけで読解してないのか？アホか？ 「Λ が有限の場合は, ZF 公理系 (と論理) だけから 　(11.11) が証明される. 大雑把には, 順序対の存在は公理に含まれており, 　順序対を繰り 返すことで有限列の存在が数学的帰納法で証明される」 721 名前：１３２人目の素数さん [2018/12/30(日) 09:00:13.12 ID:Fgu/mMxZ.net] >>658 ＞他に、言いたいことないですか？（＾＾ ヒルベルトの無限ホテルやら 有理数の小数展開からの 尻尾の同値類の代表元の選定やら に関して「可算選択公理」は必要とか いうのは貴様の誤解だから撤回しろ 選択公理はあくまで写像が構成出来ない場合に その存在を主張するためにあるのであって、 構成できる場合はそれで存在が証明されるから 必要ない　こんなこと数学界の常識 知らないスレ主がバカなだけだ 722 名前：１３２人目の素数さん [2018/12/30(日) 09:05:26.92 ID:Fgu/mMxZ.net] 無限列を有理数の小数展開列に限定した場合 時枝記事の成立に必要な前提は １）数列しっぽの同値類 だけ 同値関係は只の定義だから否定しようがない つまり、この時点でスレ主は詰んだ、死んだ 723 名前：１３２人目の素数さん [2018/12/30(日) 09:08:53.96 ID:Fgu/mMxZ.net] 1/6=0.1666・・・　の場合 同値類の代表元は 0.666･･･ 5/6=0.8333・・・　の場合 同値類の代表元は 0.333・・・ つまり、単純に循環節の開始位置を 小数点以下第1位に持ってくればいいだけ こんなこと自動的に思いつけよ　 算数レベルの問題だろｗ 724 名前：１３２人目の素数さん [2018/12/30(日) 09:13:17.15 ID:Fgu/mMxZ.net] スレ主は●●の一つ覚えのように ＞自分で逃げ道を塞いでくれている といってるが、無意味なブラフである スレ主はなぜか選択公理に固執してるが 正直コピペすればするほど、それが 本質でもなんでもないことが露呈する 袋小路でいくら壁ひっかいても無駄だぞ！ 725 名前：１３２人目の素数さん [2018/12/30(日) 09:26:30.57 ID:Fgu/mMxZ.net] ぶっちゃけ有理数の代わりに 有限桁だけ0でない小数（有限小数！） に限定し、0が無限に続く部分列の先頭位置を 決定番号にするとして、0の入る箱を当てる というバージョンでも時枝戦略は通用する 726 名前：１３２人目の素数さん [2018/12/30(日) 09:28:21.11 ID:Fgu/mMxZ.net] スレ主！貴様の負けだ！ 諦めてここから失せろ！ 727 名前：１３２人目の素数さん [2018/12/30(日) 15:02:49.27 ID:5J4BrLOC.net] >>646 だね こんなバカが時枝記事を論ずること自体がナンセンス そのナンセンスをこのバカは3年間もやってきた もっと勉強してから数学板へ来いよと言いたい 728 名前：１３２人目の素数さん [2018/12/30(日) 15:10:40.53 ID:5J4BrLOC.net] >>652 このバカ間違いを添削してもらって ＞それで良いですよ って何だその上から目線はｗ ほんとピエロだなスレ主って 729 名前：１３２人目の素数さん [2018/12/30(日) 15:22:17.33 ID:5J4BrLOC.net] 本題に入る前の準備作業で既にフルボッコされててﾜﾛﾀ ほんとスレ主ってピエロだね 730 名前：１３２人目の素数さん [2018/12/30(日) 15:31:56.59 ID:5J4BrLOC.net] 「選択公理を免罪符のように使って」とかなんとかほざいていたスレ主が今縦断爆撃 食らって死体の破片を撒き散らかしてるね。 中学レベルも分かってないアホが偉そうに数学板にしゃしゃり出て来るからこうなる。 だからチラシの裏でやってろとさんざん言ってきたのに、頑固爺は人の言うことに聞 く耳を持たない。 731 名前： mailto:sage [2018/12/30(日) 15:41:18.59 ID:4y49ABsb.net] >>670 ×縦断爆撃 ◎絨毯爆撃=Carpet bombing https://en.wikipedia.org/wiki/Carpet_bombing 732 名前：１３２人目の素数さん [2018/12/30(日) 15:47:53.76 ID:5J4BrLOC.net] ＞>Ωは{1,･･･,100}でOKなんで ＞が、なぜだめかの続きをやります。 の結論を言わせてももらえないスレ主こそピエロにあらんや 昨日だか一昨日だかは時間が必要とか言ってたが、時間かけても同じだったねｗ 当然だよ、3年かけて進歩ゼロなのに数日追加したところで変わる訳が無いｗ 733 名前：１３２人目の素数さん [2018/12/30(日) 17:32:59.69 ID:Fgu/mMxZ.net] >>672 ＞結論を言わせてももらえない そもそも云うべき結論がまだ見つかってないようだ きっと今も必死に検索してるんだろう　 無駄な足掻きだが 734 名前：１３２人目の素数さん mailto:sage [2018/12/30(日) 18:15:56.59 ID:soHMwsq2.net] レーダー照射 人には証拠を出せと言いつつ自分から一切出さない スレ主の電波照射 人には証拠を出せと言いつつ自分から一切出さない 735 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 06:48:13.94 ID:PWZHndJJ.net] >>671 C++さん、ありがとう お元気そうでなによりです（＾＾ 736 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 06:51:02.01 ID:PWZHndJJ.net] >>673 まあ、言い逃れが出来ないように、逃げ道を防ぐよう十分時間を取った さて、それでは、昨日（>>644-645 >>652）からの続き (>>592 より）ピエロ >Ωは{1,･･･,100}でOKなんで (引用終り) が、なぜだめかの続きをやります。 １）まず前振りでピエロちゃん発言引用： ・(>>647 ピエロちゃんより) 「したがって、時枝記事の成立に必要な前提は １）数列しっぽの同値類 ２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在） の２つだね」 ・ (>>664-665 ピエロちゃんより引用) 「なぜか選択公理に固執してるが 本質でもなんでもないことが露呈する」 「ぶっちゃけ有理数の代わりに 有限桁だけ0でない小数（有限小数！） に限定し、0が無限に続く部分列の先頭位置を 決定番号にするとして、0の入る箱を当てる というバージョンでも時枝戦略は通用する」 (引用終り) （上記「有限」の場合まで言及してくれてありがとう。かつ、選択公理は本質じゃないよね） つづく 737 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 06:53:12.80 ID:PWZHndJJ.net] >>676 つづき ２）次に再確認 （>>645 私スレ主より） 数学ロジックを要約すると、１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。 (引用終り) 要するに、些末な順序の議論を避けるために、上記１）〜４）は順不同としよう。 また、選択公理は好きなときに好きなだけ使って良いとする。 さらに、(＞＞652に書いたように) 選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン） だから、前述のように、「有限」でも問題なく適用できることを念押ししておく。 つづく 738 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 06:56:57.55 ID:PWZHndJJ.net] >>677 つづき ３）さて、本論 反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが）） a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。 　（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう） b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。 c) L＝100m個の箱を、100列のm個の箱の列に並び変える。 　m個の長さの数列の 739 名前：しっぽの同値類を考えることができ、決定番号dを決めることができる。 　決定番号dは、1<= d <=m の値を取る。 d)100列の決定番号の大小比較から、100列中のあるk列で 　決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない 　D >= d^k である確率は、99/100となる。 e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。 f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。 g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。 　これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。 　時枝記事の解法が成立する。 （以上は、>>644-645に記述の数学ロジックの通りです） 以上です。 （参考） http://www.geisya.or.jp/~mwm48961/koukou/cond005.htm 高校数学 >> 高校数学�T・Ａ >> 集合と条件 必要条件・十分条件(反例) (抜粋) 「ｐ→ｑ」 Ｐのどの要素もＱに含まれていればこの命題は真ですが，Ｐの要素のうち１つでもＱに含まれないものがあれば，この命題は偽となります． ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります． (引用終り) [] [ここ壊れてます] 740 名前：１３２人目の素数さん [2018/12/31(月) 07:10:38.15 ID:h9L92WO7.net] >>677 >１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、 >この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。 >要するに、些末な順序の議論を避けるために、上記１）〜４）は順不同としよう。 上記の３）、４）の代わりに ５）同値類の代表元の存在 が必要 代表元が存在すれば決定番号（自然数）は存在する これは同値関係の定義から明らか スレ主は記事中の同値関係の定義の文章　読んでないのか？ 741 名前：１３２人目の素数さん [2018/12/31(月) 07:14:23.27 ID:y4r2VQPB.net] 添削たーいむ 742 名前：１３２人目の素数さん [2018/12/31(月) 07:17:44.67 ID:h9L92WO7.net] >>678 >a)時枝記事において、箱の数を、十分大きな＊）「有限」個の場合を考える。 >　（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう） まず、ここでアウトね 箱の数は無限個でなくてはならない 有限個だとした時点で、時枝記事の設定を否定したことになる >b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。 全然ダメ　上記のｍは存在しない 箱の数は無限個　スレ主に無限が理解できないなら この時点でスレ主はここから消えるしかない >L＝100m個の箱を、100列のm個の箱の列に並び変える。 >m個の長さの数列の しっぽの同値類を考えることができ、 >決定番号dを決めることができる。 >決定番号dは、1<= d <=m の値を取る。 全然ダメ　上記のｍは存在しない １つの無限列を１００の無限列に並び変える 無限長の数列の尻尾の同値類を考えることができ 決定番号ｄが決まる 決定番号は１以上の任意の自然数（上限値は存在しない） 743 名前：１３２人目の素数さん [2018/12/31(月) 07:19:44.34 ID:y4r2VQPB.net] >>678 ＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け D=m の場合、開けるべき箱が無いんだが。。。 744 名前：１３２人目の素数さん [2018/12/31(月) 07:20:45.28 ID:y4r2VQPB.net] >>678 で？反例はいつ提示されるの？ 745 名前：１３２人目の素数さん [2018/12/31(月) 07:23:55.32 ID:y4r2VQPB.net] >>678 ＞例えば無限に近い巨大な数と思って貰えば分り易いだろう 無限に近い巨大な数って何？　答え辛かったら例でもいいよ 746 名前：１３２人目の素数さん [2018/12/31(月) 07:24:31.22 ID:h9L92WO7.net] >>678を時枝記事の正しい設定に変更 a)時枝記事において、箱の数を、可算無限個と考える。 b)箱は 自然数で番号づけできる c)可算無限個の箱を、100列の無限列に並び変える。 　無限列の しっぽの同値類を考えることができ、決定番号dを決めることができる。 　決定番号dは、1<= dの値を取る。 d)100列の決定番号の大小比較から、100列中のあるk列で 　決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る 　確率は、1/100に過ぎない 　D >= d^k である確率は、99/100となる。 e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、 　k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、 　的中確率は99/100となる。 f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、 　標本空間 Ω＝{1,･･･,100} と取れることを意味する。 g)標本空間 Ω＝{1,･･･,100}とすることによって、 　“D >= d^k である確率は、99/100” が導かれる。 　これにより、k列で(D+1) 番目から先の箱だけを開け、 　k列の代表のD 番目の数を見て、 　k列の代表のD 番目の数と一致すると推測すれば、 　的中確率は99/100となる。 時枝記事の解法が成立する。 747 名前：１３２人目の素数さん [2018/12/31(月) 07:30:20.35 ID:h9L92WO7.net] >>682 >D=m の場合、開けるべき箱が無いんだが。。。 >>678によるスレ主の姑息な改竄は >>685で修正したので上記のmは無くなった スレ主は>>665の「有限桁だけ0でない小数（有限小数） 」を見て 勝手に箱の数を有限個としてよいと誤解したようだが、 有限小数の長さの上限値は存在しないから、 当然無限列（有限小数の終わりの次の桁以降0が無限に続く） を扱わなければならない　つまり箱の数は無限個 748 名前：１３２人目の素数さん [2018/12/31(月) 07:47:23.79 ID:y4r2VQPB.net] 反例ってまだ提示されてないよね？ もしかして>>678が反例のつもりなの？ だとしたら反例という言葉の意味を知らないのかな？ あるいは時枝解法とは別の何かに対する反例を書いたの？ 何が何やらサッパリですわ 749 名前：１３２人目の素数さん [2018/12/31(月) 07:48:34.59 ID:h9L92WO7.net] >>683 >反例はいつ提示されるの？ 間違った設定での間違った反例は無意味 スレ主がこの期に及んで、時枝記事の肝心な前提である 「箱は無限個」を全然受け入れてない、という事実が明らか になった。 これは「決定番号∞」と同様の誤りである おそらくスレ主は 「ｍ番目の箱� 750 名前：ﾉはもはや次の箱がない！これが反例だ！」 と高らかに宣言するのだろうが、読者は皆失笑するだろう 箱は無限個であって、上記のｍ番目の箱は存在しないのだから 無限を理解せず、有限個に改竄するスレ主は 数学を理解する能力が根本的に欠如している と言わざるを得ない [] [ここ壊れてます] 751 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 07:49:13.12 ID:av0tGtzM.net] >無限に近い巨大な数 で笑ってしまった。どんな巨大数でも無限に比べれば0に等しい。 そんなのは数学の常識。 やっぱり工学バカには日常用語としての「無数・無限」（巨大数 だが数学上は有限） と数学上の「無限」の区別がついてないんじゃないかなぁw 752 名前：１３２人目の素数さん [2018/12/31(月) 07:49:48.21 ID:y4r2VQPB.net] >>678 スレ主さん、しばらく留守にするから>>687への回答書いといてね 753 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 07:58:17.32 ID:83/Nq/vP.net] おっちゃんです。 AIとか関係ない持ち出して、やたらめったらコピペするのやめろ。 何が何だか話が分からなくなるだろ。 754 名前：１３２人目の素数さん [2018/12/31(月) 08:00:26.90 ID:h9L92WO7.net] >>689 >>無限に近い巨大な数 >で笑ってしまった。 「arbitrarily large」を可能無限と誤解する スレ主なら大いにあり得ること スレ主は自分が無限も理解できない 一番のピエロであることを全然理解してない だからこそ３年もピエロを演じ続けられるわけだが しかしもうピエロの自爆芸にも飽きた 755 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 08:02:22.81 ID:83/Nq/vP.net] 全く、スレ主のコピペはしようもない。 大半がスレ主のコピペで埋め尽くされているような感じじゃないか。 756 名前：１３２人目の素数さん [2018/12/31(月) 08:08:53.07 ID:h9L92WO7.net] スレ主はどうやら 「任意長の有限列で成り立つ」事柄は 「無限列で成り立つ」と誤解してるらしい もちろんそんなことはない 有限列には必ず終端があるが 無限列には終端は存在しない この質的な違いが重要 スレ主の怪しげな”極限”（？）論法は全く通用しない それにしても延々と選択公理について述べたのは なんのつもりだったんだろうか？ 正直、スレ主が ＞箱の数を、十分大きな「有限」個の場合を考える。 と書いてきたのを読んで、ズッコケた 757 名前：１３２人目の素数さん [2018/12/31(月) 08:11:45.64 ID:h9L92WO7.net] スレ主　オウンゴールの軌跡 １．「決定番号∞」 ２．「（無限個は）十分大きな「有限」個」 2度あることは3度ある スレ主は反省する能力がないサル 758 名前：１３２人目の素数さん [2018/12/31(月) 08:15:40.07 ID:h9L92WO7.net] ぶっちゃけスレ主の>>678に対する>>685の指摘は 望月新一のABC予想の証明に関するショルツの指摘 同様の決定的なものであるから、安易な反論は無意味 759 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 08:17:11.85 ID:83/Nq/vP.net] >スレ主はどうやら >「任意長の有限列で成り立つ」事柄は >「無限列で成り立つ」と誤解してるらしい スレ主は中学1年レベルとのことだから、致し方ない。 760 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 08:17:12.64 ID:83/Nq/vP.net] >スレ主はどうやら >「任意長の有限列で成り立つ」事柄は >「無限列で成り立つ」と誤解してるらしい スレ主は中学1年レベルとのことだから、致し方ない。 761 名前：１３２人目の素数さん [2018/12/31(月) 08:18:33.52 ID:h9L92WO7.net] >>691 ＞おっちゃんです。 おっちゃんはもうここでスレ主の相手しなくていいぞ スレ主はおっちゃんよりもはるかにバカだと露見したから 無限が十分大きな有限と同じとかほざく時点で 数学的には十分池沼レベル　もはや人間失格のサル 762 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 08:24:02.29 ID:83/Nq/vP.net] >>700 それでは、スレ主の相手頼む。 763 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:24:18.77 ID:PWZHndJJ.net] >>679 > ５）同値類の代表元の存在 > が必要 はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが) ”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数” とします なお、５）決定番号が自然数は自明だが、念のため追加しただけ 764 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:25:09.63 ID:PWZHndJJ.net] >>684 >無限に近い巨大な数って何？　答え辛かったら例でもいいよ はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください その数＋１で結構です 765 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 08:27:35.78 ID:83/Nq/vP.net] >>699 訂正出来ると思うが、>>700は「>>700(私)」ではなく、「>>699」宛て。 それじゃ、おっちゃん少し寝る。 [] [ここ壊れてます] 767 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:27:51.21 ID:PWZHndJJ.net] >>681 >>685-686 >>695 >（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが）） > (以上は、>>644-645に記述の数学ロジックの通りです） 反例は、時枝記事そのものではないが、ピエロが「時枝記事は成り立つと主張する数学の論理（数学ロジック）」の反例を一つ構成しました 反例は一つでいい 時枝記事を擁護する「時枝記事は成り立つと主張する数学の論理（数学ロジック）」は、破綻しています 768 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:28:47.50 ID:PWZHndJJ.net] >>682 >>688 >＞e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け >D=m の場合、開けるべき箱が無いんだが。。。 そうですね。ご指摘の通りですね では、こうしましょう 部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。 つづく 769 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:29:58.61 ID:PWZHndJJ.net] （>>673の改訂版） ３）さて、本論 反例を構成する。（なお、当然だが、反例は一つで良い（定理の証明は全てを尽くす必要があるが）） a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。 　（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう 　　例えば、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください。その数＋１で結構です） b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。 c) L＝100m個の箱を、100列のm個の箱の列に並び変える。 　m個の長さの数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。 　決定番号dは、1<= d <=m の値を取る。 c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える。 d)100列の決定番号の大小比較から、100列中のあるk列で 　決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない 　D >= d^k である確率は、99/100となる。 e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。 f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。 g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。 　これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。 　時枝記事の解法が成立する。 （以上は、>>644-645に記述の数学ロジックの通りです） 以上です。 770 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:30:55.69 ID:PWZHndJJ.net] >>690 ありがとう （>>687） >もしかして>>678が反例のつもりなの？ Yes 正確には、修正版>>706 を見て下さい ピエロちゃん（ ID:h9L92WO7 ）が、正確に反応していると思うが、これ反例です。 殆ど自明だが、後で説明します 771 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 08:32:56.05 ID:PWZHndJJ.net] >>691>>693 おっちゃん、どうも、スレ主です。 私スレ主的には、時枝記事こそ、”しようもない” （個人的には、もう終わっていて、数学としては殆どゴミだと） で、根拠（出典）のある”コピペ”こそが 後から見て意味があることだよと ここで、議論されていることは、あくまで”名無し”（＝素数さん）の発言であって、 後から見てあまり意味があることとは思っていないんだよね ただ、ピエロちゃんが、面白いから、からかっているだけ（＾＾； 772 名前：１３２人目の素数さん [2018/12/31(月) 08:39:12.23 ID:h9L92WO7.net] >>701 ＞”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数” ＞とします ４）、５）は要らない。３）から導けるから 773 名前：１３２人目の素数さん [2018/12/31(月) 08:41:42.71 ID:h9L92WO7.net] >>705 >>D=m の場合、開けるべき箱が無いんだが。。。 >では、こうしましょう >部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。 ダメだな　そういう姑息な修正では全然対応できない 774 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 08:42:15.36 ID:ZD4X8HMF.net] 時枝記事の「しっぽの同値類」は無限列で定義されているわけで 有限列ではどうやって定義すんの？ そのことから書かないと。 775 名前：１３２人目の素数さん [2018/12/31(月) 08:46:14.88 ID:h9L92WO7.net] >>707 >ID:h9L92WO7 が、正確に反応していると思うが だったらL=100mとかいう間違った設定を否定しろ 無限は十分大きな有限じゃないぞｗ >これ反例です。 全然違う　これこそ自明 >後で説明します 間違った前提による偽反例の説明なんか聞くだけ無駄だがな スレ主は自分の「無限＝十分大きな「有限」」の誤りが 本当に理解できないほどの池沼なのか？ 776 名前：１３２人目の素数さん [2018/12/31(月) 08:52:54.89 ID:h9L92WO7.net] >>708 数学板の読者諸氏にとってここのスレ主は全く”しようもない” （数学的には、もう終わっていて、数学としては全くゴミ） 誰が言ったか分からん英語の掲示板の 根拠不明な文章の”コピペ”のどこが どれほど意味があるのかｗ ここの書き込みは議論ではない スレ主に対する教育 まあ、実際は無知無能なスレ主をおちょくってるだけだがねｗ それにしても無限を理解しないバカでも入れる大学ってあるんだな？ いったいどこだよ　国立大学じゃないことは確かだがな 777 名前：１３２人目の素数さん [2018/12/31(月) 08:58:23.48 ID:h9L92WO7.net] スレ主の「反例」はどうせ 「確率１で決定番号は自然数でない」 とかいう馬鹿丸出しの主張だろうｗ し・か・し、上記の主張はそもそも 「同値類の代表元は、 　同値類の任意の元と 　しっぽの同値関係にある」 という性質と思いっきり矛盾する しっぽの同値関係にあるということは ある有限桁（当然自然数で位置が示せる！）から 先の尻尾が一致するということ スレ主は時枝記事をロクに読まず、当然理解もしていない 実にお粗末極まりない 778 名前：１３２人目の素数さん [2018/12/31(月) 09:10:37.55 ID:h9L92WO7.net] スレ主は>>706の改竄版ではなく以下の正式版に対する反例を提示すべし a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、 　箱の数を、無限個と考える。 c)無限個の箱を、100列の無限箱の列に並び変える。 　無限長の数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。 　決定番号dは、1<= d の値を取る。 d)100列の決定番号の大小比較から、100列中のあるk列で 　決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない 　D >= d^k である確率は、99/100となる。 e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。 f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。 g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。 　これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。 　時枝記事の解法が成立する。 779 名前：１３２人目の素数さん [2018/12/31(月) 09:14:35.07 ID:h9L92WO7.net] ぶっちゃけスレ主の>>706に対する>>715の指摘は 望月新一のABC予想の証明に関するショルツの指摘 同様の決定的なものであるから、安易な反論は無意味 780 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 12:48:01.38 ID:PWZHndJJ.net] >>711 >時枝記事の「しっぽの同値類」は無限列で定義されているわけで >有限列ではどうやって定義すんの？ はい (>>21より) （ 特に時枝記事アスキー版 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 ） （時枝記事より） 同値関係を使う. 実数列の集合 R^Nを考える. s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). 念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する. 　↓ （時枝記事の有限版（mを2015より十分大きく取っておくとする）） 同値関係を使う. 実数列の集合 R^mを考える. s = (s1，s2，s3 ，・・・，sm )，s'=(s'1， s'2， s'3，・・・，sm )∈R^mは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわば時枝記事の有限版). 念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する. 以上 781 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 12:51:11.41 ID:PWZHndJJ.net] >>715 必死に言い訳をするピエロちゃん ッﾌﾟ（＾＾ >箱の数を、無限個と考える。 無限個で無ければならない理由は？？ 実際、時枝記事の”ふしぎな戦略”において、 お説（>>709）のように、時枝記事は”１）選択公理、２）数列しっぽの同値類”で成り立っている 既に、確認したように、貴方がすがっていた「選択公理」は、無限集合に限定されず、「選択公理」でできることは有限集合でも同じことは可能だ ”数列しっぽの同値類”は、上記（>>717）のように、有限長数列でも可能だ また、同値類から導かれる代表元と決定番号もまた、有限長数列でも可能だ なので、有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう というより、何よりも、反例は一つで良い。 有限長の数列ではあるけれども、そこに反例が存在するならば 「無限」という要素を加えて、”無限長ゆえに成り立つ”ということを、改めて証明すべき ところで、時枝記事を読む限り 時枝記事前半の”ふしぎな戦略”の説明において、無限長で無ければならない数学的要素は、一つも無い （繰返すが、時枝記事は”１）選択公理、２）数列しっぽの同値類”で成り立っている） 全て、有限長数列でも可能な数学的要素のみしか使われていない （これについては、例えば、時枝記事アスキー版 スレ47ご参照 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 ） 有限で、唯一の不具合は、有限の場合、「D=m の場合、開けるべき箱が無い」(>>682)ということだが ”c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える”とすること（>>706）で、この不具合は回避できる どうぞ、”数列が無限長で無ければならない理由”を説明してください というより、”数列が無限長で無ければならない理由”が説明できない以上、それは数学ではない！！ そして、”数列が無限長で無ければならない理由”を説明する過程で、 貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう 以上 782 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/31(月) 12:52:25.66 ID:PWZHndJJ.net] まあ、昨日まで、「有限」でも良いと言っていたピエロ 今日は、必死に「無限に限定します」と宗旨替えの図だ（＾＾； 783 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 13:21:28.66 ID:omflZ2LR.net] 問題を勝手に作り変えて威張られてもなあ 784 名前：１３２人目の素数さん [2018/12/31(月) 13:31:18.28 ID:y4r2VQPB.net] >>702 ＞はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください ちなみにスレ主の考え得る大きな数って何？ 785 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 13:40:47.85 ID:ZD4X8HMF.net] 昨日の循環小数を使った選択公理不要のバージョンは面白いと思ったぞ。 あと有限小数で残りがすべて0の無限個の箱のバージョンで、「0の箱を当てる」 というバージョンでも成立する。 誰も「有限個の箱で成立する」とは言ってない。そんなことも読み取れない工学バカ。 786 名前：１３２人目の素数さん [2018/12/31(月) 13:47:58.51 ID:h9L92WO7.net] >>718 >>箱の数を、無限個と考える。 >無限個で無ければならない理由は？？ 時枝記事にそう書いてある >有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう � 787 名前：ｻれを証明してごらん、スレ主よｗ スレ主が"Arbitrary large number" Theory、つまり 「任意の有限個で成り立つなら、無限個で成り立つ」 とかいう俺様理論を提唱しているらしいことは 以前からわかっているが、そんなものは数学では 全く認められていない 無限列における尻尾の同値類では、同値な2列の場合、 どの箇所から一致するとしてもそこから先必ず 無限一致列がとれる これは任意長の有限列では決して成り立たない性質である 時枝論法はそもそも無限個の箱を使う前提なのだから ０）箱が無限個 なんてことはわざわざ書かない >有限長の数列ではあるけれども、そこに反例が存在するならば >「無限」という要素を加えて、”無限長ゆえに成り立つ” >ということを、改めて証明すべき 何言ってんだ？このバカスレ主ｗ そもそも無限長が前提なのだから 「有限長の数列ではあるけれども」 といった瞬間にそれは反例でなくなる ”無限長ゆえに成り立つ”ことは 決定番号がいくつであってもその次の箱が存在する、 という性質から明らか こんな自明なことに気づけないスレ主は正真正銘の池沼ｗ [] [ここ壊れてます] 788 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 13:49:46.60 ID:ZD4X8HMF.net] 時枝戦略が成立するのは無限に一致している箱の同値類が取れるからだよ。 有限個だと最後のひと箱だけ一致しているのを「同値類」と強弁して その一個前が「当てられないだろう」とスレ主は言うつもりだろw やっぱり工学バカは「有限と無限の区別が付いてなかった」んだなぁw 789 名前：１３２人目の素数さん [2018/12/31(月) 13:54:28.66 ID:y4r2VQPB.net] >>705 ＞部分集合として、決定番号が、1<= d <=(m-1)の場合に限定します。 わろた 自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人 代表系を定める権利は回答者にあるのだから、出題者は予め回答者から代表系を入手して それに合うように出題する必要があるよね？そうでないと限定した範囲をはみ出るよ？ 「どんな実数を入れるかはまったく自由」じゃないよね？ それ時枝問題ちゃいまっせ？あなたは一体何を主張したいの？ まあ箱の数が有限の時点で既に時枝問題じゃないんだがｗ 790 名前：１３２人目の素数さん [2018/12/31(月) 14:08:15.15 ID:y4r2VQPB.net] >>704 ＞「時枝記事は成り立つと主張する数学の論理（数学ロジック）」は、破綻しています え？↑が主張したいことなの？ で、「時枝記事は成り立つと主張する数学の論理（数学ロジック）」ってなに？ ＞>>644-645に記述の数学ロジックの通りです と言われてもわからん。だって>>644-645って絨毯爆撃浴びて木っ端微塵にされたじゃん。 ちゃんと「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを 示しなさいな。それせずに「それが破綻してる」と主張してもナンセンスだよ。 791 名前：１３２人目の素数さん [2018/12/31(月) 14:10:27.64 ID:h9L92WO7.net] >>718 >時枝記事を読む限り >時枝記事前半の”ふしぎな戦略”の説明において、 >無限長で無ければならない数学的要素は、一つも無い 「無限長で無ければならない数学的要素」なら >>682が真っ先に指摘したぞ 貴様も後で述べてる↓これだ >有限で、唯一の不具合は、有限の場合、 >「D=m の場合、開けるべき箱が無い」(>>682) >ということだが ところで >簡単のために、部分集合として、 >決定番号が、1<= d <=(m-1)の場合を考える >とすること（>>706）で、この不具合は回避できる 箱はm個だが決定番号mの列は想定しない、ということなら m番目の箱を見れば、m-1番目の箱も予測できる なぜなら、決定番号がm-1までしかないのだから 決定番号がm-1だとしても代表元のm-1番目と m-1番目の箱の中身が一致する なんだ反例にならんじゃないかｗ 貴様、また自爆か？ 不具合回避でせっかくの反例を潰してしまったようだなｗｗｗ ギャハハハハハハ！！！ 792 名前：１３２人目の素数さん [2018/12/31(月) 14:11:24.75 ID:y4r2VQPB.net] >>708 ＞で、根拠（出典）のある”コピペ”こそが ＞後から見て意味があることだよと 少なくともスレ主には無意味だよね？ だってコピペした内容を理解してないんだから 793 名前：１３２人目の素数さん [2018/12/31(月) 14:16:23.42 ID:h9L92WO7.net] >>725 ＞自分の都合で勝手に決定番号の範囲を限定しちゃったよこの人 しかもそのおかげでせっかくの反例を潰してしまったｗ >>727でも書いた通り 「箱がｍ個だが、一致開始箇所は、ｍ−１番目まで」 と限定した時点で 「ｍ番目の箱を見ればｍ−１番目の箱が予測できる」 という必勝パターンができてしまったｗ 確率９９／１００じゃなく１ しかも他の列を見ることなく位置はｍ−１と指定できる 反例を示すつもりで必勝ゲームを作ってしまった とことんおバカなスレ主のピエロっぷりｗｗｗ ２０１８年の大晦日に十分楽しませてもらったぞ� 794 名前：I [] [ここ壊れてます] 795 名前：１３２人目の素数さん [2018/12/31(月) 14:21:56.08 ID:h9L92WO7.net] 「決定番号∞」がミッドウェイ海戦なら 今回の「1<= d <=(m-1)の場合を考える」は 大和の沖縄特攻作戦に喩えられる暴挙だろう それにしても自分で反例を完全に潰すとは・・・ププッ バカもここまでくるとアッパレだなｗｗｗｗｗｗｗ 796 名前：１３２人目の素数さん [2018/12/31(月) 14:29:58.48 ID:h9L92WO7.net] >>718 >どうぞ、”数列が無限長で無ければならない理由”を説明してください >というより、”数列が無限長で無ければならない理由”が説明できない以上、 >それは数学ではない！！ スレ主の壮烈な自爆ｗを見た後では、この文章は 「ボクちゃん、無限が理解できないの 　無限が有限とどう違うか説明ちて？ 　じゃないと、無限なんて数学とは認めないゾ！」 と駄々こねてるようにしか見えないｗｗｗ ＞そして、”数列が無限長で無ければならない理由”を説明する過程で、 ＞貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう 「数列が有限長でも同じ」と言い張る過程で 確率１で予測が成功する必勝ゲームを作ってしまった 哀れなスレ主の冥福を祈る　(-||-) 797 名前：１３２人目の素数さん [2018/12/31(月) 14:40:05.22 ID:h9L92WO7.net] スレ主の 「簡単のために、部分集合として、 　決定番号が、1<= d <=(m-1)の場合を考える 　とすることで、この不具合は回避できる」 による「反例なし必勝ゲーム」 （m番目の箱を見ればm-1番目の箱が予測できる） という完全自爆の後では　何をいっても 「ピエロちゃん えらいねー、 　おサルなのに 沢山カキコして 　 　今日も、ピエロおどり頼むよ 　ホイ、ホイ、ホイ 　踊れ！ ピエロ（＾＾」 とコピペで済ませられるってもんだｗｗｗｗｗｗｗ 798 名前：１３２人目の素数さん [2018/12/31(月) 14:44:49.60 ID:y4r2VQPB.net] >>706 「箱の数が有限だと時枝解放は成立しない」に対する反例ってこと？ で、 ＞c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える ↑の怪しげな宣言は何？ 問題を変えましたという宣言？ いやいやｗ　試合の途中で勝手にゴールの位置変えちゃダメでしょｗ 799 名前：１３２人目の素数さん [2018/12/31(月) 14:57:37.22 ID:h9L92WO7.net] >>733 「有限列の場合時枝戦略が成功しない」という反例を作るつもりが 「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」 と列を限定したために、時枝戦略以上の必勝戦略（m番目の箱を開けるだけで m-1番目の箱の中身が確率１であたる）をつくってしまう完全自爆ｗ ルール変えてしかもオウンゴール　 スレ主ってここまでバカだと思わなかったよｗｗｗｗｗｗｗ 800 名前：１３２人目の素数さん [2018/12/31(月) 15:05:41.25 ID:y4r2VQPB.net] >>718 ＞そして、”数列が無限長で無ければならない理由”を説明する過程で、 ＞貴方は「なぜ時枝の”ふしぎな戦略”が成り立たないか」を自得するだろう わろたｗ 己の主張の証明を他人（しかもその主張を認めない側）に丸投げしちゃったよこの人ｗ なに？さんざん気を持たせといて結局何一つ示せてないじゃん、アホくさ〜 801 名前：１３２人目の素数さん [2018/12/31(月) 15:08:37.71 ID:h9L92WO7.net] >>735 ＞己の主張の証明を他人に丸投げしちゃったよこの人ｗ しかも丸投げしたものが、己の主張の完全否定ｗ スレ主がいかに安易に 「簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える」 といって、その後どうなるか一度も考えなかったことがバレバレ 自爆提案を敵に丸なけする究極のバカ　それがスレ主ｗｗｗｗｗｗｗ 802 名前：１３２人目の素数さん [2018/12/31(月) 15:09:08.37 ID:y4r2VQPB.net] >>718 ＞”無限長ゆえに成り立つ”ということを、改めて証明すべき 無限の場合は既に証明されてます。時枝記事を読んでください。 803 名前：１３２人目の素数さん [2018/12/31(月) 15:16:36.84 ID:h9L92WO7.net] >>737 ついでにいうとスレ主の愚劣改変案のような １）決定番号に上限Dがある ２）D+1番目の箱がある という状況では 「D+1番目を開ければ、D番目が分かる」 とかいう必勝戦略が実現できるが １）が満たされない、つまり 無限列で決定番号に上限がない場合は、 時枝記事の戦略によるしかないだろう 804 名前：１３２人目の素数さん [2018/12/31(月) 15:19:06.90 ID:y4r2VQPB.net] >>718 ＞有限長の数列で論理が破綻するなら、無限長でも論理が破綻するだろう 客室数が有限個のホテルでは「満室でももう1人泊められる」が破綻してるが、 客室数が無限個のホテルでは破綻してないんだけど、何か？ 805 名前：１３２人目の素数さん [2018/12/31(月) 15:30:00.93 ID:y4r2VQPB.net] ん〜　どうもスレ主という人物は「無限とは何か」が壊滅的にわかってないようだ 古代ギリシャ人の方が遥かに無限を理解してるぞｗ 806 名前：１３２人目の素数さん [2018/12/31(月) 15:33:19.15 ID:h9L92WO7.net] ID:y4r2VQPBさん 以下の文章を読んでいただき 感想をお願いします --- >簡単のために、部分集合として、 >決定番号が、1<= d <=(m-1)の場合を考える >とすること（>>706）で、この不具合は回避できる 箱はm個だが決定番号mの列は想定しない、ということなら m番目の箱を見れば、m-1番目の箱も予測できる なぜなら、決定番号がm-1までしかないのだから 決定番号がm-1だとしても代表元のm-1番目と m-1番目の箱の中身が一致する なんだ反例にならんじゃないかｗ 807 名前：１３２人目の素数さん [2018/12/31(月) 15:57:57.54 ID:y4r2VQPB.net] >>741 ＞箱はm個だが決定番号mの列は想定しない、ということなら ＞m番目の箱を見れば、m-1番目の箱も予測できる 確かにその通りだと思います 808 名前：１３２人目の素数さん [2018/12/31(月) 16:05:45.73 ID:h9L92WO7.net] >>742 どうもすみません 自明なことをわざわざご確認いただきまして スレ主が「反例！反例！」と騒ぐんで 姑息な改変案を確認したら・・・ 反例どころか完全に予測可能！ スレ主は自分の改変案で予測不能かどうか 一度もチェックしてないってことですね いやほんと考えることが嫌いなバカなんですね　スレ主は 809 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 17:38:43.97 ID:jfNleUVx.net] 数学板のコテを集めてランク付けしようぜwwwww https://rio2016.5ch.net/test/read.cgi/math/1546228012/ 810 名前：１３２人目の素数さん [2018/12/31(月) 17:41:35.20 ID:h9L92WO7.net] >>744 スレ主　安定の最底辺だな 811 名前： mailto:sage [2018/12/31(月) 17:46:30.87 ID:I8bqvQKd.net] >>745 私も参加することにしました、狂人枠で 812 名前：１３２人目の素数さん [2018/12/31(月) 18:04:48.28 ID:h9L92WO7.net] >>718で自爆死したスレ主は故人枠だなｗ 813 名前：１３２人目の素数さん mailto:sage [2018/12/31(月) 22:10:57.21 ID:1cUs/ABC.net] スレ主に間違いを指摘したら スレ主が理解できた場合 「それでいい。ありがとう」 スレ主が理解できなかった場合 Wikipediaなどのコピペ大量書き込み スレ主がどうしようもなくなった場合 「必死に言い訳をするピエロちゃん ッﾌﾟ（＾＾ 」 2018年はスレ主の馬鹿っぷりととともに終わります スレ主以外のみなさま良いお年を〜〜 814 名前：１３２人目の素数さん [2019/01/01(火) 07:21:28.57 ID:hTB7MY8/.net] スレ主は撃沈でいいのかな？ 取りあえず敗北宣言してスレ削除してくんない？ ガキじゃないんだから後始末ちゃんとしようね 815 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:06:31.03 ID:5JqLTK2h.net] まず、ご挨拶 皆様、明けましておめでとうございます。 本年もよろしくお願いいたします。ｍ（＿ ＿）ｍ 816 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:07:07.90 ID:5JqLTK2h.net] >>721 >＞はい、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください >ちなみにスレ主の考え得る大きな数って何？ 私の知っているのは、 “巨大数”　https://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0 くらいですね 817 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:07:48.33 ID:5JqLTK2h.net] >>725 >代表系を定める権利は回答者にあるのだから それだめですよ。代表系の決め方はすでに時枝記事に書かれています。それ前提です。全く違う数理を採用することは不可。もちろん、ある同値類内で、代表rを別の元r’ にすることは、回答者の自由でしょうが。 一方、「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができるということです。 そして、反例は一つで良い。「有限」の場合に反例が構築できるなら、数理として、時枝記事はもう一度見直されるべきですよね。 818 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:08:20.30 ID:5JqLTK2h.net] >>726 >「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを示しなさいな。 それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。 そして、>>706に“（以上は、>>644-645に記述の数学ロジックの通りです）”と纏めています 819 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:09:01.78 ID:5JqLTK2h.net] >>706 おっと、リンク間違っているね リンク訂正 （>>673の改訂版） ↓ （>>678の改訂版） 820 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:10:09.46 ID:5JqLTK2h.net] >>737 >＞”無限長ゆえに成り立つ”ということを、改めて証明すべき >無限の場合は既に証明されてます。時枝記事を読んでください。 はい その（証明）（カッコ付き）は、「無限」でなくともそのまま成立します。 「有限」の場合でも“部分集合として、決定番号が、1<= d <=(m-1)”（>>706）とすることでＯＫですね 821 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:10:36.74 ID:5JqLTK2h.net] >>746 C++さん、お元気そうでなによりです（＾＾ 822 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:11:16.56 ID:5JqLTK2h.net] さて本題 >>718-719の補足： １）>>706を時枝記事の有限モデルと名付けよう。（有限数列のしっぽの同値類は>>717に定義の通り） ２）これは、反例です（>>707の通りです。殆ど自明だが、後で説明します） ３）さらに補足すると、決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100) が与えられたとしよう。 　その場合、有限モデルで、ｍ＋α（“プラスアルファ”と読む（＾＾。α>=1の整数）と取ることで、このような決定番号をカバーする有限モデルを、構築することができる。 ４）なお、>>706でピエロの“g)標本空間 Ω＝{1,･･･,100}”が正当化されるのは、「決定番号 d^k 1<= k <=100 で、最大値 D = max(d^1, d^2,・・・d^100)」が与えられからであり、そのような場合は、必ずこのような決定番号をカバーする有限モデルを構築することができる。（上述３）の通り。） ５）繰返すが、時枝記事前半の”ふしぎな戦略”の説明では、無限長で無ければならない数学的要素は一つも無い。従って、有限モデルを構築することができる。時枝記事に書かれている”ふしぎな戦略”には、必ずそれをカバーする有限モデルを構築することができる。 以上 823 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:13:20.52 ID:5JqLTK2h.net] ＜有限モデルの反例について＞ 下記のように誤解して頂けると、ありがたい（＾＾ （時枝記事が、“全く理解できてない”ってことが、露呈するので（＾＾； ） （そのうち説明しますが、上記>>757の２）(>>707)の通りです。殆ど自明だが、後で説明します。自得する人も多いと思おうので、時間をおいてじっくりやります） >>727 >>729 >>732 >>734 >>741 >>743 「箱はm個だが決定番号mの列は想定しない、ということなら m番目の箱を見れば、m-1番目の箱も予測できる なぜなら、決定番号がm-1までしかないのだから 決定番号がm-1だとしても代表元のm-1番目と m-1番目の箱の中身が一致する なんだ反例にならんじゃないかｗ」 >>742 （>>741より） ＞箱はm個だが決定番号mの列は想定しない、ということなら ＞m番目の箱を見れば、m-1番目の箱も予測できる 確かにその通りだと思います 824 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/01/01(火) 10:13:55.14 ID:5JqLTK2h.net] 　 あと、このスレはもうすぐ512ＫＢオーバーになるので、新スレを準備しておきます 間に合えば、このスレにも新スレ立てたと書きます 825 名前：１３２人目の素数さん [2019/01/01(火) 11:03:36.66 ID:hHuoOtTW.net] >>758 >下記のように誤解して頂けると、ありがたい（＾＾ 誤解でもなんでもない じゃ、これをコピペするか スレ主ちゃん えらいねー、 おサルなのに 沢山カキコして 今年も、ピエロおどり頼むよ ホイ、ホイ、ホイ 踊れ！ ピエロ（＾＾ 826 名前：１３２人目の素数さん [2019/01/01(火) 11:04:28.59 ID:BXYtbc9n.net] 1年ぶりくらいに覗いてみたらまだ時枝の話してて盛大に吹いたwww スレ主さんが元気そうでなによりだよ 827 名前：１３２人目の素数さん [2019/01/01(火) 11:06:38.15 ID:hHuoOtTW.net] >>758 >そのうち説明しますが スレ主が自爆したことは説明の必要ありませんが じゃ、これをコピペするか スレ主ちゃん えらいねー、 おサルなのに 沢山カキコして 今年も、ピエロおどり頼むよ ホイ、ホイ、ホイ 踊れ！ ピエロ（＾＾ 828 名前：１３２人目の素数さん [2019/01/01(火) 11:08:45.76 ID:hHuoOtTW.net] >殆ど自明だが、 スレ主が自爆したことは「殆ど」ではなく「全く」自明です >後で説明します。 自爆の説明は不要です　スレ主が軽率なのは皆先刻承知です じゃ、これをコピペするか スレ主ちゃん えらいねー、 おサルなのに 沢山カキコして 今年も、ピエロおどり頼むよ ホイ、ホイ、ホイ 踊れ！ ピエロ（＾ 829 名前：１３２人目の素数さん [2019/01/01(火) 11:09:55.15 ID:hHuoOtTW.net] >自得する人も多い スレ主自身がまず自得しましょう じゃ、これをコピペするか スレ主ちゃん えらいねー、 おサルなのに 沢山カキコして 今年も、ピエロおどり頼むよ ホイ、ホイ、ホイ 踊れ！ ピエロ（＾＾ 830 名前：１３２人目の素数さん [2019/01/01(火) 11:16:46.24 ID:hHuoOtTW.net] >時間をおいてじっくり 自爆を理解するまで書き込まなくていいぞ！ 負け犬ピエロのスレ主ｗｗｗｗｗｗｗ 831 名前：１３２人目の素数さん [2019/01/01(火) 11:21:24.59 ID:hHuoOtTW.net] >>759 >新スレを準備しておきます 必要ないって 負け犬ピエロのスレ主の泣言スレなんかｗｗｗｗｗｗｗ 832 名前：１３２人目の素数さん [2019/01/01(火) 11:29:46.89 ID:hHuoOtTW.net] >>752 >「無限」は、確かに時枝記事に書かれているが、「有限」でも同じことができる 同値関係の定義も、決定番号の定義も上記の通り しかし、有限個の場合、決定番号Dが最後尾なら 時枝戦略の以下の手続きが実現できない 3.第k列のD+1 番目から先の箱だけを開ける。 s~k_D+1,s~k_D+2,s~k_D+3,･･･ 　を見て代表r=r(s~k)が取り出せる。 で、上記３．が可能となるよう、 末尾が決定番号とならない形 に改変すると、末尾を見ることで 末尾の直前の箱が１００％予測可能ｗ １００％予測可能じゃ反「反例」だなｗ 833 名前：１３２人目の素数さん [2019/01/01(火) 11:35:20.52 ID:hHuoOtTW.net] >>726 >「時枝記事は成り立つと主張する数学の論理（数学ロジック）」とは何者かを示しなさいな。 >それって、一昨日時間を取りましたよね。言い逃れできないように。皆さん合意したはず。 時枝記事に「無限」と書いてあるなら 「有限」を持ち出すスレ主がルール違反の犯罪者 しかも、それで末端が決定番号にならないよう改変したら １００％予測の自爆　　スレ主は自ら敗北したんだよ 言い逃れのしようもないな　 834 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

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

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