[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
704(2): １３２人目の素数さん [sage] 2019/12/07(土) 18:20:03.95 ID:WBQvpVpJ(1/6) AAS
>>700-701
まず最初に、あなたは最終節をすべて読んだのでしょうか？それとも最初の3頁ぐらいでしょうか？
もし後者なら最後まで読んだ上で質問なり、あなたの理解・意見・感想なりを述べてください
では、私なりの理解・感想・意見などを簡単に述べてみます
まず、望月の同義反復的解決の「〜的」とは、同義反復「による」解決ではなく、「〜みたいな」、「〜一見そのように見える」ぐらいの意味です
ですから厳密な意味で∈-loopsもしていません。そのように見えるということにすぎず、数学で数学のアナロジーを語っているにすぎません
speciesやmutations、挙句の果てにはobservablesなんて語も出てきます。トンデモのおいしい食材のオンパレードです
で、この最終節は何のためのものかというと、単遠アーベル的復元/構成の論理学みたいなものです
それを集合論的に書こうとしたもので、実際は望月流の圏論＝IU幾何、IU形式主義です
speciesがデータや圏、mutationsが関手に相当します
私も最初はあなたと同じくなぜAFAなどを考えないのかと思いました。しかも謝辞に佐藤憲太郎氏の名が出ているので当然そう思います
しかし、書かれていることは初期構想からあった望月の着想や「願望」と、IUTで記述されている論理のそれっぽい説明にすぎません
まともに取り合っていいのかよく分からないシロモノです。
この最終節をBなどは「基礎論を刷新するもの」と捉えているようです
彼はだいぶ前にTwitterで西田哲学の絶対矛盾的自己同一を書いていましたが、その前後でこの最終節に触れていたと思います
705(1): １３２人目の素数さん [] 2019/12/07(土) 19:01:02.07 ID:uZFmzNJe(5/11) AAS
>>704
最終節は読んでません そもそも数論幾何を知らないので
数論幾何において、ａ∈ａが現れるのかどうか知りたいわけです
AFAは別にトンデモではないので、
AFAを使った数学が受け入れられない
ということはありませんよ
ただ、実際にはａ∈ａではなく、
正則性公理の成立する範囲内で
おさまるというのであれば
別にかまいません
宇宙の拡大とやらも、今の集合論の巨大基数の範囲よりも
全然小さいレベルのようですから、集合論研究者も
大して関心持たないでしょうね
706: １３２人目の素数さん [] 2019/12/07(土) 19:16:24.75 ID:uZFmzNJe(6/11) AAS
>>704
＞「基礎論を刷新するもの」
それはないですね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s