21/10/01 11:02:44.84 9nXmqzo6.net
>>865
>「IUT非難・ダメ・ゼッタイ！」とわめくけど
そんなことは言っていないよ
ダメなのは、おサルさんの根拠レスの批判だよ
IUTには、なにか21世紀の今の人が気付かないギャップがあるかもしれないし
あるいは、もっと時代が進めば、もっと大きな理論の一系で、簡単に証明あるいは理解できるようになるかも知れないと、思うけど
(引用開始)
＞望月IUTは、新たなる日本数学の金字塔です
＞高木先生の類体論以来、連綿と繋がる
＞日本数学の数論・代数幾何などの伝統とその成果の上に、
＞望月IUTがある！
完全に認知症ですな
望月新一のIUTは日本数学の名誉を完全に汚してますけどね
この事実と向き合えない人は、数学語らないでほしいですねぇ
醜いだけですから
(引用終り)
笑えるな
その発言、全く逆効果だよ
「望月新一のIUTは日本数学の名誉を完全に汚してますけどね
この事実と向き合えない人は、数学語らないでほしい」？
呆れる
”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ”>>7と同じ趣旨じゃん
それ日本と日本人と日本人の数学での活躍を、必死に貶めようと、戦うおサルさん>>862
そういう構図そのものじゃんｗ
やれやれ
955:１３２人目の素数さん
21/10/01 11:26:33.74 zvhM5lJQ.net
>>867
＞IUTには、なにか21世紀の今の人が気付かないギャップがあるかもしれないし
「あるかもしれない」ではなく「ある」
まずそこを誠実に認めような
日本人がウソつきの恥を晒したくないならな
君がやってることは贔屓の引き倒し
奈良の「エタ」高市応援の失敗から学べって
956:１３２人目の素数さん
21/10/01 12:35:40.46 CYUO54Yv.net
>>843
ここで問題無い
数学板は数学者だけが参加するものでは無い
数学愛好者ならOKだ
数学の議論は速報性にはそぐわず、ニュー速なんかはそれこそスレチだよ
排除の論理を振りかざすやつは5chに相応しくないね
あなたのことだ
間口が広いのが5chである
957:１３２人目の素数さん
21/10/01 12:51:21.68 zvhM5lJQ.net
>>869
>数学板は数学者だけが参加するものでは無い
>数学愛好者ならOKだ
然り 全く異論はない
>数学の議論は速報性にはそぐわず
然り 全く異論はない
だから、まだ認められてないことを
既に認められたとウソをつく
デマゴーグは排除すべき
>排除の論理を振りかざすやつは5chに相応しくないね
デマゴーグは人類にふさわしくない
君はデマゴーグか？
>間口が広いのが5chである
ウソツキをのさばらせるのが5ch？
変質者の開き直りだな
958:現代数学の系譜 雑談
21/10/01 12:52:00.77 9nXmqzo6.net
>>868
おサルさん、必死だな>>6-7
>＞IUTには、なにか21世紀の今の人が気付かないギャップがあるかもしれないし
>「あるかもしれない」ではなく「ある」
ロジック弱そう
1．”21世紀の今の人が気付かないギャップ”と前提を置いているでしょ？ｗ
例えば、以前挙げた「クロネッカー・ウェーバーの定理」みたく。ガウスの代数学の基本定理証明も同様
2．次に、そのギャップが証明を覆すか、修正可能かで場合分けできるよ
上記で言っているのは、”修正可能”前提ですよ
(参考>>784)
URLﾘﾝｸ(ja.wikipedia.org)
クロネッカー・ウェーバーの定理
歴史
定理は最初に Kronecker (1853) で述べられた。しかし、彼の議論は、次数が2のべきの拡大に対して不完全であった。 Weber (1886) が証明を出版したが、これはいくらかのギャップや誤りを含み、Neumann (1981) により指摘、修正されている。最初に完全な証明をしたのは Hilbert (1896) であった。
URLﾘﾝｸ(ja.wikipedia.org)
代数学の基本定理
1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[1]）。
(引用終り)
959:現代数学の系譜 雑談
21/10/01 12:53:56.78 9nXmqzo6.net
>>869
レスありがとうございます。
同意です
960:現代数学の系譜 雑談
21/10/01 13:08:33.10 9nXmqzo6.net
>>868
>君がやってることは贔屓の引き倒し
>奈良の「エタ」高市応援の失敗から学べって
重大な差別発言ですよ、あなたの発言は
また、皆から支持されないだろうね
論旨がむちゃくちゃ
”奈良の「エタ」高市”って、全くの根拠レスじゃん
（根拠があっても言ってはいけないのに）
あんたのIUTに対する「誹謗中傷、罵詈雑言」
と全く同じ構造です
レッテル貼って、決めつけて
”IUTはダメだ！”などと、決めつけて
「望月新一のIUTは日本数学の名誉を完全に汚してますけどね
この事実と向き合えない人は、数学語らないでほしい」>>865とは
なんという言い草でしょうね
単に、あなたのアンチ日本とアンチ日本人から来る、妄想じゃないですか？
おサルさん>>6-7、あなた、完全にこのスレで浮いていますよ
961:１３２人目の素数さん
21/10/01 15:44:34.59 zvhM5lJQ.net
>>871
数学を知りもせず知る意欲もなく
ただただ自慢したいだけの「変質者」は
他所行ってくれるかな？
>>873
>重大な差別発言ですよ、あなたの発言は
実際に何百年も差別を続けてきた奈良県人に比べたら
こんな当てこすりの一つや二つ全然大したことないな
君こそ「偽善者」そのもの
数学を理解せずに反数学的な嘘を垂れ流す「荒らし」は
他所行ってくれるかな？
962:１３２人目の素数さん
21/10/01 15:52:41.87 zvhM5lJQ.net
>>871
>「クロネッカー・ウェーバーの定理」みたく。
>ガウスの代数学の基本定理証明も
また中身がわかってない定理の名前だけわめいてるね
望月のＩＵＴが、フーリエの「任意関数の三角関数による級数展開」みたいな
革命的アイデアなら粗があっても評価されるが、今のところただのこじつけだな
963:現代数学の系譜 雑談
21/10/01 16:09:35.16 9nXmqzo6.net
>>874
>数学を知りもせず知る意欲もなく
おれに背乗り（せのり＝マウント）して、数学科に進学して落ちこぼれた不遇な自分の境遇の憂さ晴らしをしたいんだね。はい はい
おれは、自分がどれだけ数学を知っているかをこのスレで示す手段もないし、示すつもりもない
確かに、殆ど知っていないだろうが、はっきり言って、あなた＝おサル>>6-7と同程度じゃね？ｗｗｗ
あんたが、「お前は、こんなことを知らないだろう」と出してくるのは、殆ど初見ではない。深く理解しているかどうかは別としてね
「箱入り無数目」「可算無限重シングルトン」「コンパクト性定理と確率変数の無限族の独立の定義との関係」>>142
それに、IUTスレでの”実数の不等号＜を使った無限列の存在の議論”
全部あんたの負けじゃんかｗ
あんた、それらで負けてるのがまだ分からないのか？
それって、救いようがないぞｗｗ
>実際に何百年も差別を続けてきた奈良県人に比べたら
ロジック破綻しているよ
”奈良県人”の定義は？ いまどき、何百年来の奈良県人って、どれだけ居るの？
それに、時代が変わっているでしょ？
江戸時代は、士農工商の身分制だったが、21世紀の日本では、身分制は無いよ
”奈良の「エタ」高市”>>868とは、なんたる言い草かね？
そんなロジック破綻の頭じゃ、数学科で落ちこぼれるわさ
964:現代数学の系譜 雑談
21/10/01 16:21:50.02 9nXmqzo6.net
>>830 補足
>>URLﾘﾝｸ(mathsoc.jp)
>>望月拓郎氏の日本学士院賞受賞に寄せて IPMU 主任研究員 斎藤恭司 数学通信第１５巻第２号（２０１０年度）
>この中に、小林-Hitchin 対応 が出てきます
このHitchin先生関連で思い出すのが、ヒッチンファイバーが、Langlandsの基本補題の証明に使われた話（下記）
Hitchin先生って、すごく偉い先生なんだね
URLﾘﾝｸ(ja.wikipedia.org)
ヒッチン系
ヒッチンファイバー は、ヒッチンバンドルのペア（英語版）[2]のモジュライ空間から特性方程式(characteristic polynomial)への写像である。Ngo (2006, 2010)では、基本補題（英語版）(fundamental lemma)の証明に、有限体上のヒッチンファイバーを使った。
URLﾘﾝｸ(en.wikipedia.org)(Langlands_program)
Fundamental lemma (Langlands program)
The fundamental lemma was proved by Gerard Laumon and Ngo B?o Chau in the case of unitary groups and then by Ngo (2010) for general reductive groups, building on a series of important reductions made by Jean-Loup Waldspurger to the case of Lie algebras.
In 2010, Ngo was awarded the Fields medal for this proof.
URLﾘﾝｸ(en.wikipedia.org)
Nigel Hitchin
965:(引用終り) 以上
966:現代数学の系譜 雑談
21/10/01 19:17:40.91 9nXmqzo6.net
URLﾘﾝｸ(www.nippyo.co.jp)
日本評論社
類体論へ至る道 改訂新版
初等数論からの代数入門
発刊年月 2010.02
第13章 ヒルベルトの理論（下記の数学セミナー記事）
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 1979.4
連載 整数論からの代数入門
ヒルベルトの理論 足立恒雄 58
面白い文を見つけた
ここの冒頭、マチャセビッチのヒルベルト第10問題解決の
M.デービスの紹介論文1973で
「懸案の著名な問題が遂に解けたと聞いたとき、すべての数学者は自分も
証明を追ってその発見の喜びを分かち合いたい希うものである。しかしいざ
となると使われる現代数学の難解さ、深遠さに途方にくれることになるのが
おちである。近年マチャセビッチによって与えられたヒルベルトの第10問
題への否定的解決は幸せにもこれに対する一反例となった。」（拙訳）
との一文がある。
何が言いたいかというと、M.デービスの紹介論文1973年時点で
懸案の著名な問題が遂に解けたとき
すべての数学者は自分も
証明を追ってその発見の喜びを分かち合いたい希うも
現代数学の難解さ、深遠さに途方にくれることになるのがおち
なのだと
いま、2021年（IUT論文発表は、2012年）です
21世紀は、上記の傾向がさらに進んでいることでしょう
1973年時点から、さらに約50年分の現代数学の進歩を読まないと
いまどきの”懸案の著名な問題が遂に解けた”の証明を理解することは
簡単ではないのです
学部生や院生が、読めるように論文を書く必要は無いし、
最先端の論文に、それを求めるべきではないのです
以上
967:現代数学の系譜 雑談
21/10/01 20:34:47.14 9nXmqzo6.net
>>878
>M.デービスの紹介論文1973で
原文下記だね
Martin Davis氏も、ヒルベルト第10問題を研究していたみたい
(21世紀だね、うまく検索すれば、原文が見つかる)
(参考)
URLﾘﾝｸ(www.math.umd.edu)
Hilbert's Tenth Problem is Unsolvable Martin Davis
The American Mathematical Monthly, Vol. 80, No. 3 (1973), pp. 233-269
When a long outstanding problem is finally solved, every mathematician would
like to share in the pleasure of discovery by following for himself what has been
done. But too often he is stymied by the abstruiseness of so much of contemporary
mathematics. The recent negative solution to Hilbert's tenth problem given by
Matiyasevic (cf. [23], [24]) is a happy counterexample.
In this article, a complete
account of this solution is given; the only knowledge areader needs to follow the
argument isa little number theory: specifically basic information about divisibility
of positive integers and linear congruences. (The material in Chapter 1 and the
first three sections of Chapter 2 of [25] more than suffices.)
Hilbert's tenth problem is to give a computing algorithm which will tell of a
given polynomial Diophantinequation with integer coefficients whether or not it
has a solutioninintegers. Matiyasevic proved that
968:there is no such algorithm. https://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem Hilbert's tenth problem References ・Martin Davis, "Hilbert's Tenth Problem is Unsolvable," American Mathematical Monthly, vol.80(1973), pp. 233?269; https://en.wikipedia.org/wiki/Martin_Davis_(mathematician) Martin David Davis (born March 8, 1928) is an American mathematician, known for his work on Hilbert's tenth problem.[1][2] Contributions He is also known for his model of Post?Turing machines, and his work on Hilbert's tenth problem leading to the MRDP theorem. (引用終り)
969:１３２人目の素数さん
21/10/01 23:23:57.89 Kl8qj8Eg.net
>>852
君ですよ
970:１３２人目の素数さん
21/10/02 07:59:36.70 E8ylXORe.net
>>876
>「箱入り無数目」
>「可算無限重シングルトン」
>「コンパクト性定理と確率変数の無限族の独立の定義との関係」
>「実数の不等号＜を使った無限列の存在の議論」
>全部あんたの負けじゃんかｗ
これは酷い…
１．箱入り無数目
「決定番号は確率１で∞」とかほざいてる時点で
雑談 ◆yH25M02vWFhP ことSET Aの完敗
大体、non-conlomerableなのに
箱毎の条件付き確率の計算に固執するが🐎🦌
２．可算無限重シングルトン
{}から外側に無限個つけたら、最外の{}がないから集合ではない
{}から内側に無限個つけたら、最内の{}がないから基礎の公理に反する
そんな基本的なことすら分からない時点で
雑談 ◆yH25M02vWFhP ことSET Aの完敗
３．確率変数の無限族の独立の定義
そもそも、定義の「根拠」にコンパクト性定理を持ち出す時点で
定義と定理の区別もわからん🐎🦌
雑談 ◆yH25M02vWFhP ことSET Aの完敗
４．不等号＜を使った無限列の存在
２と同じだが、そもそも整礎性の定義が分かってない時点で
雑談 ◆yH25M02vWFhP ことSET Aの完敗
１と３は確率論、２と４は集合論として、
それぞれで１つづつアウト これで２アウト
で、雑談 ◆yH25M02vWFhP ことSET Aについては
・そもそも実数の定義が分かっておらず、
無闇に無限小を振り回す（実数論）
・そもそも正則行列の条件が分かっておらず、
正方行列（全体）の群とか言い出す（線型代数）
といった事例がみられるので、どっちか１つで３アウト
もうね、こんなヤツが、やれ
ガロアだグロタンディクだ
群論だ圏論だ
とわめいても笑われるだけだから
数学書で実数の定義と線型代数の基礎からやりなおせ
ああ、マセマ社の教科書じゃだめだぞ
971:１３２人目の素数さん
21/10/02 08:25:27.49 E8ylXORe.net
>>878
SET Aは日本語の文章も正しく読めないんだね（呆）
＞いざとなると使われる現代数学の難解さ、深遠さに
＞途方にくれることになるのがおちである。
＞近年マチャセビッチによって与えられた
＞ヒルベルトの第10問題への否定的解決は
＞幸せにもこれに対する一反例となった。
反例って書いてあるじゃんｗ
反例って言葉の意味知ってる？
知らないなら辞書引いてみｗ
ヒルベルトの第10問題の否定的解決は
そんなに難しい理論を使ってないってことだよｗ
（ちなみにゲーデルの不完全性定理による非決定性に帰結させてるが
そもそもゲーデルの不完全性定理も大して難しい理論は使ってないから
その意味でも上記の文は噓偽りはまったくない）
マチャセヴィッチは最後のギャップを
フィボナッチ数列を使って解決したのだが
そのアイデアにしても昨今の数論幾何のような難解さはない
972:現代数学の系譜 雑談
21/10/02 12:26:12.47 X8Zxjdm/.net
>>882
おれは、名前の議論はしない。だれか第三者に迷惑をかける可能性があるから
ところで、おサルは、流れが読めていないというか
必死に、背乗り（せのり＝マウント）したい気が先にたって、相変わらずのトンチンカンだね
(>>254 より引用）
>数学の論文読みの練習なんか学部の4回から始めるわ
>そして読める、もちろん読めなきゃいかん
(引用終り)
上記は、望月IUT論文が、専門家でも難しい、読めないというのに対し
学部の4回から「読める、もちろん読めなきゃいかん
973:」という意見だ これに対し、M.デービスの紹介論文1973(>>878)ですでに 「懸案の著名な問題が遂に解けたと聞いたとき、すべての数学者は自分も 証明を追ってその発見の喜びを分かち合いたい希うものである。しかしいざ となると使われる現代数学の難解さ、深遠さに途方にくれることになるのが おちである。」と引用して つまり1973年時点で上記の通りだし、ましてIUT論文の2012年時点では 上記傾向（現代数学の難解さ、深遠さに途方にくれる）に拍車がかかっているってこと を主張しているわけだよ なのに、”反例”に突っかかるバカがいる アホやな
974:１３２人目の素数さん
21/10/02 13:18:55.49 xMMBE8qM.net
数学で勝てない瀬田が学会事情へと誘導
975:１３２人目の素数さん
21/10/02 13:45:07.95 WuLaWzi9.net
言うてIUTスレで学会事情以外話すことなくない？
976:１３２人目の素数さん
21/10/02 13:51:03.33 tWmCJmdX.net
貰える年金額0
生活保護不受理
貯金0
運用財産0
贈与財産見込み家のみ
餓死、それがSetAに待ち受ける運命
977:現代数学の系譜 雑談
21/10/02 14:03:01.80 X8Zxjdm/.net
>>881
あらら、大人しく尻尾を巻いて、
負け犬を認めれば良いのにね
（>>876より）
”「箱入り無数目」「可算無限重シングルトン」「コンパクト性定理と確率変数の無限族の独立の定義との関係」>>142
それに、IUTスレでの”実数の不等号＜を使った無限列の存在の議論””
これらに共通していること、「おサルは無限が分かっていない！！」ということねｗｗ
・「実数の不等号＜を使った無限列の存在の議論」
ここから行こうか
おサルは、正則性公理(URLﾘﾝｸ(ja.wikipedia.org) )
の「∀xについて、無限下降列である x∋x_1∋x_2∋... は存在しない。」を誤解しているだけ
つまり、ノイマン構成の自然数 （ペアノの公理 URLﾘﾝｸ(ja.wikipedia.org) ）%E7%90%86
では、0∈1∈2∈・・と無限列になって
直ちに、0＜1＜2＜・・ と実数の不等号＜を使った無限列の存在が示せるが、これは正則性公理には反しない
数学科出身らしき人にボコボコにされていたね
・「可算無限重シングルトン」
次に、可算無限重シングルトンについては、極限を考えれば、存在はあきらか
1重シングルトン {Φ}
2重シングルトン {{Φ}}
3重シングルトン {{{Φ}}}
・
・
ｎ重シングルトン 略
・
・
（lim ｎ→∞ ）
ω重シングルトン 略
最外の{}と最内の{}が欲しけりゃ、 {・・{Φ}・・}とすればいいべ
所詮、無限大は人の思念の産物で、自然界には実在しないものだよ
可算無限ωなんて、そもそも極限順序数というように、極限を考えればいいべよｗ
（極限順序数 （任意の自然数よりも大きい最小の超限順序数 ω）URLﾘﾝｸ(ja.wikipedia.org) ）
つづく
978:現代数学の系譜 雑談
21/10/02 14:03:29.53 X8Zxjdm/.net
>>887
つづき
・「コンパクト性定理と確率変数の無限族の独立の定義との関係」
これは、下記時枝氏の記事で
”旧ガロアスレ35 ｽﾚﾘﾝｸ(math板:12-18番) 時枝問題（数学セミナー201511月号の記事）
時枝問題（数学セミナー201511月号の記事）
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される”
に、時枝先生が、”いちゃもん”付ける（(1)無限を直接扱うではなく、(2)有限の極限として間接に扱うだと）から
コンパクト性定理 （「一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理」） URLﾘﾝｸ(ja.wikipedia.org)
の 任意の有限部分→無限集合の性質 という規定振りと同じだから、
そこに文句を付けるのは間違だと言ったのです。当然でしょ？
・「箱入り無数目」
これは、一番簡単で
確率変数の無限族 X1,X2,・・で、iid(独立同分布)を仮定し
例えば、サイコロの目を箱に入れれば、どの箱も ∀i∈N P(Xi)=1/6
つまり、∃i∈N P(Xi)=99/100は、完全に否定される
だから、あとは、「なぜ当たらないのに当たるように見えるか？」
が、このパズルの肝です
それを、”∃i∈N P(Xi)=99/100”成立と思うのが”浅はかな おサル”ですね
以上
979:現代数学の系譜 雑談
21/10/02 14:21:04.46 X8Zxjdm/.net
>>885
＞言うてIUTスレで学会事情以外話すことなくない？
レスありがとうございます。
同意です
このスレの応援の意味は
「アンチに対して、ふつうに考えて、おかしいでしょ」と、正論をいうことです
で、ブライアンコンラッドやファルティングス師匠が「分からん」いうのを
おれが分かるのは、まだまだ先
（加藤文元本の次が出たら、それはネタになるかも）
だから、学会事情も
「論文は、学部生が読めるよう」とか
それに対する反論からです
あと、IUTの数学の中身に立ち入った話
そりゃ、素人談義はありとしても
プロ数学者レベルの議論は無理
実際、日本国内でも、RIMS以外の場所では、IUTの議論ないでしょ？
本来、日本国内で、「ABC予想」をテーマにした会とか、「IUTと類体論」みたいな会とか
そういう会があちこちで、開かれるのが本当と思うよ
ここには、
IUTの中身を語れるプロはいない
居ても、語らないし
語られても、みんなが分からないだろうよ
980:１３２人目の素数さん
21/10/02 14:39:59.89 tWmCJmdX.net
RIMS is the thriler, thriler night everyday. Who's bad?
981:１３２人目の素数さん
21/10/02 15:02:26.92 E8ylXORe.net
>>883
>”反例”に突っかかるバカがいる
そもそもM.デービスの紹介論文について
「現代数学の難解さ、深遠さに途方にくれる」
という俗説に対する否定である
「幸せにもこれに対する一反例となった。」
の箇所まで引用したSET Aが
「アホやな」
982:１３２人目の素数さん
21/10/02 15:24:43.49 E8ylXORe.net
>>887
SET Aクンの残念なところは
「自分の間違いに気づかずにいつまでも勝った勝ったと騒いで
他の読者全員から嘲笑され、大恥晒し続けること」
>(881は)正則性公理の
>「∀xについて、無限下降列である x∋x_1∋x_2∋... は存在しない。」
>を誤解しているだけ
>つまり、ノイマン構成の自然数 （ペアノの公理）
>0∈1∈2∈・・と無限列になって
>直ちに、0＜1＜2＜・・ と実数の不等号＜を使った無限列の存在が示せるが、
>これは正則性公理には反しない
0＜1＜2＜・・の一番右端は？ないよね？
そこが、SET Aのダメなところ
それじゃ意味ないじゃん
まず君のいう「シングルトン」ωから始めて
ω∋･･･∋2∋1∋0
となる無限列を示さなければ、意味がないよね？
わかってる？ボク
>・「可算無限重シングルトン」
>次に、可算無限重シングルトンについては、
>極限を考えれば、存在はあきらか
>1重シングルトン {Φ}
> ･･･
>ｎ重シングルトン 略
> ･･･
>（lim ｎ→∞ ）
>ω重シングルトン 略
定義ぬきで極限が自動的に構成できると思ってるSET Aクン
それじゃ大学１年の４月でおちこぼれるわけだね
>最外の{}と最内の{}が欲しけりゃ、 {・・{Φ}・・}とすればいいべ
はい、ダメ~
最外の｛｝を一個取っ払ったら、最外の{}が無くなるからダメ~
どうしてきみは、その場だけ言いつくろう誤魔化ししかできないのかな？
考える脳ミソがないのかな？
いままでも会社でおんなじ言い訳してその都度上司に同じこといわれただろ？
いわれるに決まってるじゃん！ただの誤魔化しなんだから！
他人が気づかないと思ってなめてんじゃねえぞｗｗｗ
>数学科出身らしき人にボコボコにされていたね
その「ラシキジン」がいったことも理解できてないんだね
無限上昇列をそのまま無限降下列とすることはできないよ
理由わかる？（ニヤニヤ）
983:１３２人目の素数さん
21/10/02 15:32:03.31 E8ylXORe.net
>>888
>「確率変数の無限族は，任意の有限部分族が独立のとき，独立」
>という定義は、コンパクト性定理
>（「一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、
> その集合の任意の有限部分集合がモデルを持つことが同値であるという定理」）
>の 任意の有限部分→無限集合の性質 という規定振りと同じだから、
>そこに文句を付けるのは間違だと言ったのです。当然でしょ？
いいや、全然ｗ
そもそもなんでコンパクト性定理が成り立つか、全然分かってないでしょｗ
コンパクトは万能の推論規則、だと誤解してない？
984:ノンコンパクトな集合に対してコンパクトの条件を前提したら 🐎🦌っていわれるよ
985:１３２人目の素数さん
21/10/02 15:37:39.36 WDXMe+qT.net
{{{…{{{}}}…}}}みたいな話？
986:１３２人目の素数さん
21/10/02 15:39:08.29 E8ylXORe.net
>>888
>「箱入り無数目」
>確率変数の無限族 X1,X2,・・で、iid(独立同分布)を仮定し
はい、アウト
箱入り無数目で確率変数の無限族なんて出て来ませ~ん
したがってiid(独立同分布)なんて出て来ませ~ん
>例えば、サイコロの目を箱に入れれば、どの箱も ∀i∈N P(Xi)=1/6
自分勝手な妄想を絶叫し続けられても困ります
警察呼びますよ
>つまり、∃i∈N P(Xi)=99/100は、完全に否定される
うん、否定していいよ
だって、箱入り無数目でそんなこと全然いってないもん
まず、無限個の箱について、代表元と中身が一致する箱は高々有限個です
（注：箱の中身は定数であって、確率変数となるものは一つもありません！）
で、その中からある方法で１００個だけ選び出した場合、
代表元と中身が違ってる箱はたかだか１個です
１００個から１個をランダムに選ぶ場合、
中身が違ってる箱を選んでしまう確率は？
１／１００ですよね？それだけですよ
この場合の確率変数は、箱の中身じゃなくて番号です
なんでこんな簡単なことが何年も理解できないのかな？
ちゃんと考えてる？もしかして考える脳ミソないの？
987:１３２人目の素数さん
21/10/02 15:43:06.05 dl2qY1ZS.net
猿石苦手な確率の話題に突っ込んで行くのか
そこはさらっとスルーしとけばいいのに
988:１３２人目の素数さん
21/10/02 15:43:58.46 tWmCJmdX.net
>>891
SetAは1レスでブーメラン型手榴弾で自爆する芸で有名
989:１３２人目の素数さん
21/10/02 15:45:37.92 E8ylXORe.net
>>894
>{{{…{{{}}}…}}}みたいな話？
SET Aは、上記の（｛｝が無限個ある）「図形」は集合だっていうんですが、
そんなことはいえませんよ、というのが私の主張です
つまり、以下の２つの場合のいずれかが生じます
１．{{{…{{{}}}…}}}から始まり延々とつづく無限∋列が存在する
２．{{{…{{{}}}…}}}から始まるいかなる∋列も
ある…{{{}}}…で止まり そこで終わる
（アトムなしの）集合だというのであれば、必ず
「{{{…{{{}}}…}}}から始まり{}で終わる(有限)列」
でなければなりませんが、そうならないので、ダメってことです
990:１３２人目の素数さん
21/10/02 15:48:29.79 E8ylXORe.net
>>896
ああ、SET Aは数学の全分野が苦手ですから
得意なのは詭弁強弁と厚顔無恥だけでしょｗ
タイプでいうとホリエモンとかひろゆきとかコムロＫみたいな感じ
口ばっか達者で中身はなんにもな~いって感じ
991:１３２人目の素数さん
21/10/02 15:51:04.65 E8ylXORe.net
>>897
今後、SET Aが「特攻」したら、この曲かけてあげてくださいね
URLﾘﾝｸ(www.youtube.com)
お国のために死ねて本望でしょう
992:１３２人目の素数さん
21/10/02 16:06:32.26 E8ylXORe.net
一つ提案
次のスレッドのタイトルは
【IUT理論の祖】望月新一を熱烈に支持するスレッド
にしていただけませんかね
・IUTスレッドと酷似したタイトルは避けてほしい
・IUTは理解できないけど、望月新一は日本人として支持する
「素人向けスレッド」であることを読者に対して明らかにしてほしい
という２点からですが
993:１３２人目の素数さん
21/10/02 16:10:51.48 E8ylXORe.net
もう一つ提案
もし、雑談 ◆yH25M02vWFhP が
１．>>901のタイトル案を受けいれる
２．Scholzeに対する誹謗中傷をやめる
という2条件をのむなら。私は後継スレッドに
書き込みはしないと約束してあげますが
如何ですか？
994:１３２人目の素数さん
21/10/02 16:12:16.74 EKm+0eUb.net
そもそもIUTを理論的に語りたい人居なさそうだし俺は合併でいい
995:と思うけど ろくに動いてないのに４スレは立ち過ぎでしょ
996:１３２人目の素数さん
21/10/02 16:14:37.53 E8ylXORe.net
さらに一つ提案
もし、雑談 ◆yH25M02vWFhP が
３．ＨＮおよびトリップの使用をやめる
４．コピペ書き込みを一切やめる
というさらなる2条件をのむなら、私は数学板において
SET A氏に関する書き込みを一切しないと約束してあげますが
如何ですか？
997:１３２人目の素数さん
21/10/02 16:17:19.13 E8ylXORe.net
>>903
彼はスレッド立てたい人なので、その提案は飲まないでしょう
ただ、合併案はまっとうな主張なので、その意見をくんで
「Inter universal geometryとABC予想」
とは異なる主旨であることが分かるタイトルに変更すること
というのは云っていいと思います
998:１３２人目の素数さん
21/10/02 16:20:48.15 E8ylXORe.net
雑談 ◆yH25M02vWFhP に対する４条件の提示
１．後継スレッドタイトルを
【IUT理論の祖】望月新一を熱烈に支持するスレッド
等、「Inter universal geometryとABC予想」とは
異なる主旨であることが明らかなものとすること
２．Scholzeに対する誹謗中傷をやめること
３．ＨＮおよびトリップの使用をやめること
４．コピペ書き込みを一切やめること
以上の条件を受け入れるならば、
私は数学板において 雑談 ◆yH25M02vWFhP に対する
一切の書き込みをやめることとする
どうだ？
999:１３２人目の素数さん
21/10/02 16:24:41.61 E8ylXORe.net
>>906 追加
雑談 ◆yH25M02vWFhP に対する４条件の提示
１．後継スレッドタイトルを
【IUT理論の祖】望月新一を熱烈に支持するスレッド
等、「Inter universal geometryとABC予想」とは
異なる主旨であることが明らかなものとすること
２．Scholzeに対する誹謗中傷をやめること
３．ＨＮおよびトリップの使用をやめること
（「スレ主です」等のアピールもやめること）
４．コピペ書き込みを一切やめること
以上の条件を受け入れるならば、
私は数学板において 雑談 ◆yH25M02vWFhP に対する
一切の書き込みをやめることとする
どうだ？
1000:１３２人目の素数さん
21/10/02 16:27:23.33 IuHv8MzU.net
IUTを理論的に語りたい人が居なさそうな以上IUTスレという名のスレが
IUT界隈話で埋まったとしてもそんな乖離してるとも思わんけどな
1001:１３２人目の素数さん
21/10/02 16:29:59.79 E8ylXORe.net
要するにただの名無しが
「もっちー、Scholzeにガツンといいかえしてやって！ 期待してます」
とだけ書く分には容認しますよってこと
それ以外の鬱陶しいコピペで
「ボクちゃん、数学の１から１０までわかってるんです」
アピールは不快だから一切やめてくれってこと
コピペなんかさブログでやりなよ
掲示板で他人様に見せるもんじゃないって
1002:１３２人目の素数さん
21/10/02 16:32:33.04 E8ylXORe.net
>>908
タイトルにIUTの文字を入れるなとまではいってない
ただ、IUTのスレではなく「望月新一ファンの集いスレ」ｗ
と主旨の違いを明確に示せってことです
1003:１３２人目の素数さん
21/10/02 16:33:02.92 IuHv8MzU.net
その辺も単にスレ覗かなきゃいいんじゃねとしか思わんけどな…
1004:１３２人目の素数さん
21/10/02 16:34:07.21 E8ylXORe.net
>>911
それをいっちゃあおしめぇよｗ
1005:１３２人目の素数さん
21/10/02 16:34:18.43 IuHv8MzU.net
>>910
別にファンもファンでない奴も好きに書き込めばよくね
1006:１３２人目の素数さん
21/10/02 16:38:49.82 E8ylXORe.net
>>913
そこも規制してませんよｗ
実は４条件のウェイトは
１＜２＜３＜４
です
とにかくわけのわからんコピペは目障りで不快だからやめてほしい
それをなんか中二病的な粋がったＨＮでドヤ顔で書くのもやめてほしい
素人はおとなしく「これわからんから教えて」といってればいい
だって実際にわからんのだろ？教えてほしいんだろ？
だったら下手に出る以外ないじゃん
なんで上から目線で語るの？馬鹿なの？
ってことですよ
あと、応援はいいけど、邪魔なヤツを「藁人形」とかいって
誹謗中傷するのも炎上するだけだからやめとけってことですよ
素人がフィールズメダリスト相手に何ムキになってんだ
ってことですよ
1007:１３２人目の素数さん
21/10/02 16:44:02.73 E8ylXORe.net
雑談 ◆yH25M02vWFhP についていえば
ガロア理論のスレッドを立ててた１０年前から
つねに上から目線なんですよ
どうみてもガロア理論が理解できなくて
教えてほしい雰囲気がプンプンしてたのに
一度だって「わからんから教えて」という
コメントがないのがおかしい
そもそも何がどうわからんのかすらわかってないのかもしれないが
ガロア理論をどういうものだと思っていて
ガロア理論を知ることでいったい何がしたいのかも分からない
ガロア理論は、例えばフーリエ解析とは違うのよ
解析関係で例えるならルベーグ積分の理論ですかね
工学部の人がルベーグ積分について知ったところで
フーリエ解析みたいに今日から即、役に立ちます
ってことにはならんでしょ そういうものなのよ
理学部、とくに数学科の学問っていうものは
1008:１３２人目の素数さん
21/10/02 16:50:06.94 E8ylXORe.net
率直にいうと、工学部のニーズからいったら
ガロア理論より数値解析について知ったほうが
遥かに役に立つのよ マジで
で、理学部数学科の人間としては、
そのことに対して何も文句をいうつもりもないし
蔑んだりもしてないのよ
頭を使うことが高尚だとかいうのは、誤解なのよ
雑談 ◆yH25M02vWFhP が残念なのは
工学屋のくせに、そういうことがわかってない点なのよ
1009:１３２人目の素数さん
21/10/02 16:50:52.19 E8ylXORe.net
ということで 改めて
雑談 ◆yH25M02vWFhP に対する４条件の提示
１．後継スレッドタイトルを
【IUT理論の祖】望月新一を熱烈に支持するスレッド
等、「Inter universal geometryとABC予想」とは
異なる主旨であることが明らかなものとすること
２．Scholzeに対する誹謗中傷をやめること
３．ＨＮおよびトリップの使用をやめること
（「スレ主です」等のアピールもやめること）
４．コピペ書き込みを一切やめること
以上の条件を受け入れるならば、
私は数学板において 雑談 ◆yH25M02vWFhP に対する
一切の書き込みをやめることとする
どうだ？
1010:１３２人目の素数さん
21/10/02 16:57:55.25 tWmCJmdX.net
人権剥奪されたら排泄物量産型燃えるゴミでしかないSetAに未来は無い。「働かざる者食うべからず」は憲法｡
1011:１３２人目の素数さん
21/10/02 17:02:36.00 LYEicoCK.net
10年前てｗｗｗ
そんな長い付き合いなのかよ
もう結婚しろよｗ
1012:１３２人目の素数さん
21/10/02 17:10:28.17 E8ylXORe.net
>>918
いやいや、そもそも彼は粋がってコピペしてるけど
実際には誰も「こいつデキるな」っておもってないじゃん
只のアホだとおもってるじゃん 恥かいてるだけじゃん
ＨＮ＆トリップやめて、コピペやめてなんか損することある？ないよ
むしろ得するじゃん 「彼もやっと真人間になったんだな」って思うじゃん
なんで、自ら💩塗れになりたがるのかなあ
もしかして💩がスバラシイものだと思ってる？
それ、ヤバいよ 目覚ませよ
お前が塗りたくってるの💩だって気づけよ
1013:１３２人目の素数さん
21/10/02 17:30:47.10 d/3ptACh.net
正直数学能力は猿石も五十歩百歩でしょ
1014:現代数学の系譜 雑談
21/10/02 17:41:56.68 X8Zxjdm/.net
>>921
>正直数学能力は猿石も五十歩百歩でしょ
かなり同意。よく見ていますねｗ
>>919
> 10年前てｗｗｗ
>そんな長い付き合いなのかよ
>もう結婚しろよｗ
無理です
おサルが、勝手に、こちらにストーカーしているだけ
のしつけて、お返し、お断りですｗ
1015:現代数学の系譜 雑談
21/10/02 17:58:52.63 X8Zxjdm/.net
>>898
>SET Aは、上記の（｛｝が無限個ある）「図形」は集合だっていうんですが、
図形としても理解できると
多角的視点で述べただけだよ
基本は lim n→∞ 最小の超限順序数 ω>>887 に対応するシングルトンが存在すると考える方が、数学的に整合するって話よ
>（アトムなしの）集合だというのであれば、必ず
>「{{{…{{{}}}…}}}から始まり{}で終わる(有限)列」
>でなければなりませんが、そうならないので、ダメってことです
まあ、そういう議論も否定はしないが、それに限らないと思うよ
つまり、lim n→∞ 最小の超限順序数 ω>>887 に対応するシングルトンが存在すると考えて
{{{…{{{}}}…}}}にどういう性質を許すか？別の言葉で、{{{…{{{}}}…}}}をどう定義するべきかということ
つまり、超限順序数 ωには前者が存在しない
だから、{{{…{{{}}}…}}}にも前者は、存在しなくて良い。だから、カッコ{}を一つ減じるという行為は禁止で良いと思うよ
それから、「{{{…{{{}}}…}}}の元は何か？」という問題もあるけど、それも有限の集合のように元を具体的に記載する必要はない
例えば、実数Ｒ注の代数的数の集合Ａは、具体的に元は列記できないよね
と同様に、{{{…{{{}}}…}}}については、超限順序数 ωに相当するシングルトンの存在を認める方が
数学的にはすっきりだよ
あたかも、射影で無限遠を認めるが如しだ
1016:１３２人目の素数さん
21/10/02 18:16:16.62 xMMBE8qM.net
>>887
>x∋x_1∋x_2∋...
と
>0∈1∈2∈・・
の違いも分からないアホザルは口を閉じましょう
アホに口きく権利はありません
1017:１３２人目の素数さん
21/10/02 18:31:09.59 xMMBE8qM.net
>>923
>それから、「{{{…{{{}}}…}}}の元は何か？」という問題もあるけど、
それn重シングルトンだよね
元はn-1重シングルトン一つのみだから有限集合ね
>それも有限の集合のように元を具体的に記載する必要はない
記載�
1018:ﾌ要否はともかく定かでなければ集合とは呼べない。 おまえ無限重シングルトンとやらの元が何か答えられんやん。
1019:１３２人目の素数さん
21/10/02 18:33:34.93 E8ylXORe.net
>>923
>基本は
> lim n→∞ 最小の超限順序数に対応するシングルトンが存在する
>と考える方が、数学的に整合する
>つまり、
> lim n→∞ 最小の超限順序数 ω に対応するシングルトンが存在すると考えて
> {{{…{{{}}}…}}}にどういう性質を許すか？
> {{{…{{{}}}…}}}をどう定義するべきかということ
もしかして、
ZFCは数学的に整合しないから
ZFCを否定して新しい集合論をつくればいい、
といってる？ｗ
数学的に整合するかどうか決めるのは素人の貴様じゃない
貴様が俺様集合論を作るのは貴様の随意だが、
俺たちは貴様の奴隷じゃないから貴様の俺様集合論など使わない
1020:１３２人目の素数さん
21/10/02 18:59:33.47 E8ylXORe.net
>>923
>超限順序数 ωには前者が存在しない
>だから、{{{…{{{}}}…}}}にも前者は、存在しなくて良い。
>だから、カッコ{}を一つ減じるという行為は禁止で良いと思うよ
自分が何を云ってるか分かってる？
ω＝･･･{{{}}}･･･は集合でなくてもよい、っていってるのと同じだよ？
1={{}}はシングルトン
2＝{{{}}}もシングルトン
・・・
だからωもシングルトンであるのが数学的整合性！
っていいたいらしいけど、それ素人の勝手な妄想だって
しかも･･･{{{}}}･･･は集合ですらないなら、
シングルトン（つまり、唯一の要素をもつ集合）じゃないじゃんｗ
1021:１３２人目の素数さん
21/10/02 19:04:26.12 E8ylXORe.net
>>923
>「{{{…{{{}}}…}}}の元は何か？」という問題もあるけど、
>それも有限の集合のように元を具体的に記載する必要はない
>例えば、実数Ｒ中の代数的数の集合Ａは、具体的に元は列記できないよね
ん？例えば√２∈Aだがｗ
そもそも･･･{{{}}}･･･が、シングルトン、つまり、唯一の要素を持つ集合、
だといってるのに、貴様はその唯一の要素が書けないじゃん
つまり、貴様、ウソつきじゃん 全然数学的に不整合じゃんｗ
だから、もう、貴様はＨＮ＆トリップで
分かった風な顔して、基礎的な誤りをわめき続ける
●違いカキコやめなっていってんじゃん 恥晒しだよ
1022:１３２人目の素数さん
21/10/02 19:07:41.36 E8ylXORe.net
>>923
>{{{…{{{}}}…}}}については、
>超限順序数 ωに相当するシングルトンの存在を認める方が
>数学的にはすっきりだよ
>あたかも、射影で無限遠を認めるが如しだ
全然トンチンカンな喩えを持ち出すあたり完全に発狂してるな
あんたなにも考えないからすっきりと🐎🦌になれるんだよ
考えたくないんなら数学なんか金輪際手をだすなよ
あんたみたいなアルツハイマーには無理だよ
恥晒す前に数学板への書き込みやめな
少なくともＨＮ＆トリップはやめな
あとコピペもやめな あれ最高に恥ずかしいから
ま~た🐎🦌が粋がってる、って嗤われるだけだから
1023:１３２人目の素数さん
21/10/02 19:14:16.35 E8ylXORe.net
>>925
>おまえ無限重シングルトンとやらの元が何か答えられんやん。
雑談 ◆yH25M02vWFhP は言葉の定義を全く確認しないようです
「シングルトン」とは「唯一の要素をもつ集合」だということも知らないようです
{{}},{{{}}},…のようにカッコが重なりあった「図形」が
彼のいう「シングルトン」のようです
だから、…{{{}}･･･は集合じゃなくても「シングルトン」のようです
まあ、仮にシングルトンじゃないと認めたとしても今度はこういうんでしょう
「じゃあ超シングルトンだ！ δ関数を超関数というが如し！」
彼は自分が完璧な数学的直感をもっていると自惚れているので
自分の直感が間違っているなどとは全く考えないのでしょう
というより数学は自分の直感を研究する学問だとでも思ってるんでしょう
最高の自閉的な自己愛ですね キモチワルさの極限・・・
1024:１３２人目の素数さん
21/10/02 21:15:12.83 tWmCJmdX.net
つくづく文系思考だなSetAは
理学的一様解釈ではなく文学的多様解釈で自らの誤解を正当化しようとする様な非論理的で情緒優先思考だな
1025:現代数学の系譜 雑談
21/10/02 21:23:31.45 X8Zxjdm/.net
次スレ立てた（番号復活ｗ）
このスレはもうすぐ終わるので
使い切ったら、次へ
Inter-universal geometry と ABC予想 (応援スレ) 60
ｽﾚﾘﾝｸ(math板)
1026:現代数学の系譜 雑談
21/10/02 21:46:35.47 X8Zxjdm/.net
>>930-931
いやいや
数学というのは、新概念の導入史でもあるのですよ
昔々エジプトからメソポタミア、離れて、インドなどで、数学が始まったそうな
最初は自然数から始まった。そして分数へ。インド0の発見
1027: そして、小数へ。負数が発明されて、数を未知数とする方程式へ 関数から、デカルトの座標から解析幾何、そしてニュートンの微積 オイラー・ガウスの複素数及び複素関数 いろいろあって、21世紀の現代数学になった あたまを柔らかくして 新概念を導入するのが、数学の王道です (参考) https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%8F%B2 数学史 2 原始時代から古代の数学的概念 2.1 数の概念、計数 2.2 算術、幾何学の始まり 2.3 法則性の発見 https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E3%81%AE%E5%B9%B4%E8%A1%A8 数学の年表 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2010summer_1Kawasaki.pdf 海城 2010 夏期リレー講座初日 数学史リレー講座 （数学者年表と古代の数学編） 川崎真澄 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2010summer_5Miyazaki.pdf 海城 2010 年度 夏期講習, 8 月だよ! 数学科全員集合!! (数学史編)19世紀の数学 -カントルと集合論 https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2010summer_6Hirayama.pdf 海城 8月だよ!数学科全員集合! (数学史編) 高木貞治(日本)
1028:Mara Papiyas
21/10/03 06:47:59.94 z3zwlfJp.net
ならば致し方ない
Mara Papiyas 全面復活！！！
数学の初歩で、雑談 ◆yH25M02vWFhPを焼き尽くすｗｗｗ
1029:Mara Papiyas
21/10/03 06:51:32.29 z3zwlfJp.net
>>933
>数学というのは、新概念の導入史でもあるのですよ
なに開き直ってんだ？この🐎🦌ｗｗｗ
要するに貴様のいう”無限シングルトン” ω=･･･{{{}}}･･･ が
シングルトンどころか集合ですらなかった、と認めたわけだなｗｗｗ
で、名前は、超シングルトンか？ 超集合か？ｗｗｗｗｗｗｗ
1030:Mara Papiyas
21/10/03 06:55:03.58 z3zwlfJp.net
>>933
>あたまを柔らかくして、新概念を導入するのが、数学の王道です
脳軟化症か？ｗ
URLﾘﾝｸ(kotobank.jp)
脳軟化症
のうなんかしょう
脳の血液循環路の一部がなんらかの理由で途絶して
脳の実質組織の一部が壊死に陥り，軟化する状態。
脳梗塞と同義語。脳卒中を起こす疾患の一つ。
血行の途絶する原因としては，塞栓と血栓がある。
塞栓性脳軟化症は，心臓弁膜症や大動脈瘤で生じた血栓の一部が脳動脈に流れて起こるもので，
脳動脈の変化は関係がないため，若い人にも起こる。
血栓性脳軟化症は脳動脈硬化症などに起因するため，一般に老人に多い。
脳圧の亢進は起こらず，脳出血のように全意識が混濁することもほとんどない。
1031:現代数学の系譜 雑談
21/10/03 07:36:29.37 gtH9cx8i.net
>>934
おサル笑えるよ
あんた、ここ半年くらいIUTの数学について語っていないぞｗ
IUTについて、新情報を提供するでもないし
というか、もともと語れないんでしょ？
ただただ、他人に背乗り（せのり＝マウント）したい
したいというカキコのみ
みんなに、見透かされているよねｗｗ
1032:Mara Papiyas
21/10/03 07:45:36.44 z3zwlfJp.net
>>937
>おサル笑えるよ
おサル？それはお前のあだ名だろｗ
俺の名前は、第六天魔王 Mara Papiyas ◆y7fKJ8VsjM だ 覚えとけｗ
そういう 雑談 ◆yH25M02vWFhP ことSET Aこそ泣けるよ くぅ～
>あんた、ここ半年くらいIUTの数学について語っていないぞｗ
>IUTについて、新情報を提供するでもないし
>というか、もともと語れないんでしょ？
そういうSET AはIUT以前にそもそもタイヒミュラーがわかってませんからぁｗ
大
1033:体実数論も分かってないヤツに、実解析も複素解析も分かるわけないだろ SET Aは陰関数定理もグリーンの定理も全然理解できてないだろｗ >ただただ、他人に背乗り（せのり＝マウント）したいしたいというカキコのみ >みんなに、見透かされているよねｗｗ マウントしたがってるのはおサルさんのSET A、貴様だよｗ 「背乗り」という言葉はマウントの意味ではない いい加減覚えろｗ
1034:Mara Papiyas
21/10/03 07:48:11.73 z3zwlfJp.net
P.S.
IUTのIU(inter-universal)は大袈裟
実態はMT（望月＝タイヒミュラー）理論だな
1035:Mara Papiyas
21/10/03 07:52:24.80 z3zwlfJp.net
背乗り
URLﾘﾝｸ(ja.wikipedia.org)
「背乗り（はいのり）とは、
工作員や犯罪者などが正体を隠すために、
実在する赤の他人の身分・戸籍を乗っ取って、
その人物に成りすます行為を指す警察用語。」
一説によると、朝鮮北部出身のキム某が
関西某県に本籍をもつセタ某の戸籍を乗っ取った
ともいわれている や・れ・や・れ
1036:Mara Papiyas
21/10/03 07:54:27.63 z3zwlfJp.net
ということで、おサルさんの雑談君の祖国の歌でも流すかｗ
URLﾘﾝｸ(www.youtube.com)
1037:Mara Papiyas
21/10/03 08:01:45.67 z3zwlfJp.net
>>933
>最初は自然数から始まった。そして分数へ。0の発見
>そして、小数へ。負数が発明されて、・・・複素数
実数がないな 小数＝実数、のつもりかな？ さすが工学部ｗ
数学＝数の学問、と思ってるおサルさんにお勧めの本
数は生きている
URLﾘﾝｸ(www.iwanami.co.jp)
これ、自分が初めて読んだ数学の本だな 小学生の頃
対象年齢は中学生だったんだな そういえば文中に出てくるの中学生だしｗ
1038:Mara Papiyas
21/10/03 08:12:05.25 z3zwlfJp.net
自然数→整数
↓ ↓
分数☆→有理数
↓ ↓
小数★→実数
│ ↓
└─→複素数
☆非負の有理数を表す
★非負の実数 を表す
複素数は、
ａ＋ｂｉ（ａ，ｂは実数、ｉは二乗すると－１となる元）
と表せるが
ｒθ（ｒは非負の実数、θはU(1)=S^1の元）
とも表せる
1039:現代数学の系譜 雑談
21/10/03 09:20:01.53 gtH9cx8i.net
>>923 補足
＞基本は lim n→∞ 最小の超限順序数 ω>>887 に対応するシングルトンが存在すると考える方が、数学的に整合するって話よ
1．歴史の順では、ロツェルメロがシングルトンによる自然数の構成を考えて、批判されて、ノイマンが別の構成を考えた
2．21世紀の我々の立場は、歴史とは別に、再度シングルトンと、自然数及び超限順序数 ωとの対応を考えてみようということ
つまり、ノイマン構成で、超限順序数 ωとか全部整備された上で、シングルトンωを考えてみようということ
3．そうすると、上記のように、 lim n→∞ のシングルトンが考えられるよね
4．では、lim n→∞ のシングルトンとは、何者か？
{{{…{{{}}}…}}}にどういう性質を許すべきか？ 別の言葉で、{{{…{{{}}}…}}}をどう考えるべきかということ>>923
5．それは、いろんな考えがあると思うよ
例えば、ω＝{{{…{{{}}}…}}}の外のカッコを外せば、またω＝{{{…{{{}}}…}}}だと考えるのが一つ
（この場合は正則性公理とぶつかるから（ω∈ω）、正則性公理外の存在になるけど）
6．だが、順序数の演算（下記）では、差は、定義されていないよね
つまり、ω-1のような”外のカッコを外す”操作は定義されない。だから、上記は、絶対ではないよね。一つの考えではあるが
7．数学では、ある概念が、一つの公理系の中で矛盾を生じなければ、その概念は存在しうる
その概念は、公理から証明できるか、あるいは公理から独立かの違いはあるだろうが。シングルトンωに同じ
つづく
1040:現代数学の系譜 雑談
21/10/03 09:20:40.89 gtH9cx8i.net
>>944
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
順序数
目�
1041:� 6 順序数の演算 6.1 和 6.2 積 6.3 冪 ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。順序数の大小関係に関して次が成り立つ：略 https://en.wikipedia.org/wiki/Ordinal_arithmetic Ordinal arithmetic Contents 1 Addition 2 Multiplication 3 Exponentiation 4 Cantor normal form 5 Factorization into primes 6 Large countable ordinals 7 Natural operations 8 Nimber arithmetic https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 正則性公理 WF公理系内で通常の数学を展開できることが知られている。実際、x={x}のような集合が存在するか否かはZF公理系の中では導けない独立な命題だが、通常の数学を展開する場合にはこのような集合が現れることはない。その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではないが、ある命題がZF公理系と独立であることを証明する際にその効果を発揮することがある。 (引用終り) 以上
1042:Mara Papiyas
21/10/03 09:59:22.00 z3zwlfJp.net
>>944
なんで 雑談 ◆yH25M02vWFhP シングルトンにこだわってんの？ わけわかんねｗ
そもそも、lim n→∞ を定義できない時点でダメダメｗ
ノイマンのように∪ｎとして定義するなら、必然的に無限集合
>数学では、ある概念が、一つの公理系の中で矛盾を生じなければ、
>その概念は存在しうる
シングルトンだったら、その唯一の要素は「前者」なのだから
シングルトンは後続順序数である
つまり「シングルトン」と「前者がない」という性質は矛盾するｗ
まず、そこに気づけない時点でダメダメｗ
1043:現代数学の系譜 雑談
21/10/03 10:33:51.40 gtH9cx8i.net
>>896
>猿石苦手な確率の話題に突っ込んで行くのか
>そこはさらっとスルーしとけばいいのに
レスありがとうございます。
同意ですね
「箱入り無数目」>>888は、結局は、確率空間 (Ω,F,P)が、正当化されないので、決定番号による確率は、測度論的に正当化されない
これに尽きるかも（ここ、旧ガロアスレに確率論の専門家さんが来訪して、指摘していきましたが）
スレチですが、少しだけ
下記の確率空間 (Ω,F,P)で、「箱入り無数目」では
全事象Ω＝R^N （無限次元のユークリッド空間）、
FはR^Nの1点で、無限次元ベクトル（つまり可算無限長数列）
無限次元ベクトルFから、何かの手段（例えば時枝）で、決定番号ｎ∈Nを決める
つまり、関数ｆ：R^N→N が存在する
では、この関数ｆから、確率測度Pが与えられるのか？
無理でしょ！ｗ
そもそも、「F は Ω の部分集合族（σ -加法族）」ってところでとん挫
FはR^Nの1点だから、1点は測度0。測度0のσ -加法族なら、その測度は0
よって、「P(Ω)=1」が不成立
（∵Ω＝R^Nだから本来P(Ω)=∞。1点測度0のσ -加法族なら、P(Ω)=0。どちらもP(Ω)≠1）
これが、時枝さんが当たるように見えて、当たらない理由です
なお、上記はヴィタリの非可測とは異なります
”本来P(Ω)=∞”なので、発散している（非正則分布）ってことですね
つづく
1044:現代数学の系譜 雑談
21/10/03 10:34:17.38 gtH9cx8i.net
>>947
つづき
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語 レベル:大学数学その2 アクチュアリー
確率空間の定義と具体例（サイコロ，コイン）2021/03/07
確率空間とは
確率空間とは (Ω,F,P) の三つ組のことを言います。
ただし，
・Ω は集合
・F は Ω の部分集合族（σ -加法族）
・P は F から実数への非負関数（確率測度）
これだけだとよく分からないと思うので，以下で一つずつ解説
1045:していきます。 とりあえず「測度論的確率論では，確率を議論するときには確率空間というものの上で考える。そして，確率空間は3つの物のセットのことを表す」と覚えて下さい。 標本空間 Ω 略 事象の集合 F 略 確率測度P 確率測度とは F の元（測れる集合，事象）を入れたら 0 以上 1 以下の値を返してくれる関数」（で以下の1，2を満たすもの）のことです。 「確率」なので，以下の二つを満たすことが要請されます。 1．P(Ω)=1 2．（可算加法性）： Ai ∈F で各 Ai たちが共通部分を持たないなら， P(∪i=1～∞ Ai )= 琶=1～∞ P(Ai ) 意味は， 1．全事象の確率は 1 2．互いに排反なら「どれか一つでも起きる確率」は各々の確率の和 つづく
1046:現代数学の系譜 雑談
21/10/03 10:34:37.06 gtH9cx8i.net
>>948
つづき
URLﾘﾝｸ(en.wikipedia.org)
Probability space
In probability theory, a probability space or a probability triple (Ω,F,P) is a mathematical construct that provides a formal model of a random process or "experiment". For example, one can define a probability space which models the throwing of a die.
A probability space consists of three elements:[1][2]
1．A sample space, Ω , which is the set of all possible outcomes.
2．An event space, which is a set of events F, an event being a set of outcomes in the sample space.
3．A probability function, which assigns each event in the event space a probability, which is a number between 0 and 1.
URLﾘﾝｸ(ja.wikipedia.org)
確率空間
（あまり良い説明ではないが、参考にはなるだろう）
URLﾘﾝｸ(ai-trend.jp)
2020/04/14
非正則事前分布とは？?完全なる無情報事前分布?
ライター：y0he1
非正則分布は確率分布ではない！？
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
(引用終り)
以上
1047:現代数学の系譜 雑談
21/10/03 10:49:38.72 gtH9cx8i.net
>>946
>なんで 雑談 ◆yH25M02vWFhP シングルトンにこだわってんの？ わけわかんねｗ
統合失調症による記憶力低下か？
可算多重無限シングルトンの話は、時枝の可算無限列のしっぽの同値類を論じる過程で出てきたろう
細かいことは忘れたがね。「おサル、また間違えた」と、攻撃ネタに使わせて貰っているんだよｗ
忘れたのだろうがｗｗ
>そもそも、lim n→∞ を定義できない時点でダメダメｗ
>ノイマンのように∪ｎとして定義するなら、必然的に無限集合
nは、単に添え字集合だから
そこは、関係ないよｗ
lim n→∞は、添え字集合と、極限を考えたい集合との関係で決まるよ
(参考)
URLﾘﾝｸ(hidamarikokoro.jp)
クリニックブログ
2017.01.18
統合失調症が知能や記憶力にも影響する？
URLﾘﾝｸ(ja.wikipedia.org)
添字集合
1048:Mara Papiyas
21/10/03 11:39:49.42 z3zwlfJp.net
>lim n→∞は、添え字集合と、極限を考えたい集合との関係で決まるよ
決まらんよ 🐎🦌
1049:Mara Papiyas
21/10/03 11:42:34.60 z3zwlfJp.net
>>945
雑談 ◆yH25M02vWFhP わけもわからずコピペで誤魔化す
「ツェルメロのω=･･･{{{}}}･･･は、
シングルトンどころか集合でもない、新しい存在！」
と認めたとして、シングルトンとの比較はどうすんの？
つまり
･･･{{{}}}･･･＞{}
･･･{{{}}}･･･＞{{}}
･･･{{{}}}･･･＞{{{}}}
1050: をどうやって示すつもり？ｗ もしかして、なんもかんがえてなかった？ 🐎🦌だねぇ （「男はつらいよ」のおいちゃんのつもりで云ってみてｗｗｗ）
1051:Mara Papiyas
21/10/03 11:46:34.80 z3zwlfJp.net
>>947
>無限次元ベクトルFから、何かの手段(※)で、決定番号ｎ∈Nを決める
>つまり、関数ｆ：R^N→N が存在する
>では、この関数ｆから、確率測度Pが与えられるのか？
>無理でしょ！
(※) 「何かの手段」ではなく「選択関数による代表元の選択」
選択公理が全然分かってない🐎🦌だねえｗｗｗ
さて、「箱入り無数目」では
無限個の箱の中身は確率変数じゃないから、
上記の関数ｆはまったく必要ないよ
知らなかった？🐎🦌🐒の雑談 ◆yH25M02vWFhP こと SET A
1052:１３２人目の素数さん
21/10/03 12:35:04.99 dHNATHr2.net
>>947
>下記の確率空間 (Ω,F,P)で、「箱入り無数目」では
>全事象Ω＝R^N （無限次元のユークリッド空間）、
大間違い。
記事原文の記述「さて， 1～100 のいずれかをランダムに選ぶ. 」
から容易に分かる通り Ω={1,2,…,100}
記事原文の記述
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にnを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる. 」
から分かる通り、出題者がある s∈R^N を固定した後に回答者のターンとなるため
>全事象Ω＝R^N （無限次元のユークリッド空間）、
とはなり得ない。
>「箱入り無数目」>>888は、結局は、確率空間 (Ω,F,P)が、正当化されないので、決定番号による確率は、測度論的に正当化されない
測度論の問題ではなく国語（文章読解）の問題。
数学の前に国語を勉強し直した方が良い。
1053:現代数学の系譜 雑談
21/10/03 13:08:34.12 gtH9cx8i.net
>>954
>から分かる通り、出題者がある s∈R^N を固定した後に回答者のターンとなるため
>>全事象Ω＝R^N （無限次元のユークリッド空間）、
>とはなり得ない。
じゃないよね
その話だと、R^Nの全ての同値類を作る必要はないよね
（実際、やり方によっては＊）（下記）、R^Nの全ての同値類を作る必要はないけどね）
実際、時枝記事の中では、R^Nの全ての同値類を作るとなっているよ
それが一番簡単だからね
つまりは、
1．問題を出された時点では、回答者から見て、全事象Ω＝R^Nです
2．下記のように、99列の箱を開けてM+1以降の箱も開けると、未開封の箱は有限M個、つまりR^Mです
3．しかし、さらに1～M-1まで開けて、残り1個つまりR^1となっても、未知の一つの実数をピンポイントで的中の確率はP＝0でしかないのです！
注＊）上記の”やり方”とは
1）問題の数列が与えられて
2）100列に分けて
3）ある1列を選んで
4）残り99列の箱を開けて、99列も同値類（99のみ）を知る
5）代表は、全くの第三者に選ばせる。 あるいは、おみくじのようにガラガラポンで作為が入らない方法にすれば良い
6）決定番号の最大値Mから、M+1以降の箱の数を知り、上記5）項の方法で代表を知るようにする
7）これで、100の同値類と代表だけで済む
以上
1054:Mara Papiyas
21/10/03 14:37:47.11 z3zwlfJp.net
>>955
>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω＝R^Nです
違うよ 🐎🦌
箱は全て定数
>下記のように、99列の箱を開けてM+1以降の箱も開けると、未開封の箱は有限M個、
そうだよ 🐎🦌
>つまり(確率空間は)R^Mです
違うよ 🐎🦌
繰り返すが
箱は全て定数
>しかし、さらに1～M-1まで開けて、残り1個
そうしてもいいよ 🐎🦌
>つまり(確率空間)R^1となっても、
違うよ 🐎🦌
三度繰り返すが
箱は全て定数
>未知の一つの実数をピンポイントで的中の確率はP＝0でしかないのです！
「箱の中身の定数をピンポイントで的中の確率」じぇねえよ 🐎🦌
選べる箱は１００個、その中で中身と代表元が違ってる箱が１個
１００個から１個選んだ箱の、中身と代表元が一致してる確率が
1-1/100 つまり 99/100
まだ、こんな簡単なことがわかんねぇのか 🐎🦌！
1055:Mara Papiyas
21/10/03 14:44:04.92 z3zwlfJp.net
>>955
P.S.
出題した列の代表元は出題者が選んでいいが当然その時点で固定�
1056:ｷること そして選んだ代表元をそのまま回答者に教えること その時点で完全に１００本中１本がはずれのくじと同じ なんで、こんな簡単なことがわからんか お🐒の雑談 ◆yH25M02vWFhP のセタこと 背乗り朝鮮人キム某はｗ
1057:現代数学の系譜 雑談
21/10/03 15:09:02.99 gtH9cx8i.net
>>952
（引用開始）
「ツェルメロのω=･･･{{{}}}･･･は、
シングルトンどころか集合でもない、新しい存在！」
と認めたとして、シングルトンとの比較はどうすんの？
つまり
･･･{{{}}}･･･＞{}
･･･{{{}}}･･･＞{{}}
･･･{{{}}}･･･＞{{{}}}
をどうやって示すつもり？ｗ
(引用終り)
添え字>>950（いまの場合 n∈Nと ω）
があれば十分でしょ？
1058:現代数学の系譜 雑談
21/10/03 15:26:28.16 gtH9cx8i.net
>>956
＞>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω＝R^Nです
＞違うよ 歷
＞箱は全て定数
同じだよ
いま100列で、あるｋ列 （kは、1～100）として
ｋ列の無限数列の同値類は、R^Nだろ？
もちろん、同値類の前の全体集合R^Nよりも、小さくなっている（＝真部分集合）だとｌしてもなお
集合としては、無限次元 つまり、R^Nで
R^Nから、ランダムに代表を選び、
（この”ランダム性”が実は定義できないが、便宜でこう表現する）
決定番号を得るよ
つまり
同値類のR^N→代表列rk→決定番号dk という流れになるよ
だから、ｆ：R^N→dk∈N で、関数ｆの可測性は不成立でしょ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
可測関数
可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う（これは位相空間の間の連続関数の定義の仕方と似ている）。
URLﾘﾝｸ(www.fbc.keio.ac.jp)
小宮英敏
URLﾘﾝｸ(www.fbc.keio.ac.jp)
ルベーグ積分 2014 年度秋学期 1
1 可測空間，可測関数，測度空間
1059:Mara Papiyas
21/10/03 15:36:41.85 z3zwlfJp.net
>>958
>>･･･{{{}}}･･･＞{}
>>･･･{{{}}}･･･＞{{}}
>>･･･{{{}}}･･･＞{{{}}}
>>をどうやって示すつもり？
>添え字（いまの場合 n∈Nと ω）があれば十分でしょ？
全然ダメでしょｗ
あのさ、
a∈･･･∈bという列の存在からa<bを導く場合
x∈･･･{{{}}}･･･となるxが存在しないから
y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
お🐒のSET A ちゃんと考えてる？
>>959
>つまり同値類のR^N→代表列rk→決定番号dk という流れになるよ
ならないよ
100個の列sk→それぞれの代表元rk→決定番号dk としかならないよｗ
で、100個の列skも代表元rkも各試行で同じ（それが「定数」という意味）
だから、確率変数でもなんでもない
これ豆な 分からんお🐒のSET Aが🐎🦌
1060:１３２人目の素数さん
21/10/03 17:21:33.97 nhymlcFg.net
>>933
オドレのは新概念の導入じゃのうてダブル・トリプル・クォドゥプル…マルチプルスタンダード、二枚・三枚・四枚…千枚舌じゃガキ
1061:１３２人目の素数さん
21/10/03 17:24:54.11 dHNATHr2.net
>>955
>その話だと、R^Nの全ての同値類を作る必要はないよね
「同値分割して代表系を決めれば確率99/100以上で当てられる。」が時枝先生の主張なのだから、
おまえが示すべきは「同値分割して代表系を決めても確率99/100以上で当てられない。」であって、同値分割の要否ではない。
>（実際、やり方によっては＊）（下記）、R^Nの全ての同値類を作る必要はないけどね）
大間違い。
おまえが言ってるのは、くじ引きを引いた後にその当たり外れを決めるようなもの。くじ引きの体を為してない。
>つまりは、
>1．問題を出された時点では、回答者から見て、全事象Ω＝R^Nです
「Ω={1,2,…,100}なら確率99/100以上で当てられる」
が時枝先生の主張なのだから、Ω＝R^Nで当てられないことを示しても何の反論にもなってない。バカとしか言い様が無い。
1062:１３２人目の素数さん
21/10/03 17:28:23.61 nhymlcFg.net
>>937
> あんた、ここ半年くらいIUTの数学について語っていないぞｗ
お前もじゃ
> IUTについて、新情報を提供するでもないし
お前もじゃ
え？語れてる積もりじゃった？提供できとる積もりじゃった？ええ？高卒どころか中卒より酷いな｡
1063:１３２人目の素数さん
21/10/03 17:38:28.65 dHNATHr2.net
要するにバカは時枝戦略とはどんな戦略かが分ってない。
成立の是非を論じるためのスタート地点にすら達していない。
数学は勿論だが国語が壊滅している。
1064:１３２人目の素数さん
21/10/03 17:43:37.63 dHNATHr2.net
>>959
>だから、ｆ：R^N→dk∈N で、関数ｆの可測性は不成立でしょ
時枝戦略は選択関数�
1065:ﾌ可測性を前提としていないから、時枝戦略を否定する何の根拠にもなってない。 まるで分かってない。
1066:現代数学の系譜 雑談
21/10/03 17:48:08.08 gtH9cx8i.net
>>963
なんだ、蕎麦屋のおっさんかい？
>> あんた、ここ半年くらいIUTの数学について語っていないぞｗ
>お前もじゃ
蕎麦屋のおっさんは、いままで一度も語ってないぞよｗ
>> IUTについて、新情報を提供するでもないし
>お前もじゃ
>え？語れてる積もりじゃった？提供できとる積もりじゃった？ええ？高卒どころか中卒より酷いな｡
蕎麦屋のおっさんよ、新情報は提供しているぞ
IUTは、遠アーベル幾何から派生した新たな類体論 だとか（フェセンコ先生、今後のIUTの発展の道でしょ）
IUTの4回の国際会議で、最後の2回の参加者にAtsushi Shiho (Univ. Tokyo, Japan)先生が含まれているとか（これが事実でShiho先生がIUT支持なら国内は決まりだ）
おっさん、自分が語れないし、情報提供もない、文句ばかり
だったら、黙ってなよｗ
1067:現代数学の系譜 雑談
21/10/03 17:51:54.60 gtH9cx8i.net
>>962
＞おまえが言ってるのは、くじ引きを引いた後にその当たり外れを決めるようなもの。くじ引きの体を為してない。
宝くじしらないのか？ 当選番号は後で決まる
サッカーくじも同じ。どのチームが勝つかは、事前には分からないよ
(参考)
URLﾘﾝｸ(www.toto-dream.com)
スポーツくじオフィシャルサイト コンテンツ
1068:現代数学の系譜 雑談
21/10/03 17:54:59.16 gtH9cx8i.net
>>960
(引用開始)
あのさ、
a∈･･･∈bという列の存在からa<bを導く場合
x∈･･･{{{}}}･･･となるxが存在しないから
y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
(引用終り)
おサルさん
何言っているの？
コトバのサラダそのものじゃんｗ
統合失調症のお薬飲みましょうねｗｗ
1069:現代数学の系譜 雑談
21/10/03 17:56:24.50 gtH9cx8i.net
まあ、時枝も、可算無限多重シングルトンも
おサルが壊れたみたいなので、この程度で終わるよ
1070:１３２人目の素数さん
21/10/03 17:58:00.26 dHNATHr2.net
>>959
>だから、ｆ：R^N→dk∈N で、関数ｆの可測性は不成立でしょ
選択関数の可測性はまったく関係無い。
選択関数が存在しさえすれば「どの実数列の決定番号も自然数」が成立する。
そこまで来ればあとは「100列中単独最大決定番号の列は0列または1列、よって100列のいずれかをランダム選択すれば単独最大決定番号の列を引く確率は0または1/100。その時だけ同値類からのカンニングに失敗。」となる。
この論理の中のどこに選択関数の非可測性が影響すると？数学板で妄想はやめてもらえますか？
1071:１３２人目の素数さん
21/10/03 18:01:37.08 dHNATHr2.net
>>967
だから言ってるだろ。
時枝戦略を否定したいなら時枝戦略を論じろと。
おまえはそれすらできてない。
1072:１３２人目の素数さん
21/10/03 18:05:38.26 dHNATHr2.net
>>967
時枝戦略を論ずることすらできないおまえに時枝戦略を否定できるはずが無かろう
自覚のないバカほど始末の悪いものは無い
1073:現代数学の系譜 雑談
21/10/03 18:22:44.88 gtH9cx8i.net
>>968 参考
有向点族を参考に投下しておく
おれも、ここらは全く詳しくないけど
おサルは非道すぎるよね
URLﾘﾝｸ(ja.wikipedia.org)
有向点族
有向点族（ゆうこうてんぞく、directed family of points）とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された[1]。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられ�
1074:ﾄいる。 有向点族の概念の利点として以下の２つがある： ・点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定（第一可算公理など）を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。 ・複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。 特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる（詳細は列型空間を参照）。 つづく
1075:現代数学の系譜 雑談
21/10/03 18:23:10.74 gtH9cx8i.net
>>973
つづき
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である（詳細後述）事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、[0,ω1)内のいかなる点列もω1に収束しない。なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。
(引用終り)
以上
1076:１３２人目の素数さん
21/10/03 18:34:58.45 nhymlcFg.net
>>966
ゴミは情報とは言わん、ゴミじゃ｡
1077:Mara Papiyas
21/10/03 20:26:38.19 z3zwlfJp.net
>>968
>>a∈･･･∈bという列の存在からa<bを導く場合
>>x∈･･･{{{}}}･･･となるxが存在しないから
>>y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
>コトバのサラダ
論理盲の 雑談 ◆yH25M02vWFhP にはこんな簡単なことも理解できんか（呆）
>>969
>おサルが壊れたみたいなので
壊れたお🐒は 雑談 ◆yH25M02vWFhP 君だよキ・ミ
1078:Mara Papiyas
21/10/03 20:32:10.54 z3zwlfJp.net
>>973
>おれも、ここらは全く詳しくないけど
おまえは、どこも全く疎いだろｗ
自分が理解できないこと、コピペしても恥ずかしいだけだぞｗ
ｘ∈･･･{{{}}}･･･となるxがないんだったら
いかなるｙについても
ｙ∈･･･∈ｘ∈･･･{{{}}}･･･
といえないだろが！
{}∈{{}}∈{{{}}}∈{{{{}}}}∈･･･だからといって
{}∈･･･∈ ･･･{{{}}}･･･ はいえないだろ？
こんな簡単なことも理解できんスカスカ脳なのか？
お🐒の 雑談 ◆yH25M02vWFhP は
1079:Mara Papiyas
21/10/03 20:34:34.45 z3zwlfJp.net
論理盲とは
URLﾘﾝｸ(ameblo.jp)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
Ａ「地球外知的生物は存在するかもしれない」
Ｂ「ジョージ・アダムスキーは正しかった」
A「血液型と性格には弱い関係があるかもしれない」
B「血液型性格判断は正しかった」
AとBとは全く別物で、Aが正しいとしてもBは正しいとはならないのだが、
このAとBが同じに見える人、区別がつかない人がいると。
そう言う人を論理盲を名付けている。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
1080:Mara Papiyas
21/10/03 20:38:23.03 z3zwlfJp.net
a∈･･･∈bなる列があるとき a<b とするのであれば
Zermeloのωはシングルトンではなく
{{},{{}},{{{}}},…}
なる無限集合とすればいい
�
1081:ﾉ限がシングルトンでなければならない、と思うのは🐎🦌である
1082:Mara Papiyas
21/10/03 20:43:37.04 z3zwlfJp.net
>>974
>点列の極限で位相構造を特徴づけられない例としては、
>整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
>ここで ω1は最小の非可算順序数である。
>実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
>[0,ω1)内のいかなる点列もω1に収束しない。
>なぜなら ω1の非可算性と
>「可算集合の可算和はまた可算集合になる」という事実により、
>[0,ω1)内の任意の点列に対し、
>点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
>ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
雑談 ◆yH25M02vWFhP が上記の文、
特に「なぜなら・・・」以降を理解できたとは
到底思えんｗ
1083:現代数学の系譜 雑談
21/10/03 21:09:35.26 gtH9cx8i.net
>>975
>ゴミは情報とは言わん、ゴミじゃ｡
ショルツェ氏のSS文書が、藁人形だという指摘は私だよ>>426
IUTと類体論との関係の情報
さらに、Atsushi Shiho (Univ. Tokyo, Japan)先生のIUT国際会議への参加
この３つの情報提供により
スレの雰囲気はすっかり変わった
８月ころは、まだ、アンチIUTの雰囲気が強かった
しかし、最近のスレの空気は、IUTに肯定的になったぜ
1084:１３２人目の素数さん
21/10/03 21:28:17.18 PHHW3o6+.net
zbmath reviewが広く受け入れられて結論が出たからね。
今はもはや基地外信者が数学用語、数学者名でカルタ遊びするだけの墓場と化した廃墟スレ。
1085:１３２人目の素数さん
21/10/03 22:18:31.12 nhymlcFg.net
>>981
ん？何を自慢しとるんじゃ？ゴミは空虚な指摘さえ成果と評価し自慢し排他に走るんじゃな｡
>>ポニョ爺
確か自己愛性人格障害の特徴として
『自己の成果過大評価で失敗は過小評価』且つ『他者の成果過小評価で失敗は過大評価』
じゃったな。どうやらSetAはマジモンか？
1086:１３２人目の素数さん
21/10/03 22:23:56.37 nhymlcFg.net
>>981
数学無知のオドレ如き指摘を自ら自慢する厚顔無恥ぶりもさる事ながら
自ら周囲にヨイショ信者しか居らん環境（スレ）を作り其処に身を置くオドレがスレの空気を語るは
オドレらの仲間内で作り出した虚構の解説にしか成らんじゃろ｡
オドレは本当に世間知らずな振る舞いを止められんのう｡
1087:１３２人目の素数さん
21/10/03 22:26:32.11 nhymlcFg.net
やはりどう見ても、人権停止され次第で燃えるゴミじゃな
燃ーえろよ燃えろーよー 炎よ燃ーえーろー
1088:現代数学の系譜 雑談
21/10/03 23:22:22.45 gtH9cx8i.net
>>982
＞zbmath reviewが広く受け入れられて結論が出たからね。
あなたは、下記の方かな？
zbmath reviewを潰せば良いんじゃない？ 目標がはっきりしたともいえる
（参考）
Inter universal geometryとABC予想(応援スレ)
ｽﾚﾘﾝｸ(math板:256番)
256 名前：１３２人目の素数さん[sage] 投稿日：2021/08/24(火) 22:08:52.35 ID:MnKDJ80K [3/8]
>>255
望月先生の論文の不備はそんな言い逃れのできるﾚﾍﾞﾙじゃないよ
どんなに革新的であろうが出来上がってしまった理論を理解するのが2年かかってもできないなどという事はありえない
そんなもんを論文と呼ぶ事はできない
(引用終り)
＞今はもはや基地外信者が数学用語、数学者名でカルタ遊びするだけの墓場と化した廃墟スレ。
”zbmath reviewが広く受け入れられて”というが、根拠レスだろ？
別に、zbmath review支持のアンケートなり、投票があったはずもない
つまりは、ショルツェ氏の尻馬
オセロと同じ。zbmath reviewを白にすれば、尻馬組も白になるよ
それから、あんた勘違いしているのは、ここ5ｃｈの議論など、実際のプロ数学者たちとは殆ど関係ないんだよ
もともと、6ｃｈなど便所だよ、便所、便所の落書きよ
それを忘れて、何を粋がっているのかね？
1089:現代数学の系譜 雑談
21/10/03 23:24:34.30 gtH9cx8i.net
>>986 訂正
もともと、6ｃｈなど便所だよ、便所、便所の落書きよ
↓
もともと、5ｃｈなど便所だよ、便所、便所の落書きよ
分かると思うが
1090:１３２人目の素数さん
21/10/04 07:40:40.56 CsDDDBEh.net
>>981
>最近のスレの空気は、IUTに肯定的になったぜ
ネトウヨの妄想乙
1091:１３２人目の素数さん
21/10/04 07:44:56.36 CsDDDBEh.net
>>986
>もともと、5ｃｈなど便所だよ、便所、便所の落書きよ
じゃ、君はさしずめ便所虫だなｗｗｗ
1092:１３２人目の素数さん
21/10/04 07:46:21.73 CsDDDBEh.net
じゃ、便所虫が巣食うこのスレ、埋めさせてもらうわ
1093:１３２人目の素数さん
21/10/04 07:46:32.92 CsDDDBEh.net
９
1094:１３２人目の素数さん
21/10/04 07:46:43.32 CsDDDBEh.net
８
1095:１３２人目の素数さん
21/10/04 07:46:54.44 CsDDDBEh.net
７
1096:１３２人目の素数さん
21/10/04 07:47:06.26 CsDDDBEh.net
６
1097:１３２人目の素数さん
21/10/04 07:47:23.18 CsDDDBEh.net
５
1098:１３２人目の素数さん
21/10/04 07:47:36.19 CsDDDBEh.net
４
1099:１３２人目の素数さん
21/10/04 07:47:46.37 CsDDDBEh.net
３
1100:１３２人目の素数さん
21/10/04 07:47:58.82 CsDDDBEh.net
２
1101:１３２人目の素数さん
21/10/04 07:48:07.89 CsDDDBEh.net
１
1102:１３２人目の素数さん
21/10/04 07:48:19.45 CsDDDBEh.net
０！
1103:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 52日 8時間 21分 45秒
1104:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています