Inter-universal geometry と ABC予想 42

[0001 １３２人目の素数さん 2019/10/27(日) 13:21:26.21 ID:249KaKgJ]

IU幾何やABC予想に関する会話のサロンと
して使って下さい。

荒らしはご遠慮願います。 


[0700 １３２人目の素数さん 2019/12/07(土) 09:51:58.46 ID:uZFmzNJe]

>>695
＞「同義反復的解決をしたい」
＞「属性方程式a∈aを解きたい」
＞“simulate a∈a”
＞“loops of mutations”
＞“simulate ∈-loops”

これは問題の解決に立ちはだかる本質的な困難なんでしょうか？
特に”loop”である必要はどこから出てくるんでしょうか？

[0701 １３２人目の素数さん 2019/12/07(土) 09:59:15.64 ID:uZFmzNJe]

>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった

しかし∈-loopsは、正則性公理とは矛盾しますけどね

「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）

∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう

上半平面の幾何学がユークリッド幾何とすることはできず
双曲幾何にならざるを得ないというようなもの