Inter-universal geometry と ABC予想 30

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 30 (1002ﾚｽ)
上下前次 1-新

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

763: 2018/09/22(土)00:24 ID:ccaMQcqI(1/6) AAS
それよりはやっぱりアティヤ爺さんのほうが今は気になる
元気すぎだろ

764: 2018/09/22(土)00:27 ID:k39wnoHT(2/6) AAS
756に関連していうと、大坂なおみの全米OPを想起させる
USにしろEUにしろ基本アジアには脇役しか求めていなし全力でつぶしに来る。
無意味なプロパガンダとわかっていても気づいていない

765: 2018/09/22(土)00:39 ID:HwePeOKw(1/3) AAS
>>756
国際的に立派な業績は認められるのよ

京大柏原先生 2018 チャーン賞受賞
動画ﾘﾝｸ[YouTube]

766(2): 2018/09/22(土)00:43 ID:k39wnoHT(3/6) AAS
実際はっきり証明しないといけないサイドはScholze-stixのほうで、彼らの簡略化フォームで
もアルゴリズムが走ることを証明しないといけない
実際はSSの勘違いはmultiradial representationと簡略化が整合的ではなく
grothediack conjectureの適用にもひっかかるわけだ

767: 2018/09/22(土)00:53 ID:wFPHQmCk(1) AAS
炙られてボロ出し

768: 2018/09/22(土)00:59 ID:HwePeOKw(2/3) AAS
>>766
IUT論文の査読は終わったの？

769: 2018/09/22(土)01:00 ID:ccaMQcqI(2/6) AAS
>>766
4ページの反論を見て思うんだけど、彼等は来日してまで議論して
本当にこんな単純な論点がわからんのかっていうね。かなり謎だわ

770: 2018/09/22(土)01:04 ID:k39wnoHT(4/6) AAS
あとRemark５が学部レベルかというと学部かM１レベルだ
そもそも理論の出発を設定する段階でfaltingsの定理つかっちゃ意味ないだろ

771: 2018/09/22(土)01:05 ID:ccaMQcqI(3/6) AAS
あと、爺さんは間違ってると俺は思うね
爺さんの示唆するフレームでコンヌ周辺が気付かないわけがないってw
まあどっちも爺さんだが…

772(1): 2018/09/22(土)01:10 ID:3HJL1t2z(1/3) AAS
望月側の詭弁を例えると

「リーマン予想は自明でした。
間違えているというなら具体的に論理的に反証してね。」

と言うのと何も変わらんのよな。
彼らの言う「破綻を追求された論理に、論理的な反証を要求する」という一件尤もらしい詭弁は
「文句があるならお前が元の予想を解け」ってゴネるのと同じくらい無理筋なんだよね。

フェセンコのときにも言ったが、本当に何も問題がないのなら、
省2

773(1): 2018/09/22(土)01:22 ID:k39wnoHT(5/6) AAS
「一般次元のリーマン-ロッホすごいよ！　ヒルツェブルッフすごいよ　コボルディズムもつかうのかよ」

グロタン
「リーマン-ロッホの拡張自明にです。議論全部自明になります。」

勉強したことある？

774: [age] 2018/09/22(土)01:32 ID:vu2PM5I1(1/3) AAS
どうでもいいけど、査読はいつ終わるんですか？

775: 2018/09/22(土)01:32 ID:HwePeOKw(3/3) AAS
アティヤはディラックノイマン
ヒルツェブルフの仕事から
radically new approch

776(1): 2018/09/22(土)01:37 ID:ccaMQcqI(4/6) AAS
>>773
何となく言いたいことはわかるけど、それじゃ伝わらんよ
しかし本当にSSコンビがわからないのかなあ。FrobenioidとAnabelioidの世界が

777: 2018/09/22(土)01:39 ID:ccaMQcqI(5/6) AAS
どっちが正しいかという以前の奇妙な違和感がある、このやり取りには

778: 2018/09/22(土)02:26 ID:k/o5CWHW(1) AAS
>>757
タイヒミュラーがナチスだったってご存じない？

