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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 64 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

1(13): 2022/01/09(日)14:01 ID:LV2O1tR+(1/14) AAS
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 63
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math

（参考）
Twitterﾘﾝｸ:math_jin
math_jin 出版序文リンク Andrew Putman 2021年3月6日
外部ﾘﾝｸ:drive.google.com
省8

2(13): 2022/01/09(日)14:02 ID:LV2O1tR+(2/14) AAS
つづき

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

3(4): 2022/01/09(日)14:02 ID:LV2O1tR+(3/14) AAS
つづき

＜IUT国際会議 2つのシリーズ＞
1．
外部ﾘﾝｸ[html]: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. 外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp

4: 2022/01/09(日)14:02 ID:LV2O1tR+(4/14) AAS
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
宇宙際タイヒミューラー理論の拡がり
（４回とも無事終了です）
なお、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末〜9月初めの二つのIUT会議に出席したようです

参考
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
宇宙際タイヒミューラー理論への誘い（いざない）2021-08-31?2021-09-03
Confirmed participants include:
Atsushi Shiho (Univ. Tokyo, Japan),
省10

5: 2022/01/09(日)14:03 ID:LV2O1tR+(5/14) AAS
つづき

＜過去スレより再録＞
スレ46 2chｽﾚ:math
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレがアンチでお願いしますよ
ここでは、大人の議論をしましょうね

１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
　（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレがアンチへ）
省16

6: 2022/01/09(日)14:03 ID:LV2O1tR+(6/14) AAS
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新〜！”と絶叫したりするからです（＾＾；　）
( 外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊）（Yahoo!でのあだ名が、「一石」）
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
外部ﾘﾝｸ:ja.wikipedia.org 双曲面
二葉双曲面：画像ﾘﾝｸ[png]:upload.wikimedia.org
おサル、あいつは双曲幾何の修論でも書いたみたいだなｗ（＾＾）

＜＊）サイコパスの特徴＞
省6

7(16): 2022/01/09(日)14:04 ID:LV2O1tR+(7/14) AAS
つづき
＜サイコパスのおサルのバカ発言＞
過去スレ55 2chｽﾚ:math
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
省28

8: 2022/01/09(日)14:04 ID:LV2O1tR+(8/14) AAS
つづき
（参考）
関連：望月新一（数理研）外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
News - Ivan Fesenko 外部ﾘﾝｸ[html]: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
外部ﾘﾝｸ[pdf]:ivanfesenko.org 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)
省16

9: 2022/01/09(日)14:05 ID:LV2O1tR+(9/14) AAS
つづき

? [R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020 外部ﾘﾝｸ[pdf]:ivanfesenko.org

外部ﾘﾝｸ[pdf]: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が通らないので検索たのむ）

Twitterﾘﾝｸ:hoshiyuichiro
星裕一郎ツイッター
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
省11

10: 2022/01/09(日)14:05 ID:LV2O1tR+(10/14) AAS
つづき

Yourpedia 宇宙際タイヒミュラー理論（URLが通らないので検索たのむ）
外部ﾘﾝｸ:ja.wikipedia.org　宇宙際タイヒミュラー理論 Wikipedia
外部ﾘﾝｸ:en.wikipedia.org 英Inter-universal Teichmuller theory 英 Wikipedia
外部ﾘﾝｸ:ja.wikipedia.org ABC予想
外部ﾘﾝｸ:en.wikipedia.org 英abc conjecture

外部ﾘﾝｸ:www.math.arizona.edu から Recent Research へ入る
Kirti Joshi Recent Research論文集
新論文（IUTに着想を得た新理論）外部ﾘﾝｸ[pdf]:arxiv.org
Construction of Arithmetic Teichmuller Spaces and some applications
省13

11: 2022/01/09(日)14:06 ID:LV2O1tR+(11/14) AAS
つづき

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 ( 外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de Date: July 16, 2018.
外部ﾘﾝｸ[pdf]:ncatlab.org Date: August 23, 2018. )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2

なお
省4

12: 2022/01/09(日)14:06 ID:LV2O1tR+(12/14) AAS
つづき

外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
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
省12

13: 2022/01/09(日)14:06 ID:LV2O1tR+(13/14) AAS
AA省

14: 2022/01/09(日)14:07 ID:LV2O1tR+(14/14) AAS
つづき

（IUTに対する批判的レビュー）
外部ﾘﾝｸ:zbmath.org
外部ﾘﾝｸ[pdf]: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)

