20/05/08 07:57:31 g/NZ4Ytw.net
>>227
>面白いけどムズカシすぎて無理。
同じです。でも、”目を慣らして”いけば、だんだん分かるところも出てくる。私もそうだった。最初のころより大分目が慣れてきた
>本スレにある4章の意見が気になる。
下記かな?
Inter-universal geometry と ABC予想 52
スレリンク(math板)
330 名前:132人目の素数さん[sage] 投稿日:2020/05/07(木) 22:04:32.30 ID:QFKN3cf9 [2/6]
>>325
勝手な仮定だけど望月は間違いに目を背ける性格とかかな
4章は望月の中で黒歴史扱いして目もくれなくなり、周りも何も言えなくて放置されてるとか
そして流石に補題3.12は黒歴史扱い出来ないので、間違いに目を背けた結果周りが理解できないと結論づけたのか
>>326
あんたが知っていても望月が知っているという根拠がないんでね
俺はZFC公理系の公理の数が9個であるとする論文は見たことがないが、そうする一般向け解説は時-見るから、望月は専門外(笑)なので間違えてる可能性の方が高いと結論せざるを得ない
(引用終り)
4章=IUT IVだね、きっと
そして、P67のSection 3の下記引用部分だね
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
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].
つづく