779: 2018/09/22(土)06:39 ID:ZPIT/WFI(1/4) AAS
>>776
タイヒミュラー空間とモジュライ空間は
違うんだよなあ〜

780: 2018/09/22(土)06:43 ID:P23R/bo/(1/8) AAS
足し算と掛け算の間を自在に行き来する新しい数学と、それまでの古い数学が戦ってるわけだからまあそうなる

781: 2018/09/22(土)06:49 ID:P23R/bo/(2/8) AAS
つまり
SS側が我々が理解できる従来の数学的な手法で説明せよって言ってるのに対して

こうですよって望月氏が出してる反論の内容がやはりIUTT的手法で理解できてない(もしくはその説明ではなりたたないとギャップを感じている？)

だから話は平行線で終わっちゃったと

782(1): 2018/09/22(土)06:51 ID:P23R/bo/(3/8) AAS
この分だと例のギャップの場所もやまほど補足資料出してるけど、そもそもどこにあるか知らないんじゃないかね。

しっかり最新の資料はここにありますよっていうリンク集を公式ページにつくったほうが良かったりして。

783: 2018/09/22(土)06:59 ID:ZPIT/WFI(2/4) AAS
IUTは妄想と罵倒が特徴

785: 2018/09/22(土)07:04 ID:ZPIT/WFI(3/4) AAS
>>782
望月新一氏のホームページに貼ってある、

核心部を下ネタで誤魔化した動画まであるなぁ〜

786: 2018/09/22(土)07:06 ID:ZPIT/WFI(4/4) AAS
>>784
いつまで論破された話題をループしているの？

787: 2018/09/22(土)07:08 ID:P23R/bo/(5/8) AAS
つまりは別の宇宙に対称性をもっていって変換して戻した時に抜け落ちてる情報があるのではないか？
それでIUTTを現在の数学に適用できるかがわからない

その証明のとっかかりとなるはずの3.12も現在の数学での証明がない
(ので現在の数学に適用できるかがわからないのがギャップである)

788: 2018/09/22(土)07:09 ID:iirMTYag(1) AAS
なんでgoや★のサーベイ読まなきゃいかんのよ、それ自体で完結するように書けんのか
いずれにせよショルツは望月以外にも★やgoとも話してるだろうし
でも彼らの誰も納得のいく説明を与えられない、ってのがショルツらの主張なわけで

789: 2018/09/22(土)07:21 ID:P23R/bo/(6/8) AAS
つまり取っ掛かりの部分はいきなり宇宙で使えますよ〜じゃなくて
現代の数学でわかる方法でその後の計算に必要な情報が抜け落ちてないことを証明せよってことかね。

じゃないと、これまでの数学と整合性があるかが永久にわからないから

モッチー:何度も説明したじゃん深刻な知識不足…
SS:現代数学での証明ではなくギャップがある

790: 2018/09/22(土)07:29 ID:ccaMQcqI(6/6) AAS
ショルツはそもそもまともな理論なのかも疑ってる感じだからね
例の部分以上に溝があるよ

791: 2018/09/22(土)07:32 ID:P23R/bo/(7/8) AAS
IUTTをつかって数学の計算もするわけでこのギャップを埋めなければ抜け落ちてる情報があったとすると間違った計算結果だって生まれているかもしれない

このギャップを埋めるための証明もフィールズ賞受賞者ですら理解できない。

宇宙の最初を証明するのに宇宙語を使っていたのでは証明となっていないのは自明である。

(だって宇宙語を使うと抜け落ちてる情報があるかもしれない。だから最初の導出は現代数学でわかる方法で証明せよと言っているが何度言っても納得の行く答えはもらえていない)

792: 2018/09/22(土)08:16 ID:lo6LF9pY(1/12) AAS
ABCの推測は、次に、楕円曲線に関連する2つの量の間の特定の不等式を証明するまで沸騰します。
Mochizukiの作品は、この不平等を2つのセットの量を比較するものと考えることができる、別の形に変換します。結論3.12は、Mochizukiが
この新しい不平等の証拠を提示する場所であり、真実であれば、
abcの推測を証明する。