BuzzardのICM22講演原稿
Inter-universal geometry とABC 予想47
省21

15: DiverCity (りんかい線) 2022/01/09(日)16:31 AAS
このスレは国立大学工学部卒を詐称する
工業高校中退の中卒の誇大妄想狂　SET Aが立てた
反数学アラシスレです

一般人は下記スレッドに移動願います

【予言】今年のICMで望月新一氏はABC予想解決で特別賞を受賞する
2chｽﾚ:math

2022年7月6日に全ては決する
外部ﾘﾝｸ:icm2022.org

16(2): 2022/01/09(日)16:43 ID:3TKx2ZTh(1/2) AAS
■ID非表示名の「DiverCity (りんかい線)」こと
長期専門板荒らし天羽優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)

【特徴1】ソース画像ﾘﾝｸ[jpg]:blog-imgs-17.fc2.com 画像ﾘﾝｸ[JPG]:b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。

【事例1】天羽優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド外部ﾘﾝｸ:groups.google.com

【事例2】天羽優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) 2chｽﾚ:mental

【事例3】自称天羽優子は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
省1

17: 2022/01/09(日)17:20 ID:tGsuqFrU(1) AAS
>>16
前立腺が刺激された

18: 2022/01/09(日)17:29 ID:3TKx2ZTh(2/2) AAS
【山形キチガイジおばさん速報】IUT関連スレで毎日何十連投もの自演をしている山形キチガイジおばさん55歳(自称長野在住37歳トランス男)、新作自己紹介文を投下【昆虫食なのに食物連鎖が昆虫以下という錯乱が見所】

　909 名前:１３２人目の素数さん [sage]
　:2022/01/09(日) 11:41:00.78 ID:tGsuqFrU
　　受験勉強でノイローゼになりやっと入った
　　山形大学で学生実験で成績Fを取り大学と
　　揉めて退学し引き篭もり状態になり糖尿病も
　　相まって当時の学生実験の担当教員が嫌がらせ
　　を行っているという妄想に取り憑かれ匿名掲示板
　　で天羽を連呼し荒らす事を唯一の生き甲斐とする
　　生きる屍となった汲み取り便所に顔を突っ込んで
省2

19: 2022/01/09(日)18:32 ID:XMJb/6kS(1/2) AAS
>>16
あグロ

21(1): 2022/01/09(日)19:28 ID:CHYamsvf(1) AAS
a_watcherがTwitterに鍵かけていてワロタ

22: 2022/01/09(日)19:34 ID:rwPmCofR(1) AAS
尻の穴から生まれた割にはケツの穴の小せえ野郎だ

23(4): DiverCity (りんかい線) 2022/01/10(月)07:53 AAS
東京生まれ東京育ちの私と
滋賀作で山形の田舎大学のクソＢＢＡを
いっしょにすんなやｗ

24: 2022/01/10(月)10:43 ID:Og11/vWK(1) AAS
>>23
DiverCity (りんかい線)て天羽連呼なの？
それじゃまともなのいないじゃん！

25: 2022/01/10(月)11:43 ID:ZvFeqtLa(1) AAS
>>23
お前a_watcherだろ
文体がまるで同じなンだわ

26: 2022/01/10(月)12:32 ID:WlN4RBXj(1) AAS
天羽さんは鍵垢だろうが透視出来るからなあ

27(3): 2022/01/10(月)13:36 ID:MGTx95Re(1/5) AAS
前スレより
Inter-universal geometry と ABC予想 (応援スレ) 63
2chｽﾚ:math
990 返信：DiverCity (りんかい線)[sage] 投稿日：2022/01/10(月) 07:06:30.45
>>982
　ツェルメロ構成だってまったく同様にやればいいのに
　1.Z_0={}
　2.Z_(α+1)=｛Z_α}
　3.αが極限順序数の時、Z_α=∪[β<α]Z_β
　4.Zは∪[α]Z_αである。
省7

