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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

535: １３２人目の素数さん [] 2022/04/23(土) 20:51:35.39 ID:MU2asfqc

>>534
つづき

https://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。

https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツェルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。
（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。
集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1644632425/535

624: １３２人目の素数さん [] 2022/04/26(火) 16:04:22.39 ID:Vj3hNRqz

>>611
スレ主です
こらこら、このスレで名前の議論はするな！
繰り返すなら、運営に荒らしとして通報するぞ
最悪、長期アク禁か、浪人BAN（焼き）か、だろうね
分かりましたか？ ID:veXEGJzfさん

で、本題
>そもそも彼は「論文は普通の数学者が理解できる内容ではない」と言ってるだけなんだから間違ってるとかなんとかいう状態にはならんの？

ショルツェ氏ぼレビューのURLは、スレのテンプレの>>14に、入れてある（下記）
（>>14より、IUTに対する批判的レビュー。和訳は、google訳）
https://zbmath.org/07317908
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)

(原文)
More formally, the central claim in this series of papers is Corollary 3.12 in part III. In the fourth part, this somewhat abstract statement is shown to imply the ABC conjecture over general number fields. Unfortunately, the argument given for Corollary 3.12 is not a proof, and the theory built in these papers is clearly insufficient to prove the ABC conjecture.
(和訳)
この一連の論文の中心的な主張は、パートIIIの結果3.12です。第4部では、このやや抽象的なステートメントが、一般的な数値フィールドに対するABC予想を暗示していることが示されています。残念ながら、Corollary 3.12に与えられた議論は証明ではなく、これらの論文で構築された理論は、ABC予想を証明するには明らかに不十分です。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1644632425/624

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.036s