ScholzeとStixの説明のように、
2つのセットのボリュームを
2つの異なるコピーの実数で見ることが証明され、
省13

793(1): 2018/09/22(土)08:22 ID:lo6LF9pY(2/12) AAS
望月はいろいろなことを見ている。彼の見解では、ScholzeとStixの批判は、
おそらく「慣れ親しんだ数学的対象についての新しい考え方で、不快感や不慣れの深い感覚と結びついた、議論中の数学を深く反映するための十分な時間の欠如」に由来しています。

Mochizukiのabc証明を既に懐疑的にしている数学者は、ScholzeとStixの報告がストーリーの終わりをよく考慮しているかもしれない、とKimは言った。
他の人は、自分自身のために新しい報告書を勉強したいと思っている。それは金自身が始めた活動である。
「私は自分の心をつくる前に自分自身をもっと慎重にチェックする必要性を完全に避けることはできないと思う」と彼は電子メールで書いている。

過去数年の間に、多くの数学者が、毛長の論文を理解しようとすることをあきらめてしまった。
しかし、Mochizukiや彼の信者が、ScholzeとStixの絵が単純すぎる理由（それがあると仮定して）を徹底的に説明することができれば、
省4

794: 2018/09/22(土)08:26 ID:+YDxB442(1/2) AAS
公理系に追加するしないの話になるのか

795: 2018/09/22(土)08:27 ID:/YtvZWzN(1) AAS
そんなややこしい話じゃなくて、構造的に整合的な形で場合分けをしてるんだから
問題ないし、その辺の見分けができてないんじゃないですか、というのが望月サイドの言い分
そして、この議論の優劣自体を見分けるのが難しい
問題は本当に整理して計算できているのかということ

796(1): 2018/09/22(土)08:28 ID:lo6LF9pY(3/12) AAS
つまり、3.12が正しいと証明されない限りその後の部分は読んでも無駄になってしまう可能性がある

自分たちには3.12には今のところ抜け落ちてる情報がある間違いがあるように見える

3.12が正しいとする詳細な説明を待っておるよ

って言ってるみたいね

797: 2018/09/22(土)08:36 ID:lo6LF9pY(4/12) AAS
これまで説明してるどの人の説明を読んでもその抜け落ちてる情報の問題を解決できてるようには思えないそうだ。

だからもし正しいのであればもっともっももっと詳細な説明をくれと

しかも、高名な数学者たちが読んでいて大抵詰まってしまうのが3.12のギャップ

多くの人が証明をよまず諦めてしまうように見えるのは3.12が一番大事な箇所だからであって、ここがまちがってたらその後は全て意味ナスになっちゃうからだって

798(1): 2018/09/22(土)08:45 ID:iqoTLNVm(1/4) AAS
>>772
何でおまえは>>704 >>712を無視して爆笑の詭弁をこの期に及んで延々弄するの？　字が読めないの？　

799(1): 2018/09/22(土)08:46 ID:lo6LF9pY(5/12) AAS
「議論を理解していると主張する専門家は、（非常に多くの）謎めいたままでいる専門家のいずれかに説明することに成功していない。」マシュー・エマートン

つまりこれが数学界の反応

3.12を詳細に説明できなければIUTTは終わりだし、詳細な説明(数学者にわかる情報が抜け落ちてないことの説明)をいつまでもできない側にも問題があるって問題提起にはなったのでは

ここを説明してない状態でPRIMSに載せるなんてありえんてさ

800: 2018/09/22(土)08:48 ID:iqoTLNVm(2/4) AAS
>>704の頭で「相手の勘違いの要点をわざわざ考えて」まとめているな
＞これらの誤解の本質的な要点は、 IUTeichを「単純化」するための間違った試み - 「非常に大まかには」以下のようにまとめることができる

で、「ＡとＢはどっちも０より大きい実数、ＳＳはＡ＝Ｂの場合おかしくなるというが、そもそもそうすると他の式からＡ＝Ｂ＝０、
定義に反する、意味のないことを言うなｗ」、くらいか？　そして延々４０ページの説明