28(1): 2022/01/10(月)13:39 ID:MGTx95Re(2/5) AAS
>>27
つづき

実際例えば、下記

外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
aas********さん知恵袋 2015/8/10
集合と位相の問題です。
X=N∪{0}とする（Nは自然数）。Xの部分集合族Oを
A∈O⇔A⊂N,またはX-AはNの有限部分集合
と定める。
以下の問いに答えよ
省21

29(1): 2022/01/10(月)14:11 ID:NpIRFDiP(1/2) AAS
>>27
>3.αが極限順序数の時、Z_α=∪[β<α]Z_β
はω重シングルトンなるものではないよね

>ツェルメロのシングルトンによる自然数Nの構成、
>おサルさんも、ようやく分かってきたね
つまりω重シングルトンなるものは間違いだと認めるの？
で、日本語は正しく使おう、間違いを認めるならようやく分かってきたのは君だね

30: 2022/01/10(月)15:09 ID:8TDMDYfD(1) AAS
a_watcherの心を折る事に成功

31: DiverCity (りんかい線) 2022/01/10(月)16:14 AAS
>>27
−−−−−−−−−−−−−−−−−−−−−−−−−−
ツェルメロ構成だってまったく同様にやればいいのに
　1.Z_0={}
　2.Z_(α+1)=｛Z_α}
　3.αが極限順序数の時、Z_α=∪[β<α]Z_β
　4.Zは∪[α]Z_αである。
３．と４．の∪が集合における「極限」の取り方だ
−−−−−−−−−−−−−−−−−−−−−−−−−−
>ツェルメロのシングルトンによる自然数Nの構成、
省13

32(1): DiverCity (りんかい線) 2022/01/10(月)16:23 AAS
>>28
>自然数N（上記では1から始まる自然数）で、
>コンパクト化は普通∞ を付加するが、
>この問題では 0 を使っている

SET A君
唐突に「コンパクト化」とわめきだしたが
ついにトレポネーマ・パリズムが
脳髄にまで達したかね？

外部ﾘﾝｸ:ja.wikipedia.org

>で、いま手元の
省22

33: DiverCity (りんかい線) 2022/01/10(月)16:31 AAS
ニホンザル SET A の症状

無限についての議論で実にしばしば以下の言葉を何の脈絡もなくわめきだす
１．(一点)コンパクト化
２．レーヴェンハイム・スコーレムの定理

１．については
「∞はN、Z、Q、R、C等、ノンコンパクトな集合を
　コンパクト化できる究極の一点だ」
といいたいようだが、そもそも
集合はコンパクトでなければならない
なんて公理はないから、
省10

34(7): 2022/01/10(月)18:15 ID:MGTx95Re(3/5) AAS
>>32
松坂和夫「集合・位相入門」（岩波 1968）
と
斎藤毅「集合と位相」（東大出版会 2009）
を眺めている

斎藤毅「集合と位相」の方が
良い面が多いね

このP198に
第8章距離空間と可算性
8.2 点列の収束
省8

35: 2022/01/10(月)18:19 ID:MGTx95Re(4/5) AAS
>>34 タイポ訂正

「離散空間Nの１点コンパクト化N~の無限遠点∞をを考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」
　　↓
「離散空間Nの１点コンパクト化N~の無限遠点∞を考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」

”をを”→”を”な
紙媒体を、写経するのは大変だ
デジタルコピー貼り付けが楽だ

36: DiverCity (りんかい線) 2022/01/10(月)18:42 AAS
>>34
「集合と位相」を勉強するのはよいことだ　どんどんやりたまえ

そうすれば、無限重シングルトンがあり得ないことも分かるだろう
一点コンパクトは関係ないから、忘れたまえ

デジタルコピー貼り付けはやめたまえ
馬鹿がわけもわからずリコウぶっても恥かくだけだ
もういいかげん💩塗れで現れるのはやめてくれ
悪臭が耐え難い

37: 2022/01/10(月)19:45 ID:NpIRFDiP(2/2) AAS
>>34
で？ω重シングルトンは間違いだと認めるの？
時枝不成立も間違いだと認めれば？

