[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
441: 2018/10/18(木)20:15 ID:eSpG2+ZU(1) AAS
グロモフの切り開いた数学はゲテモノだけど、奥深く発展性のある豊かな数学だからな
あのゲテモノ感からどうしてあんなに発展性のある数学が生まれるか謎w
442: 2018/10/18(木)20:28 ID:FNVwwhHW(1) AAS
ジョン・タイターがリーマン予想を証明したよな
443: 2018/10/18(木)21:53 ID:1qNw6/Uv(1) AAS
何よりも悪しきは、神にあらざるものを神と認めることなり。
444(1): 2018/10/18(木)22:21 ID:9udUD1ZS(1) AAS
>>429
IUTTもショルツらのレポートも、共にナンセンスではないと感じる
どちらも意味のある内容がある
雑誌掲載の可否というなら望月側がショルツのレポートに対して
内容ある反論をしないといけない
また、どちらも正しくないという可能性もある
445(1): 2018/10/18(木)22:31 ID:zNYktlb8(1) AAS
IUT論文もSSレポートもその反論も全部PRIMSに載せれば？
446: 2018/10/18(木)22:51 ID:vULzgpWK(1) AAS
グロモフは「概」からの発見ですが、
オーソドックスな「シンプレテック」と
結ばれている。
447: 2018/10/18(木)23:17 ID:48JfOkJe(1) AAS
明らかな誤解ってだけならフェセンコがそこまで言うかの
448: 2018/10/18(木)23:24 ID:ziVUFzr/(6/7) AAS
ミーシャ好きが結構いるねｗ
シンプレクティックトポロジーなんだけどF谷氏曰く「大域シンプレクティック幾何学」
ところで、もっちー曰く、多輻的表現アルゴリズムは局所的な現象の総計ではなく大域的な現象とのこと
449: 2018/10/18(木)23:32 ID:ziVUFzr/(7/7) AAS
>>444
俺みたいな数論幾何素人からすれば、双方面白いのだけど、
当事者からすれば、相手が完全にナンセンスとなる
S・S「あーあ、凝ったマネしたけどしくじって自爆してやんのｗ」
もっちー「バカだねぇ、こいつらちゃんと読んでねぇから、自分の安いおもちゃを俺のものだと思ってやがるｗ」
この辺はカテゴリストのロバーツなどは慎重だね
フェセンコに八つ当たりされても、謙虚に「IUTTはよく理解してないし、S・Sが間違っているとも言っていない」と大人の対応（笑）
450(1): 2018/10/18(木)23:36 ID:7YqgJU0i(1) AAS
なんか5ch情報なんだけど、望月先生はだいぶ民族主義的な考えを持ってはるようだけどあってる？
もしかして今回の論文もこの歴史的偉業を日本の雑誌で発表したいというのもそういうのが影響してるのかな？
でも、正直現時点で掲載を断行したりすると、場合によっては日本の数学史に大きな汚点を残す可能性もある。
本意ではないかもしれないけど、ここは一旦引いてしっかり検証作業を続けるべきだと思う。
確か本人も2020年位までは検証するとか言ってたんじゃなかったっけ？
451: 2018/10/19(金)02:01 ID:CKxATgi+(1) AAS
>>445
それはグッドアイデア！！
452(1): 2018/10/19(金)05:52 ID:t7uJ0+jl(1) AAS
>>450
民族主義というか、日本人が白人を崇拝しているのが嫌なんじゃない？
453: 2018/10/19(金)06:05 ID:ZqRMnFyo(1) AAS
12月のビッグニュースﾏﾀﾞｰ?
3月のビッグニュースﾏﾀﾞｰ?
454: 2018/10/19(金)06:55 ID:Wissm5vZ(1) AAS
>>452
ひきこもり
455: 2018/10/19(金)07:46 ID:3/rkyN94(1) AAS
論文のレフリーにかかるギネス記録いってるだろIUTは
456: 2018/10/19(金)09:45 ID:3Db2Zrc1(1) AAS
woit
Scholze and Stix on the Mochizuki Proof
comment
>In other subjects you have experts publishing
competing papers claiming
the other person is wrong, with no resolution
coming out of this.
省11
457: 2018/10/19(金)18:35 ID:3BlwfRU6(1) AAS
外部ﾘﾝｸ:www.math.columbia.edu
458: 2018/10/19(金)19:08 ID:hujjxtSa(1/3) AAS
案の定フェセンコレポートは馬鹿にされてるね。
まあこれがまともな知能ある人の判断。
459: 2018/10/19(金)19:18 ID:azNbCQF4(1) AAS
マトモな人が正解とは限らないことを理解しようね
歴史的に数え切れないほどそうしたケースがあった
これもそうなる可能性が高い
460: 2018/10/19(金)19:25 ID:SH66PfFY(1/4) AAS
「これもそうなる可能性が高い」
なぜ？根拠なく断定？
461(1): 2018/10/19(金)19:32 ID:mv6/b+kI(1) AAS
モッチーはもう説得はあきらめて研究を進めることに全エネルギーを費やすべき！
今の人類には早すぎるから１００年後の超人類に期待すべし
ラマヌジャンに厳密な証明を要求したら人類の損失だろ
462: 2018/10/19(金)19:43 ID:SH66PfFY(2/4) AAS
ラマルジャンの研究とモッチーの研究は方向性がかなり異なるだろ。
ラマルジャンはいろんな公式を編み出しているのに対し、モッチーの研究は理論構築とそれの応用。
現状のままで潰れると、RIMSの信用低下と周辺の人への因果応報が起こる。
でも、インチキはもっとダメ。
463: 2018/10/19(金)19:58 ID:kpPS0aHj(1) AAS
ほんとIUTは神学論争の様相だな
464: 2018/10/19(金)20:17 ID:x5MPFrQ+(1/4) AAS
PS・JSレポートだけど、よく分からなくなってきた（笑）
望月が言うように「根本的な誤解・無理解」なのか、それとも深い洞察に基づいて簡潔に述べているのか？
例えば、対数テータ格子の非可換性の問題だけど（両者、有耶無耶にしたまま議論）、
そのままでは非可換なのを上手く処理（変形）して可換にしているわけだが、S・Sは可換の状態から議論を始めて「内部矛盾」に導いている
素人からすれば、都合の良いように「非可換/可換」、「forget/remember」しているように見えるんだけど・・・
ラベル付けの問題もその辺から来てるのかなあ
465: 2018/10/19(金)20:43 ID:o46nXBxx(1/2) AAS
>>461
まあ、そうだね。ショルツスティックスはもう首を突っ込まないだろうし。
彼らは３．１２が証明されていないことを指摘しただけでもう十分仕事はしたし。
望月・星・山下・フェセンコは、（それが可能であるなら）IUT理論の研究にいそしみ、新しい成果をどんどんだすといい。それが可能であるならｗ
望月の院生たちは、両者の論争を眺めて、IUT理論に研究生命を掛けるのはさすがに危険と思っているだろう。
何よりも自分が理解できないことを正しいと信じるのはあまりにも無謀すぎるから。
466: 2018/10/19(金)20:47 ID:hujjxtSa(2/3) AAS
結局、採用、出世(=利益相反)のあった人しかいないんだなあ、自称理解者って。
467: 2018/10/19(金)20:48 ID:SH66PfFY(3/4) AAS
今の状況で何よりも求められるのは、3.12 を取り巻き以外にも理解できる形にすることだろ。
そもそもフェセンコはその部分の理解者となっているのか？誠実にやってほしい。
468(2): 2018/10/19(金)21:07 ID:lSFeo0vw(1) AAS
RIMS近辺から漏れ聞こえる話だと、ショルツのレポートが稚拙な指摘の域を出ないことは、確かだそうだ。
だからここで憶測で「望月下げ」してるやつは、後で泣きを見るからちょっと批判は控えた方がいいと思うの。
469: 2018/10/19(金)21:13 ID:+c6tkhCs(1) AAS
望月下げを必死にやってるやつは人格攻撃大好きで理論自体の理解はさっぱりなやつしかいないからね
最初から勝負になってない
フィールズ賞受賞者という看板を盾にしてるだけ
470: 2018/10/19(金)21:14 ID:SH66PfFY(4/4) AAS
「確かだそうだ」なんてのも、RIMSの権威を借りた憶測だろ。
私はIUTからABCが導出されるか否かを知りたいし、正しいならきちんと記述されるべきだと考えている。この考えは「望月下げ」なのか？
こういう稚拙な擁護派こそが、結局は「望月下げ」をしていることになる。
471: 2018/10/19(金)21:24 ID:x5MPFrQ+(2/4) AAS
そんなに５ｃｈでの評価、批判が気になるのなら、事情通であることを利用し理解者にお願いしてこのスレに書き込んでもらえばいい
どうでもいいsageは無視して論文・レポートの内容に触れたレスを潰していけばいい（俺もそれを望んでいる）
好き好んで「分からない」と書いたり批判的なことを書いたりしているのではない
472(2): 2018/10/19(金)21:28 ID:hujjxtSa(3/3) AAS
>>468 これも定期的に書き込む奴いるけど、そもそもショルツスティックスのレポートは
その性格上別に精巧である必要なんてないんだよなあ。
一般論として、間違えが稚拙なら、指摘のレベルも稚拙にならざるを得ない。
473(1): 2018/10/19(金)21:43 ID:o46nXBxx(2/2) AAS
>>468
だからどうしてそれが、3.12が未証明であるという現実を正当化するんだよｗ
言っとくけどワイルズの最初の証明に対する「疑問」はとても稚拙で、
むしろワイルズ自身がその疑問をきちんと定式化した上で、弟子と協力して解決にこぎつけた。望月とは大違いだ。
まともな数学者なら自分の証明に疑問をつけられたら、その疑問のレベルがどうであろうと、冷静に我に返って、より緻密な論証をしようとするものだ。
相手の疑問のレベルが低いとわめいて証明しないですますというのは完全な負け。
474: 2018/10/19(金)21:50 ID:x5MPFrQ+(3/4) AAS
>>472
たしかに一般論としてはそうなんだけど、今回の議論をややこしくしているのは（望月が41ページもの反論を書いているのは）、
「同一視はできても本来的起源が違う対象を別のものと思うsensitiveな感覚」（山下氏）が問題になっているからだよ
各pilot objectをどう扱うかということでラベル付けの有無の問題が出てくる
要するに、PS・JSは望月の戦術を一蹴し最終的に戦略を否定し、それに対して望月はS・Sが根本的に分かってないと言う
その辺のことをS・Sは「典型的」だからダメ、望月は「新奇性を衒っている」からダメでは素人としても引っ込みがつかないよ（笑）
475: 2018/10/19(金)21:57 ID:Cjk+lJ/C(1) AAS
>>473
これ
476: 2018/10/19(金)23:15 ID:o0/NfSZS(1) AAS
sensitivityなんて数学に関係ない。一階述語で書き下すだけなんだから。
477(2): 2018/10/19(金)23:19 ID:x5MPFrQ+(4/4) AAS
望月をageたい人たちの「理論自体の理解」のほどを知りたいんだけどね（詳しい人しか語ってないから）
対数テータ格子の非可換性の問題はどう解消している？（特に対数リンク）、
なぜ、等式ではなく不等式の証明にしかならないのか？（ABC予想を証明するためという回答ではなく）
対数テータ格子で生じる不定性とは何か？
478: 2018/10/19(金)23:59 ID:VkM0SQFm(1) AAS
あんまり低レベルな質問されたら
え？そこまで説明必要？
全体をそこまで丁寧に書き下してたら分量10倍になるで？
って感じるんだろうな
別に全体をそこまでやる必要なくて聞かれたことだけ丁寧に返してたらいいのに
完璧主義すぎるのか
479: 2018/10/20(土)00:59 ID:IPDb51uc(1/6) AAS
もう最終的には、第三者が証明を論理式に翻訳して、
プログラムに検証させるしかないんじゃないかなあ。
480: 2018/10/20(土)02:26 ID:y39jx9yd(1/2) AAS
望月本人も数理論理に関して学部生レベルのミスしてたんだから、他分野の人に寛容になったらどうか？
481: 2018/10/20(土)02:42 ID:IPDb51uc(2/6) AAS
ブログ読み返してたけど、
>「有限」と言っても、可能性は数値的にはとてつもなく膨大な数のもの（＝数学用語でいうと「濃度の集合」）
という記述は数学的におかしくないか？本当に本人なのかな。
482: 2018/10/20(土)05:00 ID:otkfok3h(1) AAS
おかしいけど気持ちは分からなくもないな
巨大数の定義に順序数が使われてたりするし、そういう方向のイメージなんだろう
ただ物理的にはベッケンシュタイン境界というのがあるから、そんなに神秘的なものじゃないんだよね
どんな天才の考えも、凡人でも想像可能な長さの有限列で記述可能だ
483: 2018/10/20(土)07:12 ID:4lauqtWd(1) AAS
さすがに便所の落書き。
484: 2018/10/20(土)07:15 ID:y2LISkn2(1) AAS
IUTの功績は数学者にABC予想を攻略するモチベーションを与えた事ｗ
485: 2018/10/20(土)08:01 ID:fIj4BwzW(1/2) AAS
モチベーションを与えただろうけど、俺には手に負えない存在だ、との認識も与えただろう
486: 2018/10/20(土)09:12 ID:b7SPXrSR(1) AAS
そんなのはないだろう。
そもそも遠アーベルの方向性で解けるということに最初から懐疑的だったのが多いだろうし、
もともとabc予想自体は重要かつツールが足りないと考えられてる問題なんだから、
IUTが数学界に与えた影響はSTAPが再生医療に与えた影響と同じものでしかない。
ようするにスキャンダルだ。
487: 2018/10/20(土)10:13 ID:+LxL4w8p(1) AAS
数学崩れのおじさんやおじいさん
近年のRIMS院試にすらとおらなかったアホ
といった人たちは数学について自分がいってることも分かっていない嫌いがある
そんな連中が平日日中から深夜まで聞きかじった言葉で並べてイキってますね
楽しそうｗ
488(2): 2018/10/20(土)10:28 ID:ZiCX1VqX(1) AAS
>>472
＞一般論として、間違えが稚拙なら、指摘のレベルも稚拙にならざるを得ない。
なわけねーだろ。お前、日本語の使い方がおかしい。
間違「い」が稚拙なら、簡単に間違いを指摘できるはずだが、
それを稚拙な指摘とは言わない。簡単と稚拙は違う。
489: 2018/10/20(土)11:05 ID:k/kmdlVG(1/2) AAS
>>488
間違いを間違えって書く人たまにみかけますね
国語ができない人なんだなって思う
490(1): 2018/10/20(土)11:30 ID:R0RKiuYU(1) AAS
では国語でＩＵＴを書いてみたまえ。
491: 2018/10/20(土)11:46 ID:k/kmdlVG(2/2) AAS
>>490
> では国語でＩＵＴを書いてみたまえ。
宇宙際タイヒミューラー
違うの？w
492: 2018/10/20(土)11:47 ID:j61ULh0I(1) AAS
RIMS院試 予想 解答例
120点 IUTは自明な理論
0点 IUTは深刻な疑問点がある理論
マイナス点 IUTは 受理の前に事業がある理論
493(1): 2018/10/20(土)13:35 ID:IPDb51uc(3/6) AAS
>>488 ふーん、それじゃ、稚拙な指摘って具体的にどういう意味？
494(1): 2018/10/20(土)13:50 ID:yaPDybmU(1) AAS
＞完全性定理はシンタックスとセマンティクスの区別が難しく、不完全性定理はオブジェクトとメタの区別が難しい。
誤解の原因ってこれと関係ある？
495(1): 2018/10/20(土)14:07 ID:IPDb51uc(4/6) AAS
過去の報告みると、Gは丁寧に基礎文献から当たっていけば半年程度で読める、躓く箇所はどこにもない、と言明してるね。
ショルツスティックスもそのくらいのことはとうの昔にやっていると思うけどな。
俺には自称理解者たちはCorollary 3.12の問題箇所を理解せずに素通りして、
分かった気になってしまっているように思える。
496: 2018/10/20(土)14:40 ID:fIj4BwzW(2/2) AAS
>>495
これだけ言われて問題提起されてるのに未だに素通りだと言いたいのか？
いくらなんでも失礼だろ
部外者ですら再度読み直して検討してるくらい
ここのカキコだけでも理解してるであろうことが伝わってくる
497: 2018/10/20(土)14:42 ID:IPDb51uc(5/6) AAS
ん？君の言いたいことがよくわからん。
自称理解者たちは、一度理解しましたというのを撤回したってこと？
そんなことここで書かれてたっけ。
498: 2018/10/20(土)14:45 ID:IPDb51uc(6/6) AAS
半年程度で理解できて、躓く箇所はどこにもない のに 二年の修行が必要
少なくとも自称理解者の発言集はconsistentじゃないよね。
499(1): 2018/10/20(土)14:46 ID:dFtBtQ1B(1) AAS
騒いでいるのは外野だけ
内部では粛々と前に進んでる
お願いだから外野が騒ぎすぎてフェイクニュース的なことになるのだけはやめてくれ
無知による罪深き迷走は、時に本筋の研究を大きく阻害する
500: 2018/10/20(土)14:51 ID:Jd14cxdJ(1/2) AAS
も
501(1): 2018/10/20(土)14:54 ID:Jd14cxdJ(2/2) AAS
望月さんの側近たちは全員、ショルツの問題提起は無意味なものとかんがえている。理論を深く理解してるであろう数理解析研究所の教授、研究員全員がそういってるのだから、望月さんの方に分がありそうっておもうな。
502: 2018/10/20(土)14:58 ID:C4Yp7QEw(1) AAS
>>499
↓
>>9
503: 2018/10/20(土)15:32 ID:EM++QSBN(1) AAS
>>501
ワイルズの証明と整合性が取れていない宣言と考えていいのかな
504: 2018/10/20(土)16:28 ID:OlXU0IhP(1) AAS
遠アーベルじゃなくて遠望月しようぜ。はやく泥船から逃げるんだ。
505: 2018/10/20(土)17:56 ID:y39jx9yd(2/2) AAS
>>494
それ誰の発言？
506: 2018/10/20(土)19:12 ID:GbWM9PPN(1) AAS
>理論を深く理解してるであろう数理解析
研究所の教授
ICM総裁.RIMS森重文名誉教授がショルツへ
望月会談を提案したから、
PS.JSがサービスでRIMSへ来た。
なぜICM総裁の立場で 個別 数学問題の案件を
提案したんだろ？
省2
507: 2018/10/21(日)03:07 ID:gMgCGNfK(1) AAS
国際数学連合の監視対象です
508: 2018/10/21(日)07:31 ID:ITSkOPxX(1) AAS
相変わらず擁護派工作必死だな
509: 2018/10/21(日)07:48 ID:KodQoC6i(1) AAS
内部では粛々と前に進んでるというのは本当らしいよ
ソースは京大の知人
510: 2018/10/21(日)08:52 ID:eMURNPwa(1) AAS
粛々と前に進んでいるのは当然だろう
理はこちらにあると分かってるわけだから
511: 2018/10/21(日)09:01 ID:A6i3Fz6g(1/7) AAS
このまま話題が立ち枯れて終わりだろうね。
いまとなっては「望月の証明は欠陥があり、失敗した」
の一行で要約できる。
512: 2018/10/21(日)10:46 ID:fYbzhJII(1) AAS
>>493
＞それじゃ、稚拙な指摘って具体的にどういう意味？
幼稚で下手くそな指摘、っていう意味でしょ。
513: 2018/10/21(日)11:53 ID:W0OW/ATn(1) AAS
おまいらカスへの話題がなくなろうが何を語ろうが何を思おうが数学の進展とは関係ない
514: 2018/10/21(日)12:10 ID:JZBA3tSY(1) AAS
「粛々と前に進んでいる」って具体的に何を指すのか不明
査読者の査読が粛々と進んでいる
着々と理解者を増やしている
IUTを使った新たな応用が見つかった
あと何かある？
515: 477 2018/10/21(日)14:19 ID:EYXgOAec(1/9) AAS
誰も>>477に答えてくれないので、次に解答を書いておく（親切な人が賢者モードのようだからｗ）
これはΘ-pilot objectやq-pilot objectを作る準備段階にすぎないので、これを理解していなければ
IUTTは全く分からないし、PS・JSの指摘も望月の反論も概要すら分からないはず
516: 477 2018/10/21(日)14:21 ID:EYXgOAec(2/9) AAS
①対数テータ格子の非可換性の問題はどう解消している？（特に対数リンク）、
対数殻はそのままでは正則構造に依存しΘリンクとは結び付かないので、対数殻の無限列を考えることにより
対数リンクの非可換性を解消し、対数テータ格子を成立させることができる
②なぜ、等式ではなく不等式の証明にしかならないのか？（ABC予想を証明するためという回答ではなく）
対数殻の無限列（対数リンク）は上半両立性を満たすことしかできないので不定性を生じ、両側からの評価（等式）がで
きず、片側からの評価（不等式）しかできない
③対数テータ格子で生じる不定性とは何か？
省3
517: 2018/10/21(日)14:28 ID:EYXgOAec(3/9) AAS
望月レポートの前半でも書かれていたけど、批判や指摘というのはある意味やり易い（そう書いてしまう望月もアレだがｗ）
支持なり擁護なりするならしっかり答えなければいけない（でなければ狂信者にすぎない）
「書かれてあるだろ」とか「根本的な誤解・無理解」といって「逃げる」のではなく、論理的に合理的に納得させる必要がある
今のところ、著者も支持者も信者もまともな対応をしているとは言い難い
518(1): 2018/10/21(日)14:35 ID:EYXgOAec(4/9) AAS
俺（非専門家）から見ればだが、星の入門を読む限り、星とPS・JSのIUTT理解度はほとんど同じ
星が躓かなかった所（Cor3.12は2か所とも主論文参照とあり）でS・Sは「躓き」、主論文を根本から読み直しているように見える
つまり、望月レポートに対してS・Sは「そんなことは分かっている。それでもなお、ダメなんだ」と考えていると推測（憶測）する
519: 2018/10/21(日)14:38 ID:s14N/lVd(1/2) AAS
HやGはボンに半年でも出向してショルツを納得させるべき。
教育義務のないRImS教員にはそのくらいやる責任がある。
ましてこの状況じゃな。
520: 2018/10/21(日)14:38 ID:6VM11l9N(1/2) AAS
>>518
3.12はもっちーの論文参照とあるから星も怪しいんだろうね
521(2): 2018/10/21(日)15:02 ID:EYXgOAec(5/9) AAS
結局、PS・JSの指摘の最大の焦点はラベルj^2であり、これは単なる識別ではなく、
「テータ関数の特殊値を考える代入点のラベル」である
このラベルj^2を「大域的に適切に管理」（星）できておらず（スティックスの指摘）、
その根本原因を探っていくと同型の扱い方から見直していく必要があったのだろう
PS・JS、特にショルツが「充満多重同型(full poly-isomorphism)」やラベルの使用を頑なに拒否したのは、
この辺を明確にする目的があったからであろう
望月がS・Sの言として書いている“taste/aesthetics”（嗜好/美学）という程度ではなかったと思われる
上下前次1-新書関写板覧索設栞歴
あと 481 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s