キチガイ
＞問題箇所を理解させるよう努力すれば済む話なんだがな。取り巻きも含めて誰もしない、できない不思議。

801(1): 2018/09/22(土)08:55 ID:iqoTLNVm(3/4) AAS
>>799
「一般相対性理論とか何だあれ　物性物理の専門だがなかなかよくわかりましぇーん　直感的にすっと理解させてもらえなくちゃ納得いきませーん　わかりやすくやれっ！」

「相対論を理解していると主張する専門家は、（非常に多くの）謎めいたままでいる専門家のいずれかに説明することに成功していない。」
つまりこれが物理学界の反応

キリッ！

ばかまるだし

802: 2018/09/22(土)09:00 ID:lo6LF9pY(6/12) AAS
SS側の主張「3.12の手法で情報が抜け落ち不等式をコントロールできなくなっている可能性がある」

望月氏の主張「慣れ親しんだ数学的対象についての新しい考え方で、不快感や不慣れの深い感覚と結びついた、議論中の数学を深く反映するための十分な時間の欠如」に由来

十分な時間をかけて勉強してくれで終わりにされるとわからない。すくなくとも初期から論文を読んで動向を追っていても十分な時間をかけてもわからないので、わかるように従来の数学などを交えて詳細に3.12を説明してくれと。

803: 2018/09/22(土)09:03 ID:lo6LF9pY(7/12) AAS
>>801
理解できないのではなくて対称性変換で正しくないように見える箇所があるのが大きな問題

もしかしたら反論40ページ分で3.12を理解するという展開があるかもしれんが、数学界にとってはそれが必要なものであった可能性があるのかもね。

804(1): 2018/09/22(土)09:03 ID:5S7LulBK(1) AAS
ID:lo6LF9pYは数学も英語も出来ないというのは分かった

805: 2018/09/22(土)09:09 ID:iqoTLNVm(4/4) AAS
「だいたい相対論とか、当初は世界で３人、数年経った今もそのアインシュタインとやらの取り巻き１０人くらいが自称わかったとか言っているだけらしいだろ

大体一説によると、そのままだと宇宙は重力でつぶれて存在できないらしいじゃないかｗｗｗ　変な回避項目を入れても間に合わせのつぎはぎの汚い理論、そんなものが正解のわけない
相対性理論は間違っている！　相対性理論は間違っていたああっっ！　」

806: 2018/09/22(土)09:10 ID:lo6LF9pY(8/12) AAS
情報が抜け落ちる問題があるように
見える箇所の話をしてるのに

これまでは十分な勉強の欠如
で理解者たちにはねのけられてきたわけよ

で、何年たってもそこの説明をできる者は現れず

挙句の果てに証明されたよって雑誌に乗りそうになって
問題提起のためにモッチーと話にきたと

807: 2018/09/22(土)09:18 ID:lo6LF9pY(9/12) AAS
>>804
適当に翻訳機にかけただけだから

808(1): 2018/09/22(土)09:32 ID:Be74vgIy(1/2) AAS
単位があり実験に基づき証明のない物理体系は数学の証明と全く違う。
数学のこの件は望月新一の説明責任さ

809(2): 2018/09/22(土)09:53 ID:FSO74qPm(1) AAS
>>796
実際はもっと深刻だと思ったほうがいい
その部分をちゃんとするためには理論自体を見直す必要はないか、というレベル

810: 2018/09/22(土)10:50 ID:Kpwh8TCX(1/5) AAS
>>809は批判のニュアンスの話ね
実際にそこまで致命的かは別として

811: 2018/09/22(土)10:56 ID:Be74vgIy(2/2) AAS
IUT関係者以外は素人だね
やはり北白川の一部と大岡山の一部とパラパラ
特異点に限定された「定理」だな

812: 2018/09/22(土)11:16 ID:lo6LF9pY(10/12) AAS
>>809
それくらい本気で批判しないと情報の抜け落ちにたいして誰もまともな説明しようとしてこなかったから厳しい言葉つかってるんだろうなあ