38(3): 2022/01/10(月)20:27 ID:MGTx95Re(5/5) AAS
>>34 追加
外部ﾘﾝｸ:ja.wikipedia.org
遺伝的有限集合
外部ﾘﾝｸ:en.wikipedia.org
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"),
・{{{}}},
省19

39: DiverCity (りんかい線) 2022/01/10(月)20:45 AAS
>>38
>ZFでは、Vω=∪ k=0〜∞ Vk だ

はい、誤り
ZFでは、Vω=∪ k∈N Vk だ

∞はNの要素じゃありませーん

SET Aって、ほんと🐎🦌だなｗ

>だから、ω重シングルトンあるんじゃね？
省2

40: 2022/01/10(月)21:46 ID:KC/ZM0+6(1/2) AAS
セタは自然数とωの違いも分からなければ無限大自然数との違いも分かりません

>>23
天羽とか言う行き遅れも
レス代行お前の委託主である仏教上最大敵欲界最上位第六天他化自在天最大魔王Marapapiyas猿踊り一石は
ポニョという共通点は有るが性別は違うからな

41: 2022/01/10(月)21:53 ID:KC/ZM0+6(2/2) AAS
もしかして、どうせ書くなら 0≦k<∞ と書くべきだったんじゃ…
何で数学で k=0〜∞ て書き方をするんだろ？責めて 0≦k≦∞ と書くべきで
そうすれば、そこまで書き進めた所で「ああ 0≦k≦∞ じゃなくて 0≦k<∞ だ」と思い直す事が出来ただろうに｡

42: 2022/01/10(月)22:39 ID:B2wbXwmJ(1/2) AAS
【悲報】
IUTスレ常駐自演連投氏、
スレ書き込みが2〜3人分しかないと皮肉られて
「IPだけで言うと10人」
「IDが変わるのは2人」
という意味不明な言い訳をし発狂
ワッチョイ表示もIPアドレス表示の無いスレでIPアドレス数をカウントするのは不可能だし
IPアドレスの個数の単位を[人]とするのは狂っている

480 名前:１３２人目の素数さん :2022/01/10(月) 07:40:30.45 ID:B2wbXwmJ
このスレ、2〜3人しか書いてないでしょ
省5

43: 2022/01/10(月)22:45 ID:8GTZJLjL(1/2) AAS
こっちの板の山形知恵遅れおばさん(DiverCity(りんかい線))の自演がウザくなったら他板で煽ればこっちが止まると思うけど
どうする

44: 2022/01/10(月)22:47 ID:B2wbXwmJ(2/2) AAS
玉手学長のところに迷惑通報すれば2〜3日は止まるでしょ
1週間もすると復活するけど

45: 2022/01/10(月)22:51 ID:8GTZJLjL(2/2) AAS
通報して自演書き込みを一時停止させれば
・DiverCity(りんかい線)による自演のID数
・DiverCity(りんかい線)以外の書き込み人数
が判明する事になるね

やってみるかw

46(5): 2022/01/11(火)00:01 ID:o9j+rHO1(1/3) AAS
>>38 追加
>そして、ZFでは、Vω=∪ k=0〜∞ Vk だ

分かってないらしいので、引用追加する

外部ﾘﾝｸ:en.wikipedia.org
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.
省14

47: 2022/01/11(火)01:06 ID:RsLvQDWl(1) AAS
>>46
>ちゃんと∞まで渡るよ
∞とは何ですか？

>１．Von Neumann universeで、”The set Vω has the same cardinality as ω. ”つまり、Vωの濃度はωで、可算無限
>２，だから、Vω=∪ k=0〜∞ Vkで、k=0〜∞は、ちゃんと∞まで渡るよ
∪[k∈N]{k}=Nの濃度もωですよ？
濃度がωだからといって∞なるワケノワカラナイモノが必要とは言えませんよ？

48: 2022/01/11(火)01:55 ID:xrQGvxzy(1) AAS
うっかり>>23をコテハンで書き込んでしまい
DiverCity (りんかい線)の正体であるとバレてしまった間抜けな長野県の成績Fおじさん
東京住みの人なら付けないベタな名前に哀愁を感じる

