[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
824(1): 2019/06/29(土)15:53 ID:zcWog+My(4/7) AAS
SS分裂後、シュティックスとショルツェのIUTに対する見解はどう違うのか？
知りたいね。
825: 2019/06/29(土)16:12 ID:jCoTZ8sT(1) AAS
>>824
過去スレを読んだらいかがですかね
826: 2019/06/29(土)16:16 ID:DHiuKlHq(1) AAS
Inter-universal geometry と ABC予想 39
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
画像ﾘﾝｸ[jpg]:pbs.twimg.com
Twitterﾘﾝｸ:Fu_L12345654321
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
827: 2019/06/29(土)16:22 ID:zcWog+My(5/7) AAS
ショルツェは遠アーベルの知識、理解に関してシュティックスに依存していたが、シュティックスが日和ったので梯子を外されてまったく動けなくなった。だから沈黙するしかないのだろう。
828: 2019/06/29(土)17:21 ID:XHR4+ste(1/3) AAS
こんな状況でショルツェもシュティックスも発言したくないだろ。
細部をつつかれて罵倒されるのだから。
彼らはIUTを見限ったということだろう。
彼らが来日したときは、直接議論することでIUTを理解できるかもしれないという希望をもっていたんだろうけど、もうそんな希望をもてなくなったのでしょ。
細部をきちんと埋めるのは、IUTの証明において望月とその取り巻きがきちんとやるべきこと。
B本がやっているのは、パズルがきちんと貼り合うことを、証明とは無関係の絵などでイメージさせているだけ。悪徳政治家かよ。
829(1): 2019/06/29(土)17:23 ID:jtcUPIcD(3/6) AAS
>>797
ただ、単遠アーベル幾何学を用いるのは理論の動機からは必然的ではありますね
環上の線形な微分ではなくて、自由群による環構造間の微分を構成するのが狙いなわけだから
で、それがナンセンスという話
つまり、哲学的には面白いと言っても良いんですよ
でも安直な道具立てなんじゃないかなっていう問題。エタール基本群のbi-anabelianには欲しい構造がないから
位相群ならどうか、しかし実解析多様体においては自明な写像を無理やり複雑にしたようにしか見えないと
830: 2019/06/29(土)17:26 ID:jtcUPIcD(4/6) AAS
スキームより深い微分によるテータの一般化は可能だろうけども、IUTがそれを満たすのかどうか
そういう意味では、ギャップがあるというよりは、夢としてはまあある程度正しいのかもしれない
それを自然に実現するのはまた「狙いは似ているがそれなりに別の理論」なのかもしれない
831: 2019/06/29(土)17:29 ID:zcWog+My(6/7) AAS
SSが京都に来た頃は彼らは自分たちの考えに自信を持っていたが、もっちーの反論文書によって完璧に打ちのめされて自分たちの不勉強を思い知った。
832: 2019/06/29(土)17:49 ID:XHR4+ste(2/3) AAS
もっちーは「出鱈目な内容の残念な雑音」とか日本語で言っているだけだろ。それじゃSSに届かないよ。
届いたところで、関わりたくないと思っているんでしょ。汚い言葉で罵倒されたくないだろうし。
もっちーの反論文書も、始めの版ではもっちーがこんなに汚い英語の使いかたをするのか、ということに驚いた。ある意味ネイティブじゃないとできない。
でも、それは後の版で少し穏当に書き換えられた。いずれにせよ、もっちーに対する信頼がなくなっていった。
自分はIUTについては素人だけど、大学教員やってます。
833(1): 2019/06/29(土)18:31 ID:jtcUPIcD(5/6) AAS
最終的にはCoqに任せればいいのかなw
834: 2019/06/29(土)18:47 ID:eM2nthZQ(5/8) AAS
>>829
まあ、そうですね。「動機からは必然的」ですね（笑） 望月の気持ちはよく分かります
ロバーツが「望月は圏論の概念を使いながら独特のジャーゴンを使っている」というようなことを書いていますが、
逆に言えば、元々望月独特の論理があって、圏論で翻訳できる部分はできるだけ翻訳しているという印象です
これは物理屋さんが>>624でロバーツPDFから引用したようなことです
（片言ガイジと呼ばれていますが、この人の引用は適切です）
大体、忘却関手で位相構造を忘れた状態をそのままにして、かつ体としては非同型なものを（充満多重）同型と呼ぶこと自体、
ブッ飛んでいます（笑） とにかくアイデア先行で、既存の数学なぞなんのその！って感じですね
835: 2019/06/29(土)19:05 ID:eM2nthZQ(6/8) AAS
先日、IUTの宇宙際性というものはドゥルーズ『差異と反復』のようなものだと書きましたが、
SSレポート公開直後に私がこのスレで書いたのはリゾーム的なものではないか、ということでしたね（失念していました）
これは私の勇み足でしたが、ある意味でIU形式主義、宇宙際幾何学の行き着く先を私なりに想像（妄想ｗ）したものだと言えます
つまり、アナベリオイドの幾何学を徹底し、スタックを駆使すれば、完全なる異種交配の数学に行き着くかもしれない（笑）
如何なる対象でも、様々に異なる次元でも組み合わせによって繋げて考えられる
D-Gの言葉を借用すると「超越論的経験論的遠アーベル幾何学」などが将来的にありうるのではないでしょうかｗ
あー、なんかもう私もオカルトマニア氏みたいになってきましたね orz
836(1): 2019/06/29(土)19:09 ID:zcWog+My(7/7) AAS
ショルツェは何も言えないから黙ってるんだよ。
837(1): 2019/06/29(土)19:28 ID:6MnOjJoq(1) AAS
現役のフィールズ授賞者がそんなことしないでしょ
擁護側の取り巻き連中以下みたいなことはしない
838: 2019/06/29(土)19:29 ID:XHR4+ste(3/3) AAS
>>836
あなたと似たにおいのする取り巻きやご本尊と、もう関わりたくないんだろ。
B本ではたとえを多用しているが、電車の中にごくまれにいる、すごく臭かったり奇声を発していたりする人に関わりたいか？
839: 2019/06/29(土)20:26 ID:cIvUksKY(1) AAS
>>837
黙っているよｗ
the argument of §2.2, is completely falseと、
公開のコメント文書に、説明付きで書かれて、
どう「Falseでないか説明せず」に、まだ黙っているから。
まずは自身の書いたレポートへの質問の回答からだよね。
840(1): 2019/06/29(土)20:46 ID:eM2nthZQ(7/8) AAS
>>833
このことについては以前にバザードが、IUTについてはまだまだだと、否定的見解をコメントしていましたね
ヴォイトのブログの“Latest on abc”のコメント欄（このブログはコメントが多いと1ページには収まらないんですね）
外部ﾘﾝｸ:www.math.columbia.edu
バザードのコメント(Kevin Buzzard says:December 18, 2017 at 7:02 am )から一部引用
-----------------
Humans have not yet finished the pre-formalisation part of Mochizuki’s work.
The papers contain claims which many members of the number theory regard as being unclear.
A team of computer scientists cannot work with a document which contains assertions
for which the only way to unravel them is to ask a small group of people who claim to understand the proof,
省4
841(1): 2019/06/29(土)21:23 ID:jtcUPIcD(6/6) AAS
>>840
しかしできることは間違いないですからね
HoTTと代数的整数論を押さえる、つまりVoevodskyに近い人材を集めれば、少なくとも議論を洗練させることは
できる。それも重要だと思います。ケーススタディの一としてはっきりさせていく
ただ、今の形式化は手間がかかりすぎますね。非常に原始的な段階だからなかなかできない
前形式化云々というよりは基礎論および形式化のソフトウェアの整備でしょうね
この点で今一番必要な人材は、グロタンディークとフォン・ノイマンやラッセル、フレーゲを
合わせたような存在、または流れでしょう
842(1): 2019/06/29(土)21:42 ID:eM2nthZQ(8/8) AAS
>>841
いやいや（笑）、そんな数学史に残るような大天才たちがIUTに集まるわけはないと思うのでｗ
現行のIUTでは普通に優秀な数学者でも見向きもしませんよ（ゲテモノ好きは除く）
バザードが言っているようなことは望月自身がやらなければいけないことです
所謂理解者には期待できません。ただ、IUTを形式化出来るかは疑問ですね
私はIUTをレトリック集、ナンセンス集としてしか見ていませんから、個人的には形式化したら価値がなくなりますね
ここで言う価値は、数学的な価値ではありません。勿論、哲学的な価値でもありません
843: 2019/06/29(土)22:22 ID:80pJPXmm(1) AAS
バザードってなんかかっこいい名前だな
きっとバザードのほうがただしい
上下前次1-新書関写板覧索設栞歴
あと 159 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.149s*