21/12/08 12:26:50.47 tPmP8J4x.net
つづき
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLﾘﾝｸ(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
URLﾘﾝｸ(www.youtube.com)
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく
3:１３２人目の素数さん
21/12/08 12:27:11.45 tPmP8J4x.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)
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末～9月初めの二つのIUT会議に出席したようです
参考
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
つづく
4:１３２人目の素数さん
21/12/08 12:27:35.06 tPmP8J4x.net
つづき
＜過去スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
5:１３２人目の素数さん
21/12/08 12:28:01.15 tPmP8J4x.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)
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく
6:１３２人目の素数さん
21/12/08 12:28:23.85 tPmP8J4x.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金（禁）よろしくね！（＾＾
つづく
7:１３２人目の素数さん
21/12/08 12:28:42.08 tPmP8J4x.net
つづき
（参考）
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
News - Ivan Fesenko URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Explicit estimates in inter-universal Teichmuller theory, by S. Mochizuki, I. Fesenko, Y. Hoshi, A. Minamide, W. Porowski, RIMS preprint in November 2020, updated in June 2021, accepted for publication in September 2021
URLﾘﾝｸ(www.maths.nottingham.ac.uk) NEW!! (2020-11-30) いわゆる南出論文
他に、IUT関連
・[R8] Higher adelic theory, talk at the Como School, September 2021 URLﾘﾝｸ(ivanfesenko.org)
・[R7] IUT and modern number theory, talk at the RIMS workshop on IUT Summit, September 2021 URLﾘﾝｸ(ivanfesenko.org)
? [R5] Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 URLﾘﾝｸ(ivanfesenko.org)
? [R4] On asymptoti
8:c equivalence of classes of elliptic curves over Q , November 2020 https://ivanfesenko.org/wp-content/uploads/2021/10/asym2-1.pdf http://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf ＜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が通らないので検索たのむ） つづく
9:１３２人目の素数さん
21/12/08 12:28:59.02 tPmP8J4x.net
つづき
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)
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
つづく
(deleted an unsolicited ad)
10:１３２人目の素数さん
21/12/08 12:29:17.05 tPmP8J4x.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.math.uni-bonn.de) Date: July 16, 2018.
URLﾘﾝｸ(ncatlab.org) Date: August 23, 2018. )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
つづく
11:１３２人目の素数さん
21/12/08 12:29:36.97 tPmP8J4x.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.
つづく
12:１３２人目の素数さん
21/12/08 12:29:56.23 tPmP8J4x.net
つづき
＜IUTと類体論＞
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Ivan Fesenko - Research in texts
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021
P16の後半に面白い図がある
コピーペースト下記
Here are some relations between the three generalisations of CFT and their further developments:
2dLC?－－ 2dAAG－－－ IUT
l ／ ｜ ｜
l ／ ｜ ｜
l／ ｜ ｜
LC 2dCFT anabelian geometry
＼ ｜ ／
＼ ｜ ／
＼ ｜ ／
CFT
注）記号：
Class Field Theory (CFT), Langlands correspondences (LC), 2dAAG = 2d adelic analysis and geometry, two-dimensional (2d)
(P8 "These generalisations use fundamental groups: the etale fundamental group in anabelian geometry, representations of the etale fundamental group (thus, forgetting something very essential about the full fundamental group) in Langlands correspondences and the (abelian) motivic A1 fundamental group (i.e. Milnor K2) in two-dimensional (2d) higher class field theory.")
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Fesenko IUT and modern number theory
つづく
13:１３２人目の素数さん
21/12/08 12:30:19.89 tPmP8J4x.net
つづき
（IUTに対する批判的レビュー）
URLﾘﾝｸ(zbmath.org)
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
Reviewer: Peter Scholze (Bonn)
取り敢えずこんなところで（＾＾
14:１３２人目の素数さん
21/12/08 12:49:44.19 3f1BATPd.net
>>4
そそ。肝心なのは、IUTが未来永劫検証され続けられるということ。
間違い発見したら、言えばいいだけ。今の所発見されてない。
シュルツは反論に沈黙してるし。
アンチは、なんで当たり前の数学の作法でこれみれないのかな。
15:１３２人目の素数さん
21/12/08 13:42:13.80 tPmP8J4x.net
>>13
>そそ。肝心なのは、IUTが未来永劫検証され続けられるということ。
ありがとう
そうですよね。IUTの査読が終わって、IUT本体は出版され、強いABCをみちびく5人論文も査読が終わって、工大mathに掲載とマスコミ報道があった
IUTの検証は、これからもアカデミックな場で続けられる
そういう、普通の論文と同じ視点で見ればいいだけのこと
>間違い発見したら、言えばいいだけ。今の所発見されてない。
過去にも、間違いの指摘には
きちんと対応しています。ＳＳの藁人形論法以外ではね
>シュルツは反論に沈黙してるし。
反論には沈黙しているくせに
勝手にレビュー書きましたよね
藁人形論法のSS文書がその根拠ですが
なんかへん
16:１３２人目の素数さん
21/12/08 16:21:01.50 ZA7HrUWF.net
IUTはリジッド幾何と関係あるの？
17:１３２人目の素数さん
21/12/08 18:22:38.99 .net
>>1
＞新スレ立てる
懲りないね
18:１３２人目の素数さん
21/12/08 18:24:39.20 .net
理解できないもの応援して楽しいかい？
19:１３２人目の素数さん
21/12/08 18:25:33.43 .net
「観る数」って実は数学でもなんでもないものしか
観えないから無意味だよね
20:１３２人目の素数さん
21/12/08 18:31:28.94 .net
2022のICM CongressでIUTTに何の賞もでなかったら
負けを認められるのかな
それとも勝つまで待つのかな？
もしそうなら不毛だな
21:１３２人目の素数さん
21/12/08 18:36:35.21 .net
「観る数」なんて不毛な強迫観念から抜け出せるといいね
22:１３２人目の素数さん
21/12/08 18:47:35.68 tPmP8J4x.net
>>17
数年前に、ラグビーが人気になり、五郎丸ブームがおきた
ラグビーのルールさえ知らない人が、ラグビーのニュースを見る
最近、五郎丸が現役を引退する話があった
大リーグの大谷選手の活躍があった
「大谷選手、すごい」という人に向かって、「おまえ、大リーグのことを何も知らないだろう？ おまえホーム打てるか？」という人がいるとする
それって、筋違いだよね。大リーグは、観客あってなんぼの世界。だれも見ない試合じゃ、プロの野球として成り立たない
普通の素人が大リーグでホームランなんて、とても打てるもんじゃない。そこで、日本人があわやホームラン王かというのに値打ちがあるんじゃね？
真鍋さんという人が、ノーベル賞を貰ったそうな
じゃあ、だれが真鍋さんの原論文をチェックして、ノーベル賞に値するかどうかを検証したのかな？ｗ
いいんじゃね？ 「真鍋さん、ノーベル賞すごい」で、おれは真鍋さんの論文なんか、何にもしらないけど、”すごい”で何が悪い？
（真鍋さんの論文からかどうか知らないが、二酸化炭素が温暖化ガスで、地球温暖化という話が、昔からあったのは記憶にあるけど、それが真鍋さんの論文由来というのは、初めて知ったよ）
でな、数学だって、ラグビーや、大リーグや、ノーベル賞と同じだよね
「IUTは、ディオファントスで非常に重要なＡＢＣ予想を解決したという触れ込みで、査読が終わって出版された」
「強いＡＢＣを解決する論文も公開されて査読が終わり、近々出版される」という
論文の詳しい内容は、あまりしらないけど、”すごい”で何が悪いの？ｗ
そもそもが、IUTを否定する連中は、論文を読んで理解して発言しているのか？
ここは、双対じゃね？ｗ
かつ、応援側のアドバンテージは、正規に査読され、出版された（あるいは出版予定）し、IUTを支持する数学者は多数いるってこと
アンチ側は、勘違いドイツ人の藁人形論法のSS文書しか、数学的な裏付けないじゃんか？
ここは、非対称で、
完全に応援側のアドバンテージでしょ！ｗｗｗ
>理解できないもの応援して楽しいかい？
あんた、大口叩くなら
自分が、IUTについて、何か理解できていることを、なんでも良いから、示して見なよｗ
質問して、化けの皮を剥いでやるよｗ
23:１３２人目の素数さん
21/12/08 19:19:14.14 7AiOUR+r.net
こわっ
証明失敗してる癖に
24:１３２人目の素数さん
21/12/08 19:35:30.87 jtXiTM0s.net
まぁアホセタやからな
そもそも学問になんぞなんの興味もないんやろ
なんとなく難しい話をわかってるつもりになって自分に酔いたいだけのパープー
他の信者も一緒
25:１３２人目の素数さん
21/12/08 20:22:22.33 OLSVujGt.net
>>22
失敗してるのは証明が成り立たないという主張の方
26:１３２人目の素数さん
21/12/08 20:22:33.81 OLSVujGt.net
>>22
失敗してるのは証明が成り立たないという主張の方
27:１３２人目の素数さん
21/12/08 20:30:34.58 .net
>>21
僕はIUTTに全く興味ないよ
君もIUTTに全く興味ない正常な精神の持ち主になれるといいね
28:１３２人目の素数さん
21/12/08 20:34:40.59 .net
>>21
そもそも数学はスポーツじゃないよ
だから将棋同様「観えない」 残念だったね
29:１３２人目の素数さん
21/12/08 20:37:05.88 .net
>>21
＞おれは真鍋さんの論文なんか、何にもしらないけど
じゃ全く関心もたないのが正常な精神だね
理解できないのに関心もつっておかしいよね
30:１３２人目の素数さん
21/12/08 20:39:21.27 .net
>>21
＞数学だって、ラグビーや、大リーグや、ノーベル賞と同じだよね
数学はラグビーや大リーグとは全然違うけど
数学もノーベル賞も素人には全く理解できないから意味ないよ
理解できないことは全く興味を持たないのが正常な精神だね
31:１３２人目の素数さん
21/12/08 20:41:28.68 .net
>>21
ついでにいうと、数学は音楽とも芸術とも違うね
音楽は聴けるし芸術は観えるけど
数学は理解できない人には観えないから
32:１３２人目の素数さん
21/12/08 20:44:59.32 .net
>>23
＞なんとなく難しい話をわかってるつもりになって自分に酔いたい
なんかかわいそうだね 人生で楽しいことが一つも見つからなかったのかな？
でも生きてるならこれから楽しいことを見つけるチャンスはあるよ
数学が理解できなくても楽しいことはいくらもあるから
数学忘れて他の楽しいことを見つけて幸せになれるといいね
33:１３２人目の素数さん
21/12/08 20:54:00.74 .net
突然だけど「観る数」の人って角度が対数だってこと理解してる？
34:１３２人目の素数さん
21/12/08 21:40:07.27 irDlO7QA.net
>>前スレ919
まだ分からねぇの？お前は疎ら読みしかしておらず「本来は『何とも言えない』」立場で
断言したんだよ。これは二通りに解釈される。一方は分かってる範囲に限っての断言｡
危険なのはもう一方、分かってる範囲での見解を分かってない範囲にも拡大解釈しての断言｡
お前は前者の解釈で言ってる事はもう流石に分かるけどな？目上目下の関係での会話で、後者で取る人間も居る｡
十把一絡げにした積もりは無いが相手にそう聞こえる余地が有る断言ゆえに、落ち度っちゃあ落ち度だ｡
今まで言わなかったけど、言わなきゃ分かんなかった？中には堅気の癖して阿漕な論客も居るだろ｡
まぁそもそも、半端にしか見てない奴が、その半端な認識でわざわざ断言口調で言っちゃあ
「分かってないなら言わなきゃ良いのに」と、それこそ普通の人たちは思うし言う人も居るだろ｡
ここまで言って分からないなら、ここまで言って分からない奴用の極端かつ不謹慎な例で喩えてやるけど、いいか？
ここまで言って分からない奴は正常化バイアスだの確信バイアスだので重装甲状態にも関わらず重装甲に無自覚だろ｡
まぁどうせバイアス重装甲をブチ壊されたら極論非難で日常感覚に逃げ込むんだろうけどな、そういうタイプの「無敵の人」は｡
その日常感覚とやらも、第三者（この場合の第三者はお前の味方も俺の味方もしないどころか下手したら敵になるマジモンの第三者）からしたら
「お前の中の日常感覚なんざ知るかボケ」だろうけどな｡
35:１３２人目の素数さん
21/12/08 21:42:09.08 irDlO7QA.net
何とも言えない立場の人間が、唐突に断言口調で口を開いたら痛い目を見る破目に遭いかねない
そんな事も知らんとか、Z世代か？
36:１３２人目の素数さん
21/12/08 22:31:16.10 ZdJ1SWoo.net
何の話かと思ったら前スレでクソしょうもない話続けてた人か
これもう何かの病気だろ
37:１３２人目の素数さん
21/12/09 08:42:42.04 .net
>>33
IUTT キレイサッパリ忘れられるといいね
38:１３２人目の素数さん
21/12/09 08:46:38.98 .net
>>34
Zといえば…
URLﾘﾝｸ(www.youtube.com)
39:１３２人目の素数さん
21/12/09 08:51:27.99 .net
>>37
色とりどりより黒のほうがかっこいいな
URLﾘﾝｸ(www.youtube.com)
40:１３２人目の素数さん
21/12/09 08:54:55.53 .net
もあちゃんはスターダストに入らなくてよかった
URLﾘﾝｸ(mobile.twitter.com)
(deleted an unsolicited ad)
41:１３２人目の素数さん
21/12/09 09:00:13.79 .net
そしてすぅちゃんは乃木坂に入らなくてよかった
URLﾘﾝｸ(motoski2007.)はてなブログ.com/entry/20110822/p1
‡
乃木坂46 第1期メンバー決定
乃木坂46の最終オーディションが昨日行われ、
その結果が発表された。第1期メンバーは36人。
そこから暫定選抜が16人、さらに暫定フロントが5人選ばれた。
ざっと画像を見た限りでは、飛び抜けて可愛いコはいない代わりに、
そうひどいブスもいない、粒ぞろいのラインアップという印象。
（中略）
一方、中元すず香cのお姉さんである中元日芽香cはめでたく入った。
（中略）
元ももクロの柏幸奈ちゃんの加入も話題になってるようだけど、
このコは私は一度も見たことない幻のメンバーなので、カヤの外。
幸か不幸か、画像レベルで個人的にズキューンときたコはいないので、
とりあえずは紳士的に様子見しながら、楽曲が届くのを待ちたい。
‡
42:１３２人目の素数さん
21/12/09 17:46:18.01 tVxUuXG3.net
IUT年表
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数学者望月新一によって開発された、数論におけるさまざまな予想、特にABC予想を解く要件[1]の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である[2]。望月が2000年代に開発した、p進タイヒミュラー理論、楕円曲線のホッジ・アラケロフ理論、および、数論的log Scheme圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。ノッティンガム大学で純粋数学の教授を務めるイヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている[3]。
2018年3月、ペーター・ショルツェとジェイコブ・スティックスが京都大学を訪れ、望月と星裕一郎は彼らと5日間議論し[19][20]、双方による議論のレポートの作成につながった。またこの議論は2018年9月のQuanta Magazine（英語版）に記載された[21]。ショルツェとスティックスは、2018年5月、および2018年9月に10ページのレポートを公開して、系3.12の証明の反例を詳述し、「小さな修正で証明戦略を救うことはできない、そして望月のプレプリントはABC予想の証明を主張することはできない」と主張した[22]。一方、望月は、反例においてIUT理論にいくつかの簡略化がおこなわれており、それらの簡略化が誤りであるとして有効とはみなしてない。
2018年9月、望月は上記のショルツェとスティックスのレポートが公開された後に、彼の理論のどの側面が誤解されていると考えるかのレポートを公開して反論した[23]。また2021年3月、このような誤りは「理論の論理構造が論理的なAND “∧”であるが、OR “∨”に取り違えた簡略化によるもの」との論文を公開した[24]。
つづく
43:１３２人目の素数さん
21/12/09 17:53:40.03 tVxUuXG3.net
つづき
2020年2月5日に望月の証明が『PRIMS』の査読を通過したことが、同年4月に京都大学数理解析研究所（RIMS）の柏原正樹、玉川安騎男より発表された[25]。会見の「論文採択のお知らせ」によると、論文は著者の望月新一がPRIMS編集長であるため、柏原正樹および玉川安騎男を共同編集委員長として、望月新一を完全に除外した特別編集委員会を構成して採否の審査が行なわれた[26]。
2020年11月、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らにより、IUT理論に登場する不等式を数値的に明示的な形（非明示的な「定数」が現れない）に精密化させた帰結により、強いABC予想の証明への適用を拡げる論文がプレプリント[30]で提案された。
2021年3月に京都大学数理解析研究所（RIMS）が編集する論文誌PRIMSは、宇宙際タイヒミュラー理論の論文4本を特別号で掲載[31]した。
2021年11月、東京工業大学が発行する数学誌「Kodai Math.J.」が、「強いABC予想」の証明について、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らによる前述の論文を受理したことが報道[33]された。
宇宙際タイヒミュラー理論の原論文[37]の帰結による、弱
44:いABC予想、楕円曲線ではスピロ予想、楕円曲線のFrey予想、曲線ではヴォイタ予想への適用である。これらのオブジェクトの算術情報を、フロベニオイド圏の設定に変換することである。この側の追加の構造により、主張された結果に変換されるステートメントを推測することができると主張されている[38]。 2つめの進展としては、2020年11月に公開されたプレプリント[30]における、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らが、IUT理論に登場する不等式を数値的に明示的な形（非明示的な「定数」が現れない）に精密化させた帰結により、強いABC予想の証明、デュサールの式、およびフェルマーの最終定理の別証明、への適用を拡げた。 3つめの進展としては、IUTにおけるテータ関数を、メリン変換によってリーマンのゼータ関数と関係させることができるのではないかと期待しての研究[39]で、宇宙際タイヒミュラー理論と、リーマンゼータ関数を一般化したDirichlet L関数の零点の間に数学的な関係があったとされ[40]て、L関数の零点[41][42]で応用が検討されている。 (引用終り) 以上
45:１３２人目の素数さん
21/12/09 18:02:27.96 tVxUuXG3.net
IUTは、完全にテイクオフして、上昇気流に乗りました
あとは、日本の各数学者が、どういう立ち位置を取るのかですね
それは、各人が考えるべきこと
１）積極的かつ前向きにIUTに関わる
２）暫く様子見
３）アンチIUTの立場を取る
＜補足＞
１）積極的かつ前向きにIUTに関わる：虎穴に入らずんば虎子を得ず。時間は使うが、何か得られるかも。それは能力+運かな
２）暫く様子見：これもありでしょうね。時間の節約にはなるが、しかし、何も得られない。でも、他に研究テーマが沢山あるなら、それもよし
３）アンチIUTの立場を取る：日本のプロ数学者には殆ど見ないですね。少なくとも、実名でアンチIUTの立場を取るプロ数学者はいない
46:１３２人目の素数さん
21/12/09 18:07:58.11 Ocpz0oZu.net
海外勢がどう動くか分かるまで待とう
47:１３２人目の素数さん
21/12/09 19:16:55.97 AueSuSdg.net
愛国者かどうかがこれでわかるな
日本人数学者の愛国心が問われる
48:１３２人目の素数さん
21/12/09 19:26:03.44 nwoSxie0.net
わかるよな
もういい加減大人しくしてほしいよ
日本数学史の恥
49:１３２人目の素数さん
21/12/09 21:06:16.11 S+3An63U.net
>>46
>日本数学史の恥
釘を刺しておくが、5ｃｈに何を書こうが、
日本の数学史には全く無関係で、
ここは正規の数学外の落書きでしかないってことね
勘違いしないようにね
>>45
愛国心じゃなく、日本人数学者が、
きちんと自分の考えを持って、主体的にIUTの成否を言えば良い
ダメならダメ、良いなら良い
数学者たるものが、人の顔色見て、右顧左眄して、空気読み読みして、
「あ、私の意見は海外勢の後で。海外の皆さんの意見を聞いてから」なんて
実に日本人らしいけど、数学者らしくない。恥ずかしい態度やめようね、数学者でなければ それ日本人らしいけどｗｗ
IUTの成否は、三択
a）ダメ出し
b）支持
c）分からん、読んでない、読めなかった
ダメ出し、良いんじゃね？
ちゃんと実名だして、堂々と発言すれば
「RIMS！ なにやってんだ～！」ってさ、勇気をもって、ちゃんと実名だして、堂々と発言すれば良いｗｗ
>>44
>海外勢がどう動くか分かるまで待とう
それは、5ｃｈ勢（素人）としては正しいけど
プロ数学者としては、三流だよね
海外勢の顔色みないと、自分独自の数学的判断できないなら、オリジナルな数学研究はできない
三流だよね、その人は
50:１３２人目の素数さん
21/12/09 21:12:06.95 V+pM94xJ.net
黒木玄は、このトピックに言及しないのかな。
表現論を専門とする彼なら、IUTTについても重要な知見を提供できるはず。
しかも誠実な学術的議論・コミュニケーションのやり方については、彼ほどのエキスパートはいないだろうしね。
51:１３２人目の素数さん
21/12/09 21:13:06.66 nwoSxie0.net
支持www
アホか
数学者が数学論文に対して“支持”なんて立場はねーよ
バーカ
読まないか、読んでわかったか、分からないか
３つだけ
読みもしないで“支持”なんかできん
そしてこの問題は“読めた”人間が一人でれば終わり
そいつがホントに証明のギャップを埋めた文書を世界に公開したら全て終了だよ
なんならabc解決の栄誉はそいつがもらっても不思議じゃない
しかしそれをやった人間はまだ一人として出てこない
おそらく世界中で何十、何百という若手ベテランが挑戦したであろうに
もう終わってるよ
52:１３２人目の素数さん
21/12/09 21:51:31.21 AueSuSdg.net
必ずしも読む必要なんてない
現在の大半の数学者はアルキメデスの補助定理集を読んだことはないし、ユークリッド原論すら読んだことない人もいる
53:１３２人目の素数さん
21/12/09 21:55:35.54 V+pM94xJ.net
>>50
それ自体を読んだことなくても、同じ内容を別の形で読んで理解してるでしょ
IUTTについては、理解するためには今のところ望月のオリジナルを読むしかアクセスする術がない
54:１３２人目の素数さん
21/12/09 22:00:31.46 MFLYWTPs.net
なんか書き直した人いなかったっけ？
55:１３２人目の素数さん
21/12/09 22:02:00.87 AEw+shCq.net
一番良いのはIUTを読み失敗学に生かしながら自分の数学を考えることだろう
何故今の世界的雰囲気の中でわざわざ関わる必要があるのか？
ショルツを公的に擁護したりしてみなよ。京都と険悪になってまた何か巻き込まれるよ
56:BLACKX
21/12/09 22:05:38.21 Kxw+Mw6f.net
険悪になるかよりも数学的にどうかを考えるべきなんじゃないか？
57:１３２人目の素数さん
21/12/09 22:09:39.17 AEw+shCq.net
>>54
そりゃそうだが、自分で論文は不十分だと判断したにせよわざわざ関わる必要はないと思うが
58:１３２人目の素数さん
21/12/09 22:20:19.72 nwoSxie0.net
そう、自分にはわからなかったとしても「俺には読めなかった」などと声を上げる義理はない
それが自分のせいではなく論文の記述が不十分だと思っても「こんな論文は認められない」などという必要もない
読めた場合でも基本「読めた」宣言する義理はないが、読めて解説文書出せば一躍時の人、なんなら現時点なら望月先生の手柄横取りもありうる状況、「読めた」の声を上げるのを控える理由はただの一つもない
にもかかわらず「読めた」の声は皆無
もうみんな「無理なんやろな」で手を出そうという気力も湧いてこないんやろ
59:１３２人目の素数さん
21/12/09 22:21:43.87 S+3An63U.net
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:692番)
692 名前：１３２人目の素数さん[sage] 投稿日：2021/12/09(木) 16:50:04.49 ID:nwoSxie0 [2/4]
iut語なるものがどんな文法則を持ってどんな推論則なのか知らんけど、現代数学である限り通常の数学の保存拡大、すなわちその“通常とは異なる文法と推論則”による証明が与えられれば、それを通常の数学の証明に変換できる事が保証されてる範囲内で行わなければ数学的には意味がない
(引用終り)
この「通常の数学の保存拡大」っておかしくない？
”保存拡大”という用語は、ある公理系A（と名付ける）に対して、その拡大の公理系B（と名付ける）に対して
公理系Aと公理系Bとの比較を論じるものだ
ところが、数学全体に対して、”保存拡大”という用語を使うのは全くおかしいよね
ゲーデルの不完全性定理の示すところ、�
60:痰ｦばZFC公理系では、否定も肯定もできない命題が出ているから、それを追加した公理系は保存拡大ではないよね 数学全体に対して、”保存拡大”という用語を使うのは全くおかしいよね
61:１３２人目の素数さん
21/12/09 22:40:02.43 V+pM94xJ.net
>>57
普通のZFCかZFCUか、なんか標準的な体系を想定してるんでしょ
そんな噛みつくとこでもない
62:１３２人目の素数さん
21/12/09 23:17:47.01 nwoSxie0.net
>>57
お前は無理に数学議論に入ってこなくてよろしい
お前には無理
63:１３２人目の素数さん
21/12/09 23:40:00.07 S+3An63U.net
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:692番)
692 2021/12/09 ID:nwoSxie0
例えば数学科の一回生で"well-defined性"を習うけど、well-definedの規則を守って新しい概念を導入してできる理論は素の理論の保存拡大である事が補償されてるので、数学者は必要に応じて議論を円滑にするためにどんどん理論を“保存拡大”させていく事で理論の展開をスムーズにできる
もちろん保存拡大性さえ保証されてるなら一回生で習うこの方法に依らないオリジナルな記述法を利用するのはもちろん構わない
(引用終り)
これもな
この「通常の数学の保存拡大」という用語で、定義の"well-defined性"を論じているのがそもそもおかしいし
下記の一般的な”well-defined”とは、違う論になっているよね
どこの大学の数学科の一回生で、こんな教え方しているんだろうね？
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
数学におけるwell-defined[注釈 1]は、「定義によって一意の解釈または値が割り当てられる」ことを言う
定義
ある定義がwell-definedであるのは次の二命題が示されたときである
・実際に成立する
（定義で）示された表式が成立しない場合[注釈 2]、well-definedであるとは言えない
・経由する中途の表式に依存しない
最終的な結論が中途の表式に依存している場合[注釈 4]、well-definedであるとは言えない
つまり定めた対象が一意に存在しているとき、well-definedであるという
代数学的定義
写像と定義域上の同値関係に対して、次のように数式を用いて記述することもできる。 集合X上の同値関係≡と写像f:?X → Yに対して
x ≡ x′ならばf(x) = f(x′)
が任意のx, x′ ∈ Xに対して成立するとき、写像fは関係≡に関してwell-definedであると言う
注釈
1^ 「容易く理解できる」といった意味の英語の形容詞である（反意語は ill-defined）
2^ 例えば極限値を用いた定義で、そもそも極限が存在しない場合など
3^ 例えば交わる二直線の狭角に関する定義で、その交点に（便宜的な理由から）新しい名前を付けるなど
4^ 前注釈の例を引き継いで述べると、用意した交点の位置（や名前）が変わると最終的な（定義の）結論が変わってしまう場合
64:１３２人目の素数さん
21/12/09 23:49:58.25 nwoSxie0.net
>>60
だからお前には無理
一回生レベルの数学の話できないのに保存拡大なんて話入ってこれるわけないやろ
それこそまさにお前が何年かかっても理解できなかった“定義する”話やのに
65:１３２人目の素数さん
21/12/09 23:51:49.29 S+3An63U.net
>>58
そりゃ、噛みついて当然のところじゃね？
おっさんは、IUTを批判しているけど
じゃあ、IUTがどんな具体的な公理系によっていて、どんな具体的な定義が”保存拡大”であるのか、あるいはないのを、論じないと批判になってないよね
かつ、”保存拡大”でなくとも、"well-defined性"は成り立ちうるよね
例えば、ZFCベースに対して、連続体仮説を定義して使うとする
これは、”保存拡大”ではないことが知られているが、
連続体仮説が"well-defined"でないとは、だれもいわないよね
66:１３２人目の素数さん
21/12/09 23:55:13.50 nwoSxie0.net
>>62
お前well-definedの意味すらわかってないやん？
何年それ突っ込まれた？
結局最後までわからんかったやん？
無限シングルトンの定義お前できたんか？
できんかったやろ？
定義できたできない以前に何すればいいかすらわからんかっだやろ？
もう忘れたんか？
67:１３２人目の素数さん
21/12/10 00:13:48.02 oRHDMG3g.net
関数記号の導入による保存拡大は、実質的にはwell-defined性に基づいてるってことじゃないの？
保存拡大には、それ以外にも述語記号の導入とか、二階記号の導入とか色々あるから、well-defined性⊂保存拡大みたいな感じで
まぁ、例えばZFCで展開できなければ意味がない、だと明らかに言い過ぎだと思うけど（今時ZFCより強い体系使うの珍しくないだろうし）、ZFCUで展開できなければそれは流石に矛盾してんじゃね？って感じはするかな
原理的には無矛盾でありさえすれば、通常の数学からどんなにはみ出ようが、ZFCUより強かろうがいいわけだけども（それこそゲーデル定理により、ZFCUが無矛盾なら、それより強い無矛盾な体系があるわけだし）
68:１３２人目の素数さん
21/12/10 00:31:53.46 xvMmsLBt.net
>>64
まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね
しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ
ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな
そこから眉唾ものの話
69:１３２人目の素数さん
21/12/10 06:18:20.15 .net
>>43
＞アンチIUTの立場を取る：
＞ 日本のプロ数学者には殆ど見ないですね。
＞ 少なくとも、実名でアンチIUTの立場を取るプロ数学者はいない
日本人は喧嘩が嫌いだから
かといってIUTを理解し賛同してるというわけでもない
70:１３２人目の素数さん
21/12/10 06:23:43.84 .net
>>47
ショルツのコメントは基本は
ｃ）読んだけど分からん
なんだけど、誰が読んでもそうじゃね？という意味でダメ出しでもある
（但し、「Cor 3.12は成り立たない！」という意味のダメ出しではない）
71:１３２人目の素数さん
21/12/10 06:31:22.22 I0HYOg9d.net
>>57 >>60
保存拡大とかwell-definedとか忘れた上で
そもそもCor 3.12が数論における決定可能命題なのかどうか
見直したほうがいいかもしれんね
つまり、以下のどれか判定する
α）数論では真である（つまりそれ自体証明できる）
β）数論では偽である（つまりそれから矛盾が証明できる）
γ）数論では決定不能である（つまり証明もできないし矛盾も導けない）
δ）そもそも３つのどれかすら判定できない（そういう命題もあるらしい）
72:１３２人目の素数さん
21/12/10 06:35:03.33 .net
渕野昌氏によると、圏論は集合論より真に強い体系というわけではないらしい
見かけ上固有クラスとか出てくるだけのことで
73:１３２人目の素数さん
21/12/10 06:39:13.60 .net
一階より二階は凄いんだと言いたがる人って
二階論理について標準的な意味論で
完全性を満たす体系が存在しないことを
看過してるね
（※ヘンキンモデルは非標準的なものを含むしそれなら一階もいいことになる）
74:１３２人目の素数さん
21/12/10 07:32:22.29 TDfmt48z.net
>>63
>無限シングルトンの定義お前できたんか？
笑えるね
おっさん、おサル>>5-6 と同じ、無限シングルトン否定派なん？ 人間止めたいのか？
無限シングルトンの定義：有限シングルトンの無限極限
つまり、
ｎ重シングルトン： Sn：＝{・・{}・・} とする
無限重シングルトン： S∞：＝ lim n→∞ Sn とする
この定義は、自然数が構成される前には、できない
しかし、自然数が構成された後には、可能だよ
そして、この極限の存在は、レーベンハイムスコーレムで保証される
(参考)
ｽﾚﾘﾝｸ(math板:525番)
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム-スコーレムの定理（英: Lowenheim-Skolem theorem）と�
75:ﾍ、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。 例と帰結 自然数を N、実数を R とする。この定理によれば、(N, +, ×, 0, 1) の理論（真の一階算術の理論）には非可算なモデルがあり、(R, +, ×, 0, 1) の理論（実閉体の理論）には可算なモデルがある。もちろん同型の違いを除いて、(N, +, ×, 0, 1) と (R, +, ×, 0, 1) を特徴付ける公理化が存在する。レーヴェンハイム-スコーレムの定理は、それらの公理化が一階ではあり得ないことを示している。例えば、線型順序の完備性は実数が完備な順序体であることを特徴付けるのに使われるが、その線型順序の完備性は一階の性質ではない。 つづく
76:１３２人目の素数さん
21/12/10 07:32:54.09 TDfmt48z.net
>>71
つづき
URLﾘﾝｸ(fujicategory.hatenadiary.org)
数学基礎論の勉強ノート
fujicategory
2011-07-21
レーヴェンハイム・スコーレムの定理！！
公理系Ｔが無限モデルを持てば、可算モデルも不可算モデルも持ちますよ！それどころかどんな大きな濃度のモデルも持ちますよ！っていう定理です。ちょっとテンションが上がってきますねー(∩´∀｀)∩
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
１．言語Ｌでの公理系Ｔがどんなにも大きい有限モデルをもてば あるいは無限モデルをもてば
（つまり∀ n ∃ M [M |= T\& card (|M|) >= n ] ，
どんな無限基数κ>=card(L)についても
ＴのモデルNで濃度κのものが存在する．
(引用終り)
以上
77:１３２人目の素数さん
21/12/10 07:48:16.73 TDfmt48z.net
>>64-70
うん、そういう議論は賛成だな
IUTが、どういう範囲の公理系で治まっているのか？ ってね
で、>>65 より
(引用開始)
まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね
しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ
ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな
そこから眉唾ものの話
(引用終り)
これ賛成だな
つまり、加藤本は、大道香具師のように、ちょっと大げさ
望月先生は、IUT IVの後半で、グロタンディーク宇宙の中には収まっているように書いている
つまり、圏論の内部の理論だという主張みたいですね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
rej********さん
2016/11/27 17:07
「大道ヤシ」(だいどうやし？)とはどういう意味なのでしょうか？
「大道芸人」と「香具師」が混ざったような意味ですか？
ベストアンサー
******さん
2016/11/27 17:28
ご推察のように「大道香具師」と思います。
露天商や興行(大道芸)人、その元締め。
78:１３２人目の素数さん
21/12/10 08:08:55.89 TDfmt48z.net
>>73
追加
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
目次
1 ある特定の文脈において
2 通常の数学
3 集合論
4 圏論
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって真のクラスではないことである。
79:基礎論好き
21/12/10 10:36:47.90 Zmgxqww/.net
>>71
>無限重シングルトン： S∞：＝ lim n→∞ Sn とする
この極限はどういう定義ですか？
80:１３２人目の素数さん
21/12/10 10:43:47.12 xvMmsLBt.net
>>71
相変わらずメチャメチャ
無理やって
君の数学は最大限大目に見ても高校レベルで終わり
大学一回生レベルは絶対に越えられないよ
81:１３２人目の素数さん
21/12/10 10:45:55.65 ZfXXklGr.net
>>73 補足
保存拡大の話は、2012年のIUT論文公開当初からあるよ
http://ユアペディア/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
数学基礎論による厳密な定式化
グロタンディーク宇宙
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。このモデルとなるのがグロタンディーク宇宙である。
問題点が指摘されている。
同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
(引用終り)
なお上記は、現在は書き直されている（下記）
つづく
82:１３２人目の素数さん
21/12/10 10:46:18.16 ZfXXklGr.net
>>77
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki
April 2020
P6
Here, we recall in passing
that such “extensions of universe” are possible on account of an existence axiom
concerning universes, which is apparently attributed to the “Grothendieck school”
and, moreover, cannot, apparently, be obtained as a consequence of the conventional ZFC axioms of axiomatic set theory [cf. the discussion at the beginning of
§3 for more details].
P67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models.
Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.
[McLn], p. 194]:
The various ZFC-models that we work with may be thought of as [but are
not restricted to be!] the ZFC-models
83:determined by various universes that are sets relative to some ambient ZFC-model which, in addition to the standard axioms of ZFC set theory, satisfies the following existence axiom [attributed to the “Grothendieck school” ? cf. the discussion of [McLn], p. 193]: We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model. つづく
84:１３２人目の素数さん
21/12/10 10:46:36.58 ZfXXklGr.net
>>77
つづき
P81
That is to say, descriptions in terms of arbitrary choices
that depend on a particular model of set theory [cf. Remark 3.1.3] do not allow one
to calculate in terms that make sense in one universe the operations performed
in an alien universe! This is precisely the sort of situation that one encounters when one considers the vertical and horizontal arrows of the log-theta-lattice
[cf. (ii) below], where distinct universes arise from the distinct scheme-theoretic
basepoints on either side of such an arrow that correspond to distinct ring theories, i.e., ring theories that cannot be related to one another by means of a ring
homomorphism ? cf. the discussion of Remark 3.6.3 below. Indeed,
it was precisely the need to understand this sort of situation that led the
author to develop the “inter-universal” version of Teichm¨uller theory
exposed in the present series of papers.
Finally, we observe that the algorithmic approach [i.e., as opposed to the “fully
faithfulness/Grothendieck Conjecture-style approach” ? cf. Example 3.5, (iii)] to
reconstruction issues via set-theoretic formulas plays an essential role in this context.
(引用終り)
以上
85:１３２人目の素数さん
21/12/10 11:03:06.65 ZfXXklGr.net
>>76
ID:xvMmsLBt氏か
某スレでは、数理論理君ね（下記）
一つ、当たり前だが注意をしておくと
数学では、他人を攻撃しても、自分の防御にはならん
おっさん、”「通常の数学の保存拡大」という用語で、定義の"well-defined性"を論じているのがそもそもおかしい”
という指摘に対して、他人を攻撃してばかりだ（つーか、それしか能がないように見えるぞｗ）
数学外の議論では「攻撃は最大の防御」とかいうが
数学の議論では、全く違うよ！ そこから あんた勘違いだぜｗ
（参考）
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:280番)
280 2021/11/24(水) 14:29:48.54 ID:RRSYOh6Y
>>277
なんで数理論理君のレスってすぐ分かるんだろうな…
IUT批判派なのにIUT擁護派的な権威主義というか…
312 2021/11/24(水) 22:49:24.73 ID:y3eoSoSk [1/4]
数理論理君はもういいよ、一本調子のネガティブ主張ばっかで飽き飽き
316 2021/11/24(水) 23:05:22.25 ID:YpFXJlww
君はどれが数理論理君か分かってないでしょ
337 2021/11/25(木) 21:29:26.52 ID:8Tz2gmv1
>>336
数理論理君もういいから。あんたの批判ロジックあほくさくて逆に嘘臭いよ
351 2021/11/26(金) 12:55:55.29 ID:wgrAMkE/
>>349
数理論理君は巣に帰れ
694 2021/12/09(木) 17:34:25.63 ID:v2ZhEAWz
数理論理君相変わらず内容無さ過ぎて笑う
86:１３２人目の素数さん
21/12/10 11:41:22.08 ZfXXklGr.net
>>75
>>無限重シングルトン： S∞：＝ lim n→∞ Sn とする
>この極限はどういう定義ですか？
良い質問ですね
下記のe^x のマクローリン展開（極限）
あるいは、x=1とした ネイピア数 e の有理数の極限と同じだよ
おっと、極限の定義を書いてくれと言われそうだね
まず、e^x のマクローリン展開（極限）や、x=1のネイピア数 e の有理数の極限について
あなたが理解できる これの極限を書いてみてね。それと同じだと分かるよ
もし同じだと分からないなら、それを出発点として説明するよ
普通に、e^x のマクローリン展開（極限）や、x=1のネイピア数 e の有理数の極限の定義が分からないならば
同様に、”無限重シングルトン： S∞：＝ lim n→∞ Sn”の極限の定義は
分からないと思うからね
（参考）
URLﾘﾝｸ(w3e.kanazawa-it.ac.jp)
e^x のマクローリン展開 金沢工業大学
e^x=1+x+1/2!x^2+1/3!x^3+1/4!x^4+・・・
URLﾘﾝｸ(en.wikipedia.org)
List of representations of e
URLﾘﾝｸ(ja.wikipedia.org)
ネイピア数 e の表現
87:１３２人目の素数さん
21/12/10 11:47:56.00 ZfXXklGr.net
>>80 訂正
おっさん、”「通常の数学の保存拡大」という用語で、定義の"well-defined性"を論じているのがそもそもおかしい”
↓
おっさん、”「通常の数学の保存拡大」という用語で、定義の"well-defined性"を論じているのがそもそもおかしい”>>60
（リンク追加）
>>81 訂正
あなたが理解できる これの極限を書いてみてね。それと同じだと分かるよ
↓
あなたが理解できる これの極限の定義を書いてみてね。それと同じだと分かるよ
88:基礎論好き
21/12/10 11:55:09.17 00M3ZGo+.net
>>81
>まず、e^x のマクローリン展開（極限）や、x=1のネイピア数 e の有理数の極限について
>あなたが理解できる これの極限を書いてみてね。それと同じだと分かるよ
>e^x のマクローリン展開 金沢工業大学
>e^x=1+x+1/2!x^2+1/3!x^3+1/4!x^4+・・・
これがe^xの級数による定義ですね。
ここで注意なのは、この式の意味は
「各実数xに対して実数e^xを1+x+1/2!x^2+1/3!x^3+1/4!x^4+・・・(実数列の極限)と定める」というものです。(もちろん収束することは証明が必要)
実数の極限の定義を認めてやればe^xの定義は可能ですね。
で、話を戻しますが無限シングルトンの定義はなんでしょうか？
e^xと同様と言ってもこれは実数の話ではないので注意が必要ですよ。
89:１３２人目の素数さん
21/12/10 12:01:46.39 xvMmsLBt.net
>>80
攻撃って
ホントの事言ってるだけやん
>>71がメッチャクチャなのはここの住人で意義唱えるのはお前本人除いて一人もおらんやろ
無理なんだよ
このレベルで数学語るのなんか
現実を見ろ
妄想世界でいつまでいる気やねん？
90:１３２人目の素数さん
21/12/10 13:52:37.45 Qjus1oam.net
ZFCUとか公理系の話してんのに新しい推論規則言ってるのが何とも
91:１３２人目の素数さん
21/12/10 14:24:02.90 S2as8/gk.net
>>49
> なんならabc解決の栄誉はそいつがもらっても不思議じゃない
そうだね。
誰もが分からないことを(ちゃんと読めば
)誰でも分かるようにするってほぼ証明そのものだし。
10年経ってそれが実現されてないって事は望月は失敗したと見るのが妥当。
92:１３２人目の素数さん
21/12/10 14:29:11.95 S2as8/gk.net
>>83
> で、話を戻しますが無限シングルトンの定義はなんでしょうか？
んなもんある訳ねーじゃん
阿保が妄想してるだけだよ
93:１３２人目の素数さん
21/12/10 14:36:48.59 S2as8/gk.net
>>71
> そして、この極限の存在は、レーベンハイムスコーレムで保証される
されません。
列1,2,3,...が収束しないのとまったく同じ理由で列{},{{}},{{{}}},...も収束しません。
バカは数学板書き込み禁止な。
94:１３２人目の素数さん
21/12/10 15:03:54.41 I0HYOg9d.net
>>71
ｽﾚﾘﾝｸ(math板:533番)
＞おっさん、無限シングルトン否定派なん？ 人間止めたいのか？
あんた、ニンゲンのつもりなん？ ワロスｗｗｗｗｗｗｗ
95:１３２人目の素数さん
21/12/10 17:00:55.16 .net
>>81
>>>無限重シングルトン： S∞：＝ lim n→∞ Sn とする
>>この極限はどういう定義ですか？
>e^x のマクローリン展開（極限）
>あるいは、x=1とした ネイピア数 e の有理数の極限と同じだよ
つまりコーシー列で定義される、と
シングルトンのコーシー列って何ですか？
>>81
>おっと、極限の定義を書いてくれと言われそうだね
>まず、e^x のマクローリン展開（極限）や、
>x=1のネイピア数 e の有理数の極限について
>あなたが理解できる これの極限を書いてみてね。
>それと同じだと分かるよ
>もし同じだと分からないなら、
>それを出発点として説明するよ
つまり実数間に距離があるのと同じく
シングルトン間にも距離がある、と
シングルトン間の距離の定義って何ですか？
>>81
>普通に、e^x のマクローリン展開（極限）や、
>x=1のネイピア数 e の有理数の極限の定義が分からないならば
>同様に、”無限重シングルトン： S∞：＝ lim n→∞ Sn”の
>極限の定義は分からないと思うからね
念のためにお尋ねしますが、
実数の極限の定義はご存じですか？
96:１３２人目の素数さん
21/12/10 17:02:52.39 xvMmsLBt.net
実数の定義は愚か定義という概念すら理解できてない模様
97:１３２人目の素数さん
21/12/10 17:08:30.68 .net
>>91
＞…の定義は愚か
気になったので調べました
正しくは「･･･は疎か」だそうです
URLﾘﾝｸ(dictionary.goo.ne.jp)
98:１３２人目の素数さん
21/12/11 00:06:33.48 NlOcJbIY.net
>>84 >>91
ID:xvMmsLBtの数理論理君な
繰り返すよ
おっさん、”「通常の数学の保存拡大」という用語で、定義の"well-defined性"を論じているのがそもそもおかしい”>>60
という指摘に対して、他人を攻撃してばかりだ（つーか、それしか能がないように見えるぞｗ）
おっさんな、”「通常の数学の保存拡大」という用語で、定義の"well-defined性"を論じているのがそもそもおかしい”>>60
と、おれは言っているだけど？ どこの大学の数学科で、そんな"well-defined性"を教えているんだ？ｗｗｗｗｗｗ
99:１３２人目の素数さん
21/12/11 00:23:27.78 NlOcJbIY.net
>>83 ＆ >>88-90
>> そして、この極限の存在は、レーベンハイムスコーレムで保証される
>されません。
>列1,2,3,...が収束しないのとまったく同じ理由で列{},{{}},{{{}}},...も収束しません。
極限って、いつから収束すべきだなんて、
数学科で教えるようになったの？ｗｗｗ
”数列の極限は，
1.（有限の値に）収束する
2.正の無限大に発散する/負の無限大に発散する
3.振動する
のいずれかである。”
これ
知らないらしいな
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
数列の発散，収束，振動の意味と具体例
2021/03/07
数列の極限は，
1.（有限の値に）収束する
2.正の無限大に発散する/負の無限大に発散する
3.振動する
のいずれかである。2と3の場合をいずれも発散すると言う。
(引用終り)
>つまりコーシー列で定義される、と
収束と極限を混同しているよね、上記同様にねｗ
「”コーシー列”のいうところの極限とはなんぞや？」
（極限についての）答えをどうぞ、お願い致しますｗｗｗ
100:１３２人目の素数さん
21/12/11 00:24:26.41 RDTb6OzM.net
>>93
繰り返さんでもいいよ
お前に数学の議論なんぞ無理
なーんもわかってない
数学基礎論の教科書一冊も読まんでネットの記事コピペするだけで数学勉強してきた人間と対等に話せると思ってるパープーに賛同する人間なんぞおらんわバーカ
101:１３２人目の素数さん
21/12/11 00:43:55.43 NlOcJbIY.net
>>85
>ZFCUとか公理系の話してんのに新しい推論規則言ってるのが何とも
そうそう
同意です
公理系の公理を分類すると
1．推論規則関連
2．無限公理関連
3．選択公理関連
4．連続体仮説関連
5．クラスや型の扱い（含む圏論関連）
6．宇宙（到達不能基数）（含む圏論関連）
7．述語の階数（1階か2階かそれ以上か）
などなど
他にもあると思うけど
唐突に”新しい推論規則”に飛躍するのは、なんだかな
いまのIUTの議論で、”新しい推論規則”？
望月氏は、従来の遠アーベルを圏論化したくらいしか言っていないよね
なんか、話がぶっ飛んでいる気がする、数理論理君の話
（再録）
>>65 より
(引用開始)
まぁZFCより強い仮定の元に証明したならしたで構わないとは思うがね
しかしそもそもこの話も加藤本で出てきたらしい“新しいパラダイム”とかいう単語から出てきた話なんやろ
ホントに望月論文で「通常数学では用いない以下のような推論規則を導入する」的なフレーズがあったって話も聞かんしな
そこから眉唾ものの話
(引用終り)
ZFCより強い仮定とは、ZFCG つまり”We shall refer to a ZFC-model that also satisfies this additional axiom of the
Grothendieck school as a ZFCG-model.”（>>78 IUT IVの P78）
と、望月氏は書いているんだがね
どっから、「通常数学では用いない以下のような推論規則を導入する」へ、話が飛躍しているんだろうか？
102:１３２人目の素数さん
21/12/11 00:43:59.74 SY56s+aW.net
スレ主は積ん読してるのか？
数学書は持ってそうだが
103:１３２人目の素数さん
21/12/11 00:44:51.25 NlOcJbIY.net
>>95
必死に逃げる 数理論理君
無様だなｗ
104:１３２人目の素数さん
21/12/11 00:46:21.22 NlOcJbIY.net
>>97
ありがと
積ん読も読書も両方やるよ
105:１３２人目の素数さん
21/12/11 00:56:26.40 RDTb6OzM.net
>>98
お前みたいなパープー相手にするだけ無駄だからだよ
定義のwell-defined性について何万回説明してもお前全く理解できんかったやろ？
お前の知性の限界超えてるんだよ
お前が理解できる数学なんぞ高校数学が限界
諦めろ
お前に数学理解できる知性は備わってない
106:１３２人目の素数さん
21/12/11 01:04:00.80 nXw8fQfl.net
みっともないね。
107:１３２人目の素数さん
21/12/11 07:15:27.64 .net
>>94
＞数列の極限は，
＞1.（有限の値に）収束する
＞2.正の無限大に発散する/負の無限大に発散する
＞3.振動する
＞のいずれかである。
いつから
極限は収束／発散／振動する
と教えるようになったの？
数列は収束／発散／振動するとは教えてるけど
収束する場合の収束値を極限と教えてるけど
発散／振動する場合極限は存在しないと教えてるけど
＞収束と極限を混同しているよね
いや、収束と極限は同じですけど
あなた、数列と極限、混同してませんか？
＞「”コーシー列”のいうところの極限とはなんぞや？」
＞（極限についての）答えをどうぞ、お願い致します
極限とは数列だ、というなら全くの誤りですよ
いつどこで誰があなたにそんな嘘を教えたんですか？
108:１３２人目の素数さん
21/12/11 07:27:42.14 NlOcJbIY.net
>>102
>収束する場合の収束値を極限と教えてるけど
>発散／振動する場合極限は存在しないと教えてるけど
高校ではね
リーマン球面（下記）を教えないからね
大学で、リーマン球面を学べば、∞をリーマン球面内の一点として扱える
この場合は、発散は球面内に収束値を持つ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
リーマン球面
リーマン球面（リーマンきゅうめん、英語: Riemann sphere）は、無限遠点 ∞ を一点追加して複素平面を拡張したものである。このとき、関係式
1/0 = ∞
を、意味を持ち、整合的であり、かつ有用となるように構成できる。 19 世紀の数学者ベルンハルト・リーマンから名付けられた。
(引用終り)
>＞「”コーシー列”のいうところの極限とはなんぞや？」
>＞（極限についての）答えをどうぞ、お願い致します
>極限とは数列だ、というなら全くの誤りですよ
ご高説は承った
では、あなたの”極限”の定義をお願いします
” lim n→∞”>>81 を定義してください！
109:１３２人目の素数さん
21/12/11 07:59:32.78 .net
>>102
>大学で、リーマン球面を学べば、∞をリーマン球面内の一点として扱える
>この場合は、発散は球面内に収束値を持つ
大学でリーマン球面をどう定義しましたか？
その定義を思い出しさえすれば、
∞への収束もコーシー列による定義にもとづいている
と分かりますけど？
>ご高説は承った
>では、あなたの”極限”の定義をお願いします
>” lim n→∞” を定義してください！
まあそう興奮しないで
あなたが知る射影直線やリーマン球面の定義をお示し願います
御存知ですよね？ もしかして御存知ない？
結構ですよ 今ここで私が教えますから
YES or NO?
110:１３２人目の素数さん
21/12/11 08:00:55.08 .net
>>103
>大学で、リーマン球面を学べば、∞をリーマン球面内の一点として扱える
>この場合は、発散は球面内に収束値を持つ
大学でリーマン球面をどう定義しましたか？
その定義を思い出しさえすれば、
∞への収束もコーシー列による定義にもとづいている
と分かりますけど？
>ご高説は承った
>では、あなたの”極限”の定義をお願いします
>” lim n→∞” を定義してください！
まあそう興奮しないで
あなたが知る射影直線やリーマン球面の定義をお示し願います
御存知ですよね？ もしかして御存知ない？
結構ですよ 今ここで私が教えますから
YES or NO?
111:１３２人目の素数さん
21/12/11 08:12:18.83 .net
>>105
＞あなたが知る射影直線やリーマン球面の定義をお示し願います
実は>>103のリンク先に書いてあるんですけど、読みました？
URLﾘﾝｸ(ja.wikipedia.org)
‡
複素多様体としてのリーマン球面
リーマン球面は 1-次元複素多様体として、
どちらも定義域が複素平面 C に一致する
2 つの局所座標系により記述できる。
ζ と ξ を C 上の複素座標とする。
非零複素数 ζ と非零複素数 ξ を、
以下の推移写像による等式で関係付ける。
ζ = 1/ξ
ξ = 1/ζ
推移写像は正則であることから、
これによりリーマン球面と呼ばれる複素多様体が定義できる。
‡
112:１３２人目の素数さん
21/12/11 08:15:31.83 .net
>>106の続き
‡
直感的には、推移写像は、
二つの平面をどの様に貼り付けて
リーマン球面を作るかを示している。
二つの平面は「表裏反対」に貼り付けられ、
各平面の一点（原点）を除き、
他の至る部分が互いに重なり合う。
つまり、リーマン球面のほとんど全ての点は、ζ-値と ξ-値の双方を有し、
両値は ζ = 1/ξ の関係を有する。
従って、ξ = 0 の点は "1/0" の ζ-値を持つ。
この意味で、ξ-局所座標系の原点は、
ζ-局所座標系において "∞" の役割を有する。
対称的に、ζ = 0 の点は 1/0 の ξ-値を持ち、
ζ-局所座標系の原点は、ξ-局所座標系に関し
∞ の役割を有する。
‡
つまり「∞に収束する」とは「もう一方の座標系で０に収束する」ということ
だからコーシー列による収束の定義に基づいてる
お分かりかな？
113:１３２人目の素数さん
21/12/11 08:19:47.42 .net
>>105-107
リンク先の文章をコピペするなら
核心の箇所をコピペしないと
意味ないですよ
「無限遠点 ∞ を一点追加して複素平面を拡張したもの」
というだけで終わってたら何の
114:説明にもならないことは お分かりですか？ 肝心なのは「どう」追加するかですから そこをコピペしなかったら始まりませんよ お分かりですか？
115:基礎論好き
21/12/11 08:20:49.97 PpGewFr8.net
>>94
質問が流されてしまったので再度質問します。
無限シングルトンの定義はなんでしょうか？
e^xと同様と言っても、これは実数の話ではないので注意が必要ですよ。
116:１３２人目の素数さん
21/12/11 08:41:59.69 .net
>>109
横レスですが
>>83の質問に NlOcJbIY が答えなかった時点で
彼は答えを持ち合わせていない、と解釈しました
彼は極限＝数列、と思っているようです
もしそうだとすると「無限シングルトン」は
{},{{}},{{{}}},…
という無限列のことだということになります
この時点で、無限列をどう実現したとしても
シングルトンにはなりそうもないですね
彼は内心そのことに気づいているので、
無限シングルトンとは有限シングルトンの無限列
といいたくないんでしょうね
シングルトン＝ただ一つの要素を持つ集合
という定義と矛盾しますからね
まあしかし超関数が関数ではないのと同様
”無限シングルトン”、それは実はシングルトンではない
という開き直りがあっても、それはそれでいいですけどね
117:１３２人目の素数さん
21/12/11 08:56:40.94 NlOcJbIY.net
>>96
公理系の公理の分類で
排中律を認めるか、認めない直観主義を取るかもあるな
追加しておく
URLﾘﾝｸ(ja.wikipedia.org)
排中律
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E3%81%AE%E5%93%B2%E5%AD%A6)
直観主義 (数学の哲学)
来歴と評価
これに類する主張は、カントールの集合論に対抗する形で、クロネッカーやポアンカレによってもなされていたが、最も明確に表明したのは、オランダの位相幾何学者、ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
トポス (数学)
適切な景 (P, J) をポール・コーエンによる強制法 (forcing) の議論をなぞって構成し、その上の層の圏として連続体仮説が成立しないような集合論のモデルを得ることができる。同様にして選択公理が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには排中律が成り立たないような直観主義的モデルも自然に現れる。
118:１３２人目の素数さん
21/12/11 09:10:36.96 NlOcJbIY.net
>>104-110
いやはや、みなさん、必死に ”極限”＝” lim n→∞” の定義に答えられないから
コーシー列による定義に逃げるのかい？
コーシー列は、”極限”を使って定義できる
”極限”は、コーシー列によって定義できる
これって、完全に循環論法じゃね？
かつ、数学における”極限”は、コーシー列限定ではないよね
コーシー列に依存しない”極限”の定義をお願いしますｗ
119:１３２人目の素数さん
21/12/11 09:21:03.81 NlOcJbIY.net
>>110
うむ、君はなかなか鋭いね
答えを持ち合わせていない訳ではないが
ツッコミと、ツッコミを受ける側とを比較すると
ツッコミの方が楽だよね。下手に、答えを書くと、ツッコミを受ける側になる
あたかも、数学科のゼミで、ツッコミ役の教授と、ツッコミを受ける学生みたいなねｗ
それは、嫌だってことさ
>まあしかし超関数が関数ではないのと同様
>”無限シングルトン”、それは実はシングルトンではない
そこは別に拘らない
「超関数が関数ではないが、存在する」ならば
「”無限シングルトン”、それは実はシングルトンでは ないかも知れないが 存在する」
まで言えれば、それを”超シングルトン”とでもすれば良いだけのことさｗｗ
120:１３２人目の素数さん
21/12/11 09:22:28.88 .net
>>112
＞コーシー列は、”極限”を使って定義できる
使ってる？使ってないけどな
だから循環論法ではないけど
＞数学における”極限”は、コーシー列限定ではないよね
＞コーシー列に依存しない”極限”の定義をお願いします
もしかしてコーシー列が嫌いなのかな？
だからって
「コーシー列限定ではないよね？
コーシー列使わない定義頼む！」
って懇願されてもねぇ
121:１３２人目の素数さん
21/12/11 09:37:10.85 W+J7d1Wh.net
>>90
>念のためにお尋ねしますが、
>�
122:ﾀ数の極限の定義はご存じですか？ いいえ、セタはεN論法を理解していません。 大学一年4月で落ちこぼれたか、あるいは入学すらしてないかも知れません。
123:１３２人目の素数さん
21/12/11 09:52:44.56 W+J7d1Wh.net
>>102
>いつから
>極限は収束／発散／振動する
>と教えるようになったの？
数学をちゃんと勉強した人間なら瞬時に見抜ける嘘デタラメも
ネット記事の漁り読みばかりして分かった気になってるセタには無理。
124:基礎論好き
21/12/11 09:56:10.14 PpGewFr8.net
>>112
すみません、論点がズレてるので話を戻してくれませんか？
lim記号で「無限シングルトン」を定義したのはあなたですから、あなたがlimをどう定義してるか正確に教えてください。
ちなみに、「〜と同様」と言ってみても、実は同様には行かないことが数学ではよくあります。
なので一度きちんと定義を述べていただけますか？
125:１３２人目の素数さん
21/12/11 10:20:36.01 W+J7d1Wh.net
>>112
>コーシー列は、”極限”を使って定義できる
>”極限”は、コーシー列によって定義できる
>これって、完全に循環論法じゃね？
こいつコーシー列も分かってねーｗ
ダメだこりゃ
126:１３２人目の素数さん
21/12/11 10:36:30.85 W+J7d1Wh.net
>>117
>ちなみに、「〜と同様」と言ってみても、実は同様には行かないことが数学ではよくあります。
集合列の極限を空間も距離も未定義のまま実数列の極限と同様と言ってる時点でゼロ点でしょ。
「同様」で誤魔化せるとでも思ったんでしょう。バカとはそういうもの。
127:１３２人目の素数さん
21/12/11 10:39:51.70 W+J7d1Wh.net
この「同様」というのはペテン師セタの常とう手段ですよ。
自分が理解してないときに「それっぽいこと」を言えば相手が補完してくれると思ってる。
この手、箱入り無数目でさんざん使ってました。
128:１３２人目の素数さん
21/12/11 10:50:59.26 W+J7d1Wh.net
>>113
>「”無限シングルトン”、それは実はシングルトンでは ないかも知れないが 存在する」
>まで言えれば、それを”超シングルトン”とでもすれば良いだけのことさｗｗ
肝心なのは超シングルトンなるものが集合ではないということ
いい加減理解しろバカ
129:１３２人目の素数さん
21/12/11 10:53:31.33 W+J7d1Wh.net
ペテン師セタ、結局ID:PpGewFr8氏の問いに答えず
答えられないなら最初から言うなバカ
130:１３２人目の素数さん
21/12/11 11:17:58.87 .net
>>113
＞答えを持ち合わせていない訳ではないが
答えを持っていないと自覚していない、と？
＞数学科のゼミで、ツッコミ役の教授と、ツッコミを受ける学生みたいな
＞それ（ツッコミを受ける学生）は、嫌だってことさ
あなたは教授役になりたいと？
でも、以下の発言の後ではそれは無理ですね
「コーシー列は、”極限”を使って定義できる」
コーシー列の定義に数列の極限値は一切現れないことは
大学１年で微分積分学を学んだ学生ならみな知ってますよ
URLﾘﾝｸ(www.misojiro.t.u-tokyo.ac.jp)
定義（収束）：数列 (an)n∈N が a に収束する（記号: limn→∞
an = a, an → a） ⇐⇒
∀ε > 0, ∃n0 ∈ N, ∀n ∈ N : n ≥ n0 ⇒ |an － a| < ε. (1)
定義（収束列）：数列 (an)n∈N が収束列 ⇐⇒
∃a ∈ R, ∀ε > 0, ∃n0 ∈ N, ∀n ∈ N : n ≥ n0 ⇒ |an － a| < ε. (2)
定義（Cauchy 列）：数列 (an)n∈N が Cauchy 列 ⇐⇒
∀ε > 0, ∃n0 ∈ N, ∀m, n ∈ N : m, n ≥ n0 ⇒ |am － an| < ε. (3)
(1)と(3)の違い、わかりますか？
131:１３２人目の素数さん
21/12/11 11:26:28.19 .net
>>112の”教授”の
「コーシー列は、”極限”を使って定義できる
”極限”は、コーシー列によって定義できる
これって、完全に循環論法じゃね？」
というツッコミに対する
”学生”としての私の解答
「”有理数列の極限”としての実数は、有理コーシー列によって定義される
しかしコーシー列の定義に、”極限”は全く使われてない
したがって有理コーシー列による実数の定義は
全く循環論法でもなんでもありませんが何か？
教授もまったく人が悪いですね ボケで人を担ぐなんて」
あなたは”教授”としてどう返しますか？
132:１３２人目の素数さん
21/12/11 11:30:06.01 69SRt05y.net
良い着眼点だけどな
実数をコーシー列を使って定義しようと思っても、普通に考えると、極限は「任意の実数εに対して……」から始まるから詰む
コーシー列で定義すればp進体に繋がるから実数はそう教えるべきって意見をたまに見るが、そういう
133:人でも何割かは見落としてそうなポイント
134:１３２人目の素数さん
21/12/11 11:34:55.77 RDTb6OzM.net
な、アホだろ？
セタはホントに数学を学ぼうなどという気など元々サラサラないんだよ
なんか難しいっぽい話をしてるフリして自分に酔いたいだけ
しかも>>124にしても相手が不愉快になるであろうフレーズを必ず入れ込んで苦々しい思いを相手に与える事を自分の喜びと感じる人格的な意味でもクズ
135:１３２人目の素数さん
21/12/11 11:37:00.14 3dpNBeIp.net
>>125
それだけなら任意の有理数εに置き換えたらよくないか？
136:１３２人目の素数さん
21/12/11 11:37:25.80 1rSm5Hrq.net
>>124ってそんなクズ要素あるか？
そのまま乗っかって返してるだけだろ
137:１３２人目の素数さん
21/12/11 11:46:26.14 .net
>>125
＞実数をコーシー列を使って定義しようと思っても、
＞極限は「任意の実数εに対して……」から始まるから…
>>127
＞それなら任意の有理数εに置き換えたらよくないか？
はい
138:１３２人目の素数さん
21/12/11 11:51:35.67 .net
>>126
＞相手が不愉快になるであろうフレーズを
＞必ず入れ込んで苦々しい思いを相手に与える
「教授もまったく人が悪いですね ボケで人を担ぐなんて」
のことなら
「教授が本気でボケる筈がない これはきっと冗談だ」
という憶測ですよ
マジボケだったら、認知症を疑いますね
まさか、実数の定義も知らずに数学教授になれるとは思えませんから
アティヤ氏も最晩年には「リーマン予想が解けた！」といって
不可思議な証明を発表しましたが誰も笑いはしませんでした
139:１３２人目の素数さん
21/12/11 11:52:13.09 uqlknJ8D.net
>>128
>>124読んでそう思るならお前も考えた方がいい
お前も相手の気持ちを思いやる心に問題ある可能性がある
セタはわざとやってるから救いようがないがな
140:１３２人目の素数さん
21/12/11 12:18:13.72 .net
>>131
＞セタはわざとやってるから救いようがないがな
わざと間違ってる、ということ？
もしそうだとして、なぜそんなことするんですかね？
141:１３２人目の素数さん
21/12/11 12:28:45.12 uqlknJ8D.net
>>132
セタがわざと相手が不愉快になるようなレスつけるのはそのままズバリ相手を不愉快にさせたいからだよ
自分の何気ない一言が相手を不快にさせてしまう事は人間誰しもある事だからそれはある程度は仕方ないとも言える、しかしそれでも大人がやることではないけどな、まともな人間なら今自分が発してる言葉で相手がどういう気持ちになるか相手を思いやる心が基本的な能力として備わってるからな
しかしセタはまさに「相手を不愉快にさせるためにその言葉を選ぶ」正真正銘のクズ
そんな会話小学生しかしない
もう人格的な成長がその辺で止まってるんだよ
その人格的な成長の遅れで自分が学ぶべき事が山ほどある事、人生とは永遠の学びの場である事が理解できない、結果何をやってもダメ
セタも尿瓶も高木も同じ
142:１３２人目の素数さん
21/12/11 12:30:45.93 vo4/8Adx.net
尿瓶とか高木って誰？
143:１３２人目の素数さん
21/12/11 12:32:07.52 uqlknJ8D.net
>>134
この板の有名人
セタとおんなじ病気の人々
144:１３２人目の素数さん
21/12/11 12:35:06.59 vo4/8Adx.net
へー
いやまあ誰がその人らか知らんけどこの板罵詈雑言な人だらけだよね
145:１３２人目の素数さん
21/12/11 13:10:57.67 .net
尿瓶ってなんでそんな名前で呼ばれてるんですか？
146:１３２人目の素数さん
21/12/11 16:25:12.42 nXw8fQfl.net
ウンコ談義はやめてくれww
147:１３２人目の素数さん
21/12/11 16:27:24.76 Fckbhm0B.net
大便じゃなくて小便なのだが
148:１３２人目の素数さん
21/12/11 16:47:51.26 SY56s+aW.net
この板も遂に増田の名前は出なくなった
149:１３２人目の素数さん
21/12/11 17:36:50.21 .net
既に「亡くなった」方のようですね