Inter universal geometry と ABC予想(応援スレ)58

Inter universal geometry と ABC予想(応援スレ)58 at MATH

2:１３２人目の素数さん
21/08/01 09:45:07.55 w67oYbiw.net
前スレ： Inter-universal geometry と ABC予想 (応援スレ) 57
ｽﾚﾘﾝｸ(math板)
詳しいテンプレは、下記旧スレへのリンク先ご参照
（手抜きです。）
Inter-universal geometry と ABC予想 (応援スレ) 52
ｽﾚﾘﾝｸ(math板:1番)-13
（参考）
URLﾘﾝｸ(twitter.com)
math_jin 出版序文リンク Andrew Putman 2021年3月6日
URLﾘﾝｸ(drive.google.com)
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は分裂したNo43スレの中ではこのスレ立ては最初だったのです！（＾＾；）
（前“応援”スレが、1000又は1000近くになったので、新スレ立てた。）
つづく
(deleted an unsolicited ad)

3:１３２人目の素数さん
21/08/01 09:45:41.78 w67oYbiw.net
つづき
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明　斬新理論で数学界に「革命」　京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLﾘﾝｸ(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
URLﾘﾝｸ(www.youtube.com)
数学の難問ABC予想　京大教授が証明　30年以上未解決 2020/04/03 FNNプライムオンライン
つづく

4:１３２人目の素数さん
21/08/01 09:46:12.23 w67oYbiw.net
つづき
＜IUT国際会議 2つのシリーズ＞
1．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) ? we refer to the Programme for descriptions of the talks and associated references. URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論への誘い（いざない）
場所：420号室＋オンライン　期間：2021-08-31?2021-09-03
組織委員：星裕一郎（京都大学数理解析研究所）
　　　　　望月新一（京都大学数理解析研究所）
　　　　　Ivan Fesenko （英・ノッティンガム大学）
　　　　　田口雄一郎（東京工業大学）
略
つづく

5:１３２人目の素数さん
21/08/01 09:46:31.18 w67oYbiw.net
つづき
＜過去スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレがアンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレがアンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」

6:です　あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です４．査読者や、柏原・玉川がグルだとか、小学生はいう　しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」ですワケワカ小学生は、どうぞ相応しいスレへお願いしますｗｗ（＾＾；スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/883 １．RIMSをまず普通の論文と見れば良いと思うのだが？　つまり、「ちゃんと査読された」ということを認める２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる拡張あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだそういう普通の視点で考えれば宜しいのではないですかね？応援スレだが、この普通のことしか言ってないけどねｗ（＾＾アンチが・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか笑える幼稚な議論それは、別スレでやれよｗ（＾＾；