49: 2022/01/11(火)06:05 ID:w8+vN4kT(1/2) AAS
>>46
おいそこのゾンビ
finite set
の意味を答えて見せろ此のガキ
∞まで含めて何でω止まりなんだかも答えろやゴミ

> ｱﾚﾌ0

オメェよう、おう、オイ！何年もコピペ貼り続けて来て居ながらにしてアルファベットで aleph_0 と書けねぇって
どんだけ頭すっからかんのままコピペだけ振り回して廻る愚行を繰り返し繰り返し続けて生きていく積もりだテメェは？

しかも長年無収入で親の財を食い潰し、嘘連投を咎め詰られたら「ここは便所の落書きクソ喰らえ」と不遜な開き直り｡
世の中を深く深く冒涜し過ぎだお前は、冒涜だ冒涜｡

50(1): 2022/01/11(火)06:30 ID:rxr3xgBa(1) AAS
>>46
>Von Neumann universeで、
>”The set Vω has the same cardinality as ω. ”
>つまり、Vωの濃度はωで、可算無限

>だから、Vω=∪ k=0〜∞ Vkで、
>k=0〜∞は、ちゃんと∞まで渡るよ

だからの前後がつながらないが…

もしかして
Vω=V0∪…∪V∞ で
Vωとはまったく別に
省3

51(4): 2022/01/11(火)07:07 ID:o9j+rHO1(2/3) AAS
>>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と同じ
省6

52(1): 2022/01/11(火)07:07 ID:o9j+rHO1(3/3) AAS
>>51
つづき

(参考)
外部ﾘﾝｸ:en.wikipedia.org
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
省4

53: 2022/01/11(火)08:29 ID:FjO7HUzR(1) AAS
>>51
>ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
ωの前者が存在しないので、ツェルメロのシングルトンなるものを{x}と書いたときxには最外カッコが無い。よってxは集合でない。よってツェルメロのシングルトンなるものも集合でない。よってZF上に存在しない。

54: 2022/01/11(火)17:15 ID:13tp60RC(1/2) AAS
星裕一郎先生のツイッター
おんなの匂いがしないな
大丈夫か？
もう40だよね？

Twitterﾘﾝｸ:hoshiyuichiro
星裕一郎
374 件のツイート

1月8日
「私ってよく誤解されるんだけど」的発言を聞くと，「それならもうそれが正しい理解なのでは」と思ってしまいます．いつも自分の側を疑う類型の人間からしますと，自身による「誤解」というその評価に疑問を持たないことが不思議なのです．
昨夜知らない方からくるみのパンをいただきました (にこにこ)
省3

55(2): 2022/01/11(火)17:33 ID:13tp60RC(2/2) AAS
>>51 追加
>数学における存在とは？

スレ主です
追加です

１．IUTも同じです
２．望月先生が独自構想で、いろいろ独自の新規な数学概念を定義した、なんとか劇場とかね。関西なら「おまえ、ヨシモトへ行け！」レベルです
３．しかし、数学では、新たな概念で「IUTって、どうよ？」は、IUTでどんどん推論を進めて、何が言えるかを見るのが普通なのです。従来の数学概念とどう繋がるのかも見るべし
４．でも、IUTが新規すぎて、なかなか従来の数学概念と繋がりがつかないのですｗ
５．そうなると、IUTの諸概念が、従来の数学概念との関係で、「integrity どうよ？」、「consistent どうよ？」の議論の手がかりが、なかなｋつかめない。ここらが、今年の課題と思います
　（従来の数学概念と、ＩＵＴの関係をつけていくってこと）
省4

56: 2022/01/11(火)20:14 ID:w8+vN4kT(2/2) AAS
有限正整数とは
　0<[n]<∞
成る n で在り
有限非負整数とは
　0≦[n]<∞
成る n で在る事は
過去永劫から現在を経て未来永劫に掛けてセタを除いて万人公知先験自明で共有見解どころじゃなく共通認識だが
空前絶後唯一無二にセタ一匹だけは
有限正整数とは
　0<[n]≦∞
省4

