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であるから両方だ、と思ってますか？
65:１３２人目の素数さん
21/08/02 14:21:35.23 humQtTeu.net
まぁ英語のwikiの方がマシな事は多いがそれとてアホな項が入ってる事も多い
最後は読み手の数学力がないと話にならん
66:１３２人目の素数さん
21/08/02 15:54:18.82 QB5Kd20g.net
>>62
>まぁ英語のwikiの方がマシな事は多いがそれとてアホな項が入ってる事も多い
>最後は読み手の数学力がないと話にならん
どうも
コメントありがとう
仰る通りです
一応気を付けているつもりです
（複数でクロスチェックを）
67:１３２人目の素数さん
21/08/02 15:57:55.10 QB5Kd20g.net
>>60-61
どうも
コメントありがとう
＞わかっているなら mod nとか馬鹿丸出しの誤りは決して出ない筈ですよ
確かにね。それ書いたときは、
by Akihiko Koga>>44
を十分見ていなかった
>何の「可算無限集合」、何の「有限部分集合」かわかってますか？
>わかってるなら、集合の要素は何か、ズバリ「単語」で答えてください
それ>>18-19のレーヴェンハイム・スコーレム 例と帰結で
・「可算無限集合」：(N, +, ×, 0, 1) の理論（真の一階算術の理論）のN（自然数の集合）
・何の「有限部分集合」：N（自然数の集合）の有限部分集合じゃね？
ところで、ちょっと聞きたいが、
by Akihiko Koga>>44 は、どの程度信頼できると思っているのかな？
Akihiko Koga氏は、大学数学科教員とか、どこかの研究所の数学スペシャリストではないみたい
ソフト会社の社員みたいだから、
大学は数学隣接の情報系か、
あるいは数学科卒からソフト会社へ就職かと推察しているのだが？
（いままで見た範囲では、それなりに正確で、おかしなことは書いていないと見たけど）
68:１３２人目の素数さん
21/08/02 16:41:16.92 YnW0gDJR.net
よそでやれ
69:１３２人目の素数さん
21/08/02 17:14:44.26 yUbNtzbv.net
>>64
>>何の「可算無限集合」、何の「有限部分集合」かわかってますか？
>>わかってるなら、集合の要素は何か、ズバリ「単語」で答えてください
>それ
>・「可算無限集合」：(N, +, ×, 0, 1) の理論（真の一階算術の理論）のN（自然数の集合）
>・何の「有限部分集合」：N（自然数の集合）の有限部分集合じゃね？
あなた、文章を全く読めないんですね
>>44に書いてありますよ
「一階述語論理の文の集合」
文って言葉の意味わかりますか？
「一階述語論理の文」って論理式ですよ Nの要素じゃないですよ
ニホンゴわかりませんか？
ニホンジンじゃないんですか？
70:１３２人目の素数さん
21/08/02 17:25:52.25 QB5Kd20g.net
>>66
なんだ、おサルか
言葉のサラダで、ゴマカシかい？
お主の常套手段だな
統合失調症の薬をしっかり飲んでくださいね（＾＾
71:１３２人目の素数さん
21/08/02 17:28:56.58 yUbNtzbv.net
URLﾘﾝｸ(ja.wikipedia.org)
「コンパクト性定理は、ゲーデルの完全性定理から導くことができる。
実際、一階述語論理の文の集合Sがモデルを持たないとすると、
完全性定理からSは矛盾していることになるが、
どんな証明も長さは有限なので、
矛盾の証明に現れるSの文は高々有限個である。
よって、Sのある有限部分から矛盾が導出されること、
つまりSは充足不可能な部分集合を持つことがわかる。
これの対偶がコンパクト性定理である 。」
上記の文章が全く理解できない人は
コンパクト性定理とかレーヴェンハイム・スコーレムの定理とかいう言葉を
今後一切口にしないほうがいいだろう
初歩から間違って大恥かくだけだから
72:１３２人目の素数さん
21/08/02 18:09:08.65 QB5Kd20g.net
>>68
なんだ、おサルか
言葉のサラダで、ゴマカシかい？
それ、自分のことだろ？
統合失調症のお薬を、しっかり飲んでくださいね！ｗ（＾＾
73:１３２人目の素数さん
21/08/02 18:12:16.20 UMYhzcCZ.net
>>69
確率変数からいつまで逃げる気ですか？
分からないなら分からないと言いましょうね？3才児じゃないんだから
74:粋蕎
21/08/02 18:24:39.74 0KgUonzg.net
離散一様分布なだけじゃない！
等間離散一様分布じゃぁあああ!!!!!!
あんまり惚けた事ばっかり言うとると猿石つまり釈迦に大岩乗せられた齊天大聖に採って焼いて喰われるぞ｡
75:１３２人目の素数さん
21/08/02 20:43:48.09 yUbNtzbv.net
QB5Kd20g は、「文」の意味が分からず 言葉のサラダと狂乱
知的障害児でしたか
76:１３２人目の素数さん
21/08/02 22:54:16.00 MQR4OP/h.net
>>68
下記コンパクト性定理の応用例 国の数が無限である場合の四色定理、任意の順序集合が全順序に拡大できること
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
歴史
1930年にゲーデルが可算集合の場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた[1][2]。
応用例
コンパクト性定理はモデル理論を含む様々な分野において多くの応用を持つ。例として、以下の定理や命題がコンパクト性定理を用いて証明される。
・上方レーヴェンハイム-スコーレムの定理
・実数や自然数の超準モデルの存在
・ロビンソンの原理(一階述語論理の文 φ が任意の標数 0 の体で成り立つならば、ある自然数 k が存在して、φは標数が k 以上のすべての体で成り立つ)
・国の数が無限である場合の四色定理[3]
・任意の順序集合が全順序に拡大できること
その他の論理体系におけるコンパクト性
命題論理における同様の結果は、位相空間論のチコノフの定理をストーン空間に適用することで得られる[4]。 en:Lindström's theoremは、コンパクト性定理と(下方)レーヴェンハイム-スコーレムの定理が一階述語論理を特徴づける性質であることを示している。高階述語論理においてもある種のコンパクト性は保持されているが、コンパクト性定理自体は成り立たない。
URLﾘﾝｸ(en.wikipedia.org)
Compactness theorem
つづく
77:１３２人目の素数さん
21/08/02 22:55:28.50 MQR4OP/h.net
>>73
つづき
純粋・応用数学（含むガロア理論）8
ｽﾚﾘﾝｸ(math板:405番)
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)
”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される”
は、コンパクト性定理の”任意の有限部分集合がモデルを持つ”と、同じ表現である
よって、コンパクト性定理の帰結として、”X1，X2，X3，・・・がまるまる無限族として独立”が言えて
”当てられっこない”、”他の箱から情報は一切もらえない”となる QED（＾＾
以上
78:１３２人目の素数さん
21/08/02 23:31:43.49 UMYhzcCZ.net
>>74
はいイカサマ
都合の悪い部分もちゃんと引用して下さいねー
「ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か�
79:盾ｪ抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい. 条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ. ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある. 」 で？なんでまた逃げたの？確率変数が分からないなら分からないと言いなさいよ。3才児じゃあるまいし。
80:１３２人目の素数さん
21/08/02 23:31:54.62 MQR4OP/h.net
>>53-54
1．先に、”確率変数”が一つの場合を説明した
2．次に、”確率変数”が二つで、独立の場合を考えると、下記だ
3．同様に、”確率変数”がｎ個で、独立の場合も考えることができる（下記）
4．そして、iid(独立同分布)で、サイコロを使って、箱にサイコロを入れると、どの箱も確率変数が一つの場合と同様に、1～6の目が出る確率は1/6である
5．かつ、箱に入れたサイコロがクルクル回転するはずもなく、もともと入れたサイコロに外から力を加えなければ、変化するはずもなく従って”固定”など無意味
6．確率変数Xは、定義は>>53-54 >>57の通りです。クルクル変わる変数ではない。従って”固定”など無意味です
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E7%A2%BA%E7%8E%87%E8%AB%96)
独立 (確率論)
確率変数の独立
まず基本となる、2つの確率変数が独立であることの定義を述べる[5]。2つの確率変数 X と Y が独立であるとは、任意の実数 a, b に対して
P(X<a,Y<b)=P(X<a)P(Y<b)} P(X<a,Y<b)=P(X<a)P(Y<b)}
が成り立つことである。
一般に、（共通の確率空間上の実）確率変数の族 { Xλ | λ ∈ Λ} が独立であるとは、任意の実数 aλ に対して、事象の族
{{Xλ<aλ}｜ λ ∈ Λ }
が独立であることをいう[7]。つまり、任意の実数 aλ と添字集合 Λ の任意の有限部分族 {λ1, …, λn} に対して
P(Xλ1<aλ1,Xλ2<aλ2,・・・ ,Xn<an)=P(Xλ1<aλ2)P(Xλ2<aλ1)・・・ P(Xn<an)
が成り立つことをいう。
81:１３２人目の素数さん
21/08/02 23:51:49.56 UMYhzcCZ.net
>>76
当てずっぽうの対象を間違えてる。
おまえのは箱の中身を当てずっぽうで当てるときの確率。
時枝戦略は単独最大決定番号を持つ列以外を当てずっぽうで当てるときの確率。
バカに数学は無理。
82:１３２人目の素数さん
21/08/02 23:56:25.57 UMYhzcCZ.net
箱の中身が当てずっぽうで当たるはずがないことは小学生でも分る。
小学レベルで成長が止まった真性バカｗ
83:１３２人目の素数さん
21/08/02 23:59:13.26 UMYhzcCZ.net
第一当てずっぽうだったら戦略でもなんでもないやんｗ
そんなが数学セミナーの記事になるかーいｗ
バカは死ぬまで治らないとはおまえのことｗ
84:１３２人目の素数さん
21/08/03 00:06:28.41 Xz1pWEQI.net
そもそも箱の中身を当てずっぽうで当てるのに選択公理も同値類も要らないｗ
要するにバカは自分が理解できないことを排除したいだけｗ
これをバカ丸出しと言わず何と言えばいいのか？
85:１３２人目の素数さん
21/08/03 00:34:04.04 R62jYcDL.net
>>1「言い出した事を今さら引っ込められない、振り上げた拳を今さら降ろせない！
何とか時枝に対する、この板限定世論だけでもコピペ百篇口勢で勝ちをもぎ取るんだ！｣
スレ主は論ぜず、口勢による弾圧により勝ちを得ようとする｡
86:１３２人目の素数さん
21/08/03 02:16:14.94 Xz1pWEQI.net
諸行無常の鐘の音に逆らうが如く
アホは一生アホのまま
87:１３２人目の素数さん
21/08/03 05:36:39.67 HE9n2APK.net
1は「一階述語論理の文」が理解できず、
勝手に「対象」と置き換えて
「コンパクト性定理（英: Compactness theorem）とは、
”対象” の無限集合Mがモデル ”となる” ことと、
その集合の任意の有限部分集合がモデル ”となる” ことが
同値であるという定理である。
つまりある理論が"モデルを有すること”を示すには
(モデルとなるであろう集合の）その有限部分について
(モデルとなること)のみ調べれば良い
という非常に有用性の高い定理であり、
モデル理論における最も基本的かつ重要な成果のひとつである。」
と誤読する
例えば「Nが自然数論のモデルであること」を示すのに
「Nの任意の有限部分集合が自然数論のモデルであること」を示せばよい
というまったく馬鹿げた理解をする
（もちろん、Nのいかなる部分集合も自然数論のモデルにはなり得ない）
88:１３２人目の素数さん
21/08/03 05:42:54.64 HE9n2APK.net
1は「偽コンパクト性定理」にもとづき
「任意の有限列で、決定番号の位置が列の最後の箱となり、箱入り無数目戦略は失敗する。
したがって無限列でも、決定番号の位置が列の最後の箱となり、箱入り無数目戦略は失敗する。」
といいたいようだ
しかし、そもそも「偽コンパクト性定理は」は定理でもなんでもないただの誤りなので無意味
任意の有限列で最後の箱があるからといって
無限列でも最後の箱があるということにはならない
∞は最後の自然数ではない そもそも最後の自然数は存在せず∞は自然数ではない
いかなる無限列でも決定番号は自然数ｎであり、ｎ＋１以降の無限長の尻尾が存在する
したがって箱入り無数目は必ず成功する
89:１３２人目の素数さん
21/08/03 06:39:33.69 HE9n2APK.net
自然数論
０＜１、１＜２、２＜３、･･･
という論理式の無限個の集まり、ではない
０∈Ｎ
∀ｎ∈Ｎ．ｎ＋１∈Ｎ＆ｎ＋１＞ｎ
という論理式からなる
とくに後者は、
「任意の自然数ｎについて、ｎ＋１が自然数として存在し、ｎ＋１＞ｎである」
といってるのだから、最大の自然数は存在し得ないのである
もし、1が
「コンパクト性定理により、自然数論の有限モデルが存在する！」
と言い張ってるのなら、コンパクト性定理を完全に誤解している
90:１３２人目の素数さん
21/08/03 07:16:25.32 08C4aEEs.net
>>85
誤解しているのは、おまえだよ
そのペアノの公理が、コンパクト性定理の反例だと言い張るならば
お前はアホだよ
91:１３２人目の素数さん
21/08/03 07:41:25.91 08C4aEEs.net
>>76
つづき
箱が有限の場合までは、良いかな？
まとめると
1．箱がｎ個の場合、確率変数の有限族 X1,X2,・・Xnで扱える
2．iid(独立同分布)を仮定すれば、どの確率変数 Xi (i=1～n)も、1つのサイコロの確率変数と同じに扱える
3．確率変数Xは、定義は>>53-54 >>57の通りです
4．箱に確率変数を入れると考える必要はない。要するに確率変数とは、確率現象を扱う数学の手法です
出題者から見て箱に入れる数が確定しているが、回答者からは見えない状態で つまり確率現象に見えるならば、回答者は確率変数で数当てを考えるのが、確率論であり 確率変数の数学手法です
さて、
1．大学教程の確率論では、>>76のwikipediaように、確率変数の族で添え字集合Λ＝N（自然数）と取ることができる
2．そうすると、時枝の可算無限の箱は、確率変数の有限族 X1,X2,・・Xn・・ (n→∞) で扱える
3．iid(独立同分布)を仮定すれば、どの確率変数 Xi (i=1～n)も、1つのサイコロの確率変数と同じに扱える
従って、∀i Xi (i ∈ N) で、P(Xi)=1/6
4．どの箱も、P(Xi)>=99/100とは、ならない！
これが、大学教程の確率論の結論です！！
そして、時枝先生は大学教程の確率論の無限族の独立の定義に イチャモンを付けているが（>>74 ”確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される”）
無限族の独立の定義は、コンパクト性定理(>>73)の”任意の有限部分集合がモデルを持つ”と、同じ表現であるから
ここに、イチャモンを付けるのは変ですね
以上
92:１３２人目の素数さん
21/08/03 07:46:51.22 08C4aEEs.net
>>86
前スレの下記は、お前だろ？
ペアノの公理が、コンパクト性定理の反例だと言い張るならば
お前はアホだよ！
Inter-universal geometry と ABC予想 (応援スレ) 57
ｽﾚﾘﾝｸ(math板:975番)-978
975 返信：１３２人目の素数さん[sage] 投稿日：2021/08/01(日) 14:33:22.97 ID:8szAMdzl [31/46]
>>965
>おっと、変な例作って、
>「この例は成り立たない」とか言わないようにね
>めんどくさいので、応答しませんよ
「これが自然数論の有限モデルだ！」とかいって
変な例（mod nの算術）を作ったのはあなたですよ
もちろん、自然数論の公理を満たしません
めんどくさいので、自分で公理を調べて確認してくださいね
こんな簡単なこと確認もせずに、
自明な誤り書くとか恥ずかしいだけですよ
w67oYbiwさん
978 名前：１３２人目の素数さん[sage] 投稿日：2021/08/01(日) 14:40:43.62 ID:8szAMdzl [33/46]
w67oYbiwさんだけで�
93:ﾈく、それ以外の人にも問題 自然数論の５つの公理（ペアノ） １．自然数 0 が存在する。 ２．任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 ３．0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。 ４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。 ５．0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 さて、mod nの算術はどの公理に反するでしょう？ (引用終り) 以上
94:１３２人目の素数さん
21/08/03 07:49:53.30 HE9n2APK.net
>>86
誤 コンパクト性定理
正 偽コンパクト性定理
文の意味を理解せず 勝手に対象にすり替えたのは 根本的誤りだったな 1
95:１３２人目の素数さん
21/08/03 07:54:22.55 HE9n2APK.net
>>87
1の（偽）コンパクト性推論
「任意の有限列で、その先に尻尾がない最後の箱があるから
”箱入り無数目”の戦略が失敗するので、
無限列でも、必ずその先に尻尾がない最後の箱が存在し、それゆえ
”箱入り無数目”の戦略が失敗する」
もちろん、「（偽）コンパクト性推論」なるものは存在しない
96:１３２人目の素数さん
21/08/03 08:16:18.95 08C4aEEs.net
>>90
おサルさ、お前がいないと、下記IUTスレ（ ABC予想44 ）結構まともな議論になっているだろ？
おまえってさ、統合失調症なんだよ
議論がメチャクチャな上に、不遇になった自分の境遇から、強烈な反日バイアスが入った議論になるからさ
まともな議論にならないんだよね
まあ、このスレで
ボコボコにしてやるよ
それは、IUTの
まともな議論のためにも、必要なんだよね（＾＾
(参考)
Inter-univeral geometry と ABC予想44
ｽﾚﾘﾝｸ(math板:700番)-
97:１３２人目の素数さん
21/08/03 08:21:52.04 08C4aEEs.net
>>89-90
なにを言っているの？
もともと、有限では成立せず 無限集合でのみ成立する 条件をもってきて
これは、「有限では成立せず 無限集合でのみ成立する」と主張する
なにそれ？
なにか数学的な主張を、構成したつもりかい？
アホとしか、言い様がないぞ、あほ！
98:１３２人目の素数さん
21/08/03 08:25:48.50 08C4aEEs.net
>>92 補足
>もともと、有限では成立せず 無限集合でのみ成立する 条件をもってきて
>これは、「有限では成立せず 無限集合でのみ成立する」と主張する
そんなのは、レーベンハイムスコーレムとかコンパクト性定理の議論からは、当然に（デフォルトで）外しておくべきものでしょ
議論が錯綜して、収拾がつかなくなるぜよｗ
統合失調症のお薬をしっかり飲んでくださいね
99:１３２人目の素数さん
21/08/03 08:33:57.07 HE9n2APK.net
>>90
IUT本スレがまともな理由は
「頭NO王」1が参加してないからでしょう
(偽)コンパクト性定理とか、
偽定理に基づいて思考したら
偽証明しかできないのは当然かと
「頭NO王」1は、勝手読みで自爆してるんで、
私はただその事実を示してあげてるだけですよ
100:１３２人目の素数さん
21/08/03 08:40:05.04 HE9n2APK.net
>>93
>有限では成立せず 無限集合でのみ成立する条件
>そんなのは、レーベンハイムスコーレムとかコンパクト性定理の議論からは、
>当然に（デフォルトで）外しておくべきものでしょ
そもそも、頭NO王1は、
レーベンハイムスコーレムとかコンパクト性定理
の言明自体、読み間違ってるんですが、まだ気づきませんか？
公理の文の集合であって、対象の集合ではない、ってまだわかりませんか？
充足不能証明が有限だから、前提に現れる式も有限、って理屈が全然わかりませんか？
流石、文章の意味がわからず論理による思考ができない「頭NO王」ですね
101:１３２人目の素数さん
21/08/03 08:47:09.60 HE9n2APK.net
自然数論や集合論は公理図式を用いてるんで公理の式の数は無限個
しかし、いかなる証明も公理のうちの有限個の式しか前提に用いない
コンパクト性定理の意味はそこにあるのであって
別に自然数論の有限モデル（対象となる自然数が有限個）があるなんて
誰も言ってないし言えるわけない
102:１３２人目の素数さん
21/08/03 09:07:22.98 mw2PVHYe.net
結局、abcは定理になったの？
103:１３２人目の素数さん
21/08/03 09:33:58.63 HE9n2APK.net
>>97
それ偽スレじゃなく以下の真スレに書いてくれる？
ｽﾚﾘﾝｸ(math板)
104:１３２人目の素数さん
21/08/03 10:35:43.28 Xz1pWEQI.net
>>87
>1．箱がｎ個の場合、確率変数の有限族 X1,X2,・・Xnで扱える
扱えても時枝戦略と
105:は異なるから無意味。 アホは一生アホのまま。
106:１３２人目の素数さん
21/08/03 10:37:27.47 Xz1pWEQI.net
>>87は
>時枝戦略は単独最大決定番号を持つ列以外を当てずっぽうで当てるときの確率。
を一生理解できないアホ。
107:１３２人目の素数さん
21/08/03 10:40:15.57 Xz1pWEQI.net
アホ人生から脱出するためのヒントをこれほど出してやってるのに
なぜかアホであることに拘り続ける救い様の無いアホ
108:１３２人目の素数さん
21/08/03 12:14:48.67 NpRYL4ap.net
>>97
＞結局、abcは定理になったの？
abcは定理になりつつある
現在進行形です
理由
１．査読は終り、出版された
２．海外勢で、仏リール大など強力は応援勢力が京成されつつある
３．国内にも、広がっている
４．今年９月には４回の国際会議が終わる
５．思うに、４回のまとめをして、巻頭言に東大 志甫淳に一筆書いてもらえばいい
ＩＵＴ賛成でなくとも、せめて中立でいい。手放しＩＵＴでなくとも、ＳＳのイチャモンにも賛成しない。今後もっと、国際会議を重ねて遠アーベルを推進しょう程度でも可
それで、国内のIUT懐疑の声は緩和される
６．海外では、ドイツでIUTの会議を開催すれば良い
来年以降でもね
ショルツェ氏は賛成しなくても、
Stix氏クラスの遠アーベル専門家が応援に回れば、それで十分でしょ？
まあ、４回の国際会議が終われば、次のステップを計画すれば良い
勿論、本欄のIUT数学の発展も含めての計画をね
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際タイヒミューラー理論の拡がり
組織委員長：望月新一（京都大学数理解析研究所）
組織委員：星裕一郎（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎（東京工業大学）
加藤文元（東京工業大学）
栗原将人（慶応義塾大学）
志甫淳（東京大学）
109:１３２人目の素数さん
21/08/03 12:19:46.94 NpRYL4ap.net
>>102 タイポ訂正
勿論、本欄のIUT数学の発展も含めての計画をね
↓
勿論、本来のIUT数学の発展も含めての計画をね
分かると思うが
一番は、IUTをABC以外にも適用して、どんどん成果を出すことですが
それは、もちろん、そうしたいと思っている人多数でしょう
110:１３２人目の素数さん
21/08/03 12:33:17.49 NpRYL4ap.net
>>98
おサル、笑えるよ
おまえが、「ABC予想44」に書けないように、こっちのスレでボコボコに叩いてるのが有効ってことでしょ？
だから、あっちのスレが、多少まともになっているってことでしょ
反日のおサルさんよ！
おれはそもそも、「ABC予想44」には殆ど書いていないよ
それに、「ABC予想44」では、スレ立て人じゃないぜよ
「ABC予想44」では、”偽スレ1こと”とか、意味通じないだろうね
統合失調症のクスリが合ってないように思うぜ
無理しないで休め（＾＾；
参考引用
Inter-univeral geometry と ABC予想44
ｽﾚﾘﾝｸ(math板:711番)-714
711 名前：１３２人目の素数さん[] 投稿日：2021/08/03(火) 09:34:45.65 ID:HE9n2APK [1/2]
偽スレの以下の書き込みを転載
「結局、abcは定理になったの？」
714 名前：１３２人目の素数さん[] 投稿日：2021/08/03(火) 10:36:05.23 ID:HE9n2APK [2/2]
>>712
以下のみ禁止すれば混乱はおきないと考えるが如何？
・偽スレ1こと「頭NO王」による書き込み
・偽スレ1こと「頭NO王」の書き込みの転載もしくはリンク
(引用終り)
111:１３２人目の素数さん
21/08/03 13:44:32.99 NpRYL4ap.net
スレちだが
ニュース速報（ピロンｗ）
入江が金メダル
ボクシング女子フェザー級
アスリートたち、オリンピックを目指して
人生掛かっているんだよね
オリンピック開催で、良かったと思うよ
URLﾘﾝｸ(www.nikkei.com)
入江が金メダル ボクシング女子フェザー級
Tokyoオリパラ
2021年8月3日 11:20 (2021年8月3日 13:32更新)
ボクシング
東京五輪第12日の3日、女子フェザー級の入江聖奈（日体大）は決勝に臨み、フィリピン選手を破って日本女子初の金メダルを獲得した。男子フライ級の田中亮明（岐阜・中京高教）が準々決勝で2016年リオデジャネイロ五輪ライトフライ級銀メダルのマルティネスリバス（コロンビア）に判定勝ちし、5日の準決勝に進んだ。3位決定戦がないため、銅メダル以上が確定した。
112:１３２人目の素数さん
21/08/03 13:56:17.69 Xz1pWEQI.net
>>87
>出題者から見て箱に入れる数が確定しているが、回答者からは見えない状態で つまり確率現象に見えるならば、回答者は確率変数で数当てを考えるのが、確率論であり 確率変数の数学手法です
「回答者からは見えない状態で」と「つまり確率現象に見えるならば」が論理的にまったくつながってない。
実際、箱入り無数目では回答者からは選択した箱の中身は見えないが、時枝戦略は箱の中身を確率現象と見ていない。
時枝戦略における確率現象は「さて， 1～100 のいずれかをランダムに選ぶ. 」である。
論理の分からぬバカに数学は無理なので諦めてください。
113:１３２人目の素数さん
21/08/03 13:57:46.41 Xz1pWEQI.net
要するにバカは
「時枝戦略じゃない方法で当てられない」
としか言っておらず、時枝戦略でも当てられないことをまったく言えていない。
そのことにまったく気づかない。アホだから。
114:１３２人目の素数さん
21/08/03 14:01:04.81 Xz1pWEQI.net
箱の中身を当てずっぽうで当てようとするのがおバカ戦略。
単独最大決定番号の列を当てずっぽうで外そうとするのが時枝戦略。
おバカ戦略敗北ｗ
115:１３２人目の素数さん
21/08/03 14:04:39.20 Xz1pWEQI.net
>単独最大決定番号の列を当てずっぽうで外そうとするのが時枝戦略。
100列のうち単独最大決定番号の列は0列または1列だから、当てずっぽうで外す確率は99/100以上。
見事外せば代表列からのカンニングに成功し勝利！
たったこれだけのことが何年経っても理解できないアホに数学は無理なので諦めて下さい。
116:１３２人目の素数さん
21/08/03 14:17:47.54 Xz1pWEQI.net
まあ常識で考えれば
大学一年4月に落ちこぼれた落ちこぼれがケンブリッジ大フェローの時枝先生に敵う訳無いわなｗ
笑えるｗ
117:１３２人目の素数さん
21/08/03 14:39:48.81 NpRYL4ap.net
>>19
(引用開始)
”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム-スコーレムの定理
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論（真の一階算術の理論）には非可算なモデルがあり、(R, +, ×, 0, 1) の理論（実閉体の理論）には可算なモデルがある
(引用終り)
>>88
自然数論の５つの公理（ペアノ）
４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。
さて、mod nの算術はどの公理に反するでしょう？
(引用終り)
上記に戻る
１．レーヴェンハイム-スコーレムやコンパクト性定理において、
有限集合←→可算無限集合
の話をしているとき、ペアノ公理
「４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる」を持ち出して
「”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル」
を否定するとは、これ如何に？
２．そもそも、ペアノ公理
「４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる」
は、有限集合では不成立は自明だが
しかし、「”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル」
は、極限ｎ→∞で、自然数の集合Ｎと一致するよね
だったら、少なくとも、レーヴェンハイム-スコーレムの
上方部分の証明「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
とは合致しているから、上記ペアノ公理4で、これを排斥する論理はおかしいよね
そんなことも分からないのかね？
「有限集合←→可算無限集合」（レーヴェンハイム-スコーレムやコンパクト性定理）
で、自明に有限で不成立のペアノ公理4を持ち出すことが、おれ的には噴飯ですけどねｗｗｗ
118:１３２人目の素数さん
21/08/03 14:43:14.98 NpRYL4ap.net
>>110
時枝先生のジョークで笑えない人
大学１年の同値類を学んで舞い上がった初学者ですね
大学４年で、大学の無限個の確率変数の族の独立性を学べば、時枝先生のジョークで笑えますよｗ
119:１３２人目の素数さん
21/08/03 16:13:54.79 Xz1pWEQI.net
>>112
>時枝先生のジョークで笑えない人
ジョークなら証明のどこかに誤りがあるはずですよね？
それはどこ？
>大学１年の同値類を学んで舞い上がった初学者ですね
大学一年4月に落ちこぼれた落ちこぼれですね
>大学４年で、大学の無限個の確率変数の族の独立性を学べば、時枝先生のジョークで笑えますよｗ
時枝戦略の確率変数は「さて， 1～100 のいずれかをランダムに選ぶ. 」から分かる通り無限族ではありません。日本語読めませんか？
120:１３２人目の素数さん
21/08/03 17:46:14.65 R62jYcDL.net
>>91
如何にスムーズに議論されども間違いだらけではマトモな議論とは言わない｡
そんなのは信者のみからなる総会屋と何ら変わらない｡
121:１３２人目の素数さん
21/08/03 18:44:17.02 NpRYL4ap.net
>>114
>如何にスムーズに議論されども間違いだらけではマトモな議論とは言わない｡
>そんなのは信者のみからなる総会屋と何ら変わらない｡
いや、いままでがひどすぎ
・おサルの反日バイアス >>7
過去スレ55 ｽﾚﾘﾝｸ(math板:813番)
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
無茶苦茶ですがな
・あるいは、RIMSが予算ほしさに、査読を誤魔化して、柏原先生と玉川先生が、記者会見をしたとか
・望月氏が、デタラメな人が読めない論文をわざと書いて、数学の論文にしているとか
そんな荒唐無稽な論ばかりだったよね>>5
おサルをこのスレにひきつけたので
ようやく、議論がスタートだと思うよ
122:１３２人目の素数さん
21/08/03 18:49:05.67 Xz1pWEQI.net
アホは数学の前に日本語を勉強すると良い。
>無限個の確率変数の族の独立性
などと言ってるようじゃ
「さて， 1～100 のいずれかをランダムに選ぶ. 」
のような簡単な日本語も読めてないから。
123:１３２人目の素数さん
21/08/04 07:01:18.91 12OzD4k5.net
>>111
>レーヴェンハイム-スコーレムやコンパクト性定理において、
>有限集合←→可算無限集合
>の話をしているとき
１．レーヴェンハイム-スコーレムでは
「無限モデルを持てば有限モデルを持つ」
なんて主張はないし、実際そんなことはいえない
（例えば自然数論の有限モデルは存在しない）
２．コンパクト性定理は
「（無限個の）公理からなる理論のモデルが存在するのは
上記の公理の任意の有限個の式からなる理論のモデルが
存在するとき、そのときに限る」
という命題であって
「（無限個の）対象からなるモデルが存在するのは
上記の対象の任意の有限個からなるモデルが
存在するとき、そのときに限る」
という命題ではない
>「有限集合←→可算無限集合」
>（レーヴェンハイム-スコーレムやコンパクト性定理）
NpRYL4apの話は
レーヴェンハイム-スコーレムやコンパクト性定理に対する
根本的に間違った理解に基づいているので
無意味
124:１３２人目の素数さん
21/08/04 07:01:46.68 12OzD4k5.net
>>111
>ペアノ公理
>「４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる」
>を持ち出して
>「”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル」
>を否定するとは、これ如何に？
否定の根拠となる公理が違ってる
「”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル」
で成り立たないのは、ペアノ公理の
「３．0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。」
mod nでは n-1 の後者は0
(>>16では、誤ってn+1と書かれているが、正しくはn-1)
>そもそも、ペアノ公理
>「４．異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる」
>は、有限集合では不成立は自明だが
mod nでは、４．は成立するけど
例えば mod 3の場合
0の後者は1
1の後者は2
2の後者は0
だから、異なる要素は異なる後者を持つ
>自明に有限で不成立のペアノ公理4を持ち出すことが、
>おれ的には噴飯ですけどねｗｗｗ
mod nで、4は成立してるのに
「自明に有限で不成立」と云い切っちゃう
NpRYL4apのほうがよっぽど噴飯だって
さすが「頭NO王」
125:１３２人目の素数さん
21/08/04 07:02:30.18 12OzD4k5.net
>>111
>「”(N, +, ×, 0, 1) の理論（真の一階算術の理論）”に、mod nを考えた、有限モデル」
> は、極限ｎ→∞で、自然数の集合Ｎと一致するよね
一致？しないよ
そもそもどうやって極限とるつもり？
>だったら、少なくとも、レーヴェンハイム-スコーレムの上方部分の証明
>「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
>とは合致しているから、
NpRYL4apのいうmod nの無限のモデルは、
自然数論のモデルではない�
126:ｯどね nが超準自然数の場合の、mod nって (N, +, ×, 0, 1) の理論（真の一階算術の理論） とは違うよ nが超準自然数の場合のmod nは、 n=0で、0の前者としてのn-1が存在する 一方自然数論Nでは、0の前者は存在しない ほら、全然違うじゃん！ NpRYL4apって、もしかして何も考えてない？ さすが「頭NO王」 >上記ペアノ公理4で、これを排斥する論理はおかしいよね 4じゃなくて3ね 「３．0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。」 >そんなことも分からないのかね？ そんなことも分からないのかね？ 「頭NO王」NpRYL4ap は
127:１３２人目の素数さん
21/08/04 07:11:53.06 12OzD4k5.net
「頭NO王」1のID
8/1 w67oYbiw
8/2 MQR4OP/h （自宅） QB5Kd20g （職場）
8/3 08C4aEEs （自宅） NpRYL4ap （職場）
昼間っから全く仕事もせずに
職場から数学板でウソ数学を書き散らかすとか
完全に5ch廃人だな
128:１３２人目の素数さん
21/08/04 07:21:20.06 12OzD4k5.net
横レス
>>106
>「回答者からは見えない状態で」と
>「つまり確率現象に見えるならば」が
>論理的にまったくつながってない。
「頭NO王」1は、思い込みが激しい
そしてその思い込みは悉く間違ってる
「回答者からは見えない状態」ならば「確率現象に見える」がその典型
見える見えないは、確率現象か否かとは全く関係ない
そのことがどうしても理解できない1は正真正銘の「頭NO王」
URLﾘﾝｸ(www.youtube.com)
URLﾘﾝｸ(www.youtube.com)
129:１３２人目の素数さん
21/08/04 10:27:33.89 h9dtiZ/9.net
別に確率現象としてもいいけどね、ただ当たらないだけｗ
当たらない戦略の存在を示しても当たる戦略（時枝戦略）の存在を否定できたことにはならない
バカは論理が致命的に分からない
130:１３２人目の素数さん
21/08/04 17:09:23.94 HHbnQ4kZ.net
>>112 補足
＜サルにも分かる時枝 「箱入り無数目」不成立＞
１．要するに、決定番号には、上限がなく、決定番号の分布の裾（d→∞）が減衰しない分布になるから
２．つまりは、下記の非正則分布類似です。積分が発散して、全事象の確率は1であるというコルモゴロフの確率の公理に反しています
（決定番号は、離散分布なので、積分は分布の総和と読み替えて下さい。言わずもがなです。分かると思うが）
３．下記の「箱入り無数目」で、簡単に２列で考える
開けた列から、値Dを得て、開けていない列の決定番号dsとDの比較で
D >= dsの確率 P(D >= ds) ＝1/2を主張する
４．いま、もし決定番号が有限で、最大値Mを持ち1～Mの自然数の一様分布で、平均値が(1+M)/2としよう
D＝(1+M)/2 ならば、未開封の列に対し”P(D >= ds) ＝1/2”という計算が成り立つが
５．しかし、決定番号には、上限がなく、決定番号の分布の裾（d→∞）が減衰しない分布であるから
平均値は→∞に発散しており、いかなる有限のDに対しても、未開封の列に対しては、”P(D >= ds) ＝1/2”は不成立
（非正則分布を使った既知の有限Dと未知の決定番号との比較で、”P(D >= ds) ＝1/2”は、無理ゲー ∵決定番号には上限なく、平均値は→∞に発散している）
６．”P(D >= ds) ＝1/2”が不成立であるから、
”P(D >= ds) ＝99/100”なるDも存在しない
（参考）
時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」抜粋
純粋・応用数学（含むガロア理論）8
ｽﾚﾘﾝｸ(math板:402番)-403
(抜粋)
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
つづく
131:１３２人目の素数さん
21/08/04 17:09:51.41 HHbnQ4kZ.net
>>123
つづき
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
(引用終り)
（参考）
URLﾘﾝｸ(ai-trend.jp)
2020/04/14
非正則事前分布とは？?完全なる無情報事前分布?
ライター：masa
非正則な分布は非常に特殊な分布で、様々な性質を持っています。これらについて詳しく解説していきます。
非正則な分布とは？一様分布との比較
非正則な分布は一様分布と非常に似ています。では、一様分布とどのように似ていて、どこが違うのでしょうか？
これに対し、非正則な分布の密度関数は例えば（*1） 以下 のように与えられます。
違いがお分かりいただけたでしょうか。つまり、非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
上で説明した非正則な分布ですが、よく見てみてください。確率の和が1ではありませんよね。
積分 ∫θ<Θ f(x)dx＝∫-∞～∞ Cdx＝∞
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
(引用終り)
以上
132:１３２人目の素数さん
21/08/04 17:26:43.34 12OzD4k5.net
>>123
(箱の中身が確率変数の場合)求めるのは
P(D >= ds)
ではなくて
P(dmax_n >= ds)
だが、
dmax_nはn列の決定番号の最大値
※ ただし「箱入り無数目」の場合、箱の中身は定数だから、決定番号の分布は一切必要がない
133:１３２人目の素数さん
21/08/04 17:42:45.24 HHbnQ4kZ.net
転載
Inter-univeral geometry と ABC予想44
ｽﾚﾘﾝｸ(math板)
742 名前：１３２人目の素数さん[] 投稿日：2021/08/04(水) 06:38:57.26 ID:ep8StVjM
woit 2021.7.30
URLﾘﾝｸ(www.math.columbia.edu)
IUTT ショルツェ 書評
URLﾘﾝｸ(zbmath.org)
(引用終り)
URLﾘﾝｸ(zbmath.org)
(抜粋)
Mochizuki, ShinichiInter-universal Teichmuller theory. I: Construction of Hodge theaters. (English)￡￠ !Zbl 07317908Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021)
In this series of papers on Inter-Universal Teichmuller theory [this paper, ibid. 57, No. 1?2, 209?401 (2021;Zbl 07317909); Publ. Res. Inst. Math. Sci. 57, No. 1?2, 403?626 (2021; Zbl 07317910); ibid. 57, No. 1?2,627?723 (2021; Zbl 07317911)] , the author aims to prove the ABC conjecture of Masser and Oesterle, inclose to effective form.Recall
(引用終り)
１．これを見ると、No”I”とあり、”In this series of papers”とあるから、この後続きのII以降があるのでしょうね
２．しかし、ショルツェ氏は進歩してないね。2018年のSS文書のままじゃんｗ
３．おれも、この数学レベルになると、全くついていけないし、ショルツェ氏 vs 望月氏のタイマンなら、ショルツェ氏のりだが
４．しかし、2021年のいまは、望月氏には＋RIMSの編集委員会＋査読グループ＋仏リール大 Promenade in Inter-Universal Teichmuller Theory
+南出論文＋英フェセンコ先生＋米Dupuy,Joshi他
５．圧倒的に、望月氏の勢力は拡大した。対して、ショルツェ氏側は？ Stix氏は2018年以降ダンマリでしょ？（脱落？）
ショルツェ氏を、表立って支持するのは、雑魚のwoitとかDavid Robertsだけでしょ？ 他は、表立って、ショルツェ氏の応援なし。
６．そりゃそうだ。海外の数学大家たちは、「なんで仏リール大？」が分からないと、独仏戦争に巻き込まれかねないよね。
面白いじゃないですか！ｗ