[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)

Inter-universal geometry と ABC予想 42 http://rio2016.5ch.net/test/read.cgi/math/1572150086/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

707: １３２人目の素数さん [sage] 2019/12/07(土) 19:25:07.06 ID:WBQvpVpJ >>705 私もAFAそれ自体はトンデモとは思っていません。ただ、集合論の専門家と話したことがあるのですが、 新しいアイデアを展開するために安易に代替集合論に頼るのは如何なものか？と彼は言っていました 代替集合論それ自体の研究は当然重要だけれども、これらを使って何でもできると思うのはトンデモへの道だ、と 上で書いたように私の理解では、実際は厳密な意味でａ∈ａも∈-loopsもやっていないので、望月はくどい位繰り返し 「正則性公理には矛盾しない」と書いているわけです 数理論理学者の中には「IUTのABC予想証明が成功していると証明されたら、IU形式主義を考えてみるけどね」という人もいて、 そっけない返事でしたね。まあ、専門家の認識は大体こんな感じではないでしょうか http://rio2016.5ch.net/test/read.cgi/math/1572150086/707

709: １３２人目の素数さん [] 2019/12/07(土) 20:23:30.67 ID:uZFmzNJe >>707 個人的にはAFAよりsubstructural logicのほうが興味がありますけどね http://rio2016.5ch.net/test/read.cgi/math/1572150086/709

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.038s