813: 2018/09/22(土)11:22 ID:Efd3nMd1(1/7) AAS
望月が証明したといっている以上、証明文の提示責任があるのは望月である。
その本筋を見誤らないほうがいい。
問題部分の証明がなっていないのは明らかであり、
もはや数学者で望月が正当に証明したと考える人はいないだろう。
この期に及んで望月擁護の書き込みをする人間は、
主として文系学部卒のただの望月信者とみた。小保方信者と同様。

814(1): 2018/09/22(土)11:26 ID:BjPWk5Yv(1/5) AAS
要するに望月氏はグロタンディークではなく、強いて言えばラマヌジャンみたいだと言いたいのかな？
IUTTは現代数学ではなく、別の宇宙から来たIUTT学だと・・・

815: 2018/09/22(土)11:29 ID:Efd3nMd1(2/7) AAS
ショルツのペーパーも出たんだし、あとはマスコミのどこが
「ABC予想に誤りか」の第一報を報じるかだ。
去年１２月以来、日本語で望月に対する疑惑が語られたのはこのｽﾚだけだが、
もうそろそろ世間一般に「世界じゃ望月の証明は相手にされてないよ」という現実を知らせるべきだろう。
俺はゴッドハンド藤村をあばき、小保方に対しても最も批判的だった毎日に期待しているが。

816(1): 2018/09/22(土)11:31 ID:Efd3nMd1(3/7) AAS
>>814
ラマヌジャンの言ったことも証明ぬきが多いよね。
ラマヌジャンが言ったことで、他人が証明したら、それは他人の実績だろう。
予想だけならおまいらでもできるぞ。

817(1): 2018/09/22(土)11:41 ID:BjPWk5Yv(2/5) AAS
>>816
ああ、それ、あなたに向けて書いたものではなく、上の方で連投されたレスについて書いたものだから

ところで玉川氏も「分からないと言っている」というレスがあったんだが、これは本当なんだろうか？

818(1): 2018/09/22(土)11:41 ID:6VN7mY7m(1) AAS
ラマヌジャンは直観（論理の大幅な省略）で正しい結果を見通すことができた天才
望月証明が誤りなら、巨大な論理を駆使しながら結論では間違っていたモッチーは正反対ってことになるw

819: 2018/09/22(土)12:11 ID:Kpwh8TCX(2/5) AAS
>>818
実際はそれはグロタンディークのほうが近い気がする。構造的な直観としては
本人は形式的な証明は得意ではなく、論文は仲間が助けた部分が大きい
ラマヌジャンも確かにそうだけど、数式を通じた直観だからな
まあ結果的には保型形式を数式から捉えるというとんでもない才能だったけど

820: 2018/09/22(土)12:14 ID:E7EsPByJ(1/2) AAS
>>727
Atiyahはリーマン予想のsimple proofだよ >>701
Kedlayaも複雑怪奇なIUTを説明して

821(1): 2018/09/22(土)13:13 ID:fWfP6324(1) AAS
「もはや証明じゃない。」
これはKもそう言ってるという噂あり
しかり、それでも
「間違ってはいない。」
とKも言ってるとも

つまり、IUTはabcを「証明」してはいないが、自然とabcを導いてることは確か、というのがK及びレクチャーしてる取り巻きの意見だ

822: 2018/09/22(土)13:29 ID:BjPWk5Yv(3/5) AAS
>>821
そういうレトリックは気に入らないな
そんなことを言えば幾何化予想を証明することでポアンカレ予想を証明したペレルマンや
谷山・志村予想の系を証明することでFLTを証明したワイルズも同じことになるんだが

823: 2018/09/22(土)13:34 ID:68Ez6YH0(1) AAS
モッチーもここに入れられちゃうんだろうか？

日本は｢科学論文の捏造大国｣とみられている
外部ﾘﾝｸ:toyokeizai.net

824: 2018/09/22(土)13:35 ID:Kpwh8TCX(3/5) AAS
証明できてないが自然って、数学的にキチガイの域じゃんね

