[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 45 http://rio2016.5ch.net/test/read.cgi/math/1588552720/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
315: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/05/09(土) 00:28:00 ID:NFbqSkQk >>313 >まあこれP21やP31できちんと説明してるし、それ以前に自分で書いてるように論文じゃなくて教科書だしな 同意だ 望月論文 IUT IVでは、ちゃんと引用の教科書 [Drk], Chapter 1, §3]. [Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974). これを見ないで、無限だとかアホをいうやつが、バカだってことよ（＾＾ >公理1とかの名付けは数学的言明でもない それも同意だ 些末な話よ そこをほじっくって、無限だとかアホをいうやつが、バカだってことよｗ（＾＾； （>>230-232より 望月 IUT IV） ”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].” http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨ LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020 P67 Section 3: Inter-universal Formalism: the Language of Species In the following discussion, we shall work with various models - consisting of “sets” and a relation “∈” - of the standard ZFC axioms of axiomatic set theory [i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3]. P85 Bibliography [Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974). http://rio2016.5ch.net/test/read.cgi/math/1588552720/315
321: １３２人目の素数さん [] 2020/05/09(土) 07:03:13 ID:/BYRDNlz >>315 ＞些末な話よ 指摘したTao自身が「（IUT-?で）第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、ZFC拡張は証明に影響を与えるものではない」と言ってるしね。 ｗ 下記DeepL翻訳の「このブログのコメントを参照してください」での記憶だけど、 ＞(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、 より完全に普遍的なテイヒミュラー理論を発展させることを検討しています （この部分はabc推論への応用には必要ありません） のところで、 「○○節までにABCの証明が終っており、第3節43ページ以降は付け足し」で、 「ABC推論には影響を与えない」を読んで、 その節が本当に証明が終わった後の付け足しか、をみたことを記憶している。 （DeepL翻訳） (IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、より完全に普遍的なテイヒミュラー理論を発展させることを検討しています（この部分はabc推論への応用には必要ありません）。 この論文の第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、このブログのコメントを参照してください。 しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。 http://rio2016.5ch.net/test/read.cgi/math/1588552720/321
327: IUT応援団 団員 [sage] 2020/05/09(土) 08:47:10 ID:j9hCxaDC >>315 >些末な話よ というより迂闊に地雷踏んでますよね？ 団長は素人だからいくらボケてもいいですけどね 論文でこの手のボケは要らないっすよ 「９つ」とか書く必要全然なかったし なんか、本スレでは 「ABC予想解くのに、遠アーベル、要らないんじゃね？」 とかいわれてるし、なんかヤバくないすか？ http://rio2016.5ch.net/test/read.cgi/math/1588552720/327
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s