20/02/09 19:29:16 XY5HcLEF.net
>>4
つづき
7)時枝解法関連で例の問題提出をした方：不成立の観点から、（下記）の問題提出をした方。この人は、ちょっとレベルが高そう（＾＾
スレ64 ｽﾚﾘﾝｸ(math板:211番)
8) C++さん、トリップ“◆QZaw55cn4c”の人。コンピュータサイエンス系の人です。基本ROMですが、ときどき、良い意見を書いてくれます。
9) てへぺろ☆(・ω<)さん 70 ｽﾚﾘﾝｸ(math板:842番)
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
10) 元祖「ぷふ」さん（時枝不成立派であり、“ぷ”と一言回答に特徴がある。最近来ていないが）
45 ｽﾚﾘﾝｸ(math板:835番)
>どこらへんがむしろなんだよｗ
>おまえはいつも なんとなく で数学を語る。
>頭悪いのに分かった風に語るタイプ。
>スレ主と同類。
分からないんですね？
ホントに確率事象についての認識ができてませんよ
>『確立事象』と『確率自称』とか、どう気をつければそんな間違いを起こせるのかもよくわからん。
>確率事象を分かってないのはオマエだろ！と突っ込みたくなる気持ちを分かれｗ
ぷ
つづく
6:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:30:21 XY5HcLEF.net
>>5
つづき
11）ジムの数学徒さん（下記）（常連ではないが、数学科出身で修士以上。時枝記事不成立を、即座に見抜く）
スレ80 ｽﾚﾘﾝｸ(math板:694番)
>>271 ID:QNR5W2Z7 氏、名前がないと不便なので、「ジムの数学徒」と名付ける
（数学科出身で修士以上。時枝記事不成立を、即座に見抜く）
12)Qちゃん：Ｑ ◆jPpg5.obl6 さん
13) Ω星人の数学者さん、たまに現れます（＾＾
14)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
スレ68 ｽﾚﾘﾝｸ(math板:18番)
「数学雑談&ガロア理論 ～おっちゃんとボクと、時々、（時枝 ＆ ￥さん）～」かな（＾＾
まあ、常連さんは、全員数学の非専門家でしょう（プロ（職業）ではない人）
∵数学のプロが、こんなところに“粘着”するわけがない（＾＾
常連カキコさんは、こんなところだ
まあ、解説が漏れていたら、ご容赦
以上、このスレのROMさんたちのための、常連カキコさんとおっちゃん（別格）の解説でした（＾＾；
7:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:30:40 XY5HcLEF.net
＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事�
8:ﾌ墓」と名付けます。 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 ご参照 ） 82 https://rio2016.5ch.net/test/read.cgi/math/1580394314/ 81 https://rio2016.5ch.net/test/read.cgi/math/1579314726/ 80 https://rio2016.5ch.net/test/read.cgi/math/1578091012/ 31&271 ジムの数学徒さん（>>6）来訪、反論できず>>310キチガイサイコパス（別名ピエロ >>1) おサル(>>2) の墓となる 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- てへぺろ☆(・ω<)さん来訪 つづく
9:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:31:05 XY5HcLEF.net
>>7
つづき
69 ｽﾚﾘﾝｸ(math板)
68 ｽﾚﾘﾝｸ(math板) 前スレ
64 ｽﾚﾘﾝｸ(math板) （868- 時枝記事否定派のAlexander Pruss先生が、意外に大物で数学のプロであること判明。勝負あり～！（＾＾
62 ｽﾚﾘﾝｸ(math板) 31時枝記事への敗北宣言か勝利宣言か？
58 ｽﾚﾘﾝｸ(math板) 506-653 「狂犬」「イヌコロ」「君子豹変」論争の開始～修了（要約 639）、「実際に人を真っ二つに斬れたら 爽快極まりないだろう」は、351,385
つづく
10:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:31:29 XY5HcLEF.net
>>8
つづき
47 ｽﾚﾘﾝｸ(math板) 時枝記事関連資料豊富
46 ｽﾚﾘﾝｸ(math板) ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 ｽﾚﾘﾝｸ(math板) 哀れな素人さん 79-92、元祖「ぷふ」さん835
43 ｽﾚﾘﾝｸ(math板) （だれかが立ててスレ。（但し、53 以降をIUTスレを荒らすおサルをたしなめるスレとして廃屋利用をしています））
（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
をご参照ください
以上
11:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:31:50 XY5HcLEF.net
（参考）
URLﾘﾝｸ(mathmathmath.dotera.net)
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
追加（良く使うが出しにくい記号）
＼ ≦≧⇒⇔∈∋⊂⊃⊆⊇∀∃ （アレフ＝これ文字化けするね。あと二重矢印の←も文字化け）?σΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x ∇（← "∂"は「きごう」で変換可．） 積分∫
（wikipedia などの ハイフン or マイナス記号－や、特殊不等号>=、=<、 アレフなども、結構文字化けするので要注意）
専用ブラウザの投稿前ビューで、文字化けが分かるのですが、ついついそのまま投稿していることが多い。（＾＾；
12:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:32:20 XY5HcLEF.net
さて
大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）
以下過去スレより再掲
ｽﾚﾘﾝｸ(math板:7番)
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
いわずもがなだが
コピペすると、この板の特性で、特殊文字が文字化け（だいたい”？”に化ける）とか
なので、興味があるひとは、必ずリンク先を訪問して確認するように (抜粋が多いし)
13:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:32:50 XY5HcLEF.net
補足
伝統的に（2CH時代から）、5CHでは
URLリンクのみの1行張付けが多いが
だが、それではURLの先へ飛ぶ価値があるかどうかの判断が付かないし
なので、題目と著者と発行日と、それに若干の内容（次の検索用キーワードと次の議論のための）を、コピペしている
で、コピペ内容は、よく文字化けする。あと、数式が崩れるが、ご容赦
（wikipediaの数式は独特で手直ししないと、単純コピペでは読めないが、最近手直しが面倒なのでそのままが多い（＾＾； ）
あと、自分の検索（プル）のためには、キーワードが必要なので、それをこのスレで”プッシュ”するという意味もあるんだ
URLの先の抜粋のコピペは、それ（上記）以外に、リンクが切れたとき（時間が経つとしばしば起きる）のためのコピペでもあるんだ
URLﾘﾝｸ(webtan.impress.co.jp)
コンテンツマーケティングをプル戦術、プッシュ戦術、シェア戦術で考える（SEOか？ ソーシャルか？ の議論に代えて）
「SEOか？ ソーシャルか？」だけでなく、その他の手法も考えて区分しなおすと、集客の本質が見えてきます。
株式会社ブレインネット 2015/3/19 10:21 SEO | 解説／ノウハウ
14:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:33:17 XY5HcLEF.net
スレ56より （なお、「イメージ」～「ビジョン」～「哲学」かも（＾＾ ）
ｽﾚﾘﾝｸ(math板:178番)-
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
（しばしば、厳密性な証明は後から与えられることも多くあった）
つづく
15:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:33:46 XY5HcLEF.net
つづき
＜渕野語録＞
(引用開始)
スレ24 ｽﾚﾘﾝｸ(math板:654番)-
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.)<)
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
16:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:34:09 XY5HcLEF.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ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)
17:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:34:31 XY5HcLEF.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ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
18:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:34:49 XY5HcLEF.net
補足
ｽﾚﾘﾝｸ(math板:352番)
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
19:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:35:07 XY5HcLEF.net
＜関連スレ＞
現代数学の系譜 カントル 超限集合論2
ｽﾚﾘﾝｸ(math板)
なお、キチガイサイコパス（別名ピエロ >>1)のおサル(>>2 )は、
後者関数の極限、つまり、ノイマン構成で、極限順序数が得られ、ノイマン宇宙が構成された後の 後者関数の極限が、理解出来なかったのです
（下記ご参照）
超限集合論2 ｽﾚﾘﾝｸ(math板:250番)-258
20:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:36:31 XY5HcLEF.net
＜なお、時枝は終わりました。過去スレリンク >>7-9 のリンク ご参照＞
いま、時枝成立をいうのは、おサル二匹のみ。もう一人、High Level Personの片割れが、非可測の確率論の可能性を言います。単なる可能性であって、数学になっていません
（参考）
スレ78 ｽﾚﾘﾝｸ(math板:914番)
914 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/11/12(火) 07:19:21.12 ID:bgnQJNQo [2/4]
(抜粋)
>>847
>時枝不成立を名言した大学教員
> 該当者無し
まず添削
名言
↓
明言
な（＾＾
で、数学では、査読のある専門誌に載った定理のみが、成立するとして信頼して良いってこと
査読雑誌に載らないのはだめだよ
（あと、古典で標準教科書に載る定理も可だ）
ペレルマンの三次元ポアンカレ予想解決は、arXivに投稿された（後述）が
これを、皆で勝手査読して正しいとして、フィールズ賞を出したんだ。ペレルマンは賞を受取らなかったが
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
グリゴリー・ペレルマン
(抜粋)
ペレルマンとポアンカレ予想
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日
時枝問題は、専門の査読論文は皆無！
お遊びホームページと査読のない数学セミナー誌のみ。いまだ、真っ当な数学にあらずです！！
つづく
21:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:37:20 XY5HcLEF.net
>>19
つづき
時枝は、数学セミナーの記事後半で、前段を否定している
１）計量ができないのに、99/100を導きました
２）確率変数の独立と、99/100とは矛盾しています
という
おサルは、前段のみを採用し、
後段は時枝の間違いか無関係とのたまう
なお、スレ80 ｽﾚﾘﾝｸ(math板:887番) より
おサル、統合失調症のクスリにお世話になっているのか？（>>778ご参照）
時枝先生まで、統合失調症で、その記事の前半と後半が、全く別もので、”記事後半はトンデモ”と解釈か
あなた、まともに時枝記事を論じられる精神状態じゃないね、はっきり言って悪いが
(引用終り)
なお、時枝記事について、進展があったので、引用しておく
スレ80 ｽﾚﾘﾝｸ(math板:841番)
841 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2020/01/16(木) 07:48:30.50 ID:12GEEnl3 [1/5]
１．時枝記事（>>37 >>50-）の数列は、当然固定されている
だが、それは現代数学の確率変数の射程内です
確率変数の「固定」などという、トンデモ概念とは無関係
２．「どんな実数を入れるかはまったく自由」なので、
なにか確率現象、コイントスとかサイコロとかを使っても良い
そのときに、確率99/100と異なる結果になれば、
時枝記事の解法との矛盾であり、反例になる
３．確率論で使われるiid(独立同分布)の確率変数Xi（可算無限族）を使えば
話は簡単で、各Xiは、コイントスなら確率1/2、サイコロなら確率1/6になり
この段階で、時枝記事の反例構成は終わっている
つづく
22:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:38:30 XY5HcLEF.net
>>20
つづき
４．では、なぜ如何にも当たるような確率99/100に見えるのか？
それを解明したのが、ジムの数学徒（>>694）さんの書いた証明>>271で
スレ80 ｽﾚﾘﾝｸ(math板:271番)
(引用開始)
結局確率変数d(x)などが満たしていなければならない条件とは
(1) P(d(x)>d(y),d(z))≦1/3。
2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
である。
この２つの条件が満たされない限り時枝の議論は成立しない。
ところがこの(2)の条件は確率論の公理の要請に反してしまう。
(引用終り)
ということ
５．これを、URLﾘﾝｸ(www.youtube.com) >>779
【高校数学】 数B－１０１ 確率分布と確率変数? 2016/03/09 とある男が授業をしてみた
に倣って解説してみると
d(x)（以下dxと略記する）の確率分布を考える
dx：1, 2, ・・・n ・・・
Ｐ：p1,p2,・・・pn・・・
となる。ここで、p1,p2,・・・pn・・・などは、
確率に直す前の場合の数です。確率は、総和Σpnで割る必要がある
ところが、Σpn→∞ となって発散してしまう
∵pnが減衰しないから。減衰しない無限和は発散します
これが、上記4項で、(2)の条件 確率に対して”=1”が成立たない分り易い説明です
以上
追記：ジムの数学徒（>>694）さんの補足説明
スレ81 ｽﾚﾘﾝｸ(math板:141番)-142
つづく
23:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:41:48 XY5HcLEF.net
>>21
つづき
（時枝記事の可算無限数列の数当て定理 不成立。不成立”のエレガントな”回答”（パズル謎解き）を求む）
なお、スレ82 ｽﾚﾘﾝｸ(math板:802番)-803
ジムの数学徒さん（>>6）に倣って、定式化しましょう
＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
命題１．
可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し *)
ある十分大きな自然数d'｜d＜d' なる数が存在し
sd'+1から後の箱（シッポ）を開けて
未開封の箱sd～sd'の中の値を、箱を開けずに的中できる
命題２．
命題１のd'+1→d'+1+m （mは1<=m で自然数）とすれば、
sd'+1+mから後の箱（シッポ）を開けて
未開封の箱sd～sd'+mの中の値を、箱を開けずに的中できる
なお、ここにdは、時枝記事の決定番号である
注*) sd+1で、d+1は下付き添え字で、d+1番目を表わす
証明は、>>778の時枝記事ご参照下さい （＾＾；
反例は、>>523 数学セミナー201511月号P37 時枝記事の
独立な確率変数の無限族
X1，X2，X3，… です
上記の＜数当て定理 ”もどき”＞を、簡単に言えば
ある数d'+1+mより後のシッポの箱の数の情報から
それより、先頭の未開封の箱sd～sd'+mの中の値を 的中できるというもの
ところが、iid(独立同分布)を仮定して、1つのサイコロの目の数を入れると
1つの的中確率1/6
n個の的中確率1/6^n
的中できる数n=100 なら、的中確率1/6^100≒0
この論法（時枝記事戦略 数当て定理 ”もどき”）のどこが、おかしいでしょうか？
不成立”のエレガントな”回答”（パズル謎解き）を求む
（時枝先生の証明 >>778の どこにギャップがあるのか）
なお、選択公理に附言しておく
上記では、ある可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し
1つのシッポの同値類と
それに付随する 1つの代表のみがあれば良い
だから、上記の定理 ”もどき”の範囲では、選択公理は必ずしも、必要とされない
選択公理は、お飾りで、いかにも バナッハタルスキー
24:のような パラドックスもどき が起きても不思議ではないという 空気を醸すための小道具ですね（＾＾ あるいは、目くらましで、選択公理に注意をそらすための小道具かもｗ
25:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:42:26 XY5HcLEF.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)
26:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/09 19:42:58 XY5HcLEF.net
>>23
つづき
関連（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
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾； ）
27:１３２人目の素数さん
20/02/09 23:57:58.50 IilMWF6D.net
確率論の専門家＝ジム＝◆e.a0E5TtKE
証拠
・０になる無限乗積を意味あるものと誤解する馬鹿っぷりｗｗｗ
馬鹿の上にウソツキなんて最低最悪
28:１３２人目の素数さん
20/02/10 00:56:46.78 dX3r24xT.net
>哀れだな
>
29:target="_blank" class="reply_link">>>802が、効いているんだろうね（＾＾； ↑ わろたｗ
30:１３２人目の素数さん
20/02/10 01:16:28.56 dX3r24xT.net
ま、屁理屈はどうでもいいんで取りあえず証明のギャップか反例を出してほしいですね
出せなければスレ閉鎖しましょう。約束は守りましょうね、幼稚園で教わったよね？
31:１３２人目の素数さん
20/02/10 06:18:45 7FZGXTCi.net
>>27
無理でしょうな 過去2回の自作自演（「確率論の専門家」＆「ジム」）も
結局The Riddleは否定できなかったし
数学板のトンデモ
奇数の完全数非存在の珍証明 高木
フェルマー予想の珍証明 日高
0.999…は1でない 安達
「箱入り無数目」は誤り ◆e.a0E5TtKE
一人だけトリップはカッコ悪いから、仮名でも苗字名乗れｗ
32:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:37:55.56 mRVZ7FnM.net
>>25-28
いつものおサルさん、前スレでのご活躍、ご苦労
思ったより早くスレが消化されてしまったな
いっとくけど、あんたら、いくら頑張っても、だめよ
時枝記事不成立は、数学的事実だからさ
ここで、あんたらがいくら議論しても
数学的事実は、覆らないよ
残念でした
そこが、ディベートとの違い
それが、分かっていないおサルが
二匹
33:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:40:50.47 mRVZ7FnM.net
笑えるわ
早く、大学の数学科教員に教えてもらえ
こんなスレじゃ、小学レベルのおサルに、大学レベルの数学を理解させることは、おれの手には余るんだｗｗ（＾＾；
おれの約束は、下記
要は、おサルに人間に戻るチャンスを与えようという”こころ”（意図）ですよ
つまり、大学教員から、何が正しいか（当然「私スレ主が正しい」）を教わるチャンスを掴めってことよ（＾＾
スレ55 ｽﾚﾘﾝｸ(math板:484番)
484 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/08(土) 22:50:48.10 ID:bIDCQoJi
>>481
はいはい
>スレ主が以下のものを出すようになったら敗北宣言
じゃ、もっと敗北宣言を、させて下さい
１）全国の数学科生に告ぐ ＊＊）
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）
２）どうぞ、このスレ主に敗北宣言を出させて下さい
私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
赤っ恥で結構です。
私は、このスレを閉じますよ。
（まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね）
３）それが出るまでは、私の勝利＊です（ 注＊：これ定義です（＾＾； ）
注＊＊）：どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です
（つまらん、低レベル（落ちこぼれレベル）の議論を、延々続けても仕方ないですからね）
それまでは、上記３）の定義の通り、私の勝ちです（＾＾
(引用終り)
34:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:44:10.01 mRVZ7FnM.net
>>25
＞確率論の専門家＝ジム＝◆e.a0E5TtKE
笑えるな、おサルのピエロ
妄想全開
統合失調症のクスリをしっかり飲めよ（>>2）
35:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 07:57:34.08 mRVZ7FnM.net
>>29
>それが、分かっていないおサルが
>二匹
二匹とは別の人が居たような
時枝さん、あの記事で３つくらい外している
1つは、確率変数の無限族の独立性
スレ20 ｽﾚﾘﾝｸ(math板:538番)
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
も1つは、非可測の話
時枝さん、ヴィタリの話をしているが
本当は、ジムの数学徒氏（>>6）が言った下記なんだ
スレ80 ｽﾚﾘﾝｸ(math板:271番)
よって結局確率変数d(x)などが満たしていなければならない条件とは
(1) P(d(x)>d(y),d(z))≦1/3。
(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
である。
この２つの条件が満たされない限り時枝の議論は成立しない。
ところがこの(2)の条件は確率論の公理の要請に反してしまう。
(引用終り)
さらに、時枝氏自身が、あの記事の前半の戦略が不成立であることを
しっかりと認識しないで、
そこをぼかして書いたこと
結語が、”ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.”（下記）だって
こんないい加減なことを書くから、迷える子羊ならぬ、迷えるおサルたちが出現したのです（＾＾；
スレ80 ｽﾚﾘﾝｸ(math板:54番)
数学セミナー201511月号P37 時枝記事より
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.
36:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 08:20:20.56 mRVZ7FnM.net
>>22 より再録
この論法（時枝記事戦略 数当て定理 ”もどき”）のどこが、おかしいでしょうか？
不成立”のエレガントな”回答”（パズル謎解き）を求む
（時枝先生の証明 の どこにギャップがあるのか）
スレ82 ｽﾚﾘﾝｸ(math板:778番)
時枝問題（数学セミナー201511月号の記事）
37:１３２人目の素数さん
20/02/10 08:58:06 dX3r24xT.net
>>29
>時枝記事不成立は、数学的事実だからさ
お薬忘れちゃダメですよ
38:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 10:48:27.90 V1TcM3E2.net
>>34
皆さん、どんな数学の勉強をしているかしらないが
定理→証明→終わり
ではないと思うんだよね、当然ながら
つまり、その定理のもつ意味とか考えない？
それで、下記、時枝さん
”閉じた箱の中の実数をピタリと言い当てる”
勝つ戦略はあるという
これだけ読んで、真に受ける人いないでしょ？
その直感を大切にしましょうね
あとの、”ぐだぐだ証明もどきに騙されないようにしましょうね”
ってことです
（>>20-21ご参照）
（参考）
スレ80 ｽﾚﾘﾝｸ(math板:50番)
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
39:１３２人目の素数さん
20/02/10 16:48:42 akjMn/jc.net
助けてください！
「４つの記号で１０を作ってください
使っていい記号は四則演算だけ。
＝を使用してもダメです。
３ ４ ４ ９ 」
＊＊高知能美女＊＊から出題された
お題が、(自称...？)「高知能者」の
誰も解けてません...！
「４×４-９+３=１０」
って答えたギフテッドが不正解でした...！
ＮＨＫのギフテッド特集番組から
アンケートが来て返信した方だそうです。。。
＊賢くて＊素敵＊な新星＊なのに。。。
ハズレの返しもすっごく
＊＊キラキラ＊＊してる方なんです♪
＊スター＊が解けないなんて。。。
ﾂﾗｽｷﾞﾙ...。＊゜。º(。⊃Д<)゜。＊
これってそんなに難問ですか？
変態少年Ｈより。
40:１３２人目の素数さん
20/02/10 16:53:00 akjMn/jc.net
数学素人なのに、こんな難題さらりと思いついちゃった(？)美魔女様(←出題者)は日本のマリリンかも知れません。。。
41:１３２人目の素数さん
20/02/10 16:56:03 akjMn/jc.net
ギフテッドより先に解ける方、いらっしゃいませんか？
ドクター！
このスレにドクターはいらっしゃいませんかー！？
ドクターコールでーす！
42:１３２人目の素数さん
20/02/10 16:56:41 akjMn/jc.net
たすけて！たすけてください！
お願いしますー！
43:１３２人目の素数さん
20/02/10 17:09:43.34 cxexSbfY.net
或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、x^n+y^n＝z^n が成り立つとする。
Euclid 平面 R^2 上の半径1の円周をCで表す。
仮定から、nは3以上の整数だから、仮定で成り立つとした等式 x^n+y^n＝z^n から、
3つの正整数 x、y、z の大小関係について、0＜x＜z、0＜y＜z が両方共に成り立つ。
仮定から x、y、z は何れも有理整数だから、x、y、z∈Z。また、有理数体Qは有理整数環Zの商体だから、Z⊂Q。
よって、z＞0 から、x/z、y/z∈Q。0＜x＜z だから、0＜x/z＜1。同様に、0＜y＜z だから、0＜y/z＜1。
平面 R^2 上で点 A(x/z,y/z) と原点 O(0,0) とを結ぶ線分と、x軸正方向とのなす角をθとする。
0＜x/z＜1、0＜y/z＜1 が両方共に成り立つから、0＜θ＜π/2 である。
平面 R^2 上の半径1の円周上には、a^2+b^2＝1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) が稠密に分布する。
逆に、a^2+b^2＝1、0≦|a|≦1、0≦|b|≦1 を何れも満たしているような有理点 (a,b) は、すべて平面 R^2 上の半径1の円周上に存在する。
44:１３２人目の素数さん
20/02/10 17:11:38.94 cxexSbfY.net
(>>40の続き)
このことに注意して、有理点 A(x/z,y/z) が存在する位置について場合分けをする。
Case1)：平面 R^2 上の半径1の円周上に有理点 A(x/z,y/z) は存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周上に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＝1 を満たすことになる。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
仮定において成り立つとした等式 x^n+y^n＝z^n から、(x/z)^n+(y/z)^n＝1。よって、cos^n(θ)＋sin^n(θ)＝1 となる。
しかし、仮定から n≧3 であり、0＜θ＜π/2 から 0＜cos(θ)＝x/z＜1、0＜sin(θ)＝y/z＜1 だから、
0＜cos^n(θ)＋sin^n(θ)＜1 から cos^n(θ)＋sin^n(θ)≠1 となって矛盾が生じる。
Case2)：平面 R^2 上の半径1の円周で囲まれた円の中に有理点 A(x/z,y/z) が存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周で囲まれた円の中に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＜1 を満たす。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
よって、0＜cos^2(θ)＋sin^2(θ)＜1 となる。しかし、これは cos^2(θ)＋sin^2(θ)＝1 に反し矛盾する。
Case3)：平面 R^2 上の半径1の円周で囲まれた円の外側に有理点 A(x/z,y/z) が存在するとき。
0＜x/z＜1、0＜y/z＜1 から、確かに平面 R^2 上の半径1の円周で囲まれた円の外側に有理点 A(x/z,y/z) は存在し、(x/z)^2+(y/z)^2＞1 を満たす。
θの定義と 0＜θ＜π/2、0＜x/z＜1 から、cos(θ)＝x/z。同様に、θの定義と 0＜θ＜π/2、0＜y/z＜1 から、sin(θ)＝y/z。
よって、cos^2(θ)＋sin^2(θ)＞1 となる。しかし、これは cos^2(θ)＋sin^2(θ)＝1 に反し矛盾する。
Case1)、Case2)、Case3)から、有理点 A(x/z,y/z) が存在し得る位置について、何れの場合においても矛盾が生じる。
背理法が適用出来るから、背理法を適用すれば、どんな3以上の整数nに対しても、x^n+y^n＝z^n を満たす3つの正整数x、y、zは存在しない。
45:１３２人目の素数さん
20/02/10 17:16:56.07 cxexSbfY.net
おっちゃんでした。
今回はとても単純に考えた。
以前抱いた妄想のような代物はウソではなかったかも知れない。
46:１３２人目の素数さん
20/02/10 17:18:38.40 cxexSbfY.net
それじゃ、おっちゃんもう寝る。
47:１３２人目の素数さん
20/02/10 17:32:26.84 akjMn/jc.net
>>43
お休みなさい。。。
48:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 17:33:16.47 V1TcM3E2.net
>>36
「分からない問題はここに書いてね458 」下記
ｽﾚﾘﾝｸ(math板)
へ、どうぞ
ここは、（スレタイより）「現代数学の系譜 雑談」ではあるのですが
（テンプレ>>1より）”基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳です”
そこで
「４つの記号で１０を作ってください
使っていい記号は四則演算だけ。
＝を使用してもダメです。
３ ４ ４ ９ 」
については
しかるべき規則を与えれば
あとは、コンピュータプログラム組めば良いだけなのでは？
現代数学の理論・理屈は不要で、
プログラムの問題に落とせる
C++さん（テンプレ>>5）の世界ですね（＾＾
49:１３２人目の素数さん
20/02/10 17:35:52.34 akjMn/jc.net
主様、ありがとうございます
板違い変態のくせにスレ違いのレスばかりしてごめんなさい。。。
行ってきますー！
ありがとう♪
50:１３２人目の素数さん
20/02/10 17:41:21.48 BqpIpsvT.net
>>36
問題の意味が曖昧だね。
数字の順番は変えてもいいの？
四則演算というけど"="使わないとすれば
3 4 4 9 の「間」は3つしかないよね。
だから4つ使うのは無理。
あるとすれば最初に"-"記号付けるしかないんでは？
「４×４-９+３=１０」
これを=を使わずに最初に"-"が来るようにすることはできるよね。
「-９+３+４×４」とかね。
51:１３２人目の素数さん
20/02/10 17:47:16.90 akjMn/jc.net
>>47
４*４*９*３ + - × ÷
ってなってました。
勝手に*を(いらないのかな？)と思ってとっちゃってました。。。
ごめんなさい。。。
考えてくださってありがとう。。。
凄くチャーミングなギフテッドが斬られちゃって。。。
でも斬られても返しが凄くチャーミングなんです！
さすが＊ギフテッド＊さんなんです。。。
52:１３２人目の素数さん
20/02/10 17:52:11.98 akjMn/jc.net
>>47
この答え、あっちにお知らせして来て良いですか？
てか、あちらに書き込まれたら、
ニューカマーですね！
凄い方がいっぱいいらっしゃるみたいですから、私より書き込む資格が充分、お有りかと。。。
でも数学専攻の方だと「ズルい！」って怒られちゃいそうw
「高ＩＱ社会不適合者スレ」っていうんです。。。
53:１３２人目の素数さん
20/02/10 17:56:38.28 BqpIpsvT.net
>４*４*９*３ + - × ÷
これでもまだ意味が曖昧だよ。
でも、それなりに賢いひとがやってできないってことは単なる組み合わせじゃ無理ってことじゃね？
それは乙に対する教訓でもあって
「お前が考えて解けるなら他のひとがとっくにやってるだろ！」
ということｗ
発想の転換が必要。
54:１３２人目の素数さん
20/02/10 18:00:17.67 akjMn/jc.net
最近、キュートなギフテッド男性が訪れるようになってます♪
ぜひぜひご参加してください。。。
ＩＱは１１７以上位有ればＯＫかな？っていうゆるスレなので、数学科専攻の方なら全然ＯＫじゃないかな？って思います。。。
55:１３２人目の素数さん
20/02/10 18:00:56.40 BqpIpsvT.net
4つ使わなくていいなら
4×4-9+3 だな。
56:１３２人目の素数さん
20/02/10 18:02:04.14 BqpIpsvT.net
何がギフテッドだ興味ないよ。
57:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 18:02:02.07 V1TcM3E2.net
>>42
おっちゃん、どうも、スレ主です。
お休みなさい
さて
（>>40 より）
(引用開始)
或る3以上の整数nが存在して、何れも或る3つの正整数 x、y、z が存在して、x^n+y^n＝z^n が成り立つとする。
Euclid 平面 R^2 上の半径1の円周をCで表す。
仮定から、nは3以上の整数だから、仮定で成り立つとした等式 x^n+y^n＝z^n から、
3つの正整数 x、y、z の大小関係について、0＜x＜z、0＜y＜z が両方共に成り立つ。
仮定から x、y、z は何れも有理整数だから、x、y、z∈Z。また、有理数体Qは有理整数環Zの商体だから、Z⊂Q。
よって、z＞0 から、x/z、y/z∈Q。0＜x＜z だから、0＜x/z＜1。同様に、0＜y＜z だから、0＜y/z＜1。
平面 R^2 上で点 A(x/z,y/z) と原点 O(0,0) とを結ぶ線分と、x軸正方向とのなす角をθとする。
0＜x/z＜1、0＜y/z＜1 が両方共に成り立つから、0＜θ＜π/2 である。
(引用終り)
これフェルマーの簡単な証明を目指しているのでしょうかね？
フェルマーっぽいねー（＾＾
でも、おっちゃんらしいなーと
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
(抜粋)
フェルマーの最終定理（フェルマーのさいしゅうていり、Fermat's Last Theorem）とは、3 以上の自然数 n について、xn + yn = zn となる自然数の組 (x, y, z) は存在しない、という定理のことである[注釈 1]。
フェルマーの大定理とも呼ばれる。
ピエール・ド・フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、
フェルマーの死後360年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理あるいはフェルマー・ワイルズの定理とも呼ばれるようになった[1]。
58:１３２人目の素数さん
20/02/10 18:03:55.80 akjMn/jc.net
>>50
。。ｵｯﾁｬﾝｻﾝ。。。
。 ゜°○＊。゜(ノД`)。
59:１３２人目の素数さん
20/02/10 18:08:56.44 akjMn/jc.net
>>53
美しい若い人妻の高知能女性も
いらっしゃいましたよ。。。
准教授、医師、院首席卒業って、
キラキラ高知能一族御出身で
ミスキャンパスだった
＊＊容姿端麗＊＊の高ＩＱ
の方だそうです。。。
キラキラメンバーを増やしたい。。。
お気が向かれたら、ぜひ、いらしてください。。。
60:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 18:09:55.72 V1TcM3E2.net
>>54
＞でも、おっちゃんらしいなーと
おっちゃんとの出会いは、スレ11からだけど
常連さんになったから、下記スレ12 の2015/02/15(日)に私が、「おっちゃんと呼ばせてね」と名前を付けた
「おっちゃんらしいなー」の意は、出会い当時も
”自明な部分は長文の証明で埋め尽くし、
肝心な部分(異なるH(*)が非可算無限個とれるところ)はいつまで経っても証明できてない上に、
スレ主の方が既に証明できちゃってるという本末転倒ぶり”
って言われ、
ずっとその繰り返しだよね
フェルマーもその類に見えるなー（＾＾
スレ12 ｽﾚﾘﾝｸ(math板:22番)
22 名前：１３２人目の素数さん[] 投稿日：2015/02/15(日) 20:19:50.54 ID:wOLNHI5U [15/24]
学生じゃないなら、おっちゃんと呼ばせてね
おっちゃん、勘違いしているよ。前スレを引用するね
スレ11 ｽﾚﾘﾝｸ(math板:566番)
566 名前：１３２人目の素数さん[sage] 投稿日：2015/02/03(火) 20:31:59.04 ID:KYB7IjhQ [3/4]
>>565
別にスレ主を擁護してるわけじゃねーよ。
でも>>558は幾らなんでもアホだろ。
そもそもの問題からしてくだらないのに、自明な部分は長文の証明で埋め尽くし、
肝心な部分(異なるH(*)が非可算無限個とれるところ)はいつまで経っても証明できてない上に、
スレ主の方が既に証明できちゃってるという本末転倒ぶり。出題者のくせに何やってんだよ。
恥さらしもいいとこだろ。
61:１３２人目の素数さん
20/02/10 18:11:30.15 akjMn/jc.net
呼び込みみたいになっちゃった。。。
時間も時間だし、怪しすぎるレスしまくっちゃってごめんなさい。。。
つい＊＊キラキラ＊＊メンバーを増やしたくて勧誘熱心になっちゃいました。。失礼しました。。
62:１３２人目の素数さん
20/02/10 18:19:02.48 BqpIpsvT.net
>>56
そういう人たちと交わりたいというのは潜在意識のあらわれだな。
普通のひとはあまりそういう志向はないと思う。
自分にないものを求めているのか、自分もその一員であるべきと思っているのか
いずれにしてもあまり健全な傾向ではないね。
ま、どうでもいいが。
63:１３２人目の素数さん
20/02/10 18:35:34.55 akjMn/jc.net
>>59
素敵なんです。楽なんです。
そうそう！って納得だし、目から鱗が多いし、悩みも(ﾜｶﾙ！ﾜｶﾙ！ﾜｶﾙｮ～！)ってストレス解消なことがいっぱいもらえるんです。。。
変態は珍獣だったから、きっと
ちょこっとだけ、、、レアケースの悩みなとこがしっくりくるんです。。。
そっくりの家族状況の方とかいらっしゃって、、、泣けてきます。。。
64:１３２人目の素数さん
20/02/10 18:37:09.28 akjMn/jc.net
あ、変態の家族はキラキラ一族の方とは別世界です♪
別の方と原家族状況が似てました。。。
65:１３２人目の素数さん
20/02/10 18:45:16.58 SopwtTXY.net
数学は高知能・流動性知能だけじゃなくて、専門の知識・結晶性知能も必要だから(流動性知能が高い(だけ？)の人達じゃ、、、)って、なっちゃいますよね？
でも原石の＊キラキラ＊を見ると
初心に帰って心が洗われるかも？ですよ。。。
ダイアモンド達は原石から＊キラキラ＊＊なんです。。。♪
先ほどの問題の答えは
『高ＩＱだけど社会不適合の人』
スレで出して頂いてました。。。
チャーミングな美魔女様から、教えて頂けました。。。♪
教えて下さった方、すぐに教えて頂いて、ほんとにありがとうございました。。。
66:１３２人目の素数さん
20/02/10 18:46:04.38 SopwtTXY.net
>>62
ＩＤ変わってる。。。けど、変態です♪
67:１３２人目の素数さん
20/02/10 18:50:06.86 SopwtTXY.net
板違い、大変失礼致しました(汗
簡単な？はずの数字クイズまで解けないストレスで、焦って、ついﾌﾟﾁパニックになってしまいました。。。
68:１３２人目の素数さん
20/02/10 19:07:04.27 dX3r24xT.net
>>35
>これだけ読んで、真に受ける人いないでしょ？
>その直感を大切にしましょうね
直感は直観、数学は数学
直感通りにならないから数学パズル足り得る。バカには理解できないだけのことです（＾＾；
>あとの、”ぐだぐだ証明もどきに騙されないようにしましょうね”
>ってことです
どうぞ証明のギャップを示して下さい。
ぐだぐだ証明もどきと大見得切るからには簡単に示せますよね？（＾＾
69:１３２人目の素数さん
20/02/10 19:09:40.95 dX3r24xT.net
あれ？ぐだぐだ証明もどきなのにギャップひとつ示せないんですか？
また今度もギャップあるある詐欺ですか（＾＾；
サイコパスにも困ったもんですねえ～（＾＾；
70:１３２人目の素数さん
20/02/10 19:11:13.76 SopwtTXY.net
キラキラスレでギフテッドや
美魔女様降臨ではしゃいで
＊＊多用しちゃって浮きまくってたら
ウザキモがられちゃいました。。。。
５ﾁｬﾝﾓ ｶﾞﾙﾁｬﾝﾓ出禁ﾁｯｸ...
°。゜(ノД`)゜。
71:１３２人目の素数さん
20/02/10 19:12:40.25 dX3r24xT.net
サイコパスは平気で嘘吐くので始末悪いですね
反例に続いて今度はギャップあるある詐欺ですもんねえ（＾＾；
72:１３２人目の素数さん
20/02/10 19:16:31.29 dX3r24xT.net
みなさん
このスレには「あるある詐欺」が横行してますので注意しましょう
詐欺師 ◆e.a0E5TtKE を見かけたら通報しましょうね（＾＾
73:１３２人目の素数さん
20/02/10 19:34:39.51 7FZGXTCi.net
>>32
>1つは、確率変数の無限族の独立性
>”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，
>これは全くの的外れ
スレ20の「確率論の専門家」の
無限乗積による無限族の独立性の定義は
解析学を知らない素人の的外れな戯言
>も1つは、非可測の話
>時枝さん、ヴィタリの話をしているが
>本当は、ジムの数学徒氏が言った
>「(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
> は確率論の公理の要請に反してしまう」
>なんだ
ジム氏も「確率論の専門家」氏と同様
無限乗積を漫然と使用してるが
これまた的外れ
両者が同じ誤りを犯してる時点で
同一人物の可能性は高い
この人物は解析学の基本が分かってないので
おそらく数学科の出身ではない
74:１３２人目の素数さん
20/02/10 19:35:25.37 7FZGXTCi.net
>>33
>この論法（時枝記事戦略）のどこが、おかしいでしょうか？
◆e.a0E5TtKE は定数と変数をごっちゃにしてる
そこがおかしい
ある定数ｎを定めた上で
「無限列の決定番号ｄがｎより小さい確率」
を考えるなら、そりゃ任意のε＞０より小さくなるだろう
し・か・し
９９個の無限列の決定番号の最大値Ｄ(x_1,…,x_99)をとった上で
「無限列の決定番号ｄがＤ(x_1,…,x_99)より小さい確率」
を考えた場合、上記の考え方が通用するとはもはや言えない
なぜならＤ(x_1,…,x_99)は定数ではなく、
９９個の列x_1,…,x_99に依存する変数だから
75:１３２人目の素数さん
20/02/10 19:41:12.36 7FZGXTCi.net
D(x_1,…,x_n)＝max(d(x_1),…,d(x_n))とする
このとき
「無限列の決定番号ｄがｎより小さい確率」
「無限列の決定番号ｄがD(x_1)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2,x_3)より小さい確率」
・・・
上記は皆、異なる
そして、もし関数ｄ(x)が可測であった場合には上記の確率は
1,1/2,1/3,1/4,…
となるだろう
76:１３２人目の素数さん
20/02/10 19:43:26.00 7FZGXTCi.net
>>72 修正
D(x_1,…,x_n)＝max(d(x_1),…,d(x_n))とする
このとき
「無限列の決定番号ｄがｎより小さい確率」
「無限列の決定番号ｄがD(x_1)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2,x_3)より小さい確率」
・・・
上記は皆、異なる
そして、もし関数ｄ(x)が可測であった場合には上記の確率は
0,1/2,2/3,3/4,…
となるだろう
77:１３２人目の素数さん
20/02/10 20:26:13.71 dX3r24xT.net
単純に a>b 且つ a<b を満たす自然数の組 a,b が存在しない限り時枝成立ですよ
その限りにおいては、100個の決定番号から成る集合の単独最大元が複数個になり得ないですから
78:１３２人目の素数さん
20/02/10 20:30:08.54 dX3r24xT.net
だから時枝を否定したいなら
a>b 且つ a<b を満たす自然数の組 a,b
を示せと
可測性はまったく無関係ですね
だってある列が当たる確率なんて論じてないですから
そこを勘違いしているのが自称確率論の専門家
79:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 20:48:52.33 mRVZ7FnM.net
>>45
ほいよ
この話と同じかな？（＾＾；
URLﾘﾝｸ(masasanno.com)
まささんの○○ブログ
【切符パズル】4つの数字で１０を作る！テンパズルの難問・良問１０選【ｍａｋｅ１０】 2019.02.20
(抜粋)
皆さんはテンパズルというパズルゲームを御存じでしょうか？
４つの数字と四則演算（＋、－、×、÷）とカッコを使って答えを１０にするというあれです。
よく切符に載っている４桁の数字を使って移動中の暇つぶしに行われたりするので切符パズルと呼ばれることが多いですね（ＩＣカードの普及によって最近の若い人たちに馴染みがあるかはわかりませんが）。
他にmake10などとも呼ばれるようです。
単純に問題は0000～9999まで存在することになるんですけど、その中でも重複しない４つの数字を使用したものに関しては必ず正解があるというのを聞いて昔全通り自力で解いたことがあります。
当時の僕は相当暇だったらしい…。
たいていの問題は試行錯誤しているうちになんとなく解けてしまうんですが、3467と3478の２問はかなり苦戦した記憶があります。
特に3478は後でも紹介しますがラスボスクラスの手強さ！
解を見つけた時の達成感はなかなかのものがありますよ。
ちなみに数字が重複するものを問題として使用してもいいんですが、解がないものも存在します。暇つぶしどころか時間の無駄になる可能性もあるので気を付けましょう（笑）
今日はそんなテンパズルの、皆に解いてもらいたい難問・良問を１０問紹介したいと思います！
目次
1.テンパズルのルール
2.テンパズルを解く
1.小手調べ１問
2.解が複数ある良問２問
3.解が１つか２つの良問３問
4.解は１つのみ！ラスボス級の難問４問
3.答え合わせをする
1.小手調べ１問の答え合わせ
2.解が複数ある良問２問の答え合わせ
3.解が１つか２つの良問３問の答え合わせ
4.解は１つのみ！ラスボス級の難問４問の答え合わせ
4.まとめ・スッキリできましたか？
80:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 21:08:03.00 mRVZ7FnM.net
>>76
＞よく切符に載っている４桁の数字を使って移動中の暇つぶしに行われたりするので切符パズルと呼ばれることが多いですね（ＩＣカードの普及によって最近の若い人たちに馴染みがあるかはわかりませんが）。
「よく切符に載っている４桁の数字」は、分からんだろうな
あいみょん の ドーナツ盤とか
桃太郎の”たらい”（と洗濯板）とか
電話 リンリン とか
（参考）
URLﾘﾝｸ(oshiete.goo.ne.jp)
教えて！ goo
JR東日本の切符の数字の意味
質問者：yoshinobu_09質問日時：2012/04/10
日付、時間の横にある数字の意味を教えてください。
よろしくお願いします。
URLﾘﾝｸ(oshiete.xgoo.jp)
No.5ベストアンサー
回答者： gsmy5
4桁の数字の話なら通し番号です。毎日0001から始めているのではなく、前日最後に打った番号の次の番号から始まり、9999→0000→0001の順に機械的に番号を繰り返します。
君はロックを聴かない あいみょんの曲
埃まみれ ドーナツ盤には あの日の夢が踊る 真面目に針を落とす 息を止めすぎたぜ
URLﾘﾝｸ(hukumusume.com)
福娘童話集 > お話きかせてね
桃太郎
桃は、
おばあさんの前へ流れて来ました。
おばあさんは、にこにこしながら桃を拾い上げると、
「さあ、早くおじいさんと二人で分けて、食べましょう」
と、桃を洗濯物と一緒にたらいの中に入れて、家に持って帰りました。
URLﾘﾝｸ(hukumusume.com)
URLﾘﾝｸ(open.mixi.jp)
mixiユーザー(id:4597260)
伝言板～昭和歌謡曲83昭和ワードの歌②～ピンボール
電話関係なら「恋のダイヤル６７００」フィンガー5
作詞：阿久悠 作曲・編曲：井上忠夫昭和48年
♪指のふるえを押さえつつで僕はダイヤル回した♪
こういうダイヤル式の電話
URLﾘﾝｸ(photoservice-imagecluster.img.mixi.jp)
81:all.jpg 冒頭の呼び出し音「リンリンリリン リンリンリリンリンリンリンリリン」 も懐かしい。
82:１３２人目の素数さん
20/02/10 21:44:05.58 dX3r24xT.net
”ぐだぐだ証明もどき”と言いがかりをつけておきながら証明のギャップは示さない詐欺師にご注意！
83:１３２人目の素数さん
20/02/10 21:46:42.68 P+bQ2SpM.net
>>76-77
主様ありがとうございます！
これだったのかも？ですね♪
でもこれ、解が無い組み合わせを選んじゃったり、いちいち調べるのって考えてみただけで気絶です。
なんとか手っ取り早く、１度で全部やっつけられる魔法の式とかって無いものでしょうか...
すう板だけに。。。？
有れば＊キラキラ＊ギフちゃま＊も
びっくりして腰抜かしちゃうかも？
ﾌﾟﾌﾟﾌﾟｯ( *´艸｀)ですね。。。？
＊＊ギフちゃま＊＊驚かせて
天才ぶりたーーーい！！！
(＠´_ゝ`@)な～んてね♪♪♪
84:１３２人目の素数さん
20/02/10 21:52:50.52 P+bQ2SpM.net
賢いスレにお邪魔してるとキラキラが眩しくて楽しいけど、自分の＠＠あほ＠＠さに 気づいて気づいて仕方な～い！
で～す。＠＠楽し～い＠∧つらーい！
85:１３２人目の素数さん
20/02/10 21:58:15.60 P+bQ2SpM.net
今度は美魔女様が何やら容積を測る難問を。。。
スレにスフィンクスが降臨されて
スレを訪れる高ＩＱ旅人達が試され出してるみたいです。。。
面白いんですよ♪
果敢に挑む勇者が直ぐに現れるのが
高ＩＱスレなんですね♪
賢い人がクイズ解こうとして
奮闘してるの見てるだけで楽しいです！♪
86:１３２人目の素数さん
20/02/10 22:03:18.20 P+bQ2SpM.net
変態は数学苦手で数字みたら
思考が固まって軽くﾊﾟﾆｯｸが起きてしまうようなので、見てるだけだけど、
賢い人の試行錯誤みてるだけで
(* ﾟ∀ﾟ)＊＊＊ﾜｸﾜｸします。。。♪♪♪
ギフテッド最高！！！♪♪♪
💖惚れてまうやろおぉｫーーｯ！💓
でーす！♪
87:１３２人目の素数さん
20/02/10 22:05:12.62 P+bQ2SpM.net
でもたしか、容積って
未だに正確に測る方法って
無かったような。。。？
88:１３２人目の素数さん
20/02/10 22:06:37.04 P+bQ2SpM.net
計算式が無かったはずだから、
数板問題じゃないんですよね？
失礼致しました。。。(汗
89:１３２人目の素数さん
20/02/10 22:17:44.09 dX3r24xT.net
あるある詐欺師に数学は無理ですから 残念！
90:１３２人目の素数さん
20/02/10 22:18:12.04 P+bQ2SpM.net
たすけて。。。
＊＊ギフ＊が素敵すぎる。。。好ｷｽｷﾞﾙ...眩しすぎて、みんなのギフ様なのが、つらい。。。ﾂﾗｽｷﾞﾙ...
あんなに素敵な人がいるなんて...！
知らない方がよかったかも...！
もうさっそく、つらくなって来ちゃいましたよー...
91:１３２人目の素数さん
20/02/10 22:19:40.94 P+bQ2SpM.net
。。。つらい。。°＊。゜(ノД`)゜。
92:１３２人目の素数さん
20/02/10 22:22:27.95 P+bQ2SpM.net
悶々ﾀｲﾑにヒキコモリます...
＊＊ギフ＊の＊キラキラ＊レスをみながら泣いときます。。。お騒がせしてごめんなさいでした。。。
93:１３２人目の素数さん
20/02/10 22:31:54.74 7FZGXTCi.net
D(x_1,…,x_n)＝max(d(x_1),…,d(x_n))とする
このとき
「無限列の決定番号ｄがnより小さい確率」
「無限列の決定番号ｄがD(x_1)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2)より小さい確率」
「無限列の決定番号ｄがD(x_1,x_2,x_3)より小さい確率」
・・・
上記は皆、異なる
94:１３２人目の素数さん
20/02/10 22:46:19.19 dX3r24xT.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
95:１３２人目の素数さん
20/02/10 22:46:47.94 dX3r24xT.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
96:１３２人目の素数さん
20/02/10 22:48:02.11 dX3r24xT.net
反例もギャップも出せないならスレ閉鎖の要件成立ですね
約束は守りましょうね、幼稚園で教わりましたよね？
97:１３２人目の素数さん
20/02/10 23:05:49.93 dX3r24xT.net
約束も守れないんじゃサイコパスと認定せざるを得ないですね
98:１３２人目の素数さん
20/02/10 23:06:56.12 dX3r24xT.net
やはり真のサイコパスは◆e.a0E5TtKE でした
QED
（＾＾
99:１３２人目の素数さん
20/02/10 23:31:49.10 4ueNx14E.net
もうダメだ...
ギフに嫌われた...！
ドン引きされちゃったーーー！
ﾀﾋにたい。。。＿|￣|○
100:１３２人目の素数さん
20/02/10 23:40:19.56 4ueNx14E.net
気持ちが抑えきれなくって、
いきなり好ｷ❗💓好ｷ❗❗💖❗❗❗
大爆発して自爆しちゃった。。。
もーﾀﾞｰﾒﾀﾞ～ｯ！ヾ(･∀･｡)
ある意味スッキリ！！？
そんなに長く悶々としなくてすみました。。。(ﾁｮｯﾄ...ﾎｯ!...?)
度々、お騒がせしてま～す。。。
数学人の皆さんはすっごく素敵な人を見つけても、やっぱり冷静に計算出来るんですか？
101:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 23:43:15.57 mRVZ7FnM.net
>>57
>フェルマーもその類に見えるなー（＾＾
記憶では、クンマー理論でフェルマーを扱うとき、正則素数と非正則素数の場合分けが必要だったと思うのがだ
だから、上記場合分けなしで、議論しているのを見ると、どっかで間違えているとしか見えないのだった（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
正則素数
数論における正則素数（せいそくそすう、regular prime）とは、円の p 分体の類数を割り切らない素数 p のことであり、エルンスト・クンマーにより考案された。
小さいものから順に
3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, …（オンライン整数列大辞典の数列 A7703）
と続く。
クンマーは、奇素数の正則性は p が k = 2, 4, 6, …, p ? 3 におけるベルヌーイ数の分子を割り切らないことと等価であることを示した。
また、次数が正則素数である場合にフェルマーの最終定理が正しいことを証明した。
正則素数は無限に存在すると予想されている。
より正確には、e^?1/2 、つまり約 61% の素数が正則であると予想されている (Siegel, 1964)。
どちらの予想も、2009 年現在まだ証明されていない。
正則でない奇素数は非正則素数と呼ばれ、小さいものから順に
37, 59, 67, 101, 103, 131, 149, 157, 233, 257, 263, … (A928)
と続く。
分子が p で割り切れるようなベルヌーイ数 Bk の個数は p の非正則指数と呼ばれる。K. L. ジェンセンは、1915年、非正則素数が無限に存在することを示した。
102:１３２人目の素数さん
20/02/10 23:46:23.20 EaGEQ+Vz.net
ｽﾚﾘﾝｸ(sec2chd板:354番)
どうやら板の管理人が見ていないようだ
板の管理人が見ている場所を知っている人がいたら教えて欲しい、もしくは代わりに取り次いで欲しい
103:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/10 23:47:59.50 mRVZ7FnM.net
>>79
>でもこれ、解が無い組み合わせを選んじゃったり、いちいち調べるのって考えてみただけで気絶です。
>なんとか手っ取り早く、１度で全部やっつけられる魔法の式とかって無いものでしょうか...
無いように思います
コンピュータプログラムでしらみつぶしでは？
おっと、量子コンピュータで一瞬かも・・、なーん
104:ちゃってｗ（＾＾；
105:１３２人目の素数さん
20/02/10 23:55:50.79 dX3r24xT.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
106:１３２人目の素数さん
20/02/10 23:56:18.34 dX3r24xT.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
107:名無し
20/02/11 00:06:44.99 o60HFhOa.net
>>98
ごめんなさい！
変な書き込みばっかりしちゃって！
でも猿石さんの仕業ではないんです！
変な絵文字、顔文字嵐は猿石さんとは別人の「絵文字変態」こと、、、読みづらい、、、あの↑トリップの仕業なんです！
トリップも別なんですよ？
私は猿石さんではないんです！
粘着板違い嵐風ですけど！
いえ、嵐ですね！完全に！
じゃ必ず数板に書き込む時には
コテハンにしましょうか？
え？書き込むな？
ごもっとも！
お嫌なら、ＮＧできるようにコテ専で書き込みますから。。。？
だめですか？
108:１３２人目の素人さん
20/02/11 00:10:51.25 o60HFhOa.net
主様、天魔様、皆様、ごめんなさーいっ！
め～とん君ごめんなさーいっ！
。 ° ＊。゜(。ノД`)゜。
ｺﾞﾒﾝﾅｻｨ...ｻﾖﾅﾗ...
109:１３２人目の素数さん
20/02/11 00:16:19.12 o60HFhOa.net
。＊ 。
ﾅｶﾞｲｱｲﾀﾞ ｵｾﾜﾆﾅﾘﾏｼﾀ。°＊。○。＊°
。°○ ＊
みなさま お元気で 。○° ＊。
。
＊ 。 ○。
110:１３２人目の素数さん
20/02/11 00:18:33.67 gdPWLy3I.net
乙の間違いがクンマーレベルのわけないだろｗ
どこにでもいるトンデモと同じく初歩的なところで間違ってるに決まってる。
脳に損傷受けたくないから読まないけどｗ
111:１３２人目の素数さん
20/02/11 00:26:05.95 gdPWLy3I.net
>>102-104
このひとなんでこの板に居ついちゃったのかね？
>>98は他スレにも書いてるし、必ずしもあなたのことを標的にしてるのではないのでは？
これまでも消えると言いいながら戻ってきてるから言うけど
板に書き込むときは、一呼吸おいて考えてから書き込みましょう。
なお返信は不要ですから。
112:１３２人目の素数さん
20/02/11 01:00:00.45 gdPWLy3I.net
「箱入り無数目」の成立は、以前いた確率論の専門家らしきひとによると「自明」。
箱の中が変数とか考えなければね。
しかしその「自明」は数学科レベルでの自明であって、一般のひとからすると
むしろ非常に高度なパズルで、理解できないのが普通だろう。
直感の起源というのは人類が進化の過程で身に付けてきたものだろうけど
「無限個の箱」の現象など人類が経験してきたことではないから。
この話を他板でしたとしてもキョトンとされるだけだろう。
113:１３２人目の素数さん
20/02/11 01:40:39.29 pez17n4y.net
数学の世界と現実世界を区別できないキチガイが不成立と騒いでいるだけですね。
例えば数学の世界では、実数列 s とその代表 r が与えられると直ちに決定番号 d が判ることになってるけど、
これには無限個の項を認知する能力が必要。その能力が無ければ「第 d 項から先すべて一致」なんて判らない訳だからね。
そんな能力の持ち主は現実世界にはいない。
逆にそんな神のような能力を認めるなら、キチガイのように拒絶反応する必要も無いんだけど（＾＾；
114:１３２人目の素数さん
20/02/11 07:08:42.41 yCL40qf3.net
>>108
そもそも現実世界には無限個の箱はないだろ
あったとしても、実数の無限列ｓ、ｓ’に対して
「ｓとｓ’がある箇所から先一致する」
と判定する手続きがないだろ
（これ言い出すとそもそも尻尾の同値類が
構成できないということになる）
で、上記の同値関係の判定ができたとしても
同値類の代表元ｒ（ｓ）を返す関数ｒが
具体的に構成できないだろ
（ｒは選択公理で存在が云
115:えるだけのこと）
116:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 08:48:20.17 CB29Ozfy.net
>>97 追加
URLﾘﾝｸ(ocw.u-tokyo.ac.jp)
学術俯瞰講義 ～数学を創る～ 第２回 東京大学
Mathematics ‘‘On Campus’’
ことばを創り、世界を創る
２００９．１０．１５
de Fermat. (1601.8.20-. 1665 1 12).1.12). フランスの. トゥールーズの人. 「数論の父」 ... フェルマーの最終定理before 1986. フェルマーの最終定理before 1986. ? 超有名で、. 歴史的に重要. ? 歴史的に重要. 代数的整数論の確立（クンマー） ...
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成19年度(第29回)数学入門公開講座テキスト(京都大学数理解析研究所，平成19年7月30日～8月2日開催)
R = T 定理の仕組みとその応用
安田 正大
この講座では, Fermat 予想の証明のために Wiles, Taylor-Wiles が確立した R = T 定理に関する最近の
発展と応用についてお話します.
この原稿は数学の専門家でない方を対象にして書かれており, 内容の正確さよりも, 大体の感じをつかん
でもらうことを目標としています. 読者に難解な印象を与えないようにするために, 専門家向けの文章では
許されないようなあいまいな表現の仕方をあえてしている部分があります.
1. Fermat 予想
19. 謝辞
草稿段階の本原稿に目を通してくださり, たくさんの有益な助言を下さいました山下剛さんに感謝いたし
ます.19
URLﾘﾝｸ(www7a.biglobe.ne.jp)
４３「フェルマーの最終定理」
とうとうフェルマーの最終定理について書く時が来た。
多分これまでに書いた中でも最も困難な挑戦になるだろう。
117:１３２人目の素数さん
20/02/11 10:24:45.45 yCL40qf3.net
「確率論の専門家」も「ジム」も語らなかったこと
順序統計量
URLﾘﾝｸ(ja.wikipedia.org)
「順序統計量（じゅんじょとうけいりょう、英: order statistic）は、
統計において k 番目に小さい値である標本を求めることをいう。
いま X1, X2,..., Xn は 無作為抽出での標本であるとする。
すなわち、同一分布に従い、互いに独立 である（i.i.d.）とする。
さらに、これらは連続分布を持つ確率変数であり、
f (x) がその確率密度関数、F (x) が累積分布関数とする。
また、これらを小さい順に並べた順序統計量を
X(1), X(2),..., X(n) とする。
このとき、最小値X_(1)、最大値X_(n)の累積分布関数については、
F_X_(1)(x)=1-{1-F(x)}^n
F_X_(n)(x)&={F(x)}^n
となる。」
99個の標本の最大値F_X_(99)に対して、
さらに1個とった標本が、より大きくなる確率は
∫F_X(99)(x)f(x)dx
＝∫[F(x)]^99(dF(x)/dx)dx
＝∫(0～1)F^99dF
＝1/100[F^100](0～1)
＝1/100
118:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:24:57.81 6xY3HAGO.net
>>109
>そもそも現実世界には無限個の箱はないだろ
>あったとしても、実数の無限列ｓ、ｓ’に対して
>「ｓとｓ’がある箇所から先一致する」
>と判定する手続きがないだろ
>（これ言い出すとそもそも尻尾の同値類が
> 構成できないということになる）
どうもスレ主です。
この考察は、良い線行っていると思う
１．”実数の無限列ｓ、ｓ’に対して「ｓとｓ’がある箇所から先一致する」と判定する手続きがないだろ”は、人間の能力の限界として正しいが
これを認めると、コーシー列で定義された二つの異なる実数r,r' の区別が出来ないことになる
なので、数学は思念として可能としている
（所詮、人間は、無限を極限として、考えているにすぎないのかもしれないね）
２．同様に、物理的に無限個の箱はないとしても、数学界では思念上の形式的冪級数は存在し、形式的冪級数の係数を無限の箱と見れば良い
（形式的冪級数も、結局はｎ次多項式のｎ→∞の極限として、考えているにすぎないのかもしれないね。コーシー列に同じ）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
形式的冪級数
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σn=0～∞ anX^n=a0+a1X+a2X^2+・・・
の形をしたものである。
119:１３２人目の素数さん
20/02/11 11:31:25.42 yCL40qf3.net
>>112
＞コーシー列で定義された二つの異なる実数r,r' の区別が出来ない
rとr'の定義次第で、できるときもある
むしろ、ほとんど全ての実数は人力では構成不能、
という点のほうが重要かと思われ
120:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:32:28.34 6xY3HAGO.net
>>109
>で、上記の同値関係の判定ができたとしても
>同値類の代表元ｒ（ｓ）を返す関数ｒが
>具体的に構成できないだろ
>（ｒは選択公理で存在が云えるだけのこと）
(>>22より)
可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し
s自身を代表としても良い
代表は、単に
一つの同値類から、一つを選ぶだけで良いので
あるいは、ｓ自身がいやなら、先頭の数字を少し変化させて
s=(s'1,s'2,・・sd,sd+1・・)
とでもしておけば、良い
フルパワー選択公理は必要なのは、
非可算無限存在する同値類の各々全部から、代表を選ぶときですね
121:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:36:32.02 6xY3HAGO.net
>>113
>むしろ、ほとんど全ての実数は人力では構成不能、
>という点のほうが重要かと思われ
それ同意です
実際、おっちゃんが研究して、オイラー定数γは、有理数ではないかというが
現実に、現代の数学でも未解決問題
もし、人間に任意の無限数列のシッポを見極める能力があれば、
有理数か無理数かを、判定可能のはずですからね（＾＾
122:１３２人目の素数さん
20/02/11 11:41:08.14 yCL40qf3.net
>>114
回答者は箱を開けた中身がどんな列か予測できないので
The Riddleで100人の回答者が共通の代表元を選ぶとするなら
全ての同値類の代表元をあらかじめ決める必要がありますね
そのための選択公理ということです
100人の回答者が共通の代表元を選べない、というなら
選択公理は成立しないことになりますね
123:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:42:47.34 6xY3HAGO.net
>>111
＞「確率論の専門家」も「ジム」も語らなかったこと
＞順序統計量
＞ URLﾘﾝｸ(ja.wikipedia.org)
うん
それも良い考察ですね
一つ指摘しておけば
分布を積分したときに、∞に発散する場合には、数学的扱いが難しくなるってことです
そして、時枝さんに戻せば、決定番号ｄについて、積分ができない
いや、正確には、箱に入れる数を、0～9の整数に限り、箱の数ｎを有限にすれば、積分（この場合和）は可能です
しかし、上記でもｎ→∞ では、発散してしまう
124:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:46:13.96 6xY3HAGO.net
>>116
>The Riddleで100人の回答者が共通の代表元を選ぶとするなら
>全ての同値類の代表元をあらかじめ決める必要がありますね
代表を決定する人を一人立てれば良い
その人は、可算無限数列をもらって、同値類と代表を一つ返す（まあ、関数みたいな役割です）
その人は、それだけを仕事とする。それ以外の一
125:切の情報を出さないとすれば 100人の回答者の得る代表は、一意に決まる
126:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 11:47:20.46 6xY3HAGO.net
>>118 補足
＞その人は、それだけを仕事とする。それ以外の一切の情報を出さないとすれば
100人の間の情報連絡役にはならないという意味ね（＾＾
127:１３２人目の素数さん
20/02/11 11:55:07.68 pez17n4y.net
>>114
時枝戦略では選択公理が必要
不定な代表からは情報をもらえないから
分かってないバカは黙ってろ
128:１３２人目の素数さん
20/02/11 11:55:57.46 pez17n4y.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
129:１３２人目の素数さん
20/02/11 11:56:15.69 pez17n4y.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
130:１３２人目の素数さん
20/02/11 11:58:24.02 yCL40qf3.net
>>117
ここでは標本は箱ではなく列とします
この場合、列の数は有限ですから無限はでてきません
決定番号の確率分布関数は定義できませんが
決定番号０の確率を基準として
決定番号１，２，３、・・・の各場合の確率を比として表すことは可能です
そしてこのような関数で代用した場合の計算を行った場合
１００列の場合は１／１００以下になると思われます
131:１３２人目の素数さん
20/02/11 12:00:14.46 yCL40qf3.net
>>118
＞代表を決定する人を一人立てれば良い
そのような人が存在し得る、というのが選択公理です
132:１３２人目の素数さん
20/02/11 12:11:02.36 yCL40qf3.net
箱に入れる数を、0～9の整数に限るとします
そのとき
・決定番号ｎ＋１以下の確率は
決定番号ｎ以下の確率の１０倍
２列とる場合
・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍
なぜなら
Ｐ［ｎ＋１］
＝Ｐ［ｎ］＋２＊９＊Ｐ［ｎ］＋９＊９＊Ｐ［ｎ］
＝（１＋１８＋９１）Ｐ［ｎ］
＝１００Ｐ［ｎ］
だから
（２番目の項は１列目だけもしくは２列目だけ決定番号がｎ＋１の場合
３番目の項は１列目および２列目の決定番号がｎ＋１の場合）
133:１３２人目の素数さん
20/02/11 12:13:17.00 pez17n4y.net
>>117
決定番号の非可測性は時枝戦略を否定する材料にならない。
もし「100列のうちのある列がアタリである確率」が必要なら材料になるが。
自称確率論の専門家はそこを誤解している。
134:１３２人目の素数さん
20/02/11 12:14:42.63 yCL40qf3.net
>>125
訂正 ９１→８１
－－－
箱に入れる数を、0～9の整数に限るとします
そのとき
・決定番号ｎ＋１以下の確率は
決定番号ｎ以下の確率の１０倍
２列とる場合
・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍
なぜなら
Ｐ［ｎ＋１］
＝Ｐ［ｎ］＋２＊９＊Ｐ［ｎ］＋９＊９＊Ｐ［ｎ］
＝（１＋１８＋８１）Ｐ［ｎ］
＝１００Ｐ［ｎ］
だから
（２番目の項は１列目だけもしくは２列目だけ決定番号がｎ＋１の場合
３番目の項は１列目および２列目の決定番号がｎ＋１の場合）
135:１３２人目の素数さん
20/02/11 12:15:12.71 gdPWLy3I.net
多分、この工学バカは100列の中身を見て代表元を作る第3者がいれば
100列だけの代表元だけで事足りるって言いたいんじゃないかな。
でもさ、そんな第3者がいたとして、そのひとは箱の中身を全部見てるんだから
その情報使えば当てられるのはますます当たり前ってことになるよね。
ほんとバカだね。
136:１３２人目の素数さん
20/02/11 12:19:47.84 yCL40qf3.net
>>128
100列を定数とするならそういう考え方もありますね
その場合、数セミの記事は無条件で成立することになりますね
137:１３２人目の素数さん
20/02/11 12:34:41.22 pez17n4y.net
仲間にカンニングさせれば当てられますってかｗ バカ丸出しですなｗ
138:１３２人目の素数さん
20/02/11 12:43:53.57 gdPWLy3I.net
そんな第3者がいれば当てられるのは当たり前。
しかし選択公理は実はそれと同じ役割をしている。
だから、時枝解法成立は当たり前ってことにしかならないから自爆ｗ
139:１３２人目の素数さん
20/02/11 12:50:58.32 gdPWLy3I.net
多分、第3者が...って話は時枝解法と選択公理の役割にケチをつけようと
思って言い始めたんだろうけど、結局当てられるはますます当たり前
ってことにしかならないのがバカ。
140:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:09:45.78 6xY3HAGO.net
>>117
分布の話は、両名とも書かれています（下記）
確率論の専門家さん
スレ20 ｽﾚﾘﾝｸ(math板:532番)
532 2016/07/03 ID:f9oaWn8A
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
ジムさん
スレ80 ｽﾚﾘﾝｸ(math板:237番)-238
(抜粋)
237 2020/01/10 ID:jmw8DMZb
標本空間上の関数として選択公理を仮定する限り存在する。
選択公理でできた関数は使ってはいかないみたいな意見があるがそんなはずはない。
あるのは選択公理下では否定できない。
では何がダメか。
それはそれらの関数が単なる標本空間上のデタラメな関数ではダメでそれが可測関数にならないといけない事を無視しているから。
そもそも確率論において
P(xxx|yyy)
のxxx,yyyのとこには何を書いてもいいわけではなくそこにはそれらをみたす標本空間上のなす集合が可測集合になるようなものしか許されない。
したがって今回で言えばd(x)のようなものが可測関数として定義できているかが第一の問題。
238 2020/01/10(金) ID:jmw8DMZb
まず時枝先生の記事の方法ではダメ。
記事の方法ではxやyをある番号以降全部開けてその値に応じて戦略を決定している。
つまり全事象をC(x)やC(y)などに応じて決定している事になるが、これだと全事象を非可算無限個に分割して定義している事になる。
しかしこのようにして定義された関数は一般には可測関数にならない。
場合わけして定義するのは構わないが、その時には可測な高々可算無限個までにわけて、その各々で可測関数として定義されている場合でなければ一般には標本空間上のただの関数でしかなく、可測集合の構成に利用できるような可測関数になるかどうかはわからない。
よって時枝戦略で重要な意味を持つd(x)などの関数はこのままでは可測関数になるかどうかはわからない
可測関数でなければそもそも確率そのものが定義できない
ココが議論の第一点
しかしコレからジムに遊びに行くので続きはまた今度
141:１３２人目の素数さん
20/02/11 13:10:44.37 yCL40qf3.net
>>132
なんか、選択公理を否定したら数学全否定になると思ってるのかな？
でも、否定されるのは非可算選択公理であって、
可算選択公理は認めるとすれば、通常の数学は
大概問題ないけどなあ
142:１３２人目の素数さん
20/02/11 13:12:29.38 yCL40qf3.net
>>133
順序統計について、両名とも一切語ってませんね
143:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:17:42.42 6xY3HAGO.net
>>123
＞ここでは標本は箱ではなく列とします
＞この場合、列の数は有限ですから無限はでてきません
だから、それがトリックでしょ
例えば、A国、B国、C国としましょうか
数学の試験をして、採点は１点刻みで、平均点は整数丸めとして、その国の代表を平均点を取った人から選ぶ
その国の受験者数が多ければ、平均点を取った人も多数います。だれになるか分からない
でも、代表は一人選ぶ、なんらかの方法で
A国aさん、B国bさん、C国cさん
でも、それがトリックでしょ
144:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:20:49.16 6xY3HAGO.net
>>124
>そのような人が存在し得る、というのが選択公理です
そのような人の能力が、
・非可算の集合族からでも選ぶことが可能というのが、フルパワー選択公理
・可算の集合族からでも選ぶことが可能というのが、可算選択公理
・有限の集合族からでも選ぶことが可能というのが、有限選択公理（公理の取り方によっては、他の公理から証明できる場合もある）
145:１３２人目の素数さん
20/02/11 13:23:20.81 pez17n4y.net
>>133
>そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
はい、言えません
言えなくていいんですｗ
バカには分からないだけ（＾＾；
146:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:24:45.72 6xY3HAGO.net
>>125
そうそう、その考察いいですね
”・決定番号ｎ＋１以下の確率は
決定番号ｎ以下の確率の１０倍”
同意ですが
確率というより、場合の数でしょうね
”２列とる場合
・決定番号の最大値がｎ＋１以下の確率Ｐ［ｎ＋１］は
決定番号の最大値がｎ以下の確率Ｐ［ｎ］の１０＾２＝１００倍”
これ、合っていると思うが
細かい前提が不明です。２列だと決定番号はd1,d2とか二つ出ますよね
147:１３２人目の素数さん
20/02/11 13:33:46.00 pez17n4y.net
>>133
>よって時枝戦略で重要な意味を持つd(x)などの関数はこのままでは可測関数になるかどうかはわからない
はい、非可測です。
非可測でいいんですｗ
バカには分からないだけ（＾＾；
148:１３２人目の素数さん
20/02/11 13:37:10.90 pez17n4y.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
149:１３２人目の素数さん
20/02/11 13:37:27.40 pez17n4y.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
150:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:42:03.42 6xY3HAGO.net
>>126
＞決定番号の非可測性は時枝戦略を否定する材料にならない。
同意です
時枝さんの書いているヴィタリの話は、各同値類の代表全部から成る集合の非可測性で
実際に数当てパズルに使うのは、有限個ですから、代表全部に対する測度うんぬんは、無関係と考えています
＞自称確率論の専門家はそこを誤解している。
１．自称ではなく、確率論の専門家は私が勝手に付けた。かつ、「確率論の専門家さん」と”さん”を付けるのが、私の流儀です
２．「確率論の専門家さん」のいうのは、ジムさんと同じで、関数としての可測 or 非可測です。ヴィタリ類似の話とは微妙に異なる
ヴィタリでは０も∞も含めて、如何なる測度も与えられない
ですが、単に可測で良いなら、N（自然数全体）やR（実数全体）に、∞としての測度を与えることは可能です
ジムさんも書いているが、確率論として扱うには、P（Ω）＝１ かつ、A∈FでP（A）＝ｐ 0<=p<=1 でなければならない
３．確率理論としては、∞として測度を与えて、その上で、P（Ω）＝１ かつ、A∈FでP（A）＝ｐ 0<=p<=1 の確率論が構築できるか？
そういうことを、考えたのたが、コルモゴロフさんでしょ
151:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:44:51.39 6xY3HAGO.net
>>140
＞>よって時枝戦略で重要な意味を持つd(x)などの関数はこのままでは可測関数になるかどうかはわからない
＞はい、非可測です。
＞非可測でいいんですｗ
それは違うんじゃない？
ｗｗ（＾＾；
152:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:49:07.49 6xY3HAGO.net
>>134
(引用開始)
なんか、選択公理を否定したら数学全否定になると思ってるのかな？
でも、否定されるのは非可算選択公理であって、
可算選択公理は認めるとすれば、通常の数学は
大概問題ないけどなあ
(引用終り)
殆ど同意ですよ
選択公理は否定していません
使っていい
但し、時枝戦略に限れば、フルパワーを必要としていないというだけ
だから、”選択公理”を強調するのは、「いかにもパラドックスが起きるぞ」という、雰囲気づくりの意味でしかないよねと
153:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:53:17.58 6xY3HAGO.net
>>135
＞順序統計について、両名とも一切語ってませんね
順序統計について、ベースの順序集合が、有限でないと、理論的扱いは難しい
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの前半分（前半）に来る確率は？
確率０ですよね
これ、時枝のトリックの一つですね
154:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/11 13:55:26.20 6xY3HAGO.net
>>146 訂正
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの前半分（前半）に来る確率は？
確率０ですよね
↓
例えば、自然数全体Nを考えると、ある有限のn∈Nで、自然数全体Nの後ろ半分（後半）に来る確率は？
確率０ですよね
155:１３２人目の素数さん
20/02/11 13:55:40.11 pez17n4y.net
>>143
>実際に数当てパズルに使うのは、有限個ですから、代表全部に対する測度うんぬんは、無関係と考えています
いいえ、すべての代表を使います。
不定な代表からは情報をもらえませんから。
非可算選択公理は必須です。
156:１３２人目の素数さん
20/02/11 13:56:45.29 pez17n4y.net
>>144
なにが違うと？
157:１３２人目の素数さん
20/02/11 13:56:46.78 gdPWLy3I.net
>>145
>但し、時枝戦略に限れば、フルパワーを必要としていないというだけ
いやいや、出題者がR^Nの中から自由に出題できるなら、"必ず"解法が成立する
というためには、あなたの言うところの"フルパワー"の選択公理が必要ですよ。
そんなことも分からんの？