Inter-universal geometry と ABC予想 (応援スレ) 64
■ このスレッドは過去ログ倉庫に格納されています
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 63
https://rio2016.5ch.net/test/read.cgi/math/1640701686/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
（参考）
https://twitter.com/math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view
望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
つづく
https://twitter.com/5chan_nel (5ch newer account) つづき
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく つづき
＜IUT国際会議 2つのシリーズ＞
1．
http://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html
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. http://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/documents/RIMS-Lille%20-%20Promenade%20in%20Inter-Universal%20Teichm%C3%BCller%20Theory.pdf https://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-japanese.html
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末〜9月初めの二つのIUT会議に出席したようです
参考
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html
宇宙際タイヒミューラー理論サミット２０２１ 2021-09-07?2021-09-10
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
https://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html
望月 過去と現在の研究
https://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。
つづく つづき
＜過去スレより再録＞
スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/273
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 https://rio2016.5ch.net/test/read.cgi/math/1589677271/883
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾； なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新〜！”と絶叫したりするからです（＾＾； ）
( https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
＜＊）サイコパスの特徴＞
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
http://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 https://rio2016.5ch.net/test/read.cgi/math/1623558298/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 https://rio2016.5ch.net/test/read.cgi/math/1623558298/158より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ”
などという
これじゃ。三歳児レベルの知能じゃんかｗ
このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り) 以上
なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
つづく つづき
（参考）
関連： 望月新一（数理研） http://www.kurims.kyoto-u.ac.jp/~motizuki/
News - Ivan Fesenko https://www.maths.nottingham.ac.uk/plp/pmzibf/nov.html
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
https://ivanfesenko.org/wp-content/uploads/2021/11/Explicit-estimates-in-IUT.pdf NEW!! (2020-11-30) いわゆる南出論文
より
P4
Theorem A. (Effective versions of ABC/Szpiro inequalities over mono-complex number fields)
Theorem B. (Effective version of a conjecture of Szpiro)
Corollary C. (Application to “Fermat’s Last Theorem”)
P56
Corollary 5.9. (Application to a generalized version of “Fermat’s Last Theorem”)
Let l, m, n be positive integers such that
min{l, m, n} > max{2.453 ・ 10^30, log2 ||rst||C, 10 + 5 log2(rad(rst))}.
Then there does not exist any triple (x, y, z) ∈ S of coprime [i.e., the set of
prime numbers which divide x, y, and z is empty] integers that satisfies the equation
つまり、元祖フェルマー x^l + y^m + z^n = 0→拡張フェルマー rx^l + sy^m + tz^n = 0 もIUTで解けたんだ
Theorem Bで、Effective ”Szpiro”も出る
但し、”effective versions of the Vojta”への言及がないので、Vojtaは 未だみたい
ここ、一山当てる狙い目かもねｗ
他に、IUT関連
・[R8] Higher adelic theory, talk at the Como School, September 2021 https://ivanfesenko.org/wp-content/uploads/2021/10/hat.pdf
・[R7] IUT and modern number theory, talk at the RIMS workshop on IUT Summit, September 2021 https://ivanfesenko.org/wp-content/uploads/2021/10/mntiut.pdf
? [R5] Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 https://ivanfesenko.org/wp-content/uploads/2021/10/232.pdf
つづく つづき
? [R4] On asymptotic 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が通らないので検索たのむ）
https://twitter.com/hoshiyuichiro
星裕一郎 ツイッター
http://www.kurims.kyoto-u.ac.jp/~yuichiro/papers.html
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244783
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/244746
http://www.kurims.kyoto-u.ac.jp/~gokun/
Go YAMASHITA （gokun）
http://www.kurims.kyoto-u.ac.jp/~gokun/myworks.html
山下剛サーベイ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
つづく
https://twitter.com/5chan_nel (5ch newer account) つづき
Yourpedia 宇宙際タイヒミュラー理論 （URLが通らないので検索たのむ）
https://ja.wikipedia.org/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 宇宙際タイヒミュラー理論 Wikipedia
https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCller_theory 英Inter-universal Teichmuller theory 英 Wikipedia
https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想
https://en.wikipedia.org/wiki/Abc_conjecture 英abc conjecture
https://www.math.arizona.edu/~kirti/ から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文（IUTに着想を得た新理論） https://arxiv.org/pdf/2106.11452.pdf
Construction of Arithmetic Teichmuller Spaces and some applications
Preliminary version for comments Kirti Joshi June 23, 2021
https://www.uvm.edu/~tdupuy/papers.html
[ Taylor Dupuy's Homepage] 論文集
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した（下記）
https://arxiv.org/pdf/2004.13108.pdf
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 ( https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf Date: July 16, 2018.
https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf Date: August 23, 2018. )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
なお
"[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以降かも）
つづく つづき
http://www.kurims.kyoto-u.ac.jp/~motizuki/Tan%20---%20Introduction%20to%20inter-universal%20Teichmuller%20theory%20(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.
http://www.kurims.kyoto-u.ac.jp/daigakuin/Tan.pdf
教員名: 譚 福成（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.
つづく つづき
＜IUTと類体論＞
https://ja.wikipedia.org/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#cite_note-3
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている
https://www.maths.nottingham.ac.uk/plp/pmzibf/mp.html
Ivan Fesenko - Research in texts
https://www.maths.nottingham.ac.uk/plp/pmzibf/232.pdf
[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.")
https://www.kurims.kyoto-u.ac.jp/~motizuki/ExpHorizIUT21/WS4/documents/Fesenko%20-%20IUT%20and%20modern%20number%20theory.pdf
Fesenko IUT and modern number theory
つづく つづき
（IUTに対する批判的レビュー）
https://zbmath.org/07317908
https://zbmath.org/pdf/07317908.pdf
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)
BuzzardのICM22講演原稿
Inter-universal geometry とABC 予想47
https://rio2016.5ch.net/test/read.cgi/math/1635332056/84
84 名前：38[] 投稿日：2021/12/23(木) 19:42:33.42 ID:iz9G4jw+ [1/2]
Buzzardの原稿が出たヨ！
https://arxiv.org/abs/2112.11598
>A great example is Mochizuki’s claimed proof of the ABC conjecture [Moc21].
>This proof has now been published in a serious research journal, however
>it is clear that it is not accepted by the mathematical community in general.
86 名前：１３２人目の素数さん[] 投稿日：2021/12/23(木) 20:46:56.21 ID:a0F2ZqKI
>>84
ホントに出ていたね。その引用部分の少し後に次のことが書かれている。
Furthermore, the key sticking point right now is that the unbelievers argue that more details are needed in the proof of Corollary 3.12 in the main paper,
and the state of the art right now is simply that one cannot begin to formalise this corollary without access to these details in some form
(for example a paper proof containing far more information about the argument)
(引用終り)
”Comments: 28 pages, companion paper to ICM 2022 talk”と明記もあるね
思うに、その意図は、「反論あるなら言ってきてね。反論の機会を与える。反論なき場合はこのまま総会発表とする」ってことか
（西洋流で、「黙っていたから 認めたってことじゃん」みたいなｗ）
普通は、こんな形でプレプリ出さない気がするな
さあ、面白くなってきたかも
ドンパチ派手にやってほしい
取り敢えずこんなところで（＾＾ このスレは国立大学工学部卒を詐称する
工業高校中退の中卒の誇大妄想狂 SET Aが立てた
反数学アラシスレです
一般人は下記スレッドに移動願います
【予言】今年のICMで望月新一氏はABC予想解決で特別賞を受賞する
https://rio2016.5ch.net/test/read.cgi/math/1640983644/
2022年7月6日に全ては決する
https://icm2022.org/prizes ■ID非表示名の「DiverCity (りんかい線)」こと
長期専門板荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948 【山形キチガイジおばさん速報】IUT関連スレで毎日何十連投もの自演をしている山形キチガイジおばさん55歳(自称長野在住37歳トランス男)、新作自己紹介文を投下【昆虫食なのに食物連鎖が昆虫以下という錯乱が見所】
909 名前:１３２人目の素数さん [sage]
:2022/01/09(日) 11:41:00.78 ID:tGsuqFrU
受験勉強でノイローゼになりやっと入った
山形大学で学生実験で成績Fを取り大学と
揉めて退学し引き篭もり状態になり糖尿病も
相まって当時の学生実験の担当教員が嫌がらせ
を行っているという妄想に取り憑かれ匿名掲示板
で天羽を連呼し荒らす事を唯一の生き甲斐とする
生きる屍となった汲み取り便所に顔を突っ込んで
ウジ虫を食べている食物連鎖の中でウジ虫より下
位の生物 【NGWord推奨(正規表現)】
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609 a_watcherがTwitterに鍵かけていてワロタ 東京生まれ東京育ちの私と
滋賀作で山形の田舎大学のクソＢＢＡを
いっしょにすんなやｗ >>23
DiverCity (りんかい線)て天羽連呼なの？
それじゃまともなのいないじゃん！ >>23
お前a_watcherだろ
文体がまるで同じなンだわ 前スレより
Inter-universal geometry と ABC予想 (応援スレ) 63
https://rio2016.5ch.net/test/read.cgi/math/1640701686/990
990 返信：DiverCity (りんかい線)[sage] 投稿日：2022/01/10(月) 07:06:30.45
>>982
ツェルメロ構成だってまったく同様にやればいいのに
1.Z_0={}
2.Z_(α+1)=｛Z_α}
3.αが極限順序数の時、Z_α=∪[β<α]Z_β
4.Zは∪[α]Z_αである。
３．と４．の∪が集合における「極限」の取り方だって
瞬時に気づけない時点で、こいつにゃ数学無理だなってわかる
(引用終り)
ツェルメロのシングルトンによる自然数Nの構成、
おサルさんも、ようやく分かってきたね
で、”３．と４．の∪が集合における「極限」の取り方だ”については、未証明だよｗ
つづく >>27
つづき
実際 例えば、下記
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11148602706
aas********さん 知恵袋 2015/8/10
集合と位相の問題です。
X=N∪{0}とする（Nは自然数）。Xの部分集合族Oを
A∈O⇔A⊂N,またはX-AはNの有限部分集合
と定める。
以下の問いに答えよ
(1) (X,O)はHausdorff空間であること、正規空間（T_1+T_4)であることを示せ
(2) (X,O)はCompact空間であるか、理由を含めて答えよ
(3) Y:={1/n|n∈N}∪{0}を、通常の位相をもつEuclid空間Rの部分空間とするとき、(X,O)とYは同相であることを示せ。
以上です。よろしくお願いします。
ベストアンサー
fra・・・・・・さん 2015/8/11
N に離散位相を考えると局所コンパクトハウスドルフ空間です。この空間の一点コンパクト化が （X，O）に相当します（通常は 0 を付加する代わりに ∞ を付加しますが、記号は何でも構いません）。
略
コンパクトであることは次のように証明できます。
Xの開被覆を U(λ)，λ∈Λ，とします。いま
略
(引用終り)
ここにあるように、自然数N（上記では1から始まる自然数）で、コンパクト化は普通∞ を付加するが、この問題では 0 を使っている
で、いま手元の松坂和夫「集合・位相入門」（岩波 1968）のP219 「コンパクト化問題」で
定理 17
「S＝（S、O）を位相空間として、Sに、その中にない1点x∞を付け加えた集合を
S*＝S∪{x∞}とする。そのとき、S*に適当な位相O*を導入して位相空間S*＝（S*、O*）を作り
次の(i)(ii)が成り立つようにすることができるためには、Sが局所コンパクトなHausdorff空間であることが必要十分・・略」
これで、x∞については、特に制約はないし（上記知恵袋と同様）、
また同P222には、複素平面のリーマン球面がコンパクト化の例として示されている
ここも、位相空間としては、複素平面の外の1点という以外には、制約無いぞよ！ｗｗ >>27
>3.αが極限順序数の時、Z_α=∪[β<α]Z_β
はω重シングルトンなるものではないよね
>ツェルメロのシングルトンによる自然数Nの構成、
>おサルさんも、ようやく分かってきたね
つまりω重シングルトンなるものは間違いだと認めるの？
で、日本語は正しく使おう、間違いを認めるならようやく分かってきたのは君だね >>27
−−−−−−−−−−−−−−−−−−−−−−−−−−
ツェルメロ構成だってまったく同様にやればいいのに
1.Z_0={}
2.Z_(α+1)=｛Z_α}
3.αが極限順序数の時、Z_α=∪[β<α]Z_β
4.Zは∪[α]Z_αである。
３．と４．の∪が集合における「極限」の取り方だ
−−−−−−−−−−−−−−−−−−−−−−−−−−
>ツェルメロのシングルトンによる自然数Nの構成、
>おサルさんも、ようやく分かってきたね
俺たち人間は初めからわかってたさ
わかってないのは人間になれない
ニホンザルの貴様だけだよ SET A
実際、人間の一人である NpIRFDiP氏 >>29 は
>>3.αが極限順序数の時、Z_α=∪[β<α]Z_β
>はω重シングルトンなるものではないよね
と気づいている
{}∪{{}}∪{{{}}}∪…
={{},{{}},{{{}}},…}
>で、”３．と４．の∪が集合における「極限」の取り方だ”については、未証明だよ
∪[n<ω]Z_nが集合であることの証明は
集合論の初心者であるSET A君への演習問題としよう >>28
>自然数N（上記では1から始まる自然数）で、
>コンパクト化は普通∞ を付加するが、
>この問題では 0 を使っている
SET A君
唐突に「コンパクト化」とわめきだしたが
ついにトレポネーマ・パリズムが
脳髄にまで達したかね？
https://ja.wikipedia.org/wiki/%E6%A2%85%E6%AF%92
>で、いま手元の
>松坂和夫「集合・位相入門」（岩波 1968）
>のP219 「コンパクト化問題」で
「集合・位相入門」を読みだしたのはよいことだ
ただ今ここでは位相、
特にコンパクト化については
全く論じていない
医者で診てもらった方がいいだろう
>定理 17
>「S＝（S、O）を位相空間として、
> Sに、その中にない1点x∞を付け加えた集合を
> S*＝S∪{x∞}とする。
> そのとき、S*に適当な位相O*を導入して
> 位相空間S*＝（S*、O*）を作り
> 次の(i)(ii)が成り立つようにすることができるためには、
> Sが局所コンパクトなHausdorff空間であることが必要十分・・略」
>これで、x∞については、特に制約はないし、
>また同P222には、複素平面のリーマン球面が
>コンパクト化の例として示されている
>ここも、位相空間としては、
>複素平面の外の1点という以外には、
>制約無いぞよ！
何をわめいてるんだ？このニホンザルは･･･（呆） ニホンザル SET A の症状
無限についての議論で実にしばしば以下の言葉を何の脈絡もなくわめきだす
１．(一点)コンパクト化
２．レーヴェンハイム・スコーレムの定理
１．については
「∞はN、Z、Q、R、C等、ノンコンパクトな集合を
コンパクト化できる究極の一点だ」
といいたいようだが、そもそも
集合はコンパクトでなければならない
なんて公理はないから、
∞が要素でなければならない理由にはならない
２．についても
「一階述語論理上で自然数論を展開した場合
自然数論の公理だけでは、非標準的な自然数の存在を排除できない
無限とは・・・非標準的な自然数なのだ！」
といいたいようだが、そもそも、ωは前者をもたない時点で
自然数としての条件を満たさないので、間違っている
理由にならないことを理由とするのが
トレポネーマ・パリズムのせいでなければよいが
https://ja.wikipedia.org/wiki/%E6%A2%85%E6%AF%92 >>32
松坂和夫「集合・位相入門」（岩波 1968）
と
斎藤毅 「集合と位相」（東大出版会 2009）
を眺めている
斎藤毅 「集合と位相」の方が
良い面が多いね
このP198に
第8章 距離空間と可算性
8.2 点列の収束
定義 8.2.1 で 収束の定義が記されている
この直後の説明に
「離散空間Nの１点コンパクト化N~の無限遠点∞をを考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」
とありますぜ、旦那ｗ
だから、”離散空間Nの１点コンパクト化N~の無限遠点∞”と、離散空間Nの点列の収束とは、無関係ではないよ
おっさんも、斎藤毅 「集合と位相」を読んだ方がいいな
つーか、おっさんが勉強した1980年代には、斎藤毅 「集合と位相」（東大出版会 2009）は無かったんだね
だから、落ちこぼれになったのかな？ｗ >>34 タイポ訂正
「離散空間Nの１点コンパクト化N~の無限遠点∞をを考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」
↓
「離散空間Nの１点コンパクト化N~の無限遠点∞を考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」
”をを”→”を”な
紙媒体を、写経するのは大変だ
デジタルコピー貼り付けが楽だ >>34
「集合と位相」を勉強するのはよいことだ どんどんやりたまえ
そうすれば、無限重シングルトンがあり得ないことも分かるだろう
一点コンパクトは関係ないから、忘れたまえ
デジタルコピー貼り付けはやめたまえ
馬鹿がわけもわからずリコウぶっても恥かくだけだ
もういいかげん💩塗れで現れるのはやめてくれ
悪臭が耐え難い >>34
で？ω重シングルトンは間違いだと認めるの？
時枝不成立も間違いだと認めれば？ >>34 追加
https://ja.wikipedia.org/wiki/%E9%81%BA%E4%BC%9D%E7%9A%84%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88
遺伝的有限集合
https://en.wikipedia.org/wiki/Hereditarily_finite_set
Hereditarily finite set
Representation
This class of sets is naturally ranked by the number of bracket pairs necessary to represent the sets:
・{} (i.e.Φ, the Neumann ordinal "0"),
・{{}} (i.e. {Φ} or {0}, the Neumann ordinal "1"),
・{{{}}},
・{{{{}}}} and then also {{},{{}}} (i.e. {0,1}, the Neumann ordinal "2"),
・{{{{{}}}}}, {{{},{{}}}} as well as {{},{{{}}}},
・... sets represented with 6 bracket pairs, e.g. {{{{{{}}}}}},
・... sets represented with 7 bracket pairs, e.g. {{{{{{{}}}}}}},
・... sets represented with 8 bracket pairs, e.g. {{{{{{{{}}}}}}}} or {{},{{}},{{},{{}}}} (i.e. {0,1,2}, the Neumann ordinal "3")
... etc.
In this way, the number of sets with n}n bracket pairs is[1] 1,1,1,2,3,6,12,25,52,113,247,548,1226,2770,6299,14426,・・・
Axiomatizations
ZF
The hereditarily finite sets are a subclass of the Von Neumann universe. Here, the class of all well-founded hereditarily finite sets is denoted Vω. Note that this is also a set in this context.
If we denote by p(S) the power set of S, and by V0 the empty set, then Vω can be obtained by setting V1 = p(V0), V2 = p(V1),..., Vk = p(Vk-1),... and so on.
Thus, Vω can be expressed as Vω=∪ k=0〜∞ Vk.
We see, again, that there are only countably many hereditarily finite sets: Vn is finite for any finite n, its cardinality is n-12 (see tetration), and the union of countably many finite sets is countable.
(引用終り)
遺伝的有限集合、Hereditarily finite set
「naturally ranked by the number of bracket pairs」で
そのbracket（カッコ）の深さのシングルトン達、例えば深さ6 with 6 bracket pairs, e.g. {{{{{{}}}}}}とか出てくるよ
そして、ZFでは、Vω=∪ k=0〜∞ Vk だ
だから、ω重シングルトン あるんじゃね？ >>38
>ZFでは、Vω=∪ k=0〜∞ Vk だ
はい、誤り
ZFでは、Vω=∪ k∈N Vk だ
∞はNの要素じゃありませーん
SET Aって、ほんと🐎🦌だなｗ
>だから、ω重シングルトン あるんじゃね？
だから、ω重シングルトンありませーん
SET Aって、ほんと🐎🦌だなｗ セタは自然数とωの違いも分からなければ無限大自然数との違いも分かりません
>>23
天羽とか言う行き遅れも
レス代行お前の委託主である仏教上最大敵欲界最上位第六天他化自在天最大魔王Marapapiyas猿踊り一石は
ポニョという共通点は有るが性別は違うからな もしかして、どうせ書くなら 0≦k<∞ と書くべきだったんじゃ…
何で数学で k=0〜∞ て書き方をするんだろ？責めて 0≦k≦∞ と書くべきで
そうすれば、そこまで書き進めた所で「ああ 0≦k≦∞ じゃなくて 0≦k<∞ だ」と思い直す事が出来ただろうに｡ 【悲報】
IUTスレ常駐自演連投氏、
スレ書き込みが2〜3人分しかないと皮肉られて
「IPだけで言うと10人」
「IDが変わるのは2人」
という意味不明な言い訳をし発狂
ワッチョイ表示もIPアドレス表示の無いスレでIPアドレス数をカウントするのは不可能だし
IPアドレスの個数の単位を[人]とするのは狂っている
480 名前:１３２人目の素数さん :2022/01/10(月) 07:40:30.45 ID:B2wbXwmJ
このスレ、2〜3人しか書いてないでしょ
503 名前:１３２人目の素数さん [sage] :2022/01/10(月) 20:59:15.44 ID:3NGVPysw
>>480
IPだけで言うと10人
IDが変わるのは2人
内、1人はIDを固定したりしなかったりする こっちの板の山形知恵遅れおばさん(DiverCity(りんかい線))の自演がウザくなったら他板で煽ればこっちが止まると思うけど
どうする 玉手学長のところに迷惑通報すれば2〜3日は止まるでしょ
1週間もすると復活するけど 通報して自演書き込みを一時停止させれば
・DiverCity(りんかい線)による自演のID数
・DiverCity(りんかい線)以外の書き込み人数
が判明する事になるね
やってみるかw >>38 追加
>そして、ZFでは、Vω=∪ k=0〜∞ Vk だ
分かってないらしいので、引用追加する
https://en.wikipedia.org/wiki/Hereditarily_finite_set
Hereditarily finite set
Discussion
A symbol for the class of hereditarily finite sets is H_ｱﾚﾌ0, standing for the cardinality of each of its member being smaller than ｱﾚﾌ0. Whether H_ｱﾚﾌ0 is a set and statements about cardinality depend on the theory in context.
Axiomatizations
Theories of finite sets
The set Φ also represents the first von Neumann ordinal number, denoted 0. And indeed all finite von Neumann ordinals are in ｱﾚﾌ0 and thus the class of sets representing the natural numbers, i.e it includes each element in the standard model of natural numbers. Robinson arithmetic can already be interpreted in ST, the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.
Indeed, ｱﾚﾌ0 has a constructive axiomatizations involving these axiom and e.g. Set induction and Replacement.
Their models then also fulfill the axioms consisting of the axioms of Zermelo?Fraenkel set theory without the axiom of infinity. In this context, the negation of the axiom of infinity may be added, thus proving that the axiom of infinity is not a consequence of the other axioms of set theory.
ZF
略（>>38 ご参照）
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
Finite and low cardinality stages of the hierarchy
The set Vω has the same cardinality as ω.
The set Vω+1 has the same cardinality as the set of real numbers.
(引用終り)
これで
１．Von Neumann universeで、”The set Vω has the same cardinality as ω. ”つまり、Vωの濃度はωで、可算無限
２，だから、Vω=∪ k=0〜∞ Vkで、k=0〜∞は、ちゃんと∞まで渡るよ
３．なお、上記 Hereditarily finite setの”Discussion”に書いてあるように、Axiomatizations Theories of finite sets と ZFでは、扱いが違うってことです >>46
>ちゃんと∞まで渡るよ
∞とは何ですか？
>１．Von Neumann universeで、”The set Vω has the same cardinality as ω. ”つまり、Vωの濃度はωで、可算無限
>２，だから、Vω=∪ k=0〜∞ Vkで、k=0〜∞は、ちゃんと∞まで渡るよ
∪[k∈N]{k}=Nの濃度もωですよ？
濃度がωだからといって∞なるワケノワカラナイモノが必要とは言えませんよ？ うっかり>>23をコテハンで書き込んでしまい
DiverCity (りんかい線)の正体であるとバレてしまった間抜けな長野県の成績Fおじさん
東京住みの人なら付けないベタな名前に哀愁を感じる >>46
おいそこのゾンビ
finite set
の意味を答えて見せろ此のガキ
∞まで含めて何でω止まりなんだかも答えろやゴミ
> ｱﾚﾌ0
オメェよう、おう、オイ！何年もコピペ貼り続けて来て居ながらにしてアルファベットで aleph_0 と書けねぇって
どんだけ頭すっからかんのままコピペだけ振り回して廻る愚行を繰り返し繰り返し続けて生きていく積もりだテメェは？
しかも長年無収入で親の財を食い潰し、嘘連投を咎め詰られたら「ここは便所の落書きクソ喰らえ」と不遜な開き直り｡
世の中を深く深く冒涜し過ぎだお前は、冒涜だ冒涜｡ >>46
>Von Neumann universeで、
>”The set Vω has the same cardinality as ω. ”
>つまり、Vωの濃度はωで、可算無限
>だから、Vω=∪ k=0〜∞ Vkで、
>k=0〜∞は、ちゃんと∞まで渡るよ
だからの前後がつながらないが…
もしかして
Vω=V0∪…∪V∞ で
Vωとはまったく別に
V∞があるといってる？
V∞ってなに？
∞ってωの前者？ >>46 関連
数学における存在とは？
下記Von Neumann universe を例に
”Since existence is a difficult concept, one typically replaces the existence question with the consistency question, that is, whether the concept is free of contradictions. A major obstacle is posed by Godel's incompleteness theorems, which effectively imply the impossibility of proving the consistency of ZF set theory in ZF set theory itself, provided that it is in fact consistent.[12]
The integrity of the von Neumann universe depends fundamentally on the integrity of the ordinal numbers, which act as the rank parameter in the construction, and the integrity of transfinite induction, by which both the ordinal numbers and the von Neumann universe are constructed. ”
（google訳一部修正）
存在は難しい概念であるため、通常、存在の問題を一貫性の問題、つまり概念に矛盾がないかどうかに置き換えます。 しかし、ゲーデルの不完全性定理は、実際に一貫しているという条件で、ZF集合論自体の中でZF集合論の一貫性を証明することが不可能であることを事実上暗示しているという大きな障害があります。[12]
フォンノイマン宇宙のintegrityは、基本的に、構築のランクパラメーターとして機能する序数のintegrityと、序数とフォンノイマン宇宙の両方が構築される超限帰納法のintegrityに依存します。
(引用終り)
ツェルメロのシングルトンで、可算多重まで拡張できるかどうか？ 数学的存在の問題は、上記のVon Neumann universeと同じ
”一貫性の問題、つまり概念に矛盾がないかどうか”ってこと
ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
”一貫性の問題、つまり概念に矛盾がある”と（ZFC公理系で良いよ）
但し、カッコ{}は前スレに書いたように、添え字付きとする
（矛盾は、証明できないよね、多分）
つづく >>51
つづき
(参考)
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
Definition
Finite and low cardinality stages of the hierarchy
The set Vω has the same cardinality as ω.
The set Vω+1 has the same cardinality as the set of real numbers.
The existential status of V
Since the class V may be considered to be the arena for most of mathematics, it is important to establish that it "exists" in some sense. Since existence is a difficult concept, one typically replaces the existence question with the consistency question, that is, whether the concept is free of contradictions. A major obstacle is posed by Godel's incompleteness theorems, which effectively imply the impossibility of proving the consistency of ZF set theory in ZF set theory itself, provided that it is in fact consistent.[12]
The integrity of the von Neumann universe depends fundamentally on the integrity of the ordinal numbers, which act as the rank parameter in the construction, and the integrity of transfinite induction, by which both the ordinal numbers and the von Neumann universe are constructed. The integrity of the ordinal number construction may be said to rest upon von Neumann's 1923 and 1928 papers.[13] The integrity of the construction of V by transfinite induction may be said to have then been established in Zermelo's 1930 paper.[7]
(引用終り)
以上 >>51
>ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
ωの前者が存在しないので、ツェルメロのシングルトンなるものを{x}と書いたときxには最外カッコが無い。よってxは集合でない。よってツェルメロのシングルトンなるものも集合でない。よってZF上に存在しない。 星裕一郎先生のツイッター
おんなの匂いがしないな
大丈夫か？
もう40だよね？
https://twitter.com/hoshiyuichiro?ref_src=twsrc%5Egoogle%7Ctwcamp%5Eserp%7Ctwgr%5Eauthor
星裕一郎
374 件のツイート
1月8日
「私ってよく誤解されるんだけど」的発言を聞くと，「それならもうそれが正しい理解なのでは」と思ってしまいます．いつも自分の側を疑う類型の人間からしますと，自身による「誤解」というその評価に疑問を持たないことが不思議なのです．
昨夜知らない方からくるみのパンをいただきました (にこにこ)
1月6日
もう18年近く京都に住んでいるにも拘わらず関西弁の正しい発音すらできないのに，英語なんてきれいに適切に発音できるはずがないではありませんか．
https://twitter.com/5chan_nel (5ch newer account) >>51 追加
>数学における存在とは？
スレ主です
追加です
１．IUTも同じです
２．望月先生が独自構想で、いろいろ独自の新規な数学概念を定義した、なんとか劇場とかね。関西なら「おまえ、ヨシモトへ行け！」レベルです
３．しかし、数学では、新たな概念で「IUTって、どうよ？」は、IUTでどんどん推論を進めて、何が言えるかを見るのが普通なのです。従来の数学概念とどう繋がるのかも見るべし
４．でも、IUTが新規すぎて、なかなか従来の数学概念と繋がりが つかないのですｗ
５．そうなると、IUTの諸概念が、従来の数学概念との関係で、「integrity どうよ？」、「consistent どうよ？」の議論の手がかりが、なかなｋつかめない。ここらが、今年の課題と思います
（従来の数学概念と、ＩＵＴの関係をつけていくってこと）
IUTがすぐ矛盾を生じて”アウト！”なら話は早いが
天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
2022年の課題と思います 有限正整数とは
0<[n]<∞
成る n で在り
有限非負整数とは
0≦[n]<∞
成る n で在る事は
過去永劫から現在を経て未来永劫に掛けてセタを除いて万人公知先験自明で共有見解どころじゃなく共通認識だが
空前絶後唯一無二にセタ一匹だけは
有限正整数とは
0<[n]≦∞
成る n で在り
有限非負整数とは
0≦[n]≦∞
となる認識で居る。明らかに俺流固執病｡ >>55
>>50に返事ないな
V∞って書かれて「あっ💦」と大量の汗かいたんだろうな
>「おまえ、ヨシモトへ行け！」
あんたには、ヨシモトも無理
>天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
>ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
Scholzeは望月新一に説明させるために、単純化を持ち出しただけ
説明できなかった時点で、「ニホンザル」望月新一の負け
>2022年の課題
2022年のICMで望月新一が賞一つとれず
IUTTがどの講演でも全く取り上げられなかったら
望月新一のIUTT 惨敗決定な
SET Aは金輪際数学板に書くなよ 見苦しいから >>57
ん？お前MONKEY MAJIKか？代行の多種多様相違性臨海都市はどうした？ ＞IUTTがどの講演でも全く取り上げられなかったら
IUTTはBuzzardの講演で取り上げられるんだって何度も言ってるだろ >>55 追加
スレ主です
追加です
１．Von Neumann universe>>51 を例に
Von Neumann universe＝V とか到達不能基数、グロタンディーク宇宙
とか、完全にZFCの外です（到達不能基数、グロタンディーク宇宙については下記ご参照。Von Neumann universeも集合ではなくクラスなので、ZFCの外）
２．こういう Von Neumann universe、到達不能基数、グロタンディーク宇宙 などは、普通の数学の証明に乗らない面がある
>>52の”The existential status of V”のような議論になる
つまり、従来の数学と隔絶した新概念については、普通の数学の証明とはちょっと違う面が生じるってこと
３．これを、望月IUTについて見ると、（IUTでの用語universeの使い方は個人的には賛成できないのでそこはスルーとして）
加藤文元先生のいうように（従来の数学と隔絶した）「望月ワールドを作って」
楕円曲線の高さ評価式を導いて、ABC予想を解いたという主張と見ました
（勿論、単純な矛盾などは無い前提で。査読は終わっているので、これは満たされているはず）
４．で、もし「望月ワールド」が、いま確立されているZFCG内（せいぜい圏論内）の議論に翻訳できれば、かなり理解は進むと思う
しかし、”Von Neumann universe＝V とか到達不能基数、グロタンディーク宇宙”みたいな議論に留まると、一般には「ちょっと、ついていけない」みたいな感じは残ると思う
（個人的には、前者のZFCG内（せいぜい圏論内）の従来の数学に近い線の議論で収まっている気がするのです。
なので、できるだけ、従来の数学の議論との関連をつけていく努力が求められると思う。）
つづく >>60
つづき
（参考）
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
強到達不能基数 κ が存在するとする。集合 S は任意の列 sn ∈ ... ∈ s0 ∈ S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示すため集合 x を選ぶ。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
(引用終り)
以上 >>60
ω重シングルトンなるものは順序数じゃなかったの？順序数ならZFC内で構成可能だからそんな言い訳は通らないよ。 >>62
どうもです
レスありがとう
>>60の話は、
ω重シングルトンとは別で
IUTと、到達不能基数や、数学的宇宙論のぶっ飛んだ話です
つまり、大風呂敷のグロタンディーク宇宙とか、Von Neumann universeとか
「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）
これは、いまから数学者を目指す人は、意識しておいた方が良いかも
望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
これを見て、
いろんなことを考える人いるだろうね
a）素晴らし大理論だ
b）なに勝手なことをやっているのか？ 理解できない
c）理解できないから、モノドロミーで調べてみると、アウトだ（ショルツェ氏）
でいま、
b)が多数派でしょうね
c）は、ショルツェ氏一人＋尻馬組（理解していないのに、尻馬している人がいる）
a)は、じわじわ増えていると見ています >>63
>ω重シングルトンとは別で
ω重シングルトンは間違いだと認めるのね？ >>65
こんな寒い日は優子のパイズリで熱くなりたい！ 特定キーワードを書いておけば即レスが付くから
身元割り出しが簡単だね >>60
>到達不能基数、グロタンディーク宇宙とか、
>完全にZFCの外です
>到達不能基数、グロタンディーク宇宙などは、
>普通の数学の証明に乗らない面がある
>つまり、従来の数学と隔絶した新概念については、
>普通の数学の証明とはちょっと違う面が生じる
普通の数学=ZFC
といってるのか
そうならはっきりそう宣言してくれ
>これを、望月IUTについて見ると、
>加藤文元先生のいうように
>（従来の数学と隔絶した）
>「望月ワールドを作って」
>楕円曲線の高さ評価式を導いて、
>ABC予想を解いた
>という主張と見ました
つまり
望月IUT＝「望月ワールド」
は、普通の数学=ZFCに
あらたな公理を追加したもの
といってるのか
そうならはっきりそう宣言してくれ
>もし「望月ワールド」が、
>いま確立されているZFCG内
>（せいぜい圏論内）
>の議論に翻訳できれば、
>かなり理解は進むと思う
Q1．望月ワールド＝IUT＝ZFCG上の理論 ではないのか？
違うとしたらIUTは一体どの公理系の上の理論だ？
Q2．ZFCG=圏論、と言い切ってるが、その根拠は何か？
圏論がZFCでは展開できない根拠は？
（注：多くの圏が集合ではなく固有クラスになる
というだけでは新たな公理を追加する理由にならない
なぜなら圏論はそのような固有クラスを
集合として扱ってるわけではないから）
>ZFCG内（せいぜい圏論内）の従来の数学
従来の数学＝ZFCとすると、
ZFCG（Gは「非可算なグロタンディク宇宙が集合として存在する」という公理）は
完全にZFCの外だが（強到達不能基数の存在と同値だから これ常識）
>>61の以下の文章、一度も読まずにコピペしたのか
なら一度読め！読んで理解した後でコピペしてくれ
読まずに（つまり理解せずに）コピペしないでくれ
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。
これはグロタンディーク宇宙と強到達不能基数の間の
別の同値性を与えるものである
強到達不能基数の存在は ZFC からは証明できないため、
空集合と V_ω 以外の宇宙の存在は
どれも ZFC から証明することができない。
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− >>63
> 望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
其の方針でお前が考えるのが『無限重シングルトン』や『ω重シングルトン』の存在肯定根拠か？其の為に
またN=0〜∞だのN=0〜ωだのと言い出すのか、お前は？だぁかぁらぁ、其れが『自由』じゃなくて『放任』って言うんだよ｡
0〜∞はNじゃねぇアフィン拡大自然数って言うんだよ、巫山戯けんな。0〜ωは単なるN+ωだ、莫迦野郎｡
数宇宙をどう構成しようが其れは変わらねぇよ莫迦。あ否、莫迦じゃなくて馬鹿か。馬と鹿のハイブリッド種｡
取り敢えず責めて片方だけは納得しろや、無限大自然数は1つじゃなく無限多数なんだから0〜∞なんて書いたら
アフィン拡大実数範囲に成るしωが唯一つのみが加わるわけじゃねぇ事くらい覚えとけ、って話くらいは｡
って言うか∞なんて書き方したら無限大自然数一つ一つの要素を十把一絡げに引っ括めて全部に成るから
ω一つだけなんかじゃ無くなるわ｡
あのな？こうやって物事を、区別して述べるだけで、こんだけの事が分かるんだわ、勉強以前｡
お前みたいに、常日頃から有限や無限大も、有限自然数もωも無限大自然数も、クソミソ一緒朽多十把一絡げにする奴は
数学じゃなくて何でもアリ学を語ってるだけなんだわ。数学板の話題じゃなくて何でもアリ板の話題｡
学問理系カテゴリじゃなくて雑談系２カテゴリ｡
誰だωをfinity setに含まれると宣った馬と鹿の交雑種は？何て言ったっけ？セタって呼ばれてたっけ？
ωが何をどうやったらfinityに成るんだよオイ？ωはfinityの要素じゃねぇよinfinityの要素だよ｡
ωをfinityに組み入れたら忽ちω+1以上も雪崩れ込んで来るだろ。其のくらい期待妄想に呑まれてねぇで気付けや｡
やめてくれよな？『あぁωさん。貴方も無限大ではあるけど貴方だけは有限でもある事にしますよ、特別ですよ！』とか
巫山戯けた贔屓と忖度と御都合主義な『俺様流』は｡ ＞0〜ωは単なるN+ωだ
奇妙な表記
好意的に解釈してもN+{ω}だよね さんざん風呂敷広げといて肝心な事には答えないセタはペテン師
本日もまた底辺准教天羽優子の一行連投でスレが埋まる
>>72
セタの事だぞ、アイツがN=0〜ωなんて書いたらNに唯一つωのみ付け加えた考え方しかしてや居やしねぇよ｡ あー、って言うか
>>72
あーそうだ中括弧で括るの忘れてた
もしセタが神の世界が有ったら忽ち消滅するな､
ωを特別に有限組に組み入れたり無限大として扱ったりとテメェの保身の為にコロコロ枠組みを変えるんだから｡
それにωのみを有限組に組み入れる積もりに成ってるが其れでω+1以降が有限接近する事も分かってない｡
六道の底辺である地獄道よりも酷い外道の世界に陥るな｡ >>34
>松坂和夫「集合・位相入門」（岩波 1968）
>と
>斎藤毅 「集合と位相」（東大出版会 2009）
>を眺めている
どうも
スレ主です
ここら松坂和夫や斎藤毅が、
いまの数学科の集合論の標準レベルなのだろうね
で
アンチIUTにして、スレ主にたてつくのが3人いる
おサルと、数理論理くんと、蕎麦屋と
おサルは、数学科修士とか言っていたが、
過去プログラミングのときに、なんか情報系修士の可能性もほのめかしていたな
数理論理くんは、数学科か情報系か不明
どちらもありと見る
蕎麦屋さんは、レベル自身が不明
高卒だという指摘も出ている
さて、”松坂和夫や斎藤毅が、いまの数学科の集合論の標準レベル”に戻ると
公理的集合論の細かい議論のベースになる基礎文献の読み込みが不足しているよね、
松坂和夫や斎藤毅レベルだと
なので、最低下記でも読まないと
まともな、数学の議論にならんよね
(参考)
https://en.wikipedia.org/wiki/Zermelo_set_theory
Zermelo set theory (sometimes denoted by Z-)
Contents
1 The axioms of Zermelo set theory
2 Connection with standard set theory
3 Mac Lane set theory
4 The aim of Zermelo's paper
5 The axiom of separation
6 Cantor's theorem
7 See also
(引用終り)
以上 >>77
>なので、最低下記でも読まないと
>まともな、数学の議論にならんよね
なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？
ペテン師だから？ おサルは情報系修士ですらないでしょ
挙げてきた書籍名が匿名掲示板過去スレから拾い上げてきた的外れな一覧な上にタイトルを知っているだけで読んでもいないと予防線を張る間抜けさに爆笑した 二セ科学批判力ル卜が多用する特異語 [改訂版]
1. ニ セ 科 学 | エ セ 科 学 | 疑 似 科 学
2. ト ン デ モ | 【ペ テ ン 師】 | デ マ | ウ ソ | 詭 弁 | 病 気
3. 信 者 | 信 奉 者 | 教 祖 | 信 じ る
4. 負 け を 認 め て 黙 れ
5. 自 殺 | 氏 ね
6. 自 分 が 本 当 の 被 害 者
7. 月 刊 ム ー | オ カ ル ト | 宇 宙 人
8. 理 研 | S T A P 細 胞 | 小 保 方 | オ ボ カ タ
9. 岡 崎 | 丘 裂 き | 生 物 多 様 性
10. h i s s i . o r g | ウ ィ キ ペ デ ィ ア (w i k i p e d i a)
11. 悪 魔 の 証 明
12. キ チ ガ イ | 統 合 失 調 >>78
どうもです
スレ主です
>なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？
>ペテン師だから？
意味分からん
コピーとか、コピーでなくとも あるPDF文献の何ページ何行目に「こう書いてある」という指摘は
あなたにも可能でしょ？
つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
つまり、立場は対等なわけだ
定義も同じだよね
例えば望月IUTに対して、ショルツェ氏は「オレ様簡単化した定義なら、不等式は出せない」という議論を展開した
つまりは、議論の中では、「自分はこう定義して、こうなると思うが、どうよ」という議論もありでしょ
で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね >>71
ちげぇよテメェの認識力が1人しか認められねぇだけだよ
発狂ついでにお前以外の此の世の人間全てが天羽とか言う行き遅れ婆の自演かグルだと思い込めば良いじゃねぇか？
んなわけ有っか此のバーカ。お前もクソもミソも一緒にする奴か、見境ねぇ奴ばかりだなぁ？ >>38 補足
>遺伝的有限集合、Hereditarily finite set
>「naturally ranked by the number of bracket pairs」で
>そのbracket（カッコ）の深さのシングルトン達、例えば深さ6 with 6 bracket pairs, e.g. {{{{{{}}}}}}とか出てくるよ
>そして、ZFでは、Vω=∪ k=0〜∞ Vk だ
>だから、ω重シングルトン あるんじゃね？
文献を誤読している人がいるので補足する
（>>38 ＆>>46再録）
https://en.wikipedia.org/wiki/Hereditarily_finite_set
Hereditarily finite set
Discussion
A symbol for the class of hereditarily finite sets is H_ｱﾚﾌ0, standing for the cardinality of each of its member being smaller than ｱﾚﾌ0. Whether H_ｱﾚﾌ0 is a set and statements about cardinality depend on the theory in context.
Axiomatizations
Theories of finite sets
The set Φ also represents the first von Neumann ordinal number, denoted 0. And indeed all finite von Neumann ordinals are in ｱﾚﾌ0 and thus the class of sets representing the natural numbers, i.e it includes each element in the standard model of natural numbers. Robinson arithmetic can already be interpreted in ST, the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.
Their models then also fulfill the axioms consisting of the axioms of Zermelo-Fraenkel set theory without the axiom of infinity.
In this context, the negation of the axiom of infinity may be added, thus proving that the axiom of infinity is not a consequence of the other axioms of set theory.
つづく >>84
つづき
ZF
The hereditarily finite sets are a subclass of the Von Neumann universe. Here, the class of all well-founded hereditarily finite sets is denoted Vω. Note that this is also a set in this context.
If we denote by p(S) the power set of S, and by V0 the empty set, then Vω can be obtained by setting V1 = p(V0), V2 = p(V1),..., Vk = p(Vk-1),... and so on.
Thus, Vω can be expressed as Vω=∪ k=0〜∞ Vk.
We see, again, that there are only countably many hereditarily finite sets: Vn is finite for any finite n, its cardinality is n-12 (see tetration), and the union of countably many finite sets is countable.
(引用終り)
１．書かれているように、Hereditarily finite setは、”cardinality depend on the theory in context”ってことです
２．つまり、”Theories of finite sets”＝有限集合理論 では、
例えば、”In this context, the negation of the axiom of infinity may be added”
とあるように、無限公理の否定をあえて追加する議論もありってこと。この場合は当然、無限集合は否定されるってこと
３．で、ZFのcontextでは、無限公理は認める立場だ
この立場は、古代ギリシャのユークリッドが、素数の無碍を証明したのと同じ（標準的立場）
つまり、自然数集合N 元 1,2,3,・・ で、濃度ｱﾚﾌ0 つまり、1,2,3,・・ は可算無限個あるが、但し∀nたちは有限
よって、このcontextでは 上記の”Vω=∪ k=0〜∞ Vk”も、正当化できる
４．「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」という
この一見矛盾した状況が理解できないレベルならば、
カントールの順序数論では、まっとうに議論できるレベルじゃない（低レベル）ってことです
以上 >>84 追加
>the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.
さらに、ここ原文には、Z^{-}にはリンクが張ってあって、>>77の
https://en.wikipedia.org/wiki/Zermelo_set_theory
Zermelo set theory (sometimes denoted by Z-)
にとぶ
で、誤解なきよう念のために書くが
”the very small sub-theory of Z^{-}”なので、
上記は Zermelo set theoryの一部ってことですよ
で、ついでに書くと
上記 Zermelo set theoryでは、
”AXIOM VII. Axiom of infinity (Axiom des Unendlichen)
"There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."”
とあって、無限公理（Axiom of infinity）で、集合Zが存在すると言葉で書かれている
この集合Zは、ドイツ語で数Zahlからで（下記）、自然数の意味ですね
で、Zermeloは、シングルトン{a}を使って、自然数Nができると Axiom des Unendlichenを書いた
これにいろいろ批判があることも、上記リンク内に書いてある
（さらに付言すると、上記Zermeloでは、ω重シングルトン自身は使っていないのです。
その一歩手前で、有限シングルトンを全部集めて自然数Nができるという議論だ
だけど、ω重シングルトンを否定しているわけでもない）
で、”Zermelo allowed for the existence of urelements that are not sets and contain no elements; these are now usually omitted from set theories.”
なんて文もある
おれも最後は、ω重シングルトンで”existence of urelements”かもしれないが、まだそこまで行ってないよね
参考
https://de.wikipedia.org/wiki/Zahl
Zahl
(引用終り)
以上 >>86 追加
独語の自然数の.wikipedia.があったので、参考に貼っておく
https://de.wikipedia.org/wiki/Nat%C3%BCrliche_Zahl
Naturliche Zahl
Inhaltsverzeichnis
1 Bezeichnungskonventionen
2 Axiomatisierung
3 Von Neumanns Modell der naturlichen Zahlen
4 Die naturlichen Zahlen als Teilmenge der reellen Zahlen
5 Siehe auch
6 Literatur
(引用終り)
以上 >>82
>意味分からん
バカだから？
>コピーとか、コピーでなくとも あるPDF文献の何ページ何行目に「こう書いてある」という指摘は
>あなたにも可能でしょ？
>つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
やっぱペテン師でした。
自分から言い出したモノの非存在証明義務を相手に押し付けるのはペテン師の手口。 >>85
>４．「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」という
> この一見矛盾した状況が
バカには矛盾に見えるのか？何の矛盾も無いが。 >>82
>で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
うん。
存在しないものを全て書き下し尽くせると考えてるの？真性バカだね君。 >>82
>で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
これがペテン師の典型的手口「悪魔の証明要求」です。
存在する事を証明するには何らかの文献を一つ示せば十分。しかし存在しない事を証明するには古今東西あらゆる文献の完全なリストが必要で勿論そんなものは存在しないので不可能。
数学どうこう以前のペテン師は数学板から去りなさい。 >>86
>and contain no elements
じゃあ1重シングルトンじゃん
{x}のxは元を持たないんでしょ？ >>86
>だけど、ω重シングルトンを否定しているわけでもない
誤 否定していない
正 言及すらしていない
当たり前だよ、自明に非存在だから
君がバカで理解出来ないだけ シングルトン
一元豚
独身豚
セタの思考は一元体かつ示唆性が有る意味での一元体では勿論、無い、つまりは零環の如しクォリティ｡ >>80
a_watcherの自己PRとしてよく纏っています
評価しましょう >>85 補足
> ３．で、ZFのcontextでは、無限公理は認める立場だ
> この立場は、古代ギリシャのユークリッドが、素数の無碍を証明したのと同じ（標準的立場）
> つまり、自然数集合N 元 1,2,3,・・ で、濃度ｱﾚﾌ0 つまり、1,2,3,・・ は可算無限個あるが、但し∀nたちは有限
> よって、このcontextでは 上記の”Vω=∪ k=0〜∞ Vk”も、正当化できる
念ために
１．普通に、添え字集合として、Vk k∈N （N＝{0,1,2,・・}（自然数））を考えて
Vω=∪k=0〜∞ Vk
↓
Vω=∪k∈N Vk
と解釈すれば良い
２．つまり、添え字として kは全ての自然数を渡るってことだな
Vk が数列の場合には
Σk=0〜∞ Vk
↓
Σk∈N Vk
と解するが如しだ
これ、一貫校なら中学生レベルだろうね 天羽連呼ことa_watcherはDiverCity(りんかい線)名義はやめたの？ >>77
>公理的集合論の細かい議論のベースになる
>基礎文献の読み込みが不足しているよね
それ、SET A君自身のこと？
>最低下記でも読まないと
>まともな、数学の議論にならんよね
>http://en.wikipedia.org/wiki/Zermelo_set_theory
で、SET A君読めたの？ >>81
SET Aは大卒ですらない
大阪大学工学部卒とか全くの学歴詐称
ああ、みっともない >>82
>ω重シングルトンを否定する文典
そもそも「ω重シングルトン」
…1{0{}0}1…
を集合だと肯定する文典が皆無
全てトンデモ中卒SET Aの精神病的妄想の産物
>>84
>文献を誤読している人がいる
SET A 一匹な ■ このスレッドは過去ログ倉庫に格納されています
