22/01/09 14:01:37.61 LV2O1tR+.net
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 63
ｽﾚﾘﾝｸ(math板)
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
ｽﾚﾘﾝｸ(math板:1番)-13
（参考）
URLﾘﾝｸ(twitter.com)
math_jin 出版序文リンク Andrew Putman 2021年3月6日
URLﾘﾝｸ(drive.google.com)
望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。
IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。
IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
つづく
(deleted an unsolicited ad)
2:１３２人目の素数さん
22/01/09 14:02:14.18 LV2O1tR+.net
つづき
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLﾘﾝｸ(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
URLﾘﾝｸ(www.youtube.com)
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく
3:１３２人目の素数さん
22/01/09 14:02:39.51 LV2O1tR+.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)
4:１３２人目の素数さん
22/01/09 14:02:57.44 LV2O1tR+.net
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),
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 過去と現在の研究
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
20211117
世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載。
つづく
5:１３２人目の素数さん
22/01/09 14:03:17.92 LV2O1tR+.net
つづき
＜過去スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
6:１３２人目の素数さん
22/01/09 14:03:41.86 LV2O1tR+.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)
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
つづく
7:１３２人目の素数さん
22/01/09 14:04:03.44 LV2O1tR+.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金（禁）よろしくね！（＾＾
つづく
8:１３２人目の素数さん
22/01/09 14:04:59.73 LV2O1tR+.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ﾘﾝｸ(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)
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 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)
つづく
9:１３２人目の素数さん
22/01/09 14:05:19.26 LV2O1tR+.net
つづき
? [R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020 URLﾘﾝｸ(ivanfesenko.org)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＜PRIMS出版記念論文＞
[9] On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/ Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on Inter-universal Teichmuller Theory. PDF NEW!! (2021-03-06)
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
URLﾘﾝｸ(twitter.com)
星裕一郎 ツイッター
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり）URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
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.
つづく
(deleted an unsolicited ad)
10:１３２人目の素数さん
22/01/09 14:05:41.14 LV2O1tR+.net
つづき
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
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:
つづく
11:１３２人目の素数さん
22/01/09 14:06:08.19 LV2O1tR+.net
つづき
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
なお
"[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以降かも）
つづく
12:１３２人目の素数さん
22/01/09 14:06:24.05 LV2O1tR+.net
つづき
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
13: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. つづく
14:１３２人目の素数さん
22/01/09 14:06:43.83 LV2O1tR+.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
つづく
15:１３２人目の素数さん
22/01/09 14:07:10.96 LV2O1tR+.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)
BuzzardのICM22講演原稿
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:84番)
84 名前：38[] 投稿日：2021/12/23(木) 19:42:33.42 ID:iz9G4jw+ [1/2]
Buzzardの原稿が出たヨ！
URLﾘﾝｸ(arxiv.org)
>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”と明記もあるね
思うに、その意図は、「反論あるなら言ってきてね。反論の機会を与える。反論なき場合はこのまま総会発表とする」ってことか
（西洋流で、「黙っていたから 認めたってことじゃん」みたいなｗ）
普通は、こんな形でプレプリ出さない気がするな
さあ、面白くなってきたかも
ドンパチ派手にやってほしい
取り敢えずこんなところで（＾＾
16:DiverCity
22/01/09 16:31:11.06 .net
このスレは国立大学工学部卒を詐称する
工業高校中退の中卒の誇大妄想狂 SET Aが立てた
反数学アラシスレです
一般人は下記スレッドに移動願います
【予言】今年のICMで望月新一氏はABC予想解決で特別賞を受賞する
ｽﾚﾘﾝｸ(math板)
2022年7月6日に全ては決する
URLﾘﾝｸ(icm2022.org)
17:１３２人目の素数さん
22/01/09 16:43:46.82 3TKx2ZTh.net
■ID非表示名の「DiverCity (りんかい線)」こと
長期専門板荒らし 天羽 優子 @apj とは…
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
21年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能)
【特徴1】ソース URLﾘﾝｸ(blog-imgs-17.fc2.com) URLﾘﾝｸ(b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com) ※ 上記写真はみなし国家公務員＝国立大学法人職員＝公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。
【事例1】天羽 優子 @apjは21年前からネットハラスメント常習犯として有名
[ソース] fj.soc.law 2000/2/17 17:00のスレッド URLﾘﾝｸ(groups.google.com)
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
18:１３２人目の素数さん
22/01/09 17:20:02.32 tGsuqFrU.net
>>16
前立腺が刺激された
19:１３２人目の素数さん
22/01/09 17:29:10.23 3TKx2ZTh.net
【山形キチガイジおばさん速報】IUT関連スレで毎日何十連投もの自演をしている山形キチガイジおばさん55歳(自称長野在住37歳トランス男)、新作自己紹介文を投下【昆虫食なのに食物連鎖が昆虫以下という錯乱が見所】
909 名前:１３２人目の素数さん [sage]
:2022/01/09(日) 11:41:00.78 ID:tGsuqFrU
受験勉強でノイローゼになりやっと入った
山形大学で学生実験で成績Fを取り大学と
揉めて退学し引き篭もり状態になり糖尿病も
相まって当時の学生実験の担当教員が嫌がらせ
を行っているという妄想に取り憑かれ匿名掲示板
で天羽を連呼し荒らす事を唯一の生き甲斐とする
生きる屍となった汲み取り便所に顔を突っ込んで
ウジ虫を食べている食物連鎖の中でウジ虫より下
位の生物
20:１３２人目の素数さん
22/01/09 18:32:12.41 XMJb/6kS.net
>>16
あグロ
21:１３２人目の素数さん
22/01/09 18:32:32.77 XMJb/6kS.net
【NGWord推奨(正規表現)】
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
22:１３２人目の素数さん
22/01/09 19:28:25.45 CHYamsvf.net
a_watcherがTwitterに鍵かけていてワロタ
23:１３２人目の素数さん
22/01/09 19:34:10.43 rwPmCofR.net
尻の穴から生まれた割にはケツの穴の小せえ野郎だ
24:DiverCity
22/01/10 07:53:58.96 .net
東京生まれ東京育ちの私と
滋賀作で山形の田舎大学のクソＢＢＡを
いっしょにすんなやｗ
25:１３２人目の素数さん
22/01/10 10:43:14.32 Og11/vWK.net
>>23
DiverCity (りんかい線)て天羽連呼なの？
それじゃまともなのいないじゃん！
26:１３２人目の素数さん
22/01/10 11:43:23.83 ZvFeqtLa.net
>>23
お前a_watcherだろ
文体がまるで同じなンだわ
27:１３２人目の素数さん
22/01/10 12:32:06.94 WlN4RBXj.net
天羽さんは鍵垢だろうが透視出来るからなあ
28:１３２人目の素数さん
22/01/10 13:36:59.54 MGTx95Re.net
前スレより
Inter-universal geometry と ABC予想 (応援スレ) 63
ｽﾚﾘﾝｸ(math板: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の構成、
おサルさんも、ようやく分かってきたね
で、”３．と４．の∪が集合における「極限」の取り方だ”については、未証明だよｗ
つづく
29:１３２人目の素数さん
22/01/10 13:39:27.60 MGTx95Re.net
>>27
つづき
実際 例えば、下記
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
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点という以外には、制約無いぞよ！ｗｗ
30:１３２人目の素数さん
22/01/10 14:11:26.42 NpIRFDiP.net
>>27
>3.αが極限順序数の時、Z_α=∪[β<α]Z_β
はω重シングルトンなるものではないよね
>ツェルメロのシングルトンによる自然数Nの構成、
>おサルさんも、ようやく分かってきたね
つまりω重シングルトンなるものは間違いだと認めるの？
で、日本語は正しく使おう、間違いを認めるならようやく分かってきたのは君だね
31:１３２人目の素数さん
22/01/10 15:09:46.46 8TDMDYfD.net
a_watcherの心を折る事に成功
32:DiverCity
22/01/10 16:14:20.19 .net
>>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君への演習問題としよう
33:DiverCity
22/01/10 16:23:44.29 .net
>>28
>自然数N（上記では1から始まる自然数）で、
>コンパクト化は普通∞ を付加するが、
>この問題では 0 を使っている
SET A君
唐突に「コンパクト化」とわめきだしたが
ついにトレポネーマ・パリズムが
脳髄にまで達したかね？
URLﾘﾝｸ(ja.wikipedia.org)
34: >で、いま手元の >松坂和夫「集合・位相入門」（岩波 1968） >のP219 「コンパクト化問題」で 「集合・位相入門」を読みだしたのはよいことだ ただ今ここでは位相、 特にコンパクト化については 全く論じていない 医者で診てもらった方がいいだろう >定理 17 >「S＝（S、O）を位相空間として、 > Sに、その中にない1点x∞を付け加えた集合を > S*＝S∪{x∞}とする。 > そのとき、S*に適当な位相O*を導入して > 位相空間S*＝（S*、O*）を作り > 次の(i)(ii)が成り立つようにすることができるためには、 > Sが局所コンパクトなHausdorff空間であることが必要十分・・略」 >これで、x∞については、特に制約はないし、 >また同P222には、複素平面のリーマン球面が >コンパクト化の例として示されている >ここも、位相空間としては、 >複素平面の外の1点という以外には、 >制約無いぞよ！ 何をわめいてるんだ？このニホンザルは･･･（呆）
35:DiverCity
22/01/10 16:31:15.67 .net
ニホンザル SET A の症状
無限についての議論で実にしばしば以下の言葉を何の脈絡もなくわめきだす
１．(一点)コンパクト化
２．レーヴェンハイム・スコーレムの定理
１．については
「∞はN、Z、Q、R、C等、ノンコンパクトな集合を
コンパクト化できる究極の一点だ」
といいたいようだが、そもそも
集合はコンパクトでなければならない
なんて公理はないから、
∞が要素でなければならない理由にはならない
２．についても
「一階述語論理上で自然数論を展開した場合
自然数論の公理だけでは、非標準的な自然数の存在を排除できない
無限とは・・・非標準的な自然数なのだ！」
といいたいようだが、そもそも、ωは前者をもたない時点で
自然数としての条件を満たさないので、間違っている
理由にならないことを理由とするのが
トレポネーマ・パリズムのせいでなければよいが
URLﾘﾝｸ(ja.wikipedia.org)
36:１３２人目の素数さん
22/01/10 18:15:41.14 MGTx95Re.net
>>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）は無かったんだね
だから、落ちこぼれになったのかな？ｗ
37:１３２人目の素数さん
22/01/10 18:19:34.22 MGTx95Re.net
>>34 タイポ訂正
「離散空間Nの１点コンパクト化N~の無限遠点∞をを考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」
↓
「離散空間Nの１点コンパクト化N~の無限遠点∞を考えれば、定義8.2.1.1は、一般の極限の定義8.1.1.2の特別の場合である」
”をを”→”を”な
紙媒体を、写経するのは大変だ
デジタルコピー貼り付けが楽だ
38:DiverCity
22/01/10 18:42:55.66 .net
>>34
「集合と位相」を勉強するのはよいことだ どんどんやりたまえ
そうすれば、無限重シングルトンがあり得ないことも分かるだろう
一点コンパクトは関係ないから、忘れたまえ
デジタルコピー貼り付けはやめたまえ
馬鹿がわけもわからずリコウぶっても恥かくだけだ
もういいかげん💩塗れで現れるのはやめてくれ
悪臭が耐え難い
39:１３２人目の素数さん
22/01/10 19:45:19.61 NpIRFDiP.net
>>34
で？ω重シングルトンは間違いだと認めるの？
時枝不成立も間違いだと認めれば？
40:１３２人目の素数さん
22/01/10 20:27:52.98 MGTx95Re.net
>>34 追加
URLﾘﾝｸ(ja.wikipedia.org)
遺伝的有限集合
URLﾘﾝｸ(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"),
・{{{}}},
・{{{{}}}} 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 だ
だから、ω重シングルトン あるんじゃね？
41:DiverCity
22/01/10 20:45:36.05 .net
>>38
>ZFでは、Vω=∪ k=0～∞ Vk だ
はい、誤り
ZFでは、Vω=∪ k∈N Vk だ
∞はNの要素じゃありませーん
SET Aって、ほんと🐎🦌だなｗ
>だから、ω重シングルトン あるんじゃね？
だから、ω重シングルトンありませーん
SET Aって、ほんと🐎🦌だなｗ
42:１３２人目の素数さん
22/01/10 21:46:28.26 KC/ZM0+6.net
セタは自然数とωの違いも分からなければ無限大自然数との違いも分かりません
>>23
天羽とか言う行き遅れも
レス代行お前の委託主である仏教上最大敵欲界最上位第六天他化自在天最大魔王Marapapiyas猿踊り一石は
ポニョという共通点は有るが性別は違うからな
43:１３２人目の素数さん
22/01/10 21:53:03.03 KC/ZM0+6.net
もしかして、どうせ書くなら 0≦k<∞ と書くべきだったんじゃ…
何で数学で k=0～∞ て書き方をするんだろ？責めて 0≦k≦∞ と書くべきで
そうすれば、そこまで書き進めた所で「ああ 0≦k≦∞ じゃなくて 0≦k<∞ だ」と思い直す事が出来ただろうに｡
44:１３２人目の素数さん
22/01/10 22:39:45.46 B2wbXwmJ.net
【悲報】
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を固定したりしなかったりする
45:１３２人目の素数さん
22/01/10 22:45:14.70 8GTZJLjL.net
こっちの板の山形知恵遅れおばさん(DiverCity(りんかい線))の自演がウザくなったら他板で煽ればこっちが止まると思うけど
どうする
46:１３２人目の素数さん
22/01/10 22:47
47::25.24 ID:B2wbXwmJ.net
48:１３２人目の素数さん
22/01/10 22:51:04.51 8GTZJLjL.net
通報して自演書き込みを一時停止させれば
・DiverCity(りんかい線)による自演のID数
・DiverCity(りんかい線)以外の書き込み人数
が判明する事になるね
やってみるかw
49:１３２人目の素数さん
22/01/11 00:01:44.13 o9j+rHO1.net
>>38 追加
>そして、ZFでは、Vω=∪ k=0～∞ Vk だ
分かってないらしいので、引用追加する
URLﾘﾝｸ(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.
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 ご参照）
URLﾘﾝｸ(en.wikipedia.org)
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では、扱いが違うってことです
50:１３２人目の素数さん
22/01/11 01:06:57.77 RsLvQDWl.net
>>46
>ちゃんと∞まで渡るよ
∞とは何ですか？
>１．Von Neumann universeで、”The set Vω has the same cardinality as ω. ”つまり、Vωの濃度はωで、可算無限
>２，だから、Vω=∪ k=0～∞ Vkで、k=0～∞は、ちゃんと∞まで渡るよ
∪[k∈N]{k}=Nの濃度もωですよ？
濃度がωだからといって∞なるワケノワカラナイモノが必要とは言えませんよ？
51:１３２人目の素数さん
22/01/11 01:55:43.53 xrQGvxzy.net
うっかり>>23をコテハンで書き込んでしまい
DiverCity (りんかい線)の正体であるとバレてしまった間抜けな長野県の成績Fおじさん
東京住みの人なら付けないベタな名前に哀愁を感じる
52:１３２人目の素数さん
22/01/11 06:05:13.62 w8+vN4kT.net
>>46
おいそこのゾンビ
finite set
の意味を答えて見せろ此のガキ
∞まで含めて何でω止まりなんだかも答えろやゴミ
> ｱﾚﾌ0
オメェよう、おう、オイ！何年もコピペ貼り続けて来て居ながらにしてアルファベットで aleph_0 と書けねぇって
どんだけ頭すっからかんのままコピペだけ振り回して廻る愚行を繰り返し繰り返し続けて生きていく積もりだテメェは？
しかも長年無収入で親の財を食い潰し、嘘連投を咎め詰られたら「ここは便所の落書きクソ喰らえ」と不遜な開き直り｡
世の中を深く深く冒涜し過ぎだお前は、冒涜だ冒涜｡
53:１３２人目の素数さん
22/01/11 06:30:53.62 rxr3xgBa.net
>>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∞ってなに？
∞ってωの前者？
54:１３２人目の素数さん
22/01/11 07:07:27.60 o9j+rHO1.net
>>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公理系で良いよ）
但し、カッコ{}は前スレに書いたように、添え字付きとする
（矛盾は、証明できないよね、多分）
つづく
55:１３２人目の素数さん
22/01/11 07:07:52.99 o9j+rHO1.net
>>51
つづき
(参考)
URLﾘﾝｸ(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
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]
(引用終り)
以上
56:１３２人目の素数さん
22/01/11 08:29:24.23 FjO7HUzR.net
>>51
>ツェルメロのシングルトンで、可算多重を否定したい人は、どうぞ証明を
ωの前者が存在しないので、ツェルメロのシングルトンなるものを{x}と書いたときxには最外カッコが無い。よってxは集合でない。よってツェルメロのシングルトンなるものも集合でない。よってZF上に存在しない。
57:１３２人目の素数さん
22/01/11 17:15:35.90 13tp60RC.net
星裕一郎先生のツイッター
おんなの匂いがしないな
大丈夫か？
もう40だよね？
URLﾘﾝｸ(twitter.com)
星裕一郎
374 件のツイート
1月8日
「私ってよく誤解されるんだけど」的発言を聞くと，「それならもうそれが正しい理解なのでは」と思ってしまいます．いつも自分の側を疑う類型の人間からしますと，自身による「誤解」というその評価に疑問を持たないことが不思議なのです．
昨夜知らない方からくるみのパンをいただきました (にこにこ)
1月6日
もう18年近く京都に住んでいるにも拘わらず関西弁の正しい発音すらできないのに，英語なんてきれいに適切に発音できるはずがないではありませんか．
(deleted an unsolicited ad)
58:１３２人目の素数さん
22/01/11 17:33:33.25 13tp60RC.net
>>51 追加
>数学における存在とは？
スレ主です
追加です
１．IUTも同じです
２．望月先生が独自構想で、いろいろ独自の新規な数学概念を定義した、なんとか劇場とかね。関西なら「おまえ、ヨシモトへ行け！」レベルです
３．しかし、数学では、新たな概念で「IUTって、どうよ？」は、IUTでどんどん推論を進めて、何が言えるかを見るのが普通なのです。従来の数学概念とどう繋がるのかも見るべし
４．でも、IUTが新規すぎて、なかなか従来の数学概念と繋がりが つかないのですｗ
５．そうなると、IUTの諸概念が、従来の数学概念との関係で、「integrity どうよ？」、「consistent どうよ？」の議論の手がかりが、なかなｋつかめない。ここらが、今年の課題と思います
（従来の数学概念と、ＩＵＴの関係をつけていくってこと）
IUTがすぐ矛盾を生じて”アウト！”なら話は早いが
天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
2022年の課題と思います
59:１３２人目の素数さん
22/01/11 20:14:08.76 w8+vN4kT.net
有限正整数とは
0<[n]<∞
成る n で在り
有限非負整数とは
0≦[n]<∞
成る n で在る事は
過去永劫から現在を経て未来永劫に掛けてセタを除いて万人公知先験自明で共有見解どころじゃなく共通認識だが
空前絶後唯一無二にセタ一匹だけは
有限正整数とは
0<[n]≦∞
成る n で在り
有限非負整数とは
0≦[n]≦∞
となる認識で居る。明らかに俺流固執病｡
60:１３２人目の素数さん
22/01/12 06:27:33.72 wa3CtFun.net
>>55
>>50に返事ないな
V∞って書かれて「あっ💦」と大量の汗かいたんだろうな
>「おまえ、ヨシモトへ行け！」
あんたには、ヨシモトも無理
>天才ショルツェ氏も、単純化しないと、議論できなかったみたいｗ
>ショルツェ氏の単純化した議論は、厳密な数学の議論から外れています
Scholzeは望月新一に説明させるために、単純化を持ち出しただけ
説明できなかった時点で、「ニホンザル」望月新一の負け
>2022年の課題
2022年のICMで望月新一が賞一つとれず
IUTTがどの講演でも全く取り上げられなかったら
望月新一のIUTT 惨敗決定な
SET Aは金輪際数学板に書くなよ 見苦しいから
61:１３２人目の素数さん
22/01/12 06:32:39.79 Mlwcg+gT.net
>>57
ん？お前MONKEY MAJIKか？代行の多種多様相違性臨海都市はどうした？
62:１３２人目の素数さん
22/01/12 06:57:19.02 Az0KPo/v.net
＞IUTTがどの講演でも全く取り上げられなかったら
IUTTはBuzzardの講演で取り上げられるんだって何度も言ってるだろ
63:１３２人目の素数さん
22/01/12 12:00:31.07 N2+QdOWE.net
>>55 追加
スレ主です
追加です
１．Von Neumann universe>>51 を例に
Von Neumann universe＝V とか到達不能基数、グロタンディーク宇宙
とか、
64:完全にZFCの外です（到達不能基数、グロタンディーク宇宙については下記ご参照。Von Neumann universeも集合ではなくクラスなので、ZFCの外） ２．こういう Von Neumann universe、到達不能基数、グロタンディーク宇宙 などは、普通の数学の証明に乗らない面がある >>52の”The existential status of V”のような議論になる つまり、従来の数学と隔絶した新概念については、普通の数学の証明とはちょっと違う面が生じるってこと ３．これを、望月IUTについて見ると、（IUTでの用語universeの使い方は個人的には賛成できないのでそこはスルーとして） 加藤文元先生のいうように（従来の数学と隔絶した）「望月ワールドを作って」 楕円曲線の高さ評価式を導いて、ABC予想を解いたという主張と見ました （勿論、単純な矛盾などは無い前提で。査読は終わっているので、これは満たされているはず） ４．で、もし「望月ワールド」が、いま確立されているZFCG内（せいぜい圏論内）の議論に翻訳できれば、かなり理解は進むと思う しかし、”Von Neumann universe＝V とか到達不能基数、グロタンディーク宇宙”みたいな議論に留まると、一般には「ちょっと、ついていけない」みたいな感じは残ると思う （個人的には、前者のZFCG内（せいぜい圏論内）の従来の数学に近い線の議論で収まっている気がするのです。 なので、できるだけ、従来の数学の議論との関連をつけていく努力が求められると思う。） つづく
65:１３２人目の素数さん
22/01/12 12:02:15.01 N2+QdOWE.net
>>60
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
強到達不能基数 κ が存在するとする。集合 S は任意の列 sn ∈ ... ∈ s0 ∈ S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
巨大基数の公理 (C) から宇宙の公理 (U) が導かれることを示すため集合 x を選ぶ。
実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
強到達不能基数の存在は ZFC からは証明できないため、空集合と V_ω 以外の宇宙の存在はどれも ZFC から証明することができない。
(引用終り)
以上
66:１３２人目の素数さん
22/01/12 12:58:14.04 r4iXlvOH.net
>>60
ω重シングルトンなるものは順序数じゃなかったの？順序数ならZFC内で構成可能だからそんな言い訳は通らないよ。
67:１３２人目の素数さん
22/01/12 18:55:37.46 N2+QdOWE.net
>>62
どうもです
レスありがとう
>>60の話は、
ω重シングルトンとは別で
IUTと、到達不能基数や、数学的宇宙論のぶっ飛んだ話です
つまり、大風呂敷のグロタンディーク宇宙とか、Von Neumann universeとか
「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）
これは、いまから数学者を目指す人は、意識しておいた方が良いかも
望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
これを見て、
いろんなことを考える人いるだろうね
a）素晴らし大理論だ
b）なに勝手なことをやっているのか？ 理解できない
c）理解できないから、モノドロミーで調べてみると、アウトだ（ショルツェ氏）
でいま、
b)が多数派でしょうね
c）は、ショルツェ氏一人＋尻馬組（理解していないのに、尻馬している人がいる）
a)は、じわじわ増えていると見ています
68:１３２人目の素数さん
22/01/12 19:21:35.68 r4iXlvOH.net
>>63
>ω重シングルトンとは別で
ω重シングルトンは間違いだと認めるのね？
69:１３２人目の素数さん
22/01/12 19:28:34.03 ISJYNuBC.net
本日も天羽優子の一行連投でスレが埋まる
70:１３２人目の素数さん
22/01/12 19:37:04.34 WhRvzr5O.net
>>65
こんな寒い日は優子のパイズリで熱くなりたい！
71:１３２人目の素数さん
22/01/12 19:39:46.46 naOuh01Z.net
特定キーワードを書いておけば即レスが付くから
身元割り出しが簡単だね
72:１３２人目の素数さん
22/01/12 19:47:22.09 WEIsq91W.net
a_watcherは親戚のスネかじり虫
73:１３２人目の素数さん
22/01/12 20:10:54.82 wa3CtFun.net
>>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 から証明することができない。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
74:１３２人目の素数さん
22/01/12 22:07:32.63 Mlwcg+gT.net
>>63
> 望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）
其の方針でお前が考えるのが『無限重シングルトン』や『ω重シングルトン』の存在肯定根拠か？其の為に
またN=0～∞だのN=0～ωだのと言い出すのか、お前は？だぁかぁらぁ、其れが『自由』じゃなくて『放任』って言うんだよ｡
0～∞はNじゃねぇアフィン拡大自然数って言うんだよ、巫山戯けんな。0～ωは単なるN+ωだ、莫迦野郎｡
数宇宙をどう構成しようが其れは変わらねぇよ莫迦。あ否、莫迦じゃなくて馬鹿か。馬と鹿のハイブリッド種｡
取り敢えず責めて片方だけは納得しろや、無限大自然数は1つじゃなく無限多数なんだから0～∞なんて書いたら
アフィン拡大実数範囲に成るしωが唯一つのみが加わるわけじゃねぇ事くらい覚えとけ、って話くらいは｡
って言うか∞なんて書き方したら無限大自然数一つ一つの要素を十把一絡げに引っ括めて全部に成るから
ω一つだけなんかじゃ無くなるわ｡
あのな？こうやって物事を、区別して�
75:qべるだけで、こんだけの事が分かるんだわ、勉強以前｡ お前みたいに、常日頃から有限や無限大も、有限自然数もωも無限大自然数も、クソミソ一緒朽多十把一絡げにする奴は 数学じゃなくて何でもアリ学を語ってるだけなんだわ。数学板の話題じゃなくて何でもアリ板の話題｡ 学問理系カテゴリじゃなくて雑談系２カテゴリ｡ 誰だωをfinity setに含まれると宣った馬と鹿の交雑種は？何て言ったっけ？セタって呼ばれてたっけ？ ωが何をどうやったらfinityに成るんだよオイ？ωはfinityの要素じゃねぇよinfinityの要素だよ｡ ωをfinityに組み入れたら忽ちω+1以上も雪崩れ込んで来るだろ。其のくらい期待妄想に呑まれてねぇで気付けや｡ やめてくれよな？『あぁωさん。貴方も無限大ではあるけど貴方だけは有限でもある事にしますよ、特別ですよ！』とか 巫山戯けた贔屓と忖度と御都合主義な『俺様流』は｡
76:１３２人目の素数さん
22/01/12 22:21:58.53 ISJYNuBC.net
底辺准教55歳の一人芝居が狂人キャラに変わったな
77:１３２人目の素数さん
22/01/12 22:26:39.17 /fprA+h1.net
＞0～ωは単なるN+ωだ
奇妙な表記
好意的に解釈してもN+{ω}だよね
78:１３２人目の素数さん
22/01/13 02:24:52.21 UTp8r6lk.net
さんざん風呂敷広げといて肝心な事には答えないセタはペテン師
79:１３２人目の素数さん
22/01/13 04:11:51.24 i4s8QaxG.net
本日もまた底辺准教天羽優子の一行連投でスレが埋まる
80:１３２人目の素数さん
22/01/13 05:14:58.41 VnIxzqcu.net
>>72
セタの事だぞ、アイツがN=0～ωなんて書いたらNに唯一つωのみ付け加えた考え方しかしてや居やしねぇよ｡
81:１３２人目の素数さん
22/01/13 05:27:09.70 VnIxzqcu.net
あー、って言うか
>>72
あーそうだ中括弧で括るの忘れてた
もしセタが神の世界が有ったら忽ち消滅するな､
ωを特別に有限組に組み入れたり無限大として扱ったりとテメェの保身の為にコロコロ枠組みを変えるんだから｡
それにωのみを有限組に組み入れる積もりに成ってるが其れでω+1以降が有限接近する事も分かってない｡
六道の底辺である地獄道よりも酷い外道の世界に陥るな｡
82:１３２人目の素数さん
22/01/13 07:42:11.92 h/fCgb/z.net
>>34
>松坂和夫「集合・位相入門」（岩波 1968）
>と
>斎藤毅 「集合と位相」（東大出版会 2009）
>を眺めている
どうも
スレ主です
ここら松坂和夫や斎藤毅が、
いまの数学科の集合論の標準レベルなのだろうね
で
アンチIUTにして、スレ主にたてつくのが3人いる
おサルと、数理論理くんと、蕎麦屋と
おサルは、数学科修士とか言っていたが、
過去プログラミングのときに、なんか情報系修士の可能性もほのめかしていたな
数理論理くんは、数学科か情報系か不明
どちらもありと見る
蕎麦屋さんは、レベル自身が不明
高卒だという指摘も出ている
さて、”松坂和夫や斎藤毅が、いまの数学科の集合論の標準レベル”に戻ると
公理的集合論の細かい議論のベースになる基礎文献の読み込みが不足しているよね、
松坂和夫や斎藤毅レベルだと
なので、最低下記でも読まないと
まともな、数学の議論にならんよね
(参考)
URLﾘﾝｸ(en.wikipedia.org)
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
(引用終り)
以上
83:１３２人目の素数さん
22/01/13 08:22:21.95 Q7w9Eui5.net
>>77 >なので、最低下記でも読まないと >まともな、数学の議論にならんよね なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？ ペテン師だから？
85:１３２人目の素数さん
22/01/13 09:23:09.01 i4s8QaxG.net
おサルは情報系修士ですらないでしょ
挙げてきた書籍名が匿名掲示板過去スレから拾い上げてきた的外れな一覧な上にタイトルを知っているだけで読んでもいないと予防線を張る間抜けさに爆笑した
86:１３２人目の素数さん
22/01/13 09:56:25.37 i4s8QaxG.net
二セ科学批判力ル卜が多用する特異語 [改訂版]
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. キ チ ガ イ | 統 合 失 調
87:１３２人目の素数さん
22/01/13 10:01:46.97 0h1VRMgw.net
>>79
どうもです
スレ主です
そうかもです
88:１３２人目の素数さん
22/01/13 10:02:16.24 0h1VRMgw.net
>>78
どうもです
スレ主です
>なんでどーでもいーコピペには熱心なのに、肝心のω重シングルトンはコピペせんの？
>ペテン師だから？
意味分からん
コピーとか、コピーでなくとも あるPDF文献の何ページ何行目に「こう書いてある」という指摘は
あなたにも可能でしょ？
つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
つまり、立場は対等なわけだ
定義も同じだよね
例えば望月IUTに対して、ショルツェ氏は「オレ様簡単化した定義なら、不等式は出せない」という議論を展開した
つまりは、議論の中では、「自分はこう定義して、こうなると思うが、どうよ」という議論もありでしょ
で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
89:１３２人目の素数さん
22/01/13 10:17:55.76 VnIxzqcu.net
>>71
ちげぇよテメェの認識力が1人しか認められねぇだけだよ
発狂ついでにお前以外の此の世の人間全てが天羽とか言う行き遅れ婆の自演かグルだと思い込めば良いじゃねぇか？
んなわけ有っか此のバーカ。お前もクソもミソも一緒にする奴か、見境ねぇ奴ばかりだなぁ？
90:１３２人目の素数さん
22/01/13 10:42:58.95 0h1VRMgw.net
>>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再録）
URLﾘﾝｸ(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.
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.
つづく
91:１３２人目の素数さん
22/01/13 10:48:23.62 0h1VRMgw.net
>>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)
92:, 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たちは有限」という この一見矛盾した状況が理解できないレベルならば、 カントールの順序数論では、まっとうに議論できるレベルじゃない（低レベル）ってことです 以上
93:１３２人目の素数さん
22/01/13 11:18:45.65 0h1VRMgw.net
>>84 追加
>the very small sub-theory of Z^{-} with axioms given by Extensionality, Empty Set and Adjunction.
さらに、ここ原文には、Z^{-}にはリンクが張ってあって、>>77の
URLﾘﾝｸ(en.wikipedia.org)
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”かもしれないが、まだそこまで行ってないよね
参考
URLﾘﾝｸ(de.wikipedia.org)
Zahl
(引用終り)
以上
94:１３２人目の素数さん
22/01/13 11:26:06.98 0h1VRMgw.net
>>86 追加
独語の自然数の.wikipedia.があったので、参考に貼っておく
URLﾘﾝｸ(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
6 Literatur
(引用終り)
以上
95:１３２人目の素数さん
22/01/13 12:14:13.17 Q7w9Eui5.net
>>82
>意味分からん
バカだから？
>コピーとか、コピーでなくとも あるPDF文献の何ページ何行目に「こう書いてある」という指摘は
>あなたにも可能でしょ？
>つまり、ω重シングルトンを否定する文典があれば、それを提示することは、あなたにも可能だよね
やっぱペテン師でした。
自分から言い出したモノの非存在証明義務を相手に押し付けるのはペテン師の手口。
96:１３２人目の素数さん
22/01/13 12:48:51.75 Q7w9Eui5.net
>>85
>４．「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」という
> この一見矛盾した状況が
バカには矛盾に見えるのか？何の矛盾も無いが。
97:１３２人目の素数さん
22/01/13 12:55:13.58 Q7w9Eui5.net
>>82
>で、繰り返すが ω重シングルトンを否定する文典は、出せないってことだね
うん。
存在しないものを全て書き下し尽くせると考えてるの？真性バカだね君。
98:１３２人目の素数さん
22/01/13 13:09:08.23
99:Q7w9Eui5.net
100:１３２人目の素数さん
22/01/13 13:23:52.35 Q7w9Eui5.net
>>86
>and contain no elements
じゃあ1重シングルトンじゃん
{x}のxは元を持たないんでしょ？
101:１３２人目の素数さん
22/01/13 13:30:48.45 Q7w9Eui5.net
>>86
>だけど、ω重シングルトンを否定しているわけでもない
誤 否定していない
正 言及すらしていない
当たり前だよ、自明に非存在だから
君がバカで理解出来ないだけ
102:１３２人目の素数さん
22/01/13 15:20:49.93 VnIxzqcu.net
シングルトン
一元豚
独身豚
セタの思考は一元体かつ示唆性が有る意味での一元体では勿論、無い、つまりは零環の如しクォリティ｡
103:１３２人目の素数さん
22/01/13 16:32:17.38 A0OL5TDZ.net
>>80
a_watcherの自己PRとしてよく纏っています
評価しましょう
104:１３２人目の素数さん
22/01/13 18:23:43.26 0h1VRMgw.net
>>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
と解するが如しだ
これ、一貫校なら中学生レベルだろうね
105:１３２人目の素数さん
22/01/13 19:05:24.80 09+QneAP.net
天羽連呼ことa_watcherはDiverCity(りんかい線)名義はやめたの？
106:１３２人目の素数さん
22/01/13 19:18:22.29 VN40DQWB.net
>>77
>公理的集合論の細かい議論のベースになる
>基礎文献の読み込みが不足しているよね
それ、SET A君自身のこと？
>最低下記でも読まないと
>まともな、数学の議論にならんよね
>URLﾘﾝｸ(en.wikipedia.org)
で、SET A君読めたの？
107:１３２人目の素数さん
22/01/13 19:19:42.17 VN40DQWB.net
>>81
SET Aは大卒ですらない
大阪大学工学部卒とか全くの学歴詐称
ああ、みっともない
108:１３２人目の素数さん
22/01/13 19:25:11.68 VN40DQWB.net
>>82
>ω重シングルトンを否定する文典
そもそも「ω重シングルトン」
…1{0{}0}1…
を集合だと肯定する文典が皆無
全てトンデモ中卒SET Aの精神病的妄想の産物
>>84
>文献を誤読している人がいる
SET A 一匹な
109:１３２人目の素数さん
22/01/13 19:31:38.87 VN40DQWB.net
>>85
>Hereditarily finite setは、
>”cardinality depend on the theory in context”
>ってことです
英語翻訳できないの？中卒SET A
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.
考察
遺伝的有限集合のクラスの記号はH_アレフ0であり、
その各メンバーの基数値がアレフ0より小さいことを表す。
H_アレフ0が集合であるかどうか、および、基数性についての記述は、文脈上の理論に依存する。
>つまり、”Theories of finite sets”＝有限集合理論 では、
>例えば、”In this context, the negation of the axiom of infinity may be added”
>とあるように、無限公理の否定をあえて追加する議論もありってこと。
英語翻訳できないの？中卒SET A
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.
そのとき、それらのモデルは、Zermelo-Fraenkel集合論の公理からなる公理を、
無限公理を除いて満たすことにもなる。
このとき、無限公理の否定を加えることで、
無限大の公理が集合論の他の公理の帰結でないことを証明することができる。
110:１３２人目の素数さん
22/01/13 19:44:48.18 VN40DQWB.net
>>85
>で、ZFのcontextでは、無限公理は認める立場だ
>この立場は、古代ギリシャのユークリッドが、
>素数の無限を証明したのと同じ（標準的立場）
>つまり、自然数集合N 元 1,2,3,・・ で、
>濃度ｱﾚﾌ0 つまり、1,2,3,・・ は可算無限個あるが、
>但し∀nたちは有限
素数が無限にある、というのにZFなんていらないが
自然数論に自然数集合Nなんていらないが
>よって、このcontextでは 上記の”Vω=∪ k=0～∞ Vk”も、正当化できる
∞は自然数じゃないが
0～∞とか頭大丈夫？
Vω=∪ k=0→∞ Vkなら、許せる
→∞は 限りなく大きくなるというだけで
最後の自然数∞が存在するとか
V∞が存在するとかいう
「人間失格のニホンザル発言」
とは全く異なるから
>「1,2,3,・・ は可算無限個あるが、但し∀nたちは有限」
>というこの一見矛盾した状況…
個々のｎが有限集合であることと
ｎ全体の集まりが有限集合を成し得ないことが
矛盾すると思ってる時点で
SET Aは人間失格のニホンザル
>…が理解できないレベルならば、
>カントールの順序数論では、
>まっとうに議論できるレベルじゃない（低レベル）
SET Aは無限が全く理解できない最低レベルのニホンザル
111:１３２人目の素数さん
22/01/13 19:47:58.06 VN40DQWB.net
>>86
>ω重シングルトンを否定しているわけでもない
SET Aはω重シングルトンが集合として構成できない
ということが全く理解できないニホンザル
>ω重シングルトンで”existence of urelements”
>かもしれないが、まだそこまで行ってないよね
SET Aは、urelementはω重シングルトンではない、
という初歩的なことが全く理解できないニホンザル
112:１３２人目の素数さん
22/01/13 19:52:42.28 VN40DQWB.net
>>96
>普通に、添え字集合として、Vk k∈N （N＝{0,1,2,・・}（自然数））を考えて
> Vω=∪k=0～∞ Vk
> ↓
> Vω=∪k∈N Vk
> と解釈すれば良い
∞はN＝{0,1,2,・・}の要素ではない
したがってVω=∪k=0～∞ Vkと書けない
書けないことを書くSET Aは精神異常の廃人
>つまり、添え字として kは全ての自然数を渡るってことだな
> Vk が数列の場合には
> Σk=0～∞ Vk
> ↓
> Σk∈N Vk
> と解するが如しだ
無限級数をΣk=0～∞ Vkと書くSET Aは
無限級数に最後の項V∞があると妄想する
精神異常の廃人
大学に入れないわけだ
大阪大学？無理に決まってるだろ
●違い廃人や人間失格のサルが合格できるわけない
113:１３２人目の素数さん
22/01/13 19:57:18.31 VN40DQWB.net
無限級数に∞番目の項などないから
Σk=0～∞ と書くのは
正真正銘の🐎🦌であり●違い
114:１３２人目の素数さん
22/01/13 19:59:20.07 1rNbLhot.net
Σ_k=0^∞みたいな書き方はするよね
115:１３２人目の素数さん
22/01/13 20:28:05.83 i4s8QaxG.net
底辺准教は55歳までTeX表記を知らず
(_下限^上限)表記を見るたびに「式が間違っている」
という意味不明な妄想を口走っていたっけ
どういう生き方をしたら25年間ネットに入り浸りでTeXの数式表記法を知らないまま過ごせるのか謎だw
116:１３２人目の素数さん
22/01/13 20:32:29.51 1MQsTHJR.net
底辺准教の歳だと20歳頃にマグロウヒルとASCIIのTeX有料配布が入手可能になっていて
大学院在籍期間中に一度は試してみるのが普通
底辺准教はそういった普通の経験の積み方をしていないから基本常識があちこちで欠落している
117:１３２人目の素数さん
22/01/13 20:33:59.41 Ya/14Yx8.net
と、Sexを知らない引き篭もりの統失おじさんが呟いております
118:１３２人目の素数さん
22/01/13 20:42:08.81 i4s8QaxG.net
二セ科学批判力ル卜が多用する特異語 [改訂版]
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. キ チ ガ イ | 統 合 失 調
13. パ イ ロ ッ ト の ダ ー リ ン | セ ッ ク ス | S e X
119:１３２人目の素数さん
22/01/13 20:44:57.49 1MQsTHJR.net
底辺准教のひと
クリスマスイブに1時間おきに掲示板に
「いまおとことせっくすしている」
って必死に書いてたのが泣けたね
ふつーそれ書いたらぼっちっとバレるのに
底辺准教は頭が悪いから大変だよな
120:１３２人目の素数さん
22/01/13 20:56:07.23 VN40DQWB.net
＞「いまおとことせっくすしている」
色情狂なんかな？そのBBA
121:１３２人目の素数さん
22/01/13 20:58:10.85 h/fCgb/z.net
>>106
>Σ_k=0^∞みたいな書き方はするよね
スレ主です
ありがとうございます
同意です
>>96 補足
> ２．つまり、添え字として kは全ての自然数を渡るってことだな
> Vk が数列の場合には
> Σk=0～∞ Vk
> ↓
> Σk∈N Vk
> と解するが如しだ
ID:VN40DQWB氏か
なんか、わけ分からんやつが、
ぐだぐだ言っているな
下記の「VI. 冪級数 」山田光太郎 東工大 見れば
「(6.1) 馬=0～∞ anx^n = a0 + a1x + a2x^2 + . . .」
という形の”馬=0～∞”という記法
これスタンダードだと思うぜ
（ここ5ch板では狽ｳ確に難しいので略記だが）
中高一貫校なら、中学レベルだと思うよ
(参考)
URLﾘﾝｸ(www.math.titech.ac.jp)
2016年3月28日
授業/山田光太郎
微分積�
122:ｪ学第一 （2015年度） 東京工業大学大学院理工学研究科数学専攻 東工大ホーム | ミラー http://www.math.titech.ac.jp/~kotaro/class/2015/calc2/lecture-06.pdf 微分積分学第一 （2015年度） 山田光太郎 東京工業大 2016年2月5日 講義ノート VI. 冪級数 与えられた数列 {an}n=0～∞ と文字 x に対して (6.1) 馬=0～∞ anx^n = a0 + a1x + a2x^2 + . . . の形の級数を x に関する冪級数という ． (引用終り) 以上
123:１３２人目の素数さん
22/01/13 21:00:41.14 h/fCgb/z.net
>>113 タイポ訂正
（ここ5ch板では狽ｳ確に難しいので略記だが）
↓
（ここ5ch板では狽ｳ確に書くのは、難しいので略記だが）
124:１３２人目の素数さん
22/01/13 21:20:46.84 VN40DQWB.net
>>113
＞中高一貫校なら、中学レベルだと思うよ
つまり大学に入れなかったってことか
やっぱSET Aは中卒馬鹿野郎だったな
だから∞は最大の自然数！とか
キチガイ発言するんだよ ばぁぁぁか（嘲）
125:１３２人目の素数さん
22/01/13 21:23:17.07 VN40DQWB.net
>>106
＞Σ_k=0^∞みたいな書き方はするよね
∞番目の項がないとわかっているならいいが
書かれているから存在する、と盲信する
ニホンザルのSET Aはそういう書き方をしてはいけない
126:１３２人目の素数さん
22/01/13 21:25:42.06 VN40DQWB.net
>なんか、わけ分からんやつが、
>ぐだぐだ言っているな
中卒のニホンザルはここに書くな、シッシッ！！！
127:１３２人目の素数さん
22/01/13 21:27:52.33 VnIxzqcu.net
>>98-105
何やってたん猿魔大王テメェずっと代行なんかに任せて留守してっからトンデモ天下だったじゃねぇか此の莫迦如来が､
世話ん成った窮年に続き凅年も苦しく御願い致し候らえば4分身3交代6勤2休による合計で年中無休の体制で
数学板過誤自説者の取締り畏こみ畏こみ御願い申し上げ奉っから監視徹底完璧無尽完全無欠統治統制救苦救難の限り､
しろやテメェ此の野郎の此の度の御降臨に恐悦至極感謝感激の意を申し上げ
奉りますホントに。ホントだよホント何だ莫迦ヤローホントにホントにホントに御苦労さん、ハァ～あビバノンノ｡
以上、去れセタ来い石、でした、ダレダコリャ｡
128:１３２人目の素数さん
22/01/13 22:30:49.82 h/fCgb/z.net
>>113 追加
「級数を表す記号として大文字のシグマを初めて使ったのはオイラー (1775) だった」
ってよ
中高一貫校なら、中学レベルだろう
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
級数
級数 (きゅうすう、英: series) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える（#級数の収束性の節を参照）ことができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。
歴史
級数を表す記号として大文字のシグマを初めて使ったのはオイラー (1775) だったが、この記号はすぐには広まらなかった[13]。
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Series (mathematics)
This article is about infinite sums. For finite sums, see Summation.
Contents
1 Basic properties
1.1 Convergent series
2 Examples of numerical series
2.1 π
2.2 Natural logarithm of 2
2.3 Natural logarithm base e
(引用終り)
以上
129:１３２人目の素数さん
22/01/13 22:31:12.80 Ya/14Yx8.net
>>111
成績Fで退学になったのひとモドキ
クリスマスイブに匿名掲示板に張り付き北国にいる片思いの熟女をストーキングしててぼっちとバレてるよ
俺なんて若い彼女とセックスしながら書き込んでたぜ
130:１３２人目の素数さん
22/01/13 22:44:36.45 VnIxzqcu.net
>>109
何だ此んの糞の悪臭悪寒超えの極限も真っ青な巨視的どころじゃない異次元全次元ヒルベルト空間網羅レベル大莫迦野郎､
其りゃあ俺の事だよ此の韓流人糞酒性的嗜好家級のドン引きド腐れ性根底意地人間が｡
だぁぁぁあああれだ俺を風俗狂い認定する莫迦は!!俺は数学板風俗覇者のking様の弟子◆(略)に
『風俗にも行けない臆病者』呼ばわりされ続けてる上に求婚願い下げ18回の魔法使いだ俺は｡
あぁそうだよ普段から会社でイオ系呪文機関の効率と排気ガス汚濁の研究員だ莫迦野郎どもが｡
イオナズン（下の世代はイオグランテと形容していた。何だイオグランテって知らんぞ）は
犯人は俺だ。切れた指をくっ付けようとして電気を通して指をくっ付かった喜びで
電線を摘まんでた別の手が電線をうっかり離して耐久試験中のエンジンの燃料供給ホース手前近くの
サージタンク的な意味合いの供給安定タンク…の故障代替であるポリタンクで、やっちまいました｡
進展優先に駆られた上司と其のまた上司の落とし前に成りましたが現行犯はた…俺だぁあ（北斗ジャキ風）!!
まぁ強制命令&再三拒否の証拠が揃ってたんで俺は『事故に加担しつつも救うべき強制労働者』扱いで免除救済されたが｡
日本て、いつまで此んなナァナァのゴリ押しを被る勤務を強いられるんだろう？
131:１３２人目の素数さん
22/01/13 22:51:50.18 VnIxzqcu.net
>>120
いや其れは其れで書き込んで来るなよ、事に熱中しろよ。まさか振動機械で相手を弄ってた最中だった訳じゃ在るまい？
ハァ…6047万、いつ還して呉れるんだよ実家家族…ぜってぇ俺、美味しい美味しい餌にされてるわ…家畜ですらない…
132:１３２人目の素数さん
22/01/14 02:21:39.07 CrIectkt.net
本日もまたまた底辺准教天羽優子の発狂連投でスレが埋まる
133:１３２人目の素数さん
22/01/14 03:27:46.95 CE45nLtp.net
すごいよね
級数をΣで書くって�
134:ｾけのことでこれだけ上から目線できるんだから