57(1): 2022/01/12(水)06:27 ID:wa3CtFun(1/2) AAS
>>55
>>50に返事ないな
V∞って書かれて「あっ💦」と大量の汗かいたんだろうな

>「おまえ、ヨシモトへ行け！」
あんたには、ヨシモトも無理

>天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
>ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
Scholzeは望月新一に説明させるために、単純化を持ち出しただけ
説明できなかった時点で、「ニホンザル」望月新一の負け

>2022年の課題
省4

58: 2022/01/12(水)06:32 ID:Mlwcg+gT(1/2) AAS
>>57
ん？お前MONKEY MAJIKか？代行の多種多様相違性臨海都市はどうした？

59: 2022/01/12(水)06:57 ID:Az0KPo/v(1) AAS
＞IUTTがどの講演でも全く取り上げられなかったら
IUTTはBuzzardの講演で取り上げられるんだって何度も言ってるだろ

60(4): 2022/01/12(水)12:00 ID:N2+QdOWE(1/3) AAS
>>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の使い方は個人的には賛成できないのでそこはスルーとして）
省8

61(1): 2022/01/12(水)12:02 ID:N2+QdOWE(2/3) AAS
>>60

つづき

（参考）
外部ﾘﾝｸ:ja.wikipedia.org
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
強到達不能基数 κ が存在するとする。集合 S は任意の列 sn ∈ ... ∈ s0 ∈ S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示すため集合 x を選ぶ。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
省2

62(1): 2022/01/12(水)12:58 ID:r4iXlvOH(1/2) AAS
>>60
ω重シングルトンなるものは順序数じゃなかったの？順序数ならZFC内で構成可能だからそんな言い訳は通らないよ。

63(2): 2022/01/12(水)18:55 ID:N2+QdOWE(3/3) AAS
>>62
どうもです
レスありがとう

　>>60の話は、
ω重シングルトンとは別で
IUTと、到達不能基数や、数学的宇宙論のぶっ飛んだ話です

つまり、大風呂敷のグロタンディーク宇宙とか、Von Neumann universeとか
「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）

これは、いまから数学者を目指す人は、意識しておいた方が良いかも
望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
省9

64: 2022/01/12(水)19:21 ID:r4iXlvOH(2/2) AAS
>>63
>ω重シングルトンとは別で
ω重シングルトンは間違いだと認めるのね？

65(1): 2022/01/12(水)19:28 ID:ISJYNuBC(1/2) AAS
　
　
　
本日も天羽優子の一行連投でスレが埋まる
　
　
　
　

66: 2022/01/12(水)19:37 ID:WhRvzr5O(1) AAS
>>65
こんな寒い日は優子のパイズリで熱くなりたい！

67: 2022/01/12(水)19:39 ID:naOuh01Z(1) AAS
特定キーワードを書いておけば即レスが付くから
身元割り出しが簡単だね

68: 2022/01/12(水)19:47 ID:WEIsq91W(1) AAS
a_watcherは親戚のスネかじり虫

69: 2022/01/12(水)20:10 ID:wa3CtFun(2/2) AAS
AA省

70: 2022/01/12(水)22:07 ID:Mlwcg+gT(2/2) AAS
>>63
> 望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）

其の方針でお前が考えるのが『無限重シングルトン』や『ω重シングルトン』の存在肯定根拠か？其の為に
またN=0〜∞だのN=0〜ωだのと言い出すのか、お前は？だぁかぁらぁ、其れが『自由』じゃなくて『放任』って言うんだよ｡
0〜∞はNじゃねぇアフィン拡大自然数って言うんだよ、巫山戯けんな。0〜ωは単なるN+ωだ、莫迦野郎｡
数宇宙をどう構成しようが其れは変わらねぇよ莫迦。あ否、莫迦じゃなくて馬鹿か。馬と鹿のハイブリッド種｡

取り敢えず責めて片方だけは納得しろや、無限大自然数は1つじゃなく無限多数なんだから0〜∞なんて書いたら
アフィン拡大実数範囲に成るしωが唯一つのみが加わるわけじゃねぇ事くらい覚えとけ、って話くらいは｡
って言うか∞なんて書き方したら無限大自然数一つ一つの要素を十把一絡げに引っ括めて全部に成るから
ω一つだけなんかじゃ無くなるわ｡
省9

