20/01/04 07:36:52.24 MNiodNk0.net
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾
なお、
小学レベルとバカプロ固定お断り
例：サイコパスのピエロ＝数学おサル（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています）
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people （知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾； ）
低脳幼稚園児のAAお絵かき
上記は、お断り！！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが1000オーバー（又は間近）で、新スレを立てた）
2:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 07:38:58.77 MNiodNk0.net
（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています。アホな "おサル"です。
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
（スレ69 ｽﾚﾘﾝｸ(math板:551番) ID4つ ）
なお、火病を発症すると狂気の連投をする
（スレ70 ｽﾚﾘﾝｸ(math板:46番) ）
殺人願望旺盛（＾＾ スレ69 ｽﾚﾘﾝｸ(math板:69番)-74
人を“丸焼き”にして食するという人食趣味あり スレ69 ｽﾚﾘﾝｸ(math板:77番)
どこかの（某大学） 数学科卒 修士課程修了らしい
東京大学出身などと、すぐわかる軽薄なウソをいう
ロジックの破たんした見え見え、デタラメの屁理屈をこねる
それじゃ、数学は落ちこぼれで当たり前だ
こいつの発言は、全く信用できないので、基本スルーだ
（参考）
URLﾘﾝｸ(blog.goo.ne.jp)
サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む グレーより薔薇色 2007年04月06日
スレ32 ｽﾚﾘﾝｸ(math板:351番)
(抜粋)
私？某大学の数学科卒 修士課程修了ですが何か？
ま、この程度でHigh Level Personなんていうほど自惚れちゃいませんよ
やっぱ博士号くらいとらないと数学の世界では人間とは認められませんから
(引用終り)
3:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 07:39:26.03 MNiodNk0.net
つづき
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
（但し、最近、内一人は時枝不成立が理解できたらしい（スレ67～68辺り
知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾；）
スレ28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
3)
あと、”High level people”を言い出した、英語おじさん（このスレで英語でのみカキコした人）がいたんだ
この人が、”High level people”を連発したので、借用させてもらったのだ（＾＾
4)
あと、”これは酷い”おじさん。これしか言わない、一言居士。英語おじさんと同一かも
さらに、キチガイサイコパスと同じ趣旨を書くのが一人いる。サイコパスピエロに、チョウチンをつけることが多い。サイコパスの成りすましの可能性もありかも
あるいは、(文系)High level peopleさんが、”これは酷い”を使うのかもなー
5)最近、時枝記事不成立派の人が数人と、キチガイサイコパス取締りパトロール隊の方がいる（＾＾
6) 哀れな素人さん：古代ギリシャの数理哲学を語る人
7)時枝解法関連で例の問題提出をした方：不成立の観点から、（下記）の問題提出をした方。この人は、ちょっとレベルが高そう（＾＾
スレ64 ｽﾚﾘﾝｸ(math板:211番)
8) C++さん、トリップ“◆QZaw55cn4c”の人。コンピュータサイエンス系の人です。基本ROMですが、ときどき、良い意見を書いてくれます。
つづく
4:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:40:37 MNiodNk0.net
>>3
つづき
9) てへぺろ☆(・ω<)さん 70 ｽﾚﾘﾝｸ(math板:842番)
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
10) Ω星人の数学者さん、たまに現れます（＾＾
11)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
スレ68 ｽﾚﾘﾝｸ(math板:18番)
「数学雑談&ガロア理論 ～おっちゃんとボクと、時々、（時枝 ＆ ￥さん）～」かな（＾＾
まあ、常連さんは、全員数学の非専門家でしょう（プロ（職業）ではない人）
∵数学のプロが、こんなところに“粘着”するわけがない（＾＾
常連カキコさんは、こんなところだ
まあ、解説が漏れていたら、ご容赦
以上、このスレのROMさんたちのための、常連カキコさんとおっちゃん（別格）の解説でした（＾＾；
5:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:41:11 MNiodNk0.net
＜過去�
6:Xレ＞ （そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます） （数学セミナー時枝記事は、過去スレ39 で終わりました。 39は、別名「数学セミナー時枝記事の墓」と名付けます。 High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾； また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ “時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。） （が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ） 過去スレリンク集 （下記以外で抜けている分は、スレ68のテンプレ https://rio2016.5ch.net/test/read.cgi/math/1560374890/4-6 ご参照 ） 79 https://rio2016.5ch.net/test/read.cgi/math/1573769803/ 78 https://rio2016.5ch.net/test/read.cgi/math/1571400076/ 77 https://rio2016.5ch.net/test/read.cgi/math/1568026331/ 76 https://rio2016.5ch.net/test/read.cgi/math/1566715025/ 75 https://rio2016.5ch.net/test/read.cgi/math/1565872684/ 74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/ 73 https://rio2016.5ch.net/test/read.cgi/math/1563282025/ 72 https://rio2016.5ch.net/test/read.cgi/math/1562292879/ 71 https://rio2016.5ch.net/test/read.cgi/math/1561208978/ 70 https://rio2016.5ch.net/test/read.cgi/math/1560684578/ （842- てへぺろ☆(・ω<)さん来訪 69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/ 68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/ 前スレ 64 https://rio2016.5ch.net/test/read.cgi/math/1556253966/ （868- 時枝記事否定派のAlexander Pruss先生が、意外に大物で数学のプロであること判明。勝負あり～！（＾＾ つづく
7:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:41:40 MNiodNk0.net
>>5
つづき
47 ｽﾚﾘﾝｸ(math板) 時枝記事関連資料豊富
46 ｽﾚﾘﾝｸ(math板) ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 ｽﾚﾘﾝｸ(math板) 哀れな素人さん 79-92
43 ｽﾚﾘﾝｸ(math板) （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
（40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
（39以前 現代数学の系譜 古典ガロア理論を読む)
39 ｽﾚﾘﾝｸ(math板) （別名 数学セミナー時枝記事の墓）
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
32 ｽﾚﾘﾝｸ(math板) (251 サイコパスのピエロ登場 ID:1maZ/hoI )
28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
20 ｽﾚﾘﾝｸ(math板) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
17 ｽﾚﾘﾝｸ(math板) （314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初）
4 ｽﾚﾘﾝｸ(math板) スレタイに4が抜けてますが(4)です
1 ｽﾚﾘﾝｸ(math板) 初代スレ
その他のテンプレは
スレ71 ｽﾚﾘﾝｸ(math板:7番)-32
をご参照ください
以上
8:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:44:13 MNiodNk0.net
（参考）
URLﾘﾝｸ(mathmathmath.dotera.net)
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
追加（良く使うが出しにくい記号）
＼ ≦≧⇒⇔∈∋⊂⊃⊆⊇∀∃ （アレフ＝これ文字化けするね。あと二重矢印の←も文字化け）?σΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x ∇（← "∂"は「きごう」で変換可．）
（wikipedia などの ハイフン or マイナス記号－や、特殊不等号>=、=< アレフなども、結構文字化けするので要注意）
専用ブラウザの投稿前ビューで、文字化けが分かるのですが、ついついそのまま投稿していることが多い。
9:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:45:03 MNiodNk0.net
さて
大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）
以下過去スレより再掲
ｽﾚﾘﾝｸ(math板:7番)
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
いわずもがなだが
コピペすると、この板の特性で、特殊文字が文字化け（だいたい”？”に化ける）とか
なので、興味があるひとは、必ずリンク先を訪問して確認するようにな(抜粋が多いし)
10:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:45:36 MNiodNk0.net
>>8
補足
伝統的に（2CH時代から）、5CHでは
URLリンクのみの1行張付けが多いが
だが、それではURLの先へ飛ぶ価値があるかどうかの判断が付かないし
なので、題目と著者と発行日と、それに若干の内容（次の検索用キーワードと次の議論のための）を、コピペしている
で、コピペ内容は、よく文字化けする。あと、数式が崩れるが、ご容赦
（wikipediaの数式は独特で手直ししないと、単純コピペでは読めないが、最近手直しが面倒なのでそのままが多い（＾＾； ）
あと、自分の検索（プル）のためには、キーワードが必要なので、それをこのスレで”プッシュ”するという意味もあるんだ
URLの先の抜粋のコピペは、それ（上記）以外に、リンクが切れたとき（時間が経つとしばしば起きる）のためのコピペでもあるんだ
URLﾘﾝｸ(webtan.impress.co.jp)
コンテンツマーケティングをプル戦術、プッシュ戦術、シェア戦術で考える（SEOか？ ソーシャルか？ の議論に代えて）
「SEOか？ ソーシャルか？」だけでなく、その他の手法も考えて区分しなおすと、集客の本質が見えてきます。
株式会社ブレインネット 2015/3/19 10:21 SEO | 解説／ノウハウ
11:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:46:02 MNiodNk0.net
スレ56より （なお、「イメージ」～「ビジョン」～「哲学」かも（＾＾ ）
ｽﾚﾘﾝｸ(math板:178番)-
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
（しばしば、厳密性な証明は後から与えられることも多くあった）
つづく
12:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:46:35 MNiodNk0.net
>>10
つづき
＜渕野語録＞
(引用開始)
スレ24 ｽﾚﾘﾝｸ(math板:654番)-
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.)<)
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
13:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:47:52 MNiodNk0.net
個人的には、下記類似です。” 先生>周りの人>知恵袋の人(固定ID)>>> 5CH（旧2CH）(固定IDなし)”と
ｽﾚﾘﾝｸ(math板:494番)
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが
URLﾘﾝｸ(note.chiebukuro.yahoo.co.jp) （注：リンク切れているが、取り敢ずそのままです）
Yahoo 知恵袋
数学の勉強法 学部～修士
ライター：amane_ruriさん 最終:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）
2. 2ｃｈの内容は信用できるか？
基本的に信用できません。先生>周りの人>>> 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)
14:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:48:28 MNiodNk0.net
過去スレより
ｽﾚﾘﾝｸ(math板:338番)
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか
有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか
おいおい、競馬じゃないんだよ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
15:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:48:55 MNiodNk0.net
>>13
補足
ｽﾚﾘﾝｸ(math板:352番)
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
16:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:51:04 MNiodNk0.net
＜関連スレ＞
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板)
＜なお、時枝は終わりました。>>5-6 参照＞
スレ78 ｽﾚﾘﾝｸ(math板:914番)
914 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/11/12(火) 07:19:21.12 ID:bgnQJNQo [2/4]
(抜粋)
>>847
>時枝不成立を名言した大学教員
> 該当者無し
まず添削
名言
↓
明言
な（＾＾
で、数学では、査読のある専門誌に載った定理のみが、成立するとして信頼して良いってこと
査読雑誌に載らないのはだめだよ
17: （あと、古典で標準教科書に載る定理も可だ） 例えば、IUTはいまだ査読のある専門誌に掲載されない ペレルマンの三次元ポアンカレ予想解決は、arXivに投稿された（後述） これを、皆で勝手査読して正しいとして、フィールズ賞を出した。受取らなかったが 時枝問題は、皆無 お遊びホームページと査読のない数学セミナー誌のみ 時枝は、数学セミナーの記事後半で、前段を否定している １）計量ができないのに、99/100を導きました ２）確率変数の独立と、99/100とは矛盾しています という おサルは、前段のみを採用し、 後段は時枝の間違いか無関係とのたまう （参考） https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AA%E3%82%B4%E3%83%AA%E3%83%BC%E3%83%BB%E3%83%9A%E3%83%AC%E3%83%AB%E3%83%9E%E3%83%B3 グリゴリー・ペレルマン (抜粋) ペレルマンとポアンカレ予想 arXiv で以下の3つのプレプリント (Preprint) を発表し、ポアンカレ予想を解決したと宣言した。 The entropy formula for the Ricci flow and its geometric applications, 2002年11月11日 Ricci flow with surgery on three-manifolds, 2003年3月10日 Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, 2003年7月17日
18:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:53:38 MNiodNk0.net
以前はテンプレに入れていて、一時省いていたのですが、趣味のIUT復活（＾＾；
（完全にヤジウマですが）
・今年は、オリンピックイヤーでもあり、IUTワークショップイヤーでもあります。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際タイヒミューラー理論の拡がり - RIMS, Kyoto University
Foundations and Perspectives of Anabelian Geometry 期間：2020-05-18?2020-05-22
Inter-universal geometry と ABC予想 43 ｽﾚﾘﾝｸ(math板)
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
math jin：（IUTT情報サイト） URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (November 2015) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
(引用終り)
URLﾘﾝｸ(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
集合論は無限の階層を持つ。
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
このモデルとなるのがグロタンディーク宇宙である。
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Inter-universal Teichmuller theory (abbreviated as IUT)
(抜粋)
Contents
1 History
2 Mathematical significance
(引用終り)
つづく
(deleted an unsolicited ad)
19:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/04 07:54:32 MNiodNk0.net
>>16
つづき
関連（TARO-NISHINOの日記）
URLﾘﾝｸ(taro-nishino.blogspot.com)
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する URLﾘﾝｸ(taro-nishino.blogspot.com)
望月新一 新論文 宇宙際Teichmuller理論関連
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF 20190518
テンプレは以上です
20:現代数学の系譜?雑談?古典ガロア理論も読む
20/01/04 10:49:04.75 BzkpPjaw.net
コテハン＆トリップ設定カキコ（＾＾
21:おすそ分け
20/01/04 17:09:29.28 sWqWpRJo.net
.;;;;;;;;;;;;;;;;;;;;
.;;;;彡彡ミミ;;;
.;;;;彡彡ミミ;;;
;;;;彡彡ミミミ;;;
;;;;彡彡ミミミ;;;
;;;;;;彡彡ミミミ;;;;;
;;;;彡ミ彡ミミミミ;;;
;;;彡ミ彡;;人;;;ミ彡ミ;;;
;;;彡ミ彡ﾉ ヽ;ミ彡ミ;;;
;;;彡ミ;;;;ﾉ.人 ヽ;彡ミ;;;
;;;彡ミ;;;ﾉ | ..| ;ヽ彡ミ;;;
;;;彡ミ;;ﾉ .| | ヽ彡ミ;;;
;;;彡ミ;ヽ |.・.| /彡ミ;;;
;;;彡ミ;;ヽ| .| /;;彡ミ;;;
.;;;;;;;ミ;;;ヽ|( )|./ミ彡;;;;
..;;;彡;;;;ヽ| .|/;;;ミ;;;
..;;;;.彡;|.|;;ミ;;;;;....
;;;;;彡;彡|;;ミミミ;;;;
;;彡彡彡＊ミミミミ;;
;;;;彡彡ミミミ;;;
;;彡彡ミミ;;
22:１３２人目の素数さん
20/01/04 17:31:37.51 U3pD+5vK.net
>>15
>時枝問題は、皆無
>お遊びホームページと査読のない数学セミナー誌のみ
時枝定理は大学生でも理解できる
査読がどうのｗ バカ丸出しｗ
>時枝は、数学セミナーの記事後半で、前段を否定している
否定してませんｗ
>１）計量ができないのに、99/100を導きました
計量できますよｗ
100列のうち単独最大の決定番号を持つ列（ハズレ列）はたかだか1列だから99/100以上ｗ
>２）確率変数の独立と、99/100とは矛盾しています
箱の中身は定数なので確率変数ではない
時枝解法の確率事象は100列のいずれかをランダムに選ぶところ、すなわち確率変数は列番号
いまだに理解できないとはバカ過ぎｗ
23:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 23:42:17.74 MNiodNk0.net
スレ79 ｽﾚﾘﾝｸ(math板:961番) より
>>961 補足
どうも、スレ主です
あなた 無限数列のシッポの同値類、これ”概念”として理解できないようだね
私は、過去スレでも同じ説明をしたと思うが
（あなたの来る前だったかもしれんが）
再度説明しよう
(まず >>961より 引用開始)
数列の尻尾の同値類なんだから
その同値類に属する数列が
s1,s2,s3,・・・
とあれば、みな同じシッポなんでしょ？
それって、ほとんど同値類の定義じゃね？ｗ（＾＾
無限長の数列だから、シッポは無限の先になるけどｗ
(引用終り)
以下説明
１）
時枝の可算無限長の数列のシッポの同値類は（下記の時枝記事ご参照）
形式的冪級数（無限級数）と多項式（有限級数）との関係と 見ることができる！！
（この説明は、”できる”数学科生なら理解可能だろうが、”落ちこぼれ”のあなたには理解できないかも知れない（＾＾ ）
２）
時枝記事（下記）の数列で
s = (s1，s2，s3 ，・・・)，
から、下記形式的冪級数Fpができる。つまり
Fp＝s1X+s2X^2+s3X^3+・・・ となる
さて、（時枝記事にある）番号n0から先のしっぽが一致する数列でも
s'=(s'1， s'2， s'3，・・・ )から形式的冪級数Fp'ができる
Fp'＝s'1X+s'2X^2+s'3X^3+・・・ となる
なお、Fp,Fp' ∈R[[X]] (形式的冪級数環) である（念押し）
つづく
24:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 23:45:20.83 MNiodNk0.net
>>21
つづき
３）
同値類内の
2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから
Fp-Fp'＝(s1-s'1)x+(s2
25:-s'2)x^2+(s3-s'3)x^3・・・+0X^n0+0X^(n0+1)+・・・ （シッポの「+0X^n0+0X^(n0+1)+・・・」の部分は、n0次以上の項から係数が0になる意味です。なお、それ以前の係数は0ではない） つまり、p'=Fp-Fp' で、p'∈R[X] （多項式環）で、n0-1次多項式です 上記の式を変形して、Fpと同じ同値類の任意の元Fp'は Fp'=Fp-p' と書ける つまり、任意のFp'は、Fpから多項式 p'を引いたものになる 多項式 p'は、下記のwikipedia 多項式環の定義の通り ”多項式には項が有限個しかないこと -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である”です （なお、R[X] は環だから、任意の和と積の２項演算で閉じているので、R[X]に含まれる多項式の次数nには、上限は無いことを注意しておこう） そして、p'がR[X] の全てを渡ることで、Fpの同値類が尽くされることにも、注意しておこう ４） いま、簡単のために、Fpの係数、即ち数列 s = (s1，s2，s3 ，・・・）の各数ｓｎたちはどれも0ではないとする。こうしても、一般性は失わなれない つまり、Fp not∈R[X] かつ Fp ∈R[[X]] ということです これで、上記の多項式p'が多項式環R[X] の全てを渡っても 必ず Fp'=Fp-p' ≠0 (つまり、Fp'の係数が全て0になることはないということ） もっと言えば、シッポの先に、係数で0にならない部分が、必ず残るということ つづく
26:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 23:47:03.65 MNiodNk0.net
>>22
つづき
５）
このシッポの先に残る係数で0にならない部分は、多項式環R[X] からはみ出す部分です
この多項式環R[X] からはみ出す部分があるから、同値類内の任意の形式的冪級数においては、”Fp'=Fp-p' not∈R[X] ”となります
この多項式環R[X] からはみ出すシッポの部分は、任意の同値類内の形式的冪級数Fp'=Fp-p'が、必ず持っているシッポです
この多項式環R[X] からはみ出すシッポの部分は、決して空集合にはなりえない。∵ 空集合なら、Fp∈R[X] で矛盾です
この多項式環R[X] からはみ出すシッポの部分は、常に可算無限長の数列を成します。∵ ∞－(ｎ0-1)＝∞だから。つまり、列の長さで、無限大の長さの数列で先頭の有限ｎ0-1個の数を除いても、必ず∞の長さの列が残るからです。
QED
お分かりかな？
これ、”できる”数学科生なら理解可能だろうが、”落ちこぼれ”のあなたには理解できないかも知れないねぇ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σn=0～∞ a_nX^n=a_0+a_1X+a_2X^2+・・・
の形をしたものである。ある m が存在して n >= m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
つづく
27:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/04 23:48:07.13 MNiodNk0.net
>>23
つづき
URLﾘﾝｸ(ja.wikipedia.org)
多項式環
(抜粋)
定義
体 K に係数を持つ不定元 X に関する多項式とは
総和の記号
を使えば、同じ多項式は
p=p_mX^m+p_m-1X^m-1+・・・ +p_1X+p_0=Σk=0～m p_kX^k
と簡潔な形に書くことができる。この総和の範囲はよく省略されて、 p=Σk p_kX^k のように書くこともある。
注意すべき点として、多項式には項が有限個しかないこと -つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ- は、暗黙の了解である。
体 K に係数を持つ多項式全体の成す集合は可換環を成し、K[X] で表して、K 上の多項式環 (ring of polynomials over K) と呼ぶ。
過去スレ20 時枝再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 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番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
(引用終り)
以上
28:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 00:01:08.55 dWKXmW0r.net
>>22 タイポ訂正
2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから
↓
2つの形式的冪級数の差 Fp-Fp'を作ると、n0から先が一致するから
29:１３２人目の素数さん
20/01/05 00:51:46.45 p9Somwtl.net
バカ丸出しｗ
30:１３２人目の素数さん
20/01/05 08:37:19 CpJpHnug.net
>>21-25
長々と解説してるけど…その解説は肝心の
「尻尾の同値類全体に共通する尻尾がある」
の証明にはならないね
証明できるわけない だってウソだからｗ
ｽﾚﾘﾝｸ(math板:280番)
同値類から取り出した有限個の列からは共通の尻尾がとれるが
無限個の列からは共通の尻尾が取り出せない場合がある！
31:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 08:54:21.06 dWKXmW0r.net
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板:145番)
145 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 04:07:39.93 ID:FT6IwKRD
おっ、望月更新してるぞ
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」
だね（＾＾
32:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 09:20:34.97 dWKXmW0r.net
>>27
いいんじゃね？
>>21-25で言いたいことは
１．時枝の可算無限数列 は、それを係数とする形式的冪級数として捉えることができる
２．シッポの同値類で、同じ同値類に属する形式的冪級数FpとFp'の差を取って、
多項式 p'=Fp-Fp' で、p'∈R[X] （多項式環）で、n0-1次多項式 ができる
３．Fpを同値類の代表とする
時枝のいう決定番号dは、d=n0です
（参考）
スレ20 ｽﾚﾘﾝｸ(math板:3番)
3 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/06/19(日) 04:51:43.66 ID:suG/dCz5 [3/23]
(抜粋)
各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
(引用終り)
４．このように考えると
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
非常に考え役成るのです
５．私は、一つの同値類には、固有のシッポが存在すると考えています。同値類内の形式的冪級数たちは、その固有のシッポを共有する
証明はしません。時枝では得に使いませんから。証明など、横道にそれるだけ
でも、一般に同値類には、そういう”不変量”みたいなのが、あることが多いことだけを指摘しておきます（下記）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
同値類
(抜粋)
不変量
～ が X 上の同値関係で P(x) が，x ～ y であるときにはいつでも，P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，性質 P は ～ の不変量，あるいは関係 ～ のもとで well-defined であるといわれる．
33:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 09:22:58.83 dWKXmW0r.net
>>29 タイポ訂正
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
非常に考え役成るのです
↓
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の多項式pの次数n0に直して考えることができ
非常に考え易く成るのです
（＾＾；
34:１３２人目の素数さん
20/01/05 09:31:06.99 fZULsj51.net
ヨコ
35:です。 時枝さんの定理ってのがあるんですか？ それは正確にはどういう主張ですか？ その主張読めるサイトあります？ 証明はいいです。
36:１３２人目の素数さん
20/01/05 09:42:59.66 CpJpHnug.net
>>29
>いいんじゃね？
何が？どう？
＞私は、一つの同値類には、固有のシッポが存在すると考えています。
それ、間違い、つまり「ウソ」ですけどね
＞同値類内の形式的冪級数たちは、
＞その固有のシッポを共有する証明はしません。
というより、できませんよね
だって、間違い、つまり「ウソ」ですから
＞一般に同値類には、そういう”不変量”みたいなのが、あることが多い
し・か・し、その不変量として固有のシッポがある
というのは真っ黒なウソ（真っ赤どころじゃない！）ですよねｗ
正規部分群も誤解、∈も誤解、無限も誤解
まったく酷いトンデモ野郎ですねｗｗｗ
37:１３２人目の素数さん
20/01/05 09:46:29.62 CpJpHnug.net
>>31
その話は別スレッド立ててやってくれる？興味ないから
38:１３２人目の素数さん
20/01/05 10:03:13.35 fZULsj51.net
スレ立てようにも概要も何もわからないからなぁ？
スレ立てるほどの価値ある話かもわからんし。
てか概要も何もわからんのに時枝問題ってなんですか？ってタイトルのスレも立てられないし。
ググっても出ないし。
39:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 10:08:05.28 dWKXmW0r.net
>>29
証明の代わりに、簡単なモデルで考えてみよう
十進無限小数において、時枝と同じく、シッポの同値類を考える
簡単のために、整数部は１桁とする
円周率で、3.14 159・・と続くので
時枝に倣って、小数点を外して
314 1599 26535 ・・を考える
この円周率の同値類の1つ
例えば
425 1599 26535 ・・
を考える
425の後 1599 26535 ・・
が一致している
と同じように、
円周率のシッポの同値類
で、その同値類内の数列たちは
円周率のシッポを共有している
そう考えれば良いんじゃない？
厳密な証明などはしない
反論したければ、どうぞ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
円周率
(抜粋)
π = 3.14159 26535 89793 23846 26433 83279 50288 …
40:１３２人目の素数さん
20/01/05 10:12:45.69 CpJpHnug.net
>>34
じゃ、聞かなかったことにすれば？
図書館で雑誌「数学セミナー」のバックナンバーを閲覧できるなら
2015年11月号の記事「箱入り無数目」（時枝 正）を見てみ
URLﾘﾝｸ(www.nippyo.co.jp)
41:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 10:15:50.41 dWKXmW0r.net
>>34
どうも、スレ主です
下記ご参照
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2015年11月号
箱入り無数目────────時枝 正 36
スレ47 ｽﾚﾘﾝｸ(math板:18番)
(抜粋)
18 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:05:26.79 ID:IqNIthYM [18/76]
>>11 関連
35 ｽﾚﾘﾝｸ(math板:12-18番) 時枝問題（数学セミナー201511月号の記事）
（以下時枝記事をもう一度貼り直す。上記の時枝記事引用は、スキャナーで読み込んでOCR変換のとき誤変換が存在するので、誤記修正も含めて訂正版を再掲する。）
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
なお、テンプレ>>6より
47 ｽﾚﾘﾝｸ(math板) 時枝記事関連資料豊富
32 ｽﾚﾘﾝｸ(math板) (251 サイコパスのピエロ登場 ID:1maZ/hoI )
28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
20 ｽﾚﾘﾝｸ(math板) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
17 ｽﾚﾘﾝｸ(math板) （314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初）
42:１３２人目の素数さん
20/01/05 10:18:11.05 w1hpLDIe.net
/ | ﾊ ＼ ／／／／ ヽ
! l |l､､＼ ｀ 丶 ､'´＿ ､ 、
! ｌ ∥＼､ ＼_ ＿ /, -｀ヽ }
、 ｌ ∥＿ ＞:=‐ ￣￣「 ｌ| l } ､ ヽ
ヽ ､i`─ '´ ___ ｜ ｌl ⌒; j 、 ヽ
＼ヽ r,ﾆ､‐‐'‐' u .ｌ ｌl '_ノ ､ ヽ
｀ ＼"＼):､ ｜ ｌ| ｀､ ヽ ､ ヽ
ヽ ゞ'＾ ! lｌ ｀､ ヽ ､ ヽ
丿 .:::. ｜ l| ＼ ヽ、 ､ ヽ
丶､_ | l|/ｌヽ ｀＞=‐- ミヽ ｀、
｀⌒ヽ_ | ｌ| | ﾊ ／´ ｀ヽ ､
ﾁｭﾊﾟ / /. ｀´| ｌ| | l / 〃 ｀、 ､
ﾁｭﾊﾟ / / | ｌ| | l' 〃 ､ ､
/ / ｌ ｌ| |ｲ 7 l
43:１３２人目の素数さん
20/01/05 10:18:34 CpJpHnug.net
>>35
>>27読んでないでしょ？
まず読め！
２つの列だけ考えても意味ない
同値類全体といってるよね？
１つの同値類には無限個の列がある
その無限個の列全体が共有する尻尾があるか？
答えは「無い」
理由？ここにあるよ
ｽﾚﾘﾝｸ(math板:280番)
違うというなら、共通の尻尾を提示してね
その場合、開始点となる桁（自然数で位置が示される）がどこか明示してね
この瞬間、賢い人なら「できない」ってわかるんだけどね
44:１３２人目の素数さん
20/01/05 10:21:21 WDR2q7oi.net
おっちゃんです。
>>31
他の或る何らかの理論などで「時枝の定理」という「定理」があるかどうかは知らないが、
時枝記事絡みの話で時枝の「定理」というのは聞いたことない。
時枝記事自体にはその発展性などはあっても、時枝記事の話自体に応用は特に何もないであろう。
45:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 10:27:32 dWKXmW0r.net
>>35 補足
で、時枝の同値類は
ミニモデルとして
円周率のシッポの同値類を考えて
代表数列：＝円周率より 314 1599 26535 ・・
で、同値類の1つ 例えば、425 1599 26535 ・・なら
４番目から一致しているから
決定番号d=4 とかにするって話
同じように、十進無限小数においては
無理数は、無限小数になるから
e (自然対数の底)とか、√2、√3 などのシッポの同値類が考えられる
それらは、全て、同値類内では、e 、√2、√3 などのシッポを共有している
そう考えれば良いんじゃ無い？（＾＾
46:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 10:28:54 dWKXmW0r.net
>>40
おっちゃん、どうも、スレ主です。
レスありがとう
そもそも
時枝記事自体は、定理として認められていない（＾＾；
47:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 10:45:39.37 dWKXmW0r.net
>>29 補足
確率は、昔から数学パラドックスの宝庫なのです（＾＾；
直感で、99/100？？ あぶないですよ～！ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(analytics-notty.tech)
数学の面白いこと・役に立つことをまとめたサイト
面白い確率のパラドックスをまとめました ? 人間の直感は信じられない！ 2018年3月27日2018年4月10日
目次
1. 確率のパラドックスはたくさんある
4. ベルトランのパラドックス ? いろいろな確率になる数学パラドックス
4.1. 問題
4.2. 解答
URLﾘﾝｸ(ja.wikipedia.org)
ベルトランの逆説
(抜粋)
ベルトランの逆説（ベルトランのぎゃくせつ、英: Bertrand paradox）は、確率論の古典的解釈において発生する問題である。ジョセフ・ベルトランが著作Calcul des probabilitesで、確率変数を導入する方法やメカニズムが明確に定義されない場合、確率がうまく定義できない場合があることを示す例として与えた。
目次
1 ベルトランによる問題の定式化
2 古典的な解答
3 ジェインズの解
URLﾘﾝｸ(en.wikipedia.org)(probability)
Bertrand paradox (probability)
(抜粋)
The Bertrand paradox is a problem within the classical interpretation of probability theory. Joseph Bertrand introduced it in his work Calcul des probabilites (1889),
48:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 10:56:53.56 dWKXmW0r.net
>>39
>違うというなら、共通の尻尾を提示してね
>その場合、開始点となる桁（自然数で位置が示される）がどこか明示してね
>この瞬間、賢い人なら「できない」ってわかるんだけどね
笑えるわ
”開始点となる桁（自然数で位置が示される）”
笑えるわ
おまえの無限の理解度、良く分かったわ
哀れな素人さんと、どっちがどうかだな（＾＾
49:１３２人目の素数さん
20/01/05 11:09:25 fZULsj51.net
いっぱいリンク貼ってあるけど肝心要の記事が載ってるリンクがひとつもない。
取り寄せたり図書館行ったりする価値があるとは思えないのでスルーしますww
50:１３２人目の素数さん
20/01/05 11:14:27 CpJpHnug.net
>>44
>笑えるわ
トンデモ◆e.a0E5TtKE 恒例の発●笑いｗ
>”開始点となる桁（自然数で位置が示される）”
R^Nだから、どの項も自然数で位置が示される
そうでない項がある、と思うのはトンデモ
>おまえの無限の理解度、良く分かったわ
>哀れな素人さんと、どっちがどうかだな
いや、◆e.a0E5TtKEのほうが安達弘志に近いｗｗｗｗｗｗｗ
51:１３２人目の素数さん
20/01/05 11:14:58 fZULsj51.net
なんせ直感的には筋悪な事やってるからな。
わかる範囲内では冪級数環を差が多項式になる同値類で割る。
多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
ちょっと筋悪。
筋悪だから生産的議論が出てこないとまでは言えないけど。
図書館行くまでの価値は無さそう。
52:１３２人目の素数さん
20/01/05 11:19:28 CpJpHnug.net
>>45
＞肝心要の記事が載ってるリンクがひとつもない。
実はあるけど◆e.a0E5TtKEの馬鹿が
余計なリンクを張りまくるから見つけにくい
記事抜粋
ｽﾚﾘﾝｸ(math板:12番)-18
53:１３２人目の素数さん
20/01/05 11:21:42 CpJpHnug.net
>>47
ベキ級数は◆e.a0E5TtKEが勝手に持ち出しただけ
そもそも代数の話ではないし
実は確率論の話でもない
集合論（選択公理）の話
54:１３２人目の素数さん
20/01/05 11:23:25 n1YRC2Dd.net
以下は過去ログからの引用。
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
55:１３２人目の素数さん
20/01/05 11:24:00 n1YRC2Dd.net
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 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番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
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 ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字
つづく
56:１３２人目の素数さん
20/01/05 11:24:24 n1YRC2Dd.net
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにし
57:ておく. 開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値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)が決められるのであった. おさらいすると，仮定のもと， 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)＝rDと賭ければ，めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (補足) s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字 つづく
58:１３２人目の素数さん
20/01/05 11:24:44 n1YRC2Dd.net
さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」
さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」
つづく
59:１３２人目の素数さん
20/01/05 11:25:23 n1YRC2Dd.net
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」
つづく
60:１３２人目の素数さん
20/01/05 11:26:15 n1YRC2Dd.net
数学セミナー201511月号の記事で、引用していなかった部分を、以下に引用する（＾＾；
”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.
この問題はPeter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい.”
(引用終り)
61:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 11:38:04.58 dWKXmW0r.net
>>29-30 つづき
(引用開始)
４．このように考えると
決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の多項式pの次数n0に直して考えることができ
非常に考え易く成るのです
(引用終り)
１．さて、上記を受けて、多項式のミニモデルを考えよう
簡単のために、係数には、十進小数にならって、0～9の10通りが入るとする
２次の多項式を考える
a0+a1X+a2X~2
２．代表に対して、その同値類の1つを選ぶことは、多項式を選ぶことと同じ
a0+a1X+a2X~2の場合の数は、10^3=1000通り（厳密には、a2＝0では、２次の多項式ではないが、今は含める）
３．１次の多項式なら、10^2通り
４．決定番号は、多項式の次数nに対して、d=n+1となる
２次の多項式 a0+a1X+a2X~2 を考えたとき、
これが真の２次式（a2≠0）の場合が、９割を占める
５．この場合で、0～9の10通り→任意の自然数 に拡張すれば
真の２次式（a2≠0）の場合が、絶対的多数を占める
なので、ランダムに選ぶと、確率的には、２次式以外は選べない
６．２次の多項式のミニモデルから、ｎ次の多項式に拡張すると
係数は、上記５の任意の自然数とすれば
同様に、ランダムに選ぶと、確率的には、ｎ次式以外は選べない
７．さて、時枝に戻ると
ｎには上限がない
８．そういうものに対して、n1とn2との大小の確率を考えるのは
パラドックスにおちいり易いということだ
９．例えば、n1とある有限の定数D（*)注） との大小関係を考えると
時枝には、ｎに上限がないので、
n1＞D の場合の確率1
n1<=D の場合の確率0
となる
（勿論、確率0はその事象が全く起こらないということではなく、頻度が極めて小さいということ）
１０． そういう事象で、”n1<=D の場合の確率0”にも関わらず、確率99/100とか、おかしいよ（＾＾；
*)注）
時枝記事内にも、有限の定数Dはあるよ
つづく
62:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 11:38:31.51 dWKXmW0r.net
>>56
つづき
スレ47 ｽﾚﾘﾝｸ(math板:19番)
(抜粋)
何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(引用終り)
以上
63:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 11:49:08.44 dWKXmW0r.net
>>47
ID:fZULsj51さん、どうも。スレ主です。
＞なんせ直感的には筋悪な事やってるからな。
＞わかる範囲内では冪級数環を差が多項式になる同値類で割る。
＞多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
まあ、そういう視点もあるかも
（>>51より）
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 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番目から先一致する.
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/～の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
（>>52）
問題に戻り，閉じた箱を100列に並べる.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， 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)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終り)
上記が、原文です。この時枝記事の可算無限数列のシッポの同値類自身が筋悪で
”めでたく確率99/100で勝てる”とは言えないということを
多項式環と冪級数環のモデルを使って論じたわけです（＾＾；
64:１３２人目の素数さん
20/01/05 11:58:07.70 p9Somwtl.net
>同値類から取り出した有限個の列からは共通の尻尾がとれるが
>無限個の列からは共通の尻尾が取り出せない場合がある！
同値類に属す全ての列からは確実に取り出せない
すなわちトンデモが言う共通のしっぽなど存在しない。同値類が分かってないトンデモの妄想に過ぎないｗ
65:１３２人目の素数さん
20/01/05 12:04:43.30 CpJpHnug.net
>>59
どういう場合に取り出せないか、は以下に示してます
ｽﾚﾘﾝｸ(math板:280番)
要するに
0
0.1
0.11
0.111
…
の無限個の要素からは共通の尻尾はとれない
66:１３２人目の素数さん
20/01/05 12:06:55.31 CpJpHnug.net
>>58
誤 多項式環と冪級数環のモデル
正 有限列と無限列
馬鹿は無意味に無駄なことを付け加えたがる
頭の悪い証拠
67:１３２人目の素数さん
20/01/05 12:08:45.27 p9Somwtl.net
>>29
>４．このように考えると
> 決定番号dの大小比較は、2つの形式的冪級数（代表の級数と問題の級数と）の差の対抗式pの次数n0に直して考えることができ
> 非常に考え役成るのです
ナンセンスｗ
>５．私は、一つの同値類には、固有のシッポが存在すると考えています。同値類内の形式的冪級数たちは、その固有のシッポを共有する
妄想ｗ
> 証明はしません。時枝では得に使いませんから。証明など、横道にそれるだけ
しないんじゃなくできないｗ 存在しないからｗ
68:１３２人目の素数さん
20/01/05 12:11:23.67 p9Somwtl.net
形式的冪級数を持ち出すことで新しいことが言えるなら意味がある
バカのは無意味ｗ
69:１３２人目の素数さん
20/01/05 12:11:36.11 n1YRC2Dd.net
あと、これも過去ログから。
「時枝記事」と同じ"パズル"を扱っている。
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
70:１３２人目の素数さん
20/01/05 12:14:30.55 CpJpHnug.net
>>55
>この問題はPeter Winkler氏との茶のみ話がてら耳にした.
>氏は原型をルーマニアあたりから仕入れたらしい.
実際は、ルーマニアではなく
Sergiu Hart（ルーマニア�
71:ｶまれのユダヤ人） から聞いたと思われる で、Sergiu Hartは、Benjamin Weiss（アメリカ生まれのユダヤ人）から この話を聞いた、と書いている http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
72:１３２人目の素数さん
20/01/05 12:18:00.97 p9Somwtl.net
>>35
バカ丸出しｗ
おまえは自分の言いたいことだけ言うんじゃなく人の話を聞け
聞くことができないから長年バカのままなんだと自覚しろ
73:１３２人目の素数さん
20/01/05 12:25:47.39 p9Somwtl.net
>>41
バカ丸出し
πの同値類に”共通のしっぽ”があるなら小数第何位からが”共通のしっぽ”なのか答えてね
無理だけどｗ
74:１３２人目の素数さん
20/01/05 12:26:47.33 p9Somwtl.net
>>42
バカ丸出し
おまえが証明を理解できないだけｗ
75:１３２人目の素数さん
20/01/05 12:28:04.70 p9Somwtl.net
>>43
バカ丸出し
>直感で、99/100？？ あぶないですよ～！ｗｗ（＾＾；
直感はおまえｗ 時枝証明は直観ではないｗ
76:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 12:29:40.86 dWKXmW0r.net
>>56 補足
(引用開始)
８．そういうものに対して、n1とn2との大小の確率を考えるのは
パラドックスにおちいり易いということだ
９．例えば、n1とある有限の定数D（*)注） との大小関係を考えると
時枝には、ｎに上限がないので、
n1＞D の場合の確率1
n1<=D の場合の確率0
となる
（勿論、確率0はその事象が全く起こらないということではなく、頻度が極めて小さいということ）
１０． そういう事象で、”n1<=D の場合の確率0”にも関わらず、確率99/100とか、おかしいよ（＾＾；
*)注）
時枝記事内にも、有限の定数Dはあるよ
(引用終り)
簡単に言えば、条件付確率なのです、時枝記事は
１．条件１ n1<=D （有限）の場合で
２．条件２ D ＝max (n2,n3,・・,n100)として
・n1<=Dの確率99/100
・n1＞Dの確率 1/100
３．そういうことを、
時枝記事では言っているわけです
本当は、条件付確率なのです
４．D ＝max (n2,n3,・・,n100)という式で、
”n1<=D （有限）”という条件を、
条件付確率だということを
誤魔化して見えなくしているのです
時枝記事は、そういう構図ですね（＾＾；
77:１３２人目の素数さん
20/01/05 12:29:42.25 p9Somwtl.net
>>44
>笑えるわ
笑って誤魔化すトンデモ野郎ｗ 結局答えられないじゃんｗ あるんでしょ？共通のしっぽがｗ
78:１３２人目の素数さん
20/01/05 12:33:57 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
79:１３２人目の素数さん
20/01/05 12:34:24 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
80:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 12:38:16 dWKXmW0r.net
>>47
＞筋悪だから生産的議論が出てこないとまでは言えないけど。
＞図書館行くまでの価値は無さそう。
生産的議論は出てない
しかし、高名な時枝正先生がなにを書いたか
大学の図書館とか、数学系の雑誌が整備されているところ行く機会があったら
ちょっと目を通しておくのも意味があると思うよ
81:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 12:43:50 dWKXmW0r.net
>>28 追記
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」
(抜粋)
ここまでの話を要約すると、IUTeichの論文を巡っては、本来の数学雑誌による査読・審査のあるべき姿、つまり、学問の健全な発展を最優先に、細かい数学的な内容について査読報告書とそれに対する著者
82:からの返答のやりとりを通して論文の数学的内容の検証を進めるという状態から著しく乖離した奇妙で非建設的な「ブラックホール状態」が長年にわたって続いているということです。 では、この異常な状態を解消し、論文の査読・審査を、 技術的な数学的な内容のやりとりを 主体とする 本来の姿に戻すにはどうしたらよいのでしょうか。まず、どの数学論文にも言えることですが、その論文の内容を本格的に技術的に理解し、査読・審査に関わる技術的な資格のある研究者は世界的に見てもかなり限られていて、論文のテーマによっては世界的に見ても数人程しか存在しないといったような場合もそれほど珍しくありません。 幸か不幸かは別として、これが現代数学の実態です。論文の内容をきちんと理解する技術的な資格のない研究者に査読を依頼しても、意味のある内容の査読が行なわれないことになるだけです。 (引用終り) まあ、今年の４回のワークショップで決着させてほしいですね 関係者も、決着に向けて、努力すべき
83:１３２人目の素数さん
20/01/05 12:44:29.76 p9Somwtl.net
トンデモは同値類、選択公理、さらには自然数、さらには有限と無限の違いを理解していない
時枝記事を読む最低レベルに遥か達していない
それだけのこと
84:１３２人目の素数さん
20/01/05 12:49:58.12 p9Somwtl.net
>>47
＞筋悪だから生産的議論が出てこないとまでは言えないけど。
＞図書館行くまでの価値は無さそう。
時枝定理は数学パズルだよ。
それ自体パズル的な面白さはある、が、理論に発展するものではない。
悪筋というのはトンデモが勝手に持ち出した形式的冪級数であって、時枝定理とは何ら関係無いｗ
85:１３２人目の素数さん
20/01/05 12:53:40.59 fZULsj51.net
>>74
そのうち機会があったらみてみます。
5chの過去ログ倉庫にはあるみたいだけど今手元の5chのブラウザだとプレミア会員になれやゴラで止まってしまうから読めない。
生産的議論が続かないならそのうち機会があればあればでいいや。
86:１３２人目の素数さん
20/01/05 12:58:10 p9Somwtl.net
>>78
レス番号50～55が時枝記事ですよ
87:１３２人目の素数さん
20/01/05 13:04:28 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
88:１３２人目の素数さん
20/01/05 13:04:53 RQUf3z2L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
89:１３２人目の素数さん
20/01/05 13:16:47.26 fZULsj51.net
上の方のレスで記事の内容は全部分かった。
なるほど面白いねぇ！
考えてみよ。
90:１３２人目の素数さん
20/01/05 13:21:55.06 fZULsj51.net
でもコレそもそも論として
いくらでも1に近い確率で当てる方法があるよ
ではなくて
この話のどこがおかしいのか考えてみましょう
じゃないの？
91:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:27:04.53 dWKXmW0r.net
>>42 補足
>そもそも
>時枝記事自体は、定理として認められていない（＾＾；
正規のレフェリーの居る数学雑誌には、掲載されたもの皆無
おそらく、時枝記事（数学セミナー）を引用する論文も皆無
生産的議論は出てない
それが事実
92:１３２人目の素数さん
20/01/05 13:31:47.51 WDR2q7oi.net
>>83
時枝記事の「実数列」を一様連続関数などに置き換えて考えてみるような価値はある。
93:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:34:49.80 dWKXmW0r.net
>>83
ID:fZULsj51さん、どうも。スレ主です。
(引用開始)
でもコレそもそも論として
いくらでも1に近い確率で当てる方法があるよ
ではなくて
この話のどこがおかしいのか考えてみましょう
じゃないの？
(引用終り)
同意です
>>64より
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
これは、時枝記事と同じ内容を扱っています
で、URLにpuzzleとあるように、遊び心満載のまっとうな数学ではないのです
ところが、時枝先生は、なにを勘違いしたのか
記事を、数学セミナーでどちらかと言えば
まっとうな数学というニュアンスを強く書いてしまった
当時
94:、これをまっとうな数学と勘違いした人が多数出たのです で、私の主張は、そもそも、可算無限それぞれの箱の数が 確率変数として、独立なら、問題の箱以外の数から 問題の箱の数が当てられる、確率論の理屈なしだと それは、大学4年くらいの確率論・確率過程論を学べばすぐ分かることですが
95:１３２人目の素数さん
20/01/05 13:36:27.90 p9Somwtl.net
>>84
時枝定理は学部生でも理解できる
そんな大げさな話ではない
間違いだと思うなら証明の間違いを具体的に指摘すればいいだけ
おまえできてないじゃん
96:１３２人目の素数さん
20/01/05 13:37:56.90 p9Somwtl.net
>>85
またまた適当なことをｗ
困ったおやじだｗ
97:１３２人目の素数さん
20/01/05 13:40:22.38 p9Somwtl.net
>>86
>で、URLにpuzzleとあるように、遊び心満載のまっとうな数学ではないのです
数学パズルを全否定するバカｗ
まっとうじゃないと言うなら証明の誤りを具体的に指摘して下さいね おバカさんｗ
98:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:42:58.01 dWKXmW0r.net
>>85
>時枝記事の「実数列」を一様連続関数などに置き換えて考えてみるような価値はある。
同意です
シッポの同値類に近い概念が使われている例として、調べたのが
下記の 連続関数の層とか、正則関数のなす層とか
”点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる。 同様に、複素多様体に対しその上の正則関数のなす層を考えることができる。”（下記より）
ある点x の局所の振る舞いを決めているのが、層の芽でシッポの部分みたいな話だと
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
層 (数学)
(抜粋)
例
連続関数の層
Xを位相空間とする。X の開集合 U に対して、その上の複素数値連続関数のなす空間を C(U) とかくことにする。開集合の包含関係 V ⊆ U に対して関数の定義域の制限 C(U) → C(V) を考えることでX 上の層が得られる。点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる。 同様に、複素多様体に対しその上の正則関数のなす層を考えることができる。
定数層
Mを集合とするとき、離散位相を考えてMを位相空間とみなせる。このとき、直積空間X × MからXへの第一成分への射影写像は局所同相写像になっていて、X上のエタールバンドルを与えている。これに対応する層はMが定めるX上の定数層と呼ばれる。
99:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 13:43:59.45 dWKXmW0r.net
>>90
関数論としては、使えても
確率論の確率計算としては、使えないｗ（＾＾
100:１３２人目の素数さん
20/01/05 13:45:17.80 WDR2q7oi.net
>>88
時枝記事では実数列バージョンだったところを他のバージョンで置き換えて
考えながら読んでみるようなことも読み方の1つ。
101:１３２人目の素数さん
20/01/05 13:46:59.09 fZULsj51.net
まぁどこに罠があるかは分かった。
なるほどねぇ。
確率論の演習としては中々面白いねぇ。
ちょっとしたミニトラップもあるしね。
102:１３２人目の素数さん
20/01/05 15:39:23.17 w1hpLDIe.net
,. ' ´ ｀ヽ ｀丶､
,. '´ : 丶.
／ : ＼
／ :. ヽ
/ ::. ',
,' :i!: ',
,' :i i
.! ﾊ . i
i ; i. . |
| ,' | ',.. ' ´ |
,.! ｀ ､: i! | !
,f´| ; '__..ﾉ. i
{ /! /｀¨´ ,i i
/ ; / __.... ,／ ', i
./ ! /-‐‐ '' ´＼ ', |
.! , ' ＼ ', |
! , ' ヽ.', |
.! / ﾍ |
| , ' ', !
| , ' ', !
! / ', i
103:１３２人目の素数さん
20/01/05 15:41:16.05 w1hpLDIe.net
＿_,,,,、 .,、
／'ﾞ´,_/'″ . ｀＼
: ./ i./ ,,..、 ヽ
. / /． ｌ, ,! ｀,
.| .,..‐.､│ .|
（´゛ ,/ llヽ |
ヽ -./ .， lliヽ .|
/'",i" ﾞ;、 ｌ'ｉi,''く .ヽ
/ ...│ ﾞl, ｌﾞﾞt, ''ii_ :.!
: /.._ / ヽ ＼＼.｀ﾞ~''''''"./
.|-ﾞノ/ : ゝ .､ ` .｀''←┬゛
lﾞ /.ｒ ゛ .ﾞﾋ, .ヽ, ￣ﾞ|
. | ./ ｌ ”'､ .ﾞゝ........ん
l / ヽ .`' ｀､、 .,i゛
.l| ! ''''v, ﾞ''ｰ ．l、
|lﾞ .il、 .l .ヽ .¬---イ
.llﾞ, ./ ! ,!
.!!...!! ,,ﾞ''''ｰ .|
l.",! .ﾘ |
l":| .～''' ,. │
l; :! .|'" ...ノ,ﾞ./ │
l: l｢ ! .￣ﾞﾞ / !
.| .| ! ,i│ |
:! .l. ｝ ,i'./ |
:! .| :| . / .|
:! | ;! " .|
:! ! │ │
:!:| ,! i ,!
:! ， .ｌ, / .lﾞ !
104:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 15:55:56.70 dWKXmW0r.net
>>87
>間違いだと思うなら証明の間違いを具体的に指摘すればいいだけ
１．確率計算をするのに、確率空間を定義せずに、99/100を導いているところが、誤魔化しだ
２．それは、スレ20で、私が確率論の専門家さんと呼ぶ ID:f9oaWn8Aが指摘していたことだが（下記）
３．時枝氏自身も、>>53のように「結果R^N →R^N/～ の切断は非可測になる.」と書いている
もし、確率空間をきちんと書けば、確率計算の過程のどこが”非可測”が明確になる
しかし、それを誤魔化している
４．補足で、テンプレ>>3ご参照。 当時、High level people と呼ぶ人たちが
”「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した”
確率変数の定義も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
以上
（ご参考 テンプレ>>6 （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ））
スレ20 ｽﾚﾘﾝｸ(math板:528529番)
528 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13]
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,F,P)を設定しよう
Y,Zはそれぞれ(Ω,F)から(R,B(R))の可測関数である．
もしhが(R,B(R))から(N,2^N)への可測関数ならば
h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど
hが(R,B(R))から(N,2^N)への可測関数とは正直思えない
529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:04:46.18 ID:f9oaWn8A [9/13]
>>528
自己レス
(R,B(R))ではなくすべて(R^N,B(R^N))だな
(引用終り)
105:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 16:00:55.20 dWKXmW0r.net
>>92-93
同意です
>まぁどこに罠があるかは分かった。
>なるほどねぇ。
レベル高いね
お分かり頂ければ、幸甚です（＾＾；
106:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 16:02:11.48 dWKXmW0r.net
>>96 リンク訂正
スレ20 ｽﾚﾘﾝｸ(math板:528529番)
↓
スレ20 ｽﾚﾘﾝｸ(math板:528番)-529
107:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 16:29:15.59 dWKXmW0r.net
>>75
＞まあ、今年の４回のワークショップで決着させてほしいですね
＞関係者も、決着に向けて、努力すべき
４回のワークショップのどこかで
SSの3.12の議論について
皆で検討して、その討議記録と結論を公開してほしいね
うまく決着させてほしい
IUTで、ABC
108:とか、Szpiro Conjectureとか出るのか出ないのか？ いい加減決着させないと 別の方法で、取り組んでいる（取り組もうとしている）人達にとっても、 「早く、すっきりさせろよ、おい」って感じでしょうね 決着と言っても、 皆が納得する、納得できる、決着であるべきですけどね（＾＾； （過去スレより ご参考） http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf [4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF NEW !! (2019-10-31) P3 Theorem A. (Diophantine Inequalities) Then, relative to the notation of [GenEll] [reviewed in the discussion preceding Corollary 2.2 of the present paper], one has an inequality of “bounded discrepancy classes” Thus, Theorem A asserts an inequality concerning the canonical height [i.e., “htωX(D)”], the logarithmic different [i.e., “log-diffX”], and the logarithmic conductor [i.e., “log-condD”] of points of the curve UX valued in number fields whose extension degree over Q is <= d . In particular, the so-called Vojta Conjecture for hyperbolic curves, the ABC Conjecture, and the Szpiro Conjecture for elliptic curves all follow as special cases of Theorem A. We refer to [Vjt] for a detailed exposition of these conjecture
109:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 16:41:12 dWKXmW0r.net
>>90
追加ご参考
（芽・茎と、同値類）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
芽 (数学)
(抜粋)
名前は層 (sheaf) のメタファーの続きで cereal germ に由来している。穀物にとってそうであるように芽は（局所的に）関数の「心臓 (heart)」であるからだ。
正式な定義
基本的な定義
x で同じ芽を定義することが（写像や集合の上で）同値関係であることを確かめることは直截であり、その同値類を芽（それぞれ写像の芽あるいは集合の芽）と呼ぶ。同値関係は通常
f～ x gあるいは S～x T
と書かれる。
基本的な性質
f と g が x において同値な芽であれば、それらは連続性や微分可能性といったすべての局所てな性質を共有し、したがって可微分あるいは解析的芽などについて話すことは意味をなす： 部分集合に対しても同様である。芽の1つの代表が解析的集合であれば、すべての代表は少なくとも x のある近傍上で解析的である。
同値類は前層 F の x における茎（英語版） Fxをなす。この同値関係は上で記述された芽同値の抽象化である。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
茎 (数学)
(抜粋)
直極限の定義（あるいは普遍性）により，茎の元は元 x_{U}∈ {F}(U)の同値類である，ただし2つのそのような切断 xU と xV は2つの切断の制限が x のある近傍上で一致するときに同値であると考える．
注意
x を含む任意の開集合 U に対して自然な射 F(U) → Fx が存在する：それは F(U) における切断 s をその芽 (germ),
110: すなわち直極限におけるその同値類に送る．これは芽の通常の概念の一般化であり，X 上の連続関数の層の茎を見ることで復元できる．
111:１３２人目の素数さん
20/01/05 16:41:45 WDR2q7oi.net
それじゃ、おっちゃんもう寝る。
112:１３２人目の素数さん
20/01/05 16:53:37.85 WDR2q7oi.net
>>90
>>100
そうそう、確率の話だから最初はｎ次元 Euclid とかで実解析的に考えるモンだ。
いきなり複素平面Cやn次元複素数空間 C^n とかで考えても意味ない。
それじゃ、おっちゃんもう寝る。
113:１３２人目の素数さん
20/01/05 16:59:55.94 WDR2q7oi.net
>>90
>>100
>102の訂正：
ｎ次元 Euclid → ｎ次元 Euclid 空間 R^n
じゃ、寝る。
114:１３２人目の素数さん
20/01/05 17:11:41.35 fZULsj51.net
まず確率の問題なのだから測度空間を設定しなければならないのはその通り。
ではこの問題が測度空間が設定し得ない確率の問題として捉え得ないのかというとそうではない。
まず各箱に入れる実数の分布は問題に明示されてない。
しかしされてない事がこの問題のKeyと言ってしまいそうなのが罠。
もしこの問題のおかしいところを自宅課題として出して出てきたレポートにそう書いてあったら、担当講師は
「じゃあ、この問題に各実数の分布が(0,1)の一様分布とか確率1/2で0,1のベルヌーイ分布って指示されてたらこの議論は成立する事になるのか？確率99%で当てられるのか？」
と聞いてくる。
もちろんそんな事はない。
なのでこの問題で具体的な分布が指定されてない事は目眩しの罠でしかない。
ホントに指摘すべきことは有限個の事象では成立しているある公式が事象の数が無限個になると使える場合と使えない場合があると言うお話。
ちゃんと確率論の勉強した事ある人間ならあーあーあの話ね、なるほどと絶対わかるお話。
確率論の講義なら第一講の課題レポートで出されても不思議のないお話。
115:１３２人目の素数さん
20/01/05 17:40:16.63 p9Somwtl.net
>>96
>１．確率計算をするのに、確率空間を定義せずに、99/100を導いているところが、誤魔化しだ
決定番号は自然数だから、100列の決定番号のうち単独最大のものはたかだか1つ。
100列のいずれかをランダムに選んだとき、単独最大の決定番号の列でなければ数当て成功、ゆえに勝率は99/100以上。
たったこれだけのことが未だに分からないバカｗ
確率空間など書く必要も無いが、敢えて書けば (Ω={1,2,...,100}, F=2^Ω, P(f∈F)=|f|/100)
116:１３２人目の素数さん
20/01/05 17:56:14.05 p9Somwtl.net
>>104
出題者が無限個の箱の中身を決定し、回答者が任意の一つの箱の中身を言い当てるゲーム
回答者へ出題された時点でどの箱の中身も確率１で定まっている（単に回答者には見えないだけ）。
回答者へ出題された後に箱の中身が確率変動することはないので、箱の中身を確率変数とする必要は無い。
（してもよいが「勝つ戦略はあるか？」という問いに対して無意味な戦略）
117:１３２人目の素数さん
20/01/05 18:02:53.95 p9Somwtl.net
>>105補足
たったこれだけと言っても、同値類、選択公理が分からなければ分からないｗ
さらにバカは数列も自然数も有限と無限の違いも分かってないので問題外ｗ
118:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/05 20:27:49 dWKXmW0r.net
>>104
どうも。スレ主です。
レスありがとう
>なのでこの問題で具体的な分布が指定されてない事は目眩しの罠でしかない。
>ホントに指摘すべきことは有限個の事象では成立しているある公式が事象の数が無限個になると使える場合と使えない場合があると言うお話。
>ちゃんと確率論の勉強した事ある人間ならあーあーあの話ね、なるほどと絶対わかるお話。
貴方はレベル高そう
多分私よりも
”あーあーあの話”というのは、一様分布の区間が、有限と無限とで異なるって話かな？
非正則な分布の話は、過去スレにもあるが
（ご参考）
ｽﾚﾘﾝｸ(math板:130番)?v=pc
現代数学の系譜 工学物理雑談 古典ガロア理論も読む72
130現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/07/07(日) ID:cP22N0qP
(抜粋)
決定番号が、一様分布だとして、自然数で上限なく∞まで考えるとする
そうすると、下記の∞まで考えた一様分布で、これは下記のように
非正則分布で、確率分布で
119:はない 積分値が無限大に発散し、全事象の確率は1であるというコルモゴロフの確率の公理に反します （なお、さらに、決定番号は、本当は一様分布ではなく、さらに性質の悪い分布なのです。 ですから、もともとの設定が、通常の確率の扱いが出来ないのです。） https://to-kei.net/bayes/improper_prior/ 株式会社AVILEN 非正則事前分布とは？完全なる無情報事前分布 2017/10/06 (抜粋) 非正則な分布の密度関数のグラフは下図です。 https://to-kei.net/wp-content/uploads/2017/10/c659e62cd0c347c3fcd07049665a8708-300x188.png 非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。 非正則な分布ですが、よく見てみてください。確率の和が1ではありませんよね。 積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。 よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。 https://to-kei.net/bayes/noninformative_prior/ 株式会社AVILEN 無情報事前分布とは？一様分布を詳しく解説 2017/11/17
120:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/05 20:44:39.88 dWKXmW0r.net
>>104
貴方のために、下記のDr Pruss氏 を
ｽﾚﾘﾝｸ(math板:68番)
ガロアスレ 74
68 ◆e.a0E5TtKE 2019/08/03
>>65
＞Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
スレ73 ｽﾚﾘﾝｸ(math板:479番)-
(引用開始)
479 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/07/23(火)
>>474 補足
あと、下記が参考になる
（なぜ、mathoverflow>>465 の手法が成立たないのか？ ”CONGLOMERABILITY”が成立ってないというのが、数学DR Alexander Pruss氏の指摘（2013）で、それを2018年の著書で詳しく解説している）
スレ65 ｽﾚﾘﾝｸ(math板:750番)-754
URLﾘﾝｸ(books.google.co.jp)
Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018
P75
(抜粋)
2.5.3 COUNTABLE ADDITITVITY AND CONGLOMERABILITY
(引用終り)
（mathoverflowの”conglomerability”関連箇所）
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Dec 9 '13
(抜粋)
（Alexander Pruss氏）
＜12＞
(抜粋)
The probabilistic reasoning depends on a conglomerability assumption・・
But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i, and we have no reason to think that the conglomerability assumption is appropriate.
A quick way to see that the conglomerability assumption is going to be dubious is to consider the analogy of the Brown-Freiling argument against the Continuum Hypothesis (see here for a discussion).
URLﾘﾝｸ(www.mdpi.com)