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

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

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

693: １３２人目の素数さん [] 2022/04/28(木) 21:10:42.31 ID:2nf0w5TH

>>679 訂正と補足

なんか、ワケワカさんが、
無闇に突っ込んで自爆していますねｗ

まず訂正
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制です
　　↓
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制限です

さて、念押しですが ”条件 p,q を満たすものの集合をそれぞれ P,Q とする”とき
条件「pかつq」および「pまたはq」をあらわす図は、それぞれ次図のようになる。
（再録）
https://upload.wikimedia.org/wikipedia/commons/thumb/0/00/Logic_intersection_P_and_Q.svg/440px-Logic_intersection_P_and_Q.svg.png
「pかつq」に対応する
P∩Q
https://upload.wikimedia.org/wikipedia/commons/thumb/6/6a/Logic_union_P_or_Q.svg/440px-Logic_union_P_or_Q.svg.png
「pまたはq」に対応する
P∪Q

・ここで、
「pかつq」←→P∩Q
「pまたはq」←→P∪Q
　と相互に移り合うのです
（ぐだぐだ∃∀いうやついるけど、カンケーネーｗ）

・さらに、>>680の集合論ZFC中では、上記の論理 「pかつq」と「pまたはq」は、基本は使いません
　ZFCの公理系の中では、集合演算で済ませて、それでは出てこないのです
　では、どうするの？　全部、P∩QやP∪Qで済ませて、一階述語論理を翻訳します
「それで困らないのか？」ですって？ｗ 　大丈夫！ >>679の”高等学校数学A/集合と論理”と >>680のwikipedia(ツェルメロ＝フレンケル集合論)を百回音読してくださいｗｗ

「ZFC」は、”公理的集合論の標準形式であり、今日では最も一般的な数学基礎論となっている”（上記 wikipediaより）
と高く評価されていますよ

・条件「pかつq」および「pまたはq」をあらわす図、P∩QとP∪Qで
　p,qたちが、有限しか許されない？？ｗｗｗ
　例えば、添え字i∈N(自然数)で、集合族Piを考えて
　無限和 ∪i Pi は、ZFCでは許されない？
　無限積 ∩i Pi は、ZFCでは許されない？
　何を言っているのかなｗ

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

698: １３２人目の素数さん [] 2022/04/29(金) 07:58:30.65 ID:b8gsErp4

>>567 & >>575

関連
https://webcache.googleusercontent.com/search?q=cache:yaBRI6rvLroJ:https://twitter.com/math_jin+&cd=1&hl=ja&ct=clnk&gl=jp
math_jin
Apr 25
More
Last week a review of the Mochizuki IUT papers appeared at Math Reviews, written by Mohamed Saidi. His discussion of the critical part of the proof is limited to:
"Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the…#IUTABC
https://www.math.columbia.edu/~woit/wordpress/?p=12775 …

https://www.math.columbia.edu/~woit/wordpress/?p=12775
Not Even Wrong woit
Various and Sundry
Posted on April 18, 2022 by woit
Last week a review of the Mochizuki IUT papers appeared at Math Reviews, written by Mohamed Saidi. His discussion of the critical part of the proof is limited to:

tulpoeid says:
April 24, 2022 at 1:55 am
About IUT, what I’ve been trying to understand is if that work has other merits on its own.
Ie. even if the proof of Corollary 3.12 is wrong, so the overall proof is wrong, does Mochizuki’s vast construct contribute to math in some other collateral way?
If I’m right this has happened before with proofs that turned out to be wrong, and I’ll be genuinely puzzled if such complex work has nothing else to offer and all its value is hanging on a single point.

Hermann Vile says:
April 24, 2022 at 2:49 pm
Mochizuki’s latest endeavor seems to be regularly updating this document (https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf), which is now 140 pages. I doubt this will convince anyone; if anything, his writing has become even more turgid and depressing.
@tulpoeid: No, there is *nothing* useful in IUT. If there was, it would’ve been successfully extracted by ambitious young people in the ten (!) years since the IUT papers were first posted.
https://twitter.com/5chan_nel (5ch newer account)

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

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

あと 298 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.269s*