71(1): 2022/01/12(水)22:21 ID:ISJYNuBC(2/2) AAS
底辺准教55歳の一人芝居が狂人キャラに変わったな

72(2): 2022/01/12(水)22:26 ID:/fprA+h1(1) AAS
＞0〜ωは単なるN+ωだ

奇妙な表記
好意的に解釈してもN+{ω}だよね

73: 2022/01/13(木)02:24 ID:UTp8r6lk(1) AAS
さんざん風呂敷広げといて肝心な事には答えないセタはペテン師

74: 2022/01/13(木)04:11 ID:i4s8QaxG(1/5) AAS
　
　
　
本日もまた底辺准教天羽優子の一行連投でスレが埋まる
　
　
　
　

75: 2022/01/13(木)05:14 ID:VnIxzqcu(1/7) AAS
>>72
セタの事だぞ、アイツがN=0〜ωなんて書いたらNに唯一つωのみ付け加えた考え方しかしてや居やしねぇよ｡

76: 2022/01/13(木)05:27 ID:VnIxzqcu(2/7) AAS
あー、って言うか

>>72
あーそうだ中括弧で括るの忘れてた

もしセタが神の世界が有ったら忽ち消滅するな､
ωを特別に有限組に組み入れたり無限大として扱ったりとテメェの保身の為にコロコロ枠組みを変えるんだから｡
それにωのみを有限組に組み入れる積もりに成ってるが其れでω+1以降が有限接近する事も分かってない｡
六道の底辺である地獄道よりも酷い外道の世界に陥るな｡

77(3): 2022/01/13(木)07:42 ID:h/fCgb/z(1/4) AAS
>>34
>松坂和夫「集合・位相入門」（岩波 1968）
>と
>斎藤毅「集合と位相」（東大出版会 2009）
>を眺めている

どうも
スレ主です

ここら松坂和夫や斎藤毅が、
いまの数学科の集合論の標準レベルなのだろうね

で
省26

78(1): 2022/01/13(木)08:22 ID:Q7w9Eui5(1/7) AAS
>>77
>なので、最低下記でも読まないと
>まともな、数学の議論にならんよね
なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？
ペテン師だから？

79(1): 2022/01/13(木)09:23 ID:i4s8QaxG(2/5) AAS
おサルは情報系修士ですらないでしょ
挙げてきた書籍名が匿名掲示板過去スレから拾い上げてきた的外れな一覧な上にタイトルを知っているだけで読んでもいないと予防線を張る間抜けさに爆笑した

81(1): 2022/01/13(木)10:01 ID:0h1VRMgw(1/7) AAS
>>79
どうもです
スレ主です
そうかもです

82(4): 2022/01/13(木)10:02 ID:0h1VRMgw(2/7) AAS
>>78
どうもです
スレ主です

>なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？
>ペテン師だから？

意味分からん
コピーとか、コピーでなくともあるPDF文献の何ページ何行目に「こう書いてある」という指摘は
あなたにも可能でしょ？
つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
つまり、立場は対等なわけだ
省4

83: 2022/01/13(木)10:17 ID:VnIxzqcu(3/7) AAS
>>71
ちげぇよテメェの認識力が1人しか認められねぇだけだよ
発狂ついでにお前以外の此の世の人間全てが天羽とか言う行き遅れ婆の自演かグルだと思い込めば良いじゃねぇか？

んなわけ有っか此のバーカ。お前もクソもミソも一緒にする奴か、見境ねぇ奴ばかりだなぁ？

84(4): 2022/01/13(木)10:42 ID:0h1VRMgw(3/7) AAS
>>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再録）
外部ﾘﾝｸ:en.wikipedia.org
Hereditarily finite set
省8

85(4): 2022/01/13(木)10:48 ID:0h1VRMgw(4/7) AAS
>>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”＝有限集合理論では、
省10

86(6): 2022/01/13(木)11:18 ID:0h1VRMgw(5/7) AAS
>>84 追加
>the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.