7:１３２人目の素数さん
21/08/01 09:47:16.28 w67oYbiw.net
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾；　）
( URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
（＊＊）注；URLﾘﾝｸ(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets ：URLﾘﾝｸ(upload.wikimedia.org)
URLﾘﾝｸ(ja.wikipedia.org) 双曲面
二葉双曲面：URLﾘﾝｸ(upload.wikimedia.org)
おサル、あいつは双曲幾何の修論でも書いたみたいだなｗ（＾＾）
＜＊）サイコパスの特徴＞
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
URLﾘﾝｸ(kotowaza-allguide.com)
鳥なき里の蝙蝠故事ことわざ辞典
【読み】とりなきさとのこうもり
【意味】鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく

8:１３２人目の素数さん
21/08/01 09:47:34.93 w67oYbiw.net
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 ｽﾚﾘﾝｸ(math板:813番)
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜オカ、シムラ、モチヅキ」
　てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
　何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
　自分の思いつきが論理的に正しいことを示す、という負債をね」
　てめえ、何様のつもりだ？
　論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
　ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
　IUT普及の義務を果たします
4．おサルが理解できるように？
　それは無理！
　”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
　ことも分からん「考えなしの素人」に数学はムリ”
　これじゃ。三歳児レベルの知能じゃんかｗ
　このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
つづく

9:１３２人目の素数さん
21/08/01 09:47:50.00 w67oYbiw.net
つづき
（参考）
関連：望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＜PRIMS出版記念論文＞
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/　Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
URLﾘﾝｸ(twitter.com)
星裕一郎ツイッター
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
つづく
(deleted an unsolicited ad)

10:１３２人目の素数さん
21/08/01 09:48:05.61 w67oYbiw.net
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Go YAMASHITA （gokun）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下剛サーベイ URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
Yourpedia 宇宙際タイヒミュラー理論（URLが通らないので検索たのむ）
URLﾘﾝｸ(ja.wikipedia.org)　宇宙際タイヒミュラー理論 Wikipedia
URLﾘﾝｸ(en.wikipedia.org) 英Inter-universal Teichmuller theory 英 Wikipedia
URLﾘﾝｸ(ja.wikipedia.org) ABC予想
URLﾘﾝｸ(en.wikipedia.org) 英abc conjecture
URLﾘﾝｸ(www.math.arizona.edu) から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文（IUTに着想を得た新理論） URLﾘﾝｸ(arxiv.org)
Construction of Arithmetic Teichmuller Spaces and some applications
Preliminary version for comments Kirti Joshi June 23, 2021
つづく

11:１３２人目の素数さん
21/08/01 09:48:20.59 w67oYbiw.net
つづき
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage] 論文集
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
P15
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
つづく

12:１３２人目の素数さん
21/08/01 09:49:45.45 w67oYbiw.net
つづき
なお
"[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017."は、2018の気がする
”[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2”が見つからない。”the unpublished manuscript [Tan18]”とはあるのだが（＾＾
代わりに、ヒットした下記でも、どぞ（2018の何月かが不明だが、2018.3のSS以降かも）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(slides).pdf
Introduction to Inter-universal Teichm¨uller theory
Fucheng Tan RIMS, Kyoto University 2018
To my limited experiences, the following seem to be an option for people who wish to get to
know IUT without spending too much time on all the details.
・ Regard the anabelian results and the general theory of Frobenioids as blackbox.
・ Proceed to read Sections 1, 2 of [EtTh], which is the basis of IUT.
・ Read [IUT-I] and [IUT-II] (briefly), so as to know the basic definitions.
・ Read [IUT-III] carefully. To make sense of the various definitions/constructions in the
second half of [IUT-III], one needs all the previous definitions/results.
・ The results in [IUT-IV] were in fact discovered first. Section 1 of [IUT-IV] allows one to
see the construction in [IUT-III] in a rather concrete way, hence can be read together with [IUT-III], or even before.
S. Mochizuki, The ´etale theta function and its Frobenioid-theoretic manifestations.
S. Mochizuki, Inter-universal Teichm¨uller Theory I, II, III, IV.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
教員名: 譚福成（Tan, Fucheng）
P-adic Hodge theory plays an essential role in Mochizuki's proof of Grothendieck's
Anabelian Conjecture. Recently, I have been studying anabeian geometry and
Mochizuki's Inter-universal Teichmuller theory, which is in certain sense a global
simulation of p-adic comparison theorem.
取り敢えずこんなところで（＾＾

13:１３２人目の素数さん
21/08/01 09:50:48.39 8szAMdzl.net
IUTは以下のスレッドへ
Inter-univeral geometry と ABC予想44
ｽﾚﾘﾝｸ(math板)

14:１３２人目の素数さん
21/08/01 14:33:06.36 w67oYbiw.net
どうぞ、ご随に（＾＾

15:１３２人目の素数さん
21/08/01 14:58:31.00 8szAMdzl.net
本日の傑作書き込み
ｽﾚﾘﾝｸ(math板:965番)
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
965１３２人目の素数さん2021/08/01(日) 14:16:59.02ID:w67oYbiw
>>レーヴェンハイム・スコーレムの下方定理もあるよ
>有限モデルが存在する、と書いてあります？　書いてないですよね
>可算モデルが存在する、としか書いてないですよね？
可算無限集合には、自明に有限集合を含むでしょ？　書かなくてもね
そして、･･･”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、
mod nを考えたら、有限モデルできますよ
おっと、変な例作って、「この例は成り立たない」とか言わないようにね
めんどくさいので、応答しませんよ
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－

16:１３２人目の素数さん
21/08/01 15:00:56.63 8szAMdzl.net
>>14で紹介した書き込みのどこがどう傑作か？
ｽﾚﾘﾝｸ(math板:978番)
978１３２人目の素数さん2021/08/01(日) 14:40:43.62ID:8szAMdzl
w67oYbiwさんだけでなく、それ以外の人にも問題
自然数論の５つの公理（ペアノ）
１．自然数 0 が存在する。
２．任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
３．0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。
４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。
５．0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
さて、mod nの算術はどの公理に反するでしょう？

17:１３２人目の素数さん
21/08/01 15:34:05.53 8szAMdzl.net
>>15の答えは　3
mod nでは、n+1の後者が0になります
「0 より前の自然数は存在しない」
という公理を知らずに
「mod nの算術は、自然数の有限モデル！」
と断言したw67oYbiwこと1の痛々しさを
今月このスレでとりあげつづけたいと思います

18:１３２人目の素数さん
21/08/01 15:46:03.88 w67oYbiw.net
「日本一わかりやすいABC予想」小山先生、図書館から借りてきました
望月IUTについても、その意義に触れています
小山先生は、東工大に近いから、そちらかの情報も得ていると思います
URLﾘﾝｸ(www.)アマゾン/dp/4828308989
日本一わかりやすいABC予想小山信也 (著), 箱﨑沙也加 (編集), 長原佑愛 (イラスト)ビジネス教育出版社 (June 15, 2021)
純くん
ＡＢＣ予想の意味が本当に良く判る良書 July 13, 2021
ＡＢＣ予想は2012年に解決が宣言されてから、長年、査読が完了しなかったので、現在50代の数学マニア（私）が生きている間には、証明が正しいか、誤っているかは、私が生きている間には判明しないと諦めていた。もしかすると、数学界では査読を放棄しているのではないかとさえ、思っていた。ところが、８年越しに学術誌に掲載されたため、数学界で正式に認められたことが判明し、一安心した。が、ＡＢＣ予想を、数学のプロではない数学マニアに理解できるレベルの解説本がこれほど早く出版されるとは考えていなかった。それは、1990年代のフェルマー予想の解決の時の経験から、そう考えていた。本書は、題名の通り、本当に「日本一わかりやすいＡＢＣ予想」の解説本であり、数学好きなら優秀な中学３年生でも理解できる
柳龍太
本当に日本一わかりやすい！！ June 15, 2021
みなさんもABC予想が望月教授によって証明されたというような内容が新聞の一面に掲載されていたことは記憶に新しいのではないだろうか？しかし、ABC予想がどのような主張なのか、またそもそも予想って？数学の定理の意義って？社会にどう役に立つの？などといった疑問を持っている方も多いだろう。ABC予想がどのような主張なのかが説明されている本は現在多数出版されているがどれも踏み込んだ数学の内容が必要であるものが多く、簡単に主張や面白さが分かればいいのになという人や、そもそも予想とはなにか？のような疑問を持つ人に対して書かれた本ではないだろう。しかしこの本は論文掲載から証明が認められるまでのプロセスであったり、予想がそもそもどのように生まれるのかということから説明してあり、日本一わかりやすいとタイトルにあるだけあるなと感じさせられる内容であった。

19:１３２人目の素数さん
21/08/01 15:52:51.33 w67oYbiw.net
>>16
おサル必死で笑える
有限集合と無限集合では、当然異なる部分ありますよね
必死で重箱の隅をつついて、失地挽回ですか？
笑えます
無限集合でしか成り立たない項目を挙げて
「これは、有限集合では成り立たない」
そういう主張は無意味ですよ
同様に、連続無限でしか成り立たない性質で、可算無限集合では成り立たない例を取り上げて、
「これが下記のレーヴェンハイム-スコーレムの定理の反例」という主張、それはお笑いでしかない
アホやｗ
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム-スコーレムの定理
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論（真の一階算術の理論）には非可算なモデルがあり、(R, +, ×, 0, 1) の理論（実閉体の理論）には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム?スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。

20:１３２人目の素数さん
21/08/01 16:11:44.07 w67oYbiw.net
>>18 補足
確かに考えてみると
前スレ下記
”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル
が、下記の”いくらでも大きな有限のモデルを持つ理論”の有限モデルに該当するかどうか？
それは、微妙かも。それと、下方は上方の逆ですからね、逆は必ずしも真ならずですが
そこらを突いてくるならともかくも、
アホざるの話 >>16は、明らかにアホですねｗ（＾＾
（参考）
前スレ Inter-universal geometry と ABC予想 (応援スレ) 57
ｽﾚﾘﾝｸ(math板:965番)
>＞レーヴェンハイム・スコーレムの下方定理もあるよ
>有限モデルが存在する、と書いてあります？　書いてないですよね
>可算モデルが存在する、としか書いてないですよね？
可算無限集合には、自明に有限集合を含むでしょ？　書かなくてもね
そして、下記の「例と帰結」で、”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えたら、有限モデルできますよ
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論（真の一階算術の理論）には非可算なモデルがあり、(R, +, ×, 0, 1) の理論（実閉体の理論）には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム?スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。

21:１３２人目の素数さん
21/08/01 16:48:24.74 8szAMdzl.net
>>19
そもそも、どこにも
「定理の下方部分は、無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならないことをも示す。」
とは書いてませんが、もしかして幻視が見えましたか？　w67oYbiw

22:１３２人目の素数さん
21/08/01 16:51:13.37 8szAMdzl.net
>>18
>有限集合と無限集合では、当然異なる部分ありますよね
言い訳は無意味ですよ
自然数論の有限モデルが存在する、という主張は
当然ながら、自然数論の全ての公理を真とするという意味です
素人がよく間違えることですが、球面幾何は
「平行線公準のみを満たさない」
という意味での非ユークリッド幾何ではありません
他にも満たさない公理が存在するからです

23:１３２人目の素数さん
21/08/01 16:54:36.25 8szAMdzl.net
>>18
>無限集合でしか成り立たない項目を挙げて
>「これは、有限集合では成り立たない」
>そういう主張は無意味ですよ
無限集合でしか成り立たない項目があることを認めましたね
「無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならない」
は、レーヴェンハイム・スコーレム定理でもなんでもないただの誤りだと認めましたね
無限集合でしか成り立たないなら、その有限モデルは存在しません

24:１３２人目の素数さん
21/08/01 17:09:43.67 8szAMdzl.net
>>18
＞必死で笑える
＞笑えます
自分に？w67oYbiw

25:１３２人目の素数さん
21/08/01 17:18:56.12 w67oYbiw.net
>>22
(引用開始)
無限集合でしか成り立たない項目があることを認めましたね
「無限のモデルを持つ理論はいくらでも大きな有限のモデルを持たねばならない」
は、レーヴェンハイム・スコーレム定理でもなんでもないただの誤りだと認めましたね
無限集合でしか成り立たないなら、その有限モデルは存在しません
(引用終り)
自分が数学のトリビア命題しか言えないって
自慢したいのか？
レーヴェンハイム・スコーレム定理自身には
おサルさん、1ミリも入れていないこと明白じゃん
もちろん、おれも、レーヴェンハイム・スコーレム定理自身には
1ミリも入れていないけどさ（ほんの表面だかだが、まだおサルよりもましな気がしますがね）
だけど、おサルは、数学科修士がご自慢だったよね
ご苦労さんだね、必死の姿が哀れに見えるのは、おれだけかい？

26:１３２人目の素数さん
21/08/01 17:25:10.94 V7faUAjY.net
>>24
そんなことどうでもいいから早く積分計算の抜粋と確率変数を答えてくれない？
できないなら妄想だったことを認めましょう

27:１３２人目の素数さん
21/08/01 18:10:59.82 V7faUAjY.net
え？？？答えられないの？また逃げるの？
あなた自分で言ったよね？積分が発散するから時枝戦略はイカサマだと、確率変数が分かってないと
自分の発言の後始末くらい自分でつけようね　3歳児じゃないんだから

28:１３２人目の素数さん
21/08/01 19:24:49.16 V7faUAjY.net
しっぽの同値類の代表系を一つ決められる。Y/N
出題列から100列を作る方法を一つ決められる。Y/N
出題列が固定されると100列及び100列それぞれの決定番号も固定される。Y/N
100列の決定番号はどれも自然数でる。Y/N
100列の決定番号には最大値がある。Y/N
100列のうち最大決定番号を持つ列は1列以上である。Y/N
100列のうち単独最大決定番号を持つ列は1列以下である。Y/N
100列のいずれかをランダムに選んだ時、単独最大決定番号を持つ列を選ばない確率は99/100以上である。Y/N
単独最大決定番号を持つ列を選ばなかった場合、代表列から情報を得て数当てに成功する。Y/N
時枝戦略の勝率は99/100以上である。Y/N

29:１３２人目の素数さん
21/08/01 19:30:39.91 w67oYbiw.net
前スレ Inter-universal geometry と ABC予想 (応援スレ) 57
ｽﾚﾘﾝｸ(math板:948番)
”実数係数多項式
f(x)=a0+a1x+・・・anx^n”>>941を言っているの？
過去の議論で、実数係数多項式で議論すれば、十分だとありましたよね
忘れたの？
(引用終り)
下記引用英文の通りだね。ちょっと解説するよ
1．￣p(￣z)は、p(z)の複素共役で、p(z)がn次多項式だとすると、
　q(z)=p(z)*￣p(￣z)は、2n次多項式（ここに、記号￣は、複素共役を表す。）
2．q(z)が実係数であることは、xを実変数として書き換えると、
　複素共役￣q(x)＝￣p(￣x)*p(x)＝p(x)*￣p(￣x)＝q(x)
　つまり、￣q(x)＝q(x) となることから分かる（∵z=￣zならzは実数）
3．で、q(z)が根を持てば、それは p(z) or￣p(￣z)の根
4．q(z)は実係数で、q(z)＝0なら、その複素共役もq(￣z)＝0となる
（つまり、実係数の多項式が真の複素根zを持てば、その複素共役￣zになるというよく知られた事実を再確認した）
5．だから、実係数q(z)が、いま真の複素根αを持てば、z-αで割って、複素係数の式 q(z)/(z-α)が作れて、この式は複素共役根￣αを持つ
6．複素共役 αと￣αは双対だから、はいずれにせよ、実係数q(z)が真の複素数根を持つということと、複素係数のp(z)が真の複素数根を持つということは同値です
7．だから、実係数の多項式のみを考察すれば良いのです
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Fundamental theorem of algebra
Proofs
Some proofs of the theorem only prove that any non-constant polynomial with real coefficients has some complex root. This is enough to establish the theorem in the general case because, given a non-constant polynomial p(z) with complex coefficients, the polynomial
q(z)=p(z)*￣p(￣z)
has only real coefficients and, if z is a zero of q(z), then either z or its conjugate is a root of p(z).

30:１３２人目の素数さん
21/08/01 19:43:38.33 w67oYbiw.net
>>25
まず、確率変数くらい、自分で勉強しなよ
どこでも、検索すれば、すぐ分かるでしょ？
そして、ヒントを出すよ
1．箱が一つ、サイコロの目を入れて、蓋を閉める。中の数を当てるゲームの的中確率は。確率変数が使えるよ
2．箱がｎ個、サイコロの目を入れて、蓋を閉める。ある箱の中の数を当てるゲームの的中確率は。確率変数が使えるよ
　各箱は独立とします。サイコロは同じとすれば、iid(独立同分布)です
まず、この二つの場合を、自習自得してくださいね
最初から、無限個の箱を考えるから、混乱するのですｗ

31:１３２人目の素数さん
21/08/01 19:55:33.52 w67oYbiw.net
>>28 訂正
（つまり、実係数の多項式が真の複素根zを持てば、その複素共役￣zになるというよく知られた事実を再確認した）
　↓
（つまり、実係数の多項式が真の複素根zを持てば、その複素共役￣zも根になるというよく知られた事実を再確認した）
細かいけど
よろしくね
すぐ分かると思うが

32:１３２人目の素数さん
21/08/01 20:51:32.10 V7faUAjY.net
>>29
>まず、確率変数くらい、自分で勉強しなよ
時枝戦略の確率変数が何かを聞いてるのにそんなんで誤魔化せると思った？

33:１３２人目の素数さん
21/08/01 20:54:18.10 V7faUAjY.net
>>29
>1．箱が一つ、サイコロの目を入れて、蓋を閉める。中の数を当てるゲームの的中確率は。確率変数が使えるよ
>2．箱がｎ個、サイコロの目を入れて、蓋を閉める。ある箱の中の数を当てるゲームの的中確率は。確率変数が使えるよ
>　各箱は独立とします。サイコロは同じとすれば、iid(独立同分布)です
で？時枝戦略の確率変数は何？また逃げるの？

34:１３２人目の素数さん
21/08/01 21:01:25.89 8szAMdzl.net
>>29
>1．箱が一つ、サイコロの目を入れて、蓋を閉める。中の数を当てるゲームの的中確率は。確率変数が使えるよ
>2．箱がｎ個、サイコロの目を入れて、蓋を閉める。ある箱の中の数を当てるゲームの的中確率は。確率変数が使えるよ
有限個しか考えられないんじゃ
「箱入り無数目」の方法は絶対に理解できないな

35:１３２人目の素数さん
21/08/01 21:02:51.93 V7faUAjY.net
>>29
>最初から、無限個の箱を考えるから、混乱するのですｗ
最初から無限列で考えればいいのに有限列で考えるから間違えるのですｗ
時枝証明には有限列はまったく出てこないので完全に無関係なのにｗ

36:１３２人目の素数さん
21/08/01 22:44:03.61 w67oYbiw.net
二匹のサルが、自分の不勉強を棚に上げて
「確率変数を教えてくれくれ」か？
教えてくれくれ言わずにさ
自分で勉強しなさい
確率変数も分からんのに
時枝は無理ですよ

37:１３２人目の素数さん
21/08/01 22:49:24.77 V7faUAjY.net
>>35
>「確率変数を教えてくれくれ」か？
またゴマカシか
誰が確率変数を教えてくれと言ったｗ
時枝戦略における確率変数を答えよと言った。いつまで逃げるつもりなのか？

38:１３２人目の素数さん
21/08/01 22:50:14.41 V7faUAjY.net
>>35
確率変数も書けないのになんで不成立と主張するんだ？真性のアホ？

39:１３２人目の素数さん
21/08/01 22:51:38.68 V7faUAjY.net
>>35
>二匹のサルが、自分の不勉強を棚に上げて
>「確率変数を教えてくれくれ」か？
>教えてくれくれ言わずにさ
>自分で勉強しなさい
>確率変数も分からんのに
>時枝は無理ですよ
見よ　これが詐欺師の手口である

40:１３２人目の素数さん
21/08/01 22:55:27.36 V7faUAjY.net
自分が確率変数を書けないことを誤魔化すのに必死の詐欺師ｗ

41:１３２人目の素数さん
21/08/01 23:04:32.05 V7faUAjY.net
>>35
確率変数は関数なんだろ？
ほれ、書いてみな、どんな関数？
数学では詐欺は通用しませんよ？

42:１３２人目の素数さん
21/08/01 23:13:29.74 V7faUAjY.net
>>35
え？？？
まさかどんな関数かも分からずに不成立とかほざいてたの？
ちょｗ　それ勘弁やわｗ　白痴過ぎんだろいくらなんでもｗ

43:１３２人目の素数さん
21/08/01 23:19:38.45 V7faUAjY.net
>>35
ていうか関数の書き方って知ってる？
大学一年4月に授業について行けなくなった落ちこぼれには無理かな？

44:１３２人目の素数さん
21/08/01 23:26:29.51 V7faUAjY.net
>>35
え？？？
まじ関数の書き方分からないの？
ちょｗ　そりゃ数学なんて到底無理だわｗ　白痴だとは思ってたがまさかそこまでとはｗ

45:１３２人目の素数さん
21/08/01 23:52:50.00 w67oYbiw.net
>>24
>レーヴェンハイム・スコーレム定理自身には
>おサルさん、1ミリも入れていないこと明白じゃん
レーベンハイム・スコーレム Akihiko Koga（下記）を読みました
・”「論理体系がモデルを持つ」という性質は，「少なくともそのモデルは矛盾を起こさない」ことを保証すること”だそうです（＾＾
・証明に、コンパクト性定理を使うという
・コンパクト性定理：一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値である
・コンパクト性定理から、可算無限集合が無矛盾であることは、その集合の任意の有限部分集合が無矛盾と同値です
・よって、下方定理として、可算無限集合から有限部分集合に落とすのは、コンパクト性定理から自明ですな
URLﾘﾝｸ(www.cs-study.com)
形式的論理体系の定義から
レーベンハイム・スコーレムの定理までの大急ぎのまとめ
by Akihiko Koga
27th Mar. 2020 (Update)
レーベンハイム・スコーレムの定理（Lowenheim-Skolem Theorem）を非常に手短に説明しなければならないので，ここで少しずつ書きながら，本番の資料を改良していこうと思う．なお，その勉強会の顛末とその時の資料の表紙については某勉強会での連続体仮説の解説についての顛末に書いた(2019.04.25 追記)．
レーベンハイム・スコーレムの定理（レーベンハイム発表 1915年，スコーレムによる厳密な証明 1920年）は，一階の記号論理体系（一階述語論理）の「モデル（その体系の公理系を満たす数学的な実例）」のサイズに関する定理である．後でもう少し詳しく説明するが，前提となる枠組み，つまり，記号論理の体系やモデルなどの概念についてちょっと説明しておく．
「論理体系がモデルを持つ」という性質は，「少なくともそのモデルは矛盾を起こさない」ことを保証することであり，とても重要な性質である．
つづく

46:１３２人目の素数さん
20

47:21/08/01(日) 23:53:33.82 ID:w67oYbiw.net

48:､に，記号論理のある公理の集合Ａがモデルを持つ，つまり，その公理集合を満たす数学的な実例があるということは，その公理集合が無矛盾であるとみなせることを意味する． https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86 レーヴェンハイム?スコーレムの定理 Anatoly Ivanovich Maltsev (1936年) が完全に汎用的な形式でレーヴェンハイム-スコーレムの定理を証明した[6]。彼が引用したスコーレムのメモによれば、アルフレト・タルスキが1928年にこの定理を既に証明していたという。このため一般化した定理を「レーヴェンハイム-スコーレム-タルスキの定理」とも呼ぶ。しかし、タルスキは自分が証明したことを覚えておらず、彼がコンパクト性定理を使わずにどうやって証明しえたのかは謎のままである。 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86 コンパクト性定理コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。 (引用終り) 以上

49:１３２人目の素数さん
21/08/01 23:55:12.47 w67oYbiw.net
>>40
(引用開始)
確率変数は関数なんだろ？
ほれ、書いてみな、どんな関数？
数学では詐欺は通用しませんよ？
(引用終り)
笑えます
その言い草
確率変数が分かっていないこと
丸わかりのおサルさんですね
アホや

50:１３２人目の素数さん
21/08/02 00:02:27.05 UMYhzcCZ.net
>>46
また逃げたｗ
「今日のところはこのくらいにしてやる」と言いながら後ずさりｗ　マンガだなｗ
いーからほれ、書いてみな？　書けねーんだろｗ　丸わかりｗ

51:１３２人目の素数さん
21/08/02 00:08:41.22 UMYhzcCZ.net
>>46
はい、アホは確率変数書けずに泣きながら逃げていきましたー
確率変数も書けずに時枝なんて100年早いよ　大学一年4月に落ちこぼれた君は高校数学の復習から　近所の高校生に教えてもらいな

52:１３２人目の素数さん
21/08/02 00:14:14.72 UMYhzcCZ.net
「大学4年の確率論がー」が口癖のアホ、実は時枝戦略の確率変数を書けませんでしたとさｗ
どんな詐欺師よｗ　笑えるなｗ

53:１３２人目の素数さん
21/08/02 00:21:14.02 UMYhzcCZ.net
そういえば詐欺師くんは
「さて， 1～100 のいずれかをランダムに選ぶ.」
が離散一様分布ではないとほざいてたねｗ
高校生にも負けるレベルじゃんよｗ　まじ近所の高校生に頼んで教えてもらいなよ　時枝？100年はえーわ

54:１３２人目の素数さん
21/08/02 00:31:10.16 UMYhzcCZ.net
高校生なら大学レベルを知らない自覚があるから教え様がある。
詐欺師くんは高校生以下なのに大学4年レベルと妄想してるから教え様が無い。
妄想症治療は専門医以外には無理だからね。

55:１３２人目の素数さん
21/08/02 00:38:33.65 UMYhzcCZ.net
しかしすごいよね
自分が大学4年レベルとの妄想を維持するためには詐欺の手口も辞さないんだから
人格障害って恐ろしいね

56:１３２人目の素数さん
21/08/02 07:28:11.58 MQR4OP/h.net
>>46 補足
学習能力ゼロやね
”確率変数”は、まず下記ね
サイコロ1つの場合をしっかり、学習してね
分かりますか？
サイコロ博打で、ツボにサイコロを一つ入れる
”確率変数”は、サイコロ1つの場合は下記の通り
ツボの中で、サイコロの目がクルクル変わったりはしません
一旦入れたツボの中のサイコロの目は、変わりません
”固定”？ｗ。一旦入れたツボの中のサイコロの目は変わりませんから、固定もクソもない（変わったらイカサマでしょうｗ）
でも、確率論では、”確率変数”です。”確率変数”で、確率を扱います
分かりましたか？
お返事「はい」は？ｗｗｗ（＾＾
（参考）
URLﾘﾝｸ(bellcurve.jp)
Social Survey Research Information Co., Ltd.
統計用語集
確率変数
random variable
ある現象がいろいろな値を取り得るとき、取り得る値全体を確率変数Xとして表す。どのような値をとるかは決まっていないが、取りうる値、もしくは取りうる値の範囲とその値をとる確率または確率密度が決まっている数のこと。一般に離散型と連続型の二つが用いられる。
＜離散型の例＞例えば、一つのさいころを振り、出てくる目の値について考える。この時、確率変数はX＝1，2，3，4，5，6となり、すべてのXについてP(X)=1/6となる。偶数の目が出る場合については、P(X=2,4,6)=1/2と表される。
つづく

57:１３２人目の素数さん
21/08/02 07:28:53.84 MQR4OP/h.net
>>53
つづき
URLﾘﾝｸ(bellcurve.jp)
Social Survey Research Information Co., Ltd.
11-1. 確率変数と確率分布
■確率変数
「確率変数」は、ある変数の値をとる確率が存在する変数のことです。例えば、さいころを投げて出る目は｛1, 2, 3, 4, 5, 6｝のいずれかであり、それぞれの目が出る確率は1/6であることから、さいころを投げて出る目は確率変数であると言えます。
URLﾘﾝｸ(bellcurve.jp)
この場合、確率変数の値（＝さいころの出る目）をXとおくと次のように表すことができます。右側のカッコの中はXがとる値の範囲であり、この例では「確率変数Xが1から6までの整数の値を取る」ことを表しています。
P(X)=1/6 (X＝1，2，3，4，5，6)
さいころの場合、出る目の値をそのまま確率変数がとる値とすることができますが、事象に数字がない場合でも、それぞれ事象に数値を設定することで確率変数がとる値とすることができます。例えば1枚のコインを投げる場合に、表が出る事象に「1」を、裏が出る事象に「0」を対応させると、確率変数になります。
URLﾘﾝｸ(bellcurve.jp)
表が出る事象も裏が出る事象のどちらも確率は1/2であることから、確率変数Xを用いて次のように書けます。
P(X)=1/2 (X＝0，1)
■確率分布
略
（追加）
URLﾘﾝｸ(ja.wikipedia.org)
確率変数（かくりつへんすう、英: random variable, aleatory variable, stochastic variable）とは、統計学の確率論において、起こりうることがらに割り当てている値（ふつうは実数や整数）を取る変数。各事象は確率をもち、その比重に応じて確率変数はランダム[1]:391に値をとる。
確率空間 (Ω,F,P) において、標本空間 Ω の大きさが連続体濃度の場合、確率変数とは、Ω 上で定義された実数値関数で、F 可測であるものといえる。確率変数値をとる Ω の部分集合が事象であり従って確率をもつために「F 可測」は必要になる。
(引用終り)
以上

58:１３２人目の素数さん
21/08/02 08:38:14.59 UMYhzcCZ.net
>>53
また逃げたｗ
時枝戦略の確率変数を早く書いて下さいねー　どーして逃げるんですか？

59:１３２人目の素数さん
21/08/02 09:23:20.72 humQtTeu.net
日本語のwikipediaの確率変数の項は酷い出来やな

60:１３２人目の素数さん
21/08/02 11:55:00.91 QB5Kd20g.net
>>56
>日本語のwikipediaの確率変数の項は酷い出来やな
どうもです
上記、同意です
なので、英.wikipediaより、下記
URLﾘﾝｸ(en.wikipedia.org)
Random variable
In probability and statistics, a random variable, random quantity, aleatory variable, or stochastic variable is described informally as a variable whose values depend on outcomes of a random phenomenon.[1] The formal mathematical treatment of random variables is a topic in probability theory. In that context, a random variable is understood as a measurable function defined on a probability space that maps from the sample space to the real numbers.[2]
（google訳）
確率と統計、確率変数、ランダムな量、偶然変数、または確率変数として非公式に記載され、その値依存変数に結果のランダムな現象です。[1]確率変数の正式な数学的処理は、確率論のトピックです。その文脈では、確率変数は、サンプル空間から実数にマッピングされる確率空間で定義された可測関数として理解されます。[2]

61:１３２人目の素数さん
21/08/02 12:14:13.08 UMYhzcCZ.net
>>57
そんなのどーでもいーから時枝戦略の確率変数を早く書いて下さいねー　どーして逃げるんですか？

62:１３２人目の素数さん
21/08/02 12:28:31.41 UMYhzcCZ.net
>>57
え？何？逃げるってことは分からないってこと？
はっきりしなさいよ　3才児じゃないんだから

63:１３２人目の素数さん
21/08/02 13:28:19.96 yUbNtzbv.net
>>44
>・コンパクト性定理：
> 一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、
> その集合の任意の有限部分集合がモデルを持つことが同値である
>・コンパクト性定理から、可算無限集合が無矛盾であることは、
> その集合の任意の有限部分集合が無矛盾と同値です
>・よって、下方定理として、可算無限集合から有限部分集合に落とすのは、
> コンパクト性定理から自明ですな
何の「可算無限集合」、何の「有限部分集合」かわかってますか？
わかってるなら、集合の要素は何か、ズバリ「単語」で答えてください
わかっているなら　mod　nとか馬鹿丸出しの誤りは決して出ない筈ですよ

64:１３２人目の素数さん
21/08/02 13:32:54.57 yUbNtzbv.net
>>45
>レーベンハイム・スコーレムの定理は，･･･
>記号を解釈するための「実体の集合 M」の大きさに関する命題である．
>より詳しく言うと，記号論理の体系がモデルを持つと分かったとき，
>そのモデルを非常に巨大な大きさにしたり，
>またはその逆に，非常に小さくしたりできるという定理である．
>上でも述べたように，記号論理のある公理の集合Ａがモデルを持つ，
>つまり，その公理集合を満たす数学的な実例があるということは，
>その公理集合が無矛盾であるとみなせることを意味する．
もしかして、まさかとは思いますが
実体の集合M＝公理の集合A
だと思ってます？
>>44で述べている集合は、Mですか？Aですか？
それとも、M＝Aであるから両方だ、と思ってますか？

次ページ