825: 2018/09/22(土)13:56 ID:HqJ6+OAB(1) AAS
相変わらず他人の見解の鵜呑みと想像だけで喋ってるなあ

826: 2018/09/22(土)14:23 ID:mcbgfne2(1) AAS
分かる人がいないからとりえず薪をくべるスレです

827: 2018/09/22(土)14:30 ID:HJVWmfUQ(1) AAS
ポイントに近づくと罵倒されるスレです

828: 2018/09/22(土)14:45 ID:Kpwh8TCX(4/5) AAS
ここでは適当なことを好き放題言ってるのが一番ですよ

829(1): 2018/09/22(土)15:02 ID:RkkMtJm9(1/2) AAS
ABC予想もリーマン予想もどうなるかわからないけど、
仮に何かが解決したとしたらフェルマー予想といいポアンカレ予想といい、ここ数年の数学の進展は歴史的に見て物凄いよね。
数学が進化したのか人類が進化したのか。

830: 2018/09/22(土)15:38 ID:mxra1FxX(1) AAS
ここ数年…？

831(1): 2018/09/22(土)16:04 ID:Kpwh8TCX(5/5) AAS
密度が違うからでしょ。まあ理論的に理由付けできたらGoogleで億稼げる問題だけど
アティヤは90%間違いに賭けるが、物理に深く関わってるから迫力ある

832: 2018/09/22(土)16:12 ID:lo6LF9pY(11/12) AAS
ネットで他の人の論文や最新の数学に触れられるようになったのはでかそうよ

833: 2018/09/22(土)16:17 ID:yBUKZrOh(1/3) AAS
世界中の論文、講演ファイル、講演動画に家からでもアクセスできるしな
わからないことがあっても必要な文献はすぐ手に入る
逆に高速で新しいことを勉強できないとあっという間に置いてけぼり

それでいて時折大きな問題にじっくり時間をかけて取り組まないといけない
今後は大変な時代だな

834: 2018/09/22(土)16:20 ID:lo6LF9pY(12/12) AAS
リッチフローとかもほとんど知られてなかった発表されたばかりの論文からペレルマンが拾ってきて応用してたんで

835: 2018/09/22(土)16:22 ID:E7EsPByJ(2/2) AAS
>>829
IUTだけ蚊帳の外

836: 2018/09/22(土)17:08 ID:Efd3nMd1(4/7) AAS
そう。今の時代、どんなに難解な証明でも、それが正しければ、
６年間も周りに理解されないなんてことはありえない。

837: 2018/09/22(土)17:19 ID:3HJL1t2z(2/3) AAS
できの悪い学生に本を読ませると、間違えてる箇所もそのまま正しいことのように発表したりする。
取り巻き勢がそのレベルじゃないといいがw

838: 2018/09/22(土)17:25 ID:gG/KZ8bU(1) AAS
Cor 3.12.は定義から従うからね。

839: 2018/09/22(土)17:47 ID:+YDxB442(2/2) AAS
>>831
99.999%くらいだな

840(1): 2018/09/22(土)18:13 ID:eXxhYtoK(1) AAS
オカルトというよりホラーになってきたような……

841: 2018/09/22(土)18:25 ID:goDr4Bj+(1) AAS
超準解析の証明は信用出来ないと聞いた

842: 2018/09/22(土)18:33 ID:BjPWk5Yv(4/5) AAS
ブンゲン氏のツイッターの英文読んだがガッカリしたよ
もうこの人どうでもいいやって感じだ

843: 2018/09/22(土)19:07 ID:Efd3nMd1(5/7) AAS
まあ実際問題として、「定義より従う」なんて証明は数学にあるはずがないんだよな
たとえばBが導かれるためには
A、A→B
が絶対必要なわけで。
参考書などで「定義より従う」などとかけばそれは初学者でもすぐわかるくらいの自明なケースだからね。

ショルツはじめ多くの数学者が同じ個所で疑問を証明している以上望月きはきちんと証明を書きおろさないといけない。
それができない以上ショルツも言う通り「ABS予想はいまだ予想である」ということになる。

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

あと 159 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.022s