さらに、ここ原文には、Z^{-}にはリンクが張ってあって、>>77の
外部ﾘﾝｸ:en.wikipedia.org
Zermelo set theory (sometimes denoted by Z-)
にとぶ

で、誤解なきよう念のために書くが
”the very small sub-theory of Z^{-}”なので、
上記は Zermelo set theoryの一部ってことですよ

で、ついでに書くと
省18

87: 2022/01/13(木)11:26 ID:0h1VRMgw(6/7) AAS
>>86 追加

独語の自然数の.wikipedia.があったので、参考に貼っておく
外部ﾘﾝｸ:de.wikipedia.org
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
省3

88: 2022/01/13(木)12:14 ID:Q7w9Eui5(2/7) AAS
>>82
>意味分からん
バカだから？

>コピーとか、コピーでなくともあるPDF文献の何ページ何行目に「こう書いてある」という指摘は
>あなたにも可能でしょ？
>つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
やっぱペテン師でした。
自分から言い出したモノの非存在証明義務を相手に押し付けるのはペテン師の手口。

89: 2022/01/13(木)12:48 ID:Q7w9Eui5(3/7) AAS
>>85
>４．「1,2,3,・・は可算無限個あるが、但し∀nたちは有限」という
>　この一見矛盾した状況が
バカには矛盾に見えるのか？何の矛盾も無いが。

90: 2022/01/13(木)12:55 ID:Q7w9Eui5(4/7) AAS
>>82
>で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
うん。
存在しないものを全て書き下し尽くせると考えてるの？真性バカだね君。

91: 2022/01/13(木)13:09 ID:Q7w9Eui5(5/7) AAS
>>82
>で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
これがペテン師の典型的手口「悪魔の証明要求」です。
存在する事を証明するには何らかの文献を一つ示せば十分。しかし存在しない事を証明するには古今東西あらゆる文献の完全なリストが必要で勿論そんなものは存在しないので不可能。
数学どうこう以前のペテン師は数学板から去りなさい。

92: 2022/01/13(木)13:23 ID:Q7w9Eui5(6/7) AAS
>>86
>and contain no elements
じゃあ1重シングルトンじゃん
{x}のxは元を持たないんでしょ？

93: 2022/01/13(木)13:30 ID:Q7w9Eui5(7/7) AAS
>>86
>だけど、ω重シングルトンを否定しているわけでもない
誤　否定していない
正　言及すらしていない
当たり前だよ、自明に非存在だから
君がバカで理解出来ないだけ

94: 2022/01/13(木)15:20 ID:VnIxzqcu(4/7) AAS
シングルトン
一元豚
独身豚

セタの思考は一元体かつ示唆性が有る意味での一元体では勿論、無い、つまりは零環の如しクォリティ｡

95: 2022/01/13(木)16:32 ID:A0OL5TDZ(1) AAS
>>80
a_watcherの自己PRとしてよく纏っています
評価しましょう

96(4): 2022/01/13(木)18:23 ID:0h1VRMgw(7/7) AAS
>>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
省8

97: 2022/01/13(木)19:05 ID:09+QneAP(1) AAS
天羽連呼ことa_watcherはDiverCity(りんかい線)名義はやめたの？

98: 2022/01/13(木)19:18 ID:VN40DQWB(1/12) AAS
>>77
>公理的集合論の細かい議論のベースになる
>基礎文献の読み込みが不足しているよね

それ、SET A君自身のこと？

>最低下記でも読まないと
>まともな、数学の議論にならんよね
>外部ﾘﾝｸ:en.wikipedia.org

で、SET A君読めたの？

99: 2022/01/13(木)19:19 ID:VN40DQWB(2/12) AAS
>>81
SET Aは大卒ですらない
大阪大学工学部卒とか全くの学歴詐称
ああ、みっともない

100: 2022/01/13(木)19:25 ID:VN40DQWB(3/12) AAS
>>82
>ω重シングルトンを否定する文典

そもそも「ω重シングルトン」
…1{0{}0}1…
を集合だと肯定する文典が皆無

全てトンデモ中卒SET Aの精神病的妄想の産物

>>84
>文献を誤読している人がいる

SET A 一匹な

上下前次 1-新書関写板覧索設栞歴

あと 902 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.203s*