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

**１３２人目の素数さん** · 2021/10/02(土) 21:09:16.88

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ： Inter universal geometryとABC予想(応援スレ) （番号抜けだが実は59）
https://rio2016.5ch.net/test/read.cgi/math/1628778394/
詳しいテンプレは、下記旧スレへのリンク先ご参照
（手抜きです。）
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)

**１３２人目の素数さん** · 2021/10/31(日) 22:23:03.71

>>787
>”0より小さい自然数はないからそこで止まっちゃいますからね”が
>ちょっと甘いと思った
🐎🦌
>「0は自然数全体の最小元であり、
>　任意の部分集合においても、最小元であるから極小条件を満たす。
>　よって、無限降下列は0を含んでは成らない」と書くべきだし
そう書いたらダメでしょ　完全な誤りだからｗ
「0は任意の部分集合においても、最小元」が誤り
いっとくけど、空集合も部分集合、とかいうつまらん理由じゃないよ
0を含まない部分集合では、0は当該集合の最小元じゃないでしょ
っていうより根本的な理由からだよ
ロジックに基づけば以下のように書くのが正しい
「0は自然数全体の最小元である。
　よって、自然数の無限降下列が存在するなら、0を含まない」
>本来、最小値原理「自然数からなる空でない集合は最小値をもつ」
>を、まず証明すべきで　その後に、極小条件から、
>”Nはdccを満たす”というのが、一番素直な筋
馬鹿ほどベキベキベキベキいうけど、それロジックと関係ないね
dccを満たさないとして数学的帰納法により矛盾を導くのも
数学的帰納法の対偶から最小値原理を示すのも
実は同じことだから、つまらんことで騒ぐ貴様が🐎🦌

**１３２人目の素数さん** · 2021/10/31(日) 22:28:24.71

>>788
>＜上昇列　０＜１＜・・・ω なんだろ？
>これを、松坂和夫の上昇列の定義に当てはめて見ろよ
>無限列なんだろ？
何ギャアギャアわめいてんだこの🐎🦌ｗ
それ、松坂和夫の降下列（＝降鎖）の定義に当てはめられるか？
当てはまらないだろ？　おまえが間違ってるんだよ　この落ちこぼれ🐒ｗ
工学部とかいう「職業訓練専門学校」にしか行けなかった🐎🦌の貴様に
大学数学なんか到底無理だから綺麗さっぱり諦めろｗ