[過去ﾛｸﾞ] Inter-universal geometry とABC 予想56 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
212(11): 2024/06/15(土)02:34 AAS
この記事では、望月新一のInter-Universal Teichmüller Theory (IUT)に関して、いくつかの重要な点が指摘されています。
### 致命的な点
1. **証明の理解困難**：
望月の証明は非常に技術的で、アナロジーやメタファーに頼りすぎており、数学者にとっても理解が難しいとされています。例えば、「二つの互いに異質な通常のスキーム理論のコピーを接着する」といった表現は、具体的な数学的理解を妨げています [oai_citation:1,A Crisis of Identification | David Michael Roberts | Inference.pdf]()。
2. **形式的証明の欠如**：
形式的なコンピュータ証明を作成するには、まず望月の仕事を理解する必要があり、現時点ではそれが難しいとされています。これにより、証明の正確性について疑念が残ります [oai_citation:2,A Crisis of Identification | David Michael Roberts | Inference.pdf]()。
### ショルツらの指摘が正しい点
省8
213(9): 2024/06/15(土)02:34 AAS
>>212
さらに致命的な指摘のソース
外部ﾘﾝｸ[2]:doi.org
215(9): 2024/06/15(土)02:38 AAS
>>209,212
デイビッド・マイケル・ロバーツ（David Michael Roberts）は圏論の専門家であることが、彼の多くの研究論文から示されています。以下に彼の主要な論文の一部を挙げます：
1. **"Substructural fixed-point theorems and the diagonal argument: theme and variations" (2023)**：
この論文では、圏論の視点から固定点定理を扱っています [oai_citation:1,David Roberts | Researcher Profiles.pdf]()。
2. **"The elementary construction of formal anafunctors" (2021)**：
形式的アナファンクターの基本的な構築について議論しており、これは圏論における重要な概念です [oai_citation:2,David Roberts | Researcher Profiles.pdf]()。
3. **"A bigroupoid's topology (or, Topologising the homotopy bigroupoid of a space)" (2016)**：
省20
222: 2024/06/15(土)04:50 AAS
>>221
涙拭けよ>>208-209,212-216,218
226: 2024/06/15(土)10:35 AAS
>>223
涙拭けよ>>208-209,212-216,218
228(1): !id:ignore 2024/06/15(土)11:04 ID:T3CQ0y9b(1/2) AAS
>>227
涙拭けよ>>208-209,212-216,218
233: 2024/06/15(土)11:38 AAS
>>231
涙拭けよ>>208-209,212-216,218
237(1): 2024/06/15(土)14:04 AAS
>>235
いや宇宙と圏の定義が標準から逸脱してるのに同じ記号使ってるから基礎論的にあり得ないと言われてるよ>>208-209,212-216,218
252(1): 2024/06/15(土)15:49 AAS
>>251
いや宇宙と圏の定義が標準から逸脱してるのに同じ記号使ってるから基礎論的にあり得ないと言われてるよ>>208-209,212-216,218
327(1): 2024/06/16(日)03:02 AAS
>>325
涙拭けよ
あんなの反論になってない>>ってボコボコにされてるぞ？
いや宇宙と圏の定義が標準から逸脱してるのに同じ記号使ってるから基礎論的にあり得ないと言われてるよ>>208-209,212-216,218
独自定義が標準定義と厳密に同一のものを指す証明がなされてないなら
標準定義から導かれる性質は一切使ってはならないはずだ
それなのに使ってしまっている
省1
328: 2024/06/16(日)03:03 AAS
>>326
涙拭けよ
あんなの反論になってないってボコボコにされてるぞ？
いや宇宙と圏の定義が標準から逸脱してるのに同じ記号使ってるから基礎論的にあり得ないと言われてるよ>>208-209,212-216,218
独自定義が標準定義と厳密に同一のものを指す証明がなされてないなら
標準定義から導かれる性質は一切使ってはならないはずだ
それなのに使ってしまっている
省1
334: 2024/06/16(日)03:07 AAS
>>331
涙拭けよ
あんなの反論になってないってボコボコにされてるぞ？
いや宇宙と圏の定義が標準から逸脱してるのに同じ記号使ってるから基礎論的にあり得ないと言われてるよ>>208-209,212-216,218
独自定義が標準定義と厳密に同一のものを指す証明がなされてないなら
標準定義から導かれる性質は一切使ってはならないはずだ
それなのに使ってしまっている
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s