1 名前:132人目の素数さん mailto:sage [2020/04/04(土) 11:33:27 ID:oy5NBzsA.net] IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 45 https://rio2016.5ch.net/test/read.cgi/math/1582883006/
4 名前:132人目の素数さん mailto:sage [2020/04/04(土) 11:35:14 ID:oceOoELU.net] >>3 の続き Inter-universal geometry と ABC予想 24 https://rio2016.5ch.net/test/read.cgi/math/1516888340 Inter-universal geometry と ABC予想 25 https://rio2016.5ch.net/test/read.cgi/math/1520299291 Inter-universal geometry と ABC予想 26 https://rio2016.5ch.net/test/read.cgi/math/1523148966 Inter-universal geometry と ABC予想 27 https://rio2016.5ch.net/test/read.cgi/math/1525616990 Inter-universal geometry と ABC予想 28 https://rio2016.5ch.net/test/read.cgi/math/1528525603 Inter-universal geometry と ABC予想 29 https://rio2016.5ch.net/test/read.cgi/math/1531344322 Inter-universal geometry と ABC予想 30 https://rio2016.5ch.net/test/read.cgi/math/1535260426 Inter-universal geometry と ABC予想 31 https://rio2016.5ch.net/test/read.cgi/math/1537711433 Inter-universal geometry と ABC予想 32 https://rio2016.5ch.net/test/read.cgi/math/1538755734 Inter-universal geometry と ABC予想 33 https://rio2016.5ch.net/test/read.cgi/math/1539459427 Inter-universal geometry と ABC予想 34 https://rio2016.5ch.net/test/read.cgi/math/1541001291 Inter-universal geometry と ABC予想 35 https://rio2016.5ch.net/test/read.cgi/math/1543778612 Inter-universal geometry と ABC予想 36 https://rio2016.5ch.net/test/read.cgi/math/1546010649 Inter-universal geometry と ABC予想 37 https://rio2016.5ch.net/test/read.cgi/math/1552141221
5 名前:132人目の素数さん [2020/04/04(土) 11:36:49 ID:oceOoELU.net] >>4 の続き Inter-universal geometry と ABC予想 38 rio2016.2ch.net/test/read.cgi/math/1556364289 Inter-universal geometry と ABC予想 39 https://rio2016.5ch.net/test/read.cgi/math/1559125072 Inter-universal geometry と ABC予想 40 https://rio2016.5ch.net/test/read.cgi/math/1562335430 Inter-universal geometry と ABC予想 41 https://rio2016.5ch.net/test/read.cgi/math/1566465253 Inter-universal geometry と ABC予想 42 https://rio2016.5ch.net/test/read.cgi/math/1572150086 Inter-universal geometry と ABC予想 43 https://rio2016.5ch.net/test/read.cgi/math/1577448802 https://rio2016.5ch.net/test/read.cgi/math/1577401302 https://rio2016.5ch.net/test/read.cgi/math/1577518389 Inter-universal geometry と ABC予想 44 https://rio2016.5ch.net/test/read.cgi/math/1579341382 https://rio2016.5ch.net/test/read.cgi/math/1579331327 Inter-universal geometry と ABC予想 45 https://rio2016.5ch.net/test/read.cgi/math/1582883006
6 名前:132人目の素数さん mailto:sage [2020/04/04(土) 12:57:49.11 ID:o9S8lGnM.net] 特別号だからいつになるやら
7 名前:132人目の素数さん mailto:sage [2020/04/04(土) 13:02:03.81 ID:vePGlEFh.net] 会見で不安になるな 本当に京大数理研は責任取れるのかな
8 名前:132人目の素数さん mailto:sage [2020/04/04(土) 13:12:00.27 ID:4gOLbjV4.net] 自分の分野(非数学)だと論文はアクセプトされてすぐwebにあがるんだけど数学はそうじゃないのか?
9 名前:132人目の素数さん [2020/04/04(土) 13:17:47.01 ID:blL9QCqE.net] 今回のマスコミ発表で、無回答だったショルツは、 ∧と∨を誤解したか、数学的に反論する必要な立場になるね。 Dupuy指摘など、IUTeich [Alien], §3.11, (iv) に反論しないと、 IUTの正否を問う毎に、初歩的な間違えをしたのでは?と、逆に揶揄され続ける。
10 名前:132人目の素数さん mailto:sage [2020/04/04(土) 13:53:03 ID:sczCJwx0.net] 本来は京都で行われる会議の後に出すつもりだったんじゃないの コロナの影響で8月だったかに延期されたから 年内に出す予定だと思うけど
11 名前:132人目の素数さん mailto:sage [2020/04/04(土) 13:54:31 ID:CQxmQuCH.net] >>8 分野ってよりは雑誌によるだろ。
12 名前:132人目の素数さん mailto:sage [2020/04/04(土) 14:16:32.92 ID:mrdH80Hf.net] 3/8に4/4アクセプト予想がたってるのでもっちの正月ブログ受けてT先生が必死こいて解読したのではないのかね
13 名前:132人目の素数さん mailto:sage [2020/04/04(土) 14:34:21.76 ID:dWcZcdvb.net] これあれだろ エイプリルフールに関係者がポロッと話したのが 翌日とかに広まってしまって収拾付かなくなったんだろ 掲載の話をした担当者は 今更エイプリルフールネタでしたとは言えずに青ざめてると思うぞ
14 名前:132人目の素数さん mailto:sage [2020/04/04(土) 14:49:15 ID:IrGDVjFC.net] ショルツと言う人を初めて知ったけど 32歳なのにとんでもない業績挙げててビビった この天才が望月教授の論文を否定的に見てる時点で小保方になりそうで怖いんだけど本当に大丈夫なのか?
15 名前:132人目の素数さん mailto:sage [2020/04/04(土) 14:54:13 ID:mrdH80Hf.net] ショルツェ教授もすごいが、もっちーだってまったく負けてないから( `Д´)/
16 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:02:53 ID:XawK0uVF.net] >>8 アクセプトされてからジャーナルのフォーマット細部をあわせなきゃいけないんだから ラグはあるだろ
17 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:03:52 ID:zOyj5mW2.net] >>14 微分・積分以来の数百年ぶりの新しい数学についていけないだけ モッチーのが格上確定してしまった
18 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:15:18 ID:G+7v5YgS.net] IUTで強いABC予想までは解けないということは、 IUTをも解体したそれこそ化物みたいな数学を 構築しないとそれを解けないということなんかな?
19 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:16:01 ID:H+59533h.net] ショルツもあちらでは数十年に一度クラスの天才と評されてるけど望月さんクラスは100年に1度だからな あ
20 名前:な論文誰にも書けんよ(アイデアとしあったとしてもね) [] [ここ壊れてます]
21 名前:132人目の素数さん [2020/04/04(土) 15:20:20 ID:QSa6vuFt.net] これの隠蓑のための上層の政治的判断かもな ttps://www3.nhk.or.jp/kansai-news/20200402/2000027401.html
22 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:27:10 ID:zOyj5mW2.net] >>18 もういちいち説明や後進の育成に時間使わなくて良くなるから、強いABC予想にもIUTで取り組めるんじゃない
23 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:32:16 ID:zOyj5mW2.net] IUTは微積分に匹敵する新規性なんだからそれこそニュートンやガロア以来の天才でしょ
24 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:36:27 ID:G92uyUx8.net] 勝った 掲載によって証明完了
25 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:37:43 ID:sczCJwx0.net] 完全に専門外の素人の、受験レベルでの知識から見ると 強いABC予想の方が縛りがきつく見えるから、いけそうな気もするんだけどな 望月教授の目的はIUTで数学の新たな地平線を切り開く事であって 既存の数学の上に立つ事は興味はそこまでないのかもしれないが 若手で野望をもった人は、すぐ強いABC予想の証明にとりかかるだろうし それが出てこないという事は、さらに解決しなきゃいけない問題があるんだろうけど
26 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:40:03 ID:sZjs6X06.net] もっちーが脱け殻になりませんように! でもしばらく休んで温泉でもいって焼き肉食いまくればいいとおもう どうせ京都も5月まで学内閉鎖レベルらしいし
27 名前:132人目の素数さん mailto:sage [2020/04/04(土) 15:57:44 ID:Spcs8p3o.net] 第三者が「論文は弱いABC予想を証明してる」と言い出さないうちは信用できない。
28 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:02:15 ID:Rx3O8pl0.net] >>14 シュルツが間違いを指摘してるからこの理論は欧米数学学会で相手にされなくなった 今回はそこは大きく修正されてないみたいだから京大にとっては小保方級の失態になる可能性もあるよ
29 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:04:58 ID:CQxmQuCH.net] Dupuy and HILADOとDupuy and Joshiが出て、それが本当にアメリカの連中が 読めるものかどうかで今後の流れがきまる。 出るのに1年、アメリカの連中が読むのに1年、向こうの風向きが変わるのに2年必要。 しかも、うまくいったとしての話。
30 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:10:41.98 ID:59HFrgxs.net] あー望月教授が否定される理由が分かった タイヒミュラーの名前がナチスを連想するからか 世紀のABC予想証明にナチスの功績みたいになるのを阻止したいのね ドイツらしいな
31 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:18:44.39 ID:C6VVrpTo.net] タイヒミュラー空間とか望月関係なく昔からあるんですがそれは……
32 名前:132人目の素数さん [2020/04/04(土) 16:19:10.45 ID:TcPLQ4oE.net] あの口ぶりだと、 ショルツは絶対に1週間前の加筆修正読んでないね。 彼の中では既に決着が着いた問題として 関心を失っているのだろう。
33 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:24:34 ID:JAltDp7y.net] 今年大きな集会が四つ予定されててそこでその他研究者の評価も出るだろうと思ったけどこの騒動だからな
34 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:28:05 ID:mbv9hr8e.net] Max Lieblich@algeom 13時間 Didn't Scholze and Stix show that the Corollary in question is wrong? Taylor Dupuy@DupuyTaylor They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time. There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here. https://twitter.com/DupuyTaylor/status/1246142127538614272 (deleted an unsolicited ad)
35 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:30:25 ID:mbv9hr8e.net] なぜ専門家でもない人より専門家に近い人の意見を信じないのかわからない。
36 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:40:08 ID:fwEIyINB.net] 数学ってやっぱすごいな 俺の分野だと嘘論文が量産されとるわ 査読が通って掲載されることと事実であることが全く乖離しとる
37 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:47:34 ID:dx5T0055.net] >>33 自動翻訳 ScholzeとStixは、問題のCorollaryが間違っていることを示したのでは? テイラー・デュピュイ@DupuyTaylor 彼らはしなかった。 彼らの主張は本当に本当に初歩的なものです。 A !=BとA=Bが同時に成立するというようなものです。 他にも論点はありますが、フィールズ受賞者の言が必要なものではありません。ここでは権威へのアピールが多いですね。
38 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:48:45 ID:3A0p3doi.net] >>31 その加筆で認識がガラリと変わるとは思えないけど 前にも書いたがあのブログの解説部分も論争の要点であって、反論レポートの内容の単純化でしかない 基本的に、読み込んでその当該部分の認識に必要な装置をちゃんと理解して、組み立てでつまづいてるわけね ショルツは。普通の数学の感覚だとそれってちょっと珍しいから、深刻なギャップが双方にあるわけ まあDupuyが東海岸の近所のプール学院に駆り出されるのは間違いないから、そこで認識が変わるかどうかだな
39 名前:132人目の素数さん [2020/04/04(土) 16:49:04 ID:pkKFZsSO.net] テータ関数のモジュラー形式に現れる6つの項を 意味のある不変量として定義した上で、それらを3x3に分けて内積を取る そして現れるSU(3) この内の随伴表現の8成分を抜き出して新たに定義する これがlogテータ格子って感じに見える まるでクォークとグルーオンのよう
40 名前:132人目の素数さん mailto:sage [2020/04/04(土) 16:54:56 ID:sczCJwx0.net] とりあえず、RIMSで開催されるワークショップが終わるまでは 国際的な情勢は基本的には変わらなさそうな感じだね
41 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:02:47 ID:seXEedra.net] >>15 ひとみん嬉し泣き&悲し泣きが1度に来て混乱してそう… 願いが叶ったらもっち様は月の都の人に… ますます遠くなっちゃったね… ひとみんが可哀想だょー…
42 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:16:08 ID:2XEOvoyh.net] いろいろあるにしても まさか小保方と比較される日が来ようとは 大きく育ったな
43 名前:132人目の素数さん [2020/04/04(土) 17:23:47 ID:3A0p3doi.net] Goが悪いんだよ 初っぱなから見た目が胡散臭すぎた
44 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:25:30 ID:pPsYRwyp.net] Meu Gato @meu_gato If Mochizuki wanted acceptance of the paper to be taken seriously, it should have gone to Annals, JAMS, not PRIMS. If he can't explain why Cor 3.12 is correct, maybe he should let Hoshi, Yamashita, Fesenko, (you?) try. Else they should not claim they understand. Taylor Dupuy @DupuyTaylor No I totally agree. This is shady AF. Especially in Japan with all the deference to authority. It was a mistake for them even to consider it. Meu Goto 望月氏は論文のアクセプトを真剣に受け止めてほしかったのであれば、PRIMSではなくAnnalsやJAMSに行くべきでした。 もし彼が何故Cor3.12が正しいのかを説明できないのであれば、星、山下、フェセンコ、(あなた?)が挑戦するよう導くべきでしょう。 そうでないなら彼等は理解していると主張するべきではありません。 Taylor Dupuy (主張するべきではない、という否定形に対するno) いや、全く同意です。 これはめちゃくちゃ怪しいですよね。 特に日本では権威へのこだわりが強いですからね。 彼らにとってはそんなことを考えることさえ間違いでしたよ。 こういうことよな
45 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:28:07 ID:oceOoELU.net] >2月にアクセプトされてるのにまた改稿してるの? >マジで前回の延長戦やるつもりなのか。 出版する際の微調整とかじゃない? 餅がアクセプト済み論文を改稿する時はCommentsって文章をHP上に公表してるよね www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
46 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:38:48 ID:eet5JUza.net] ゴールポスト動かし親方って事ね
47 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:44:37 ID:pPsYRwyp.net] 要するにDupuyによれば、SSレポートは補題3.12が「間違っていることを証明する」には全く至っていないが、 結局それ以前に補題3.12が意味不明だから説明できない限り証明したとは思われないし、修正版が出るまで待つしかないってことだな
48 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:49:26.31 ID:up5lkRJ+.net] 3.12が意味不明なんて言ってないよ
49 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:55:59.35 ID:pPsYRwyp.net] >>47 Cor3.12に関するMeu Gotoの意見に完全に同意ですと言ってるね
50 名前:132人目の素数さん mailto:sage [2020/04/04(土) 17:56:34.87 ID:3A0p3doi.net] 正しいとしても、ショルツが意趣変えの表面をしなけりゃ三年は変わらないだろうな 大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、 現実はさすがにそこまで低レベルではないし、普通に理解されてないだけ
51 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:03:17.20 ID:up5lkRJ+.net] GOTOは3.12の説明を本人ができないなら周りの人に説明させるべきだと言ってるが、DUPUYは前の方で説明責任は果たしていると言っている。 DUPUYが賛同してるのは身内が査読した部分だけだろ。
52 名前:132人目の素数さん [2020/04/04(土) 18:08:53.53 ID:CQxmQuCH.net] もっちーは単に自分のところの雑誌に乗せたいってだけだろ Gotoの雑誌に関する権威主義逆に何なんって思うけどな ワイルズもドリーニュも自分のところの雑誌に出しているっつーの
53 名前:132人目の素数さん [2020/04/04(土) 18:13:25.73 ID:K5yZQ4IA.net] AnnalsやJAMSに行くべきにたいして Dupuyは権威がどうとか言ってるから 皮肉で言ってるんじゃないかってくらいに矛盾してるな 英語難しいわ
54 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:15:07.88 ID:JAltDp7y.net] お墨付きを得たんだからどんどん議論が出てくればいいんだよ 正誤の判断はその先にしかない
55 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:17:12.22 ID:3A0p3doi.net] 雑誌の話じゃなくて単に講義しろで済む話 で、それはDupuyがやるだろう
56 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:19:03 ID:CTVUpSZE.net] 数学で「お墨付き」って意味あるの? ペレルマンの論文はインターネットで公表されただけじゃん お墨付きなんてなくても、”みんな”が認めりゃいいんだろ?
57 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:21:06 ID:/AQd+f0G.net] ある人が架空のabcdef予想から定義と公理作って理論体系作って証明したとする すると形式的にはその証明は正しいけど、そうなると数学界に受けいられる受け入れられないの判別基準ってどうなんだろうね。 これこれの理論体系の基で、、証明して下さらないと受付ませんよーってなるのかな? いやこれは記号と多くの人にコンセンサスがある推論規則使ってるんだから「数学」だ、だから認めないとおかしいって終わりのないバトルになりそう。
58 名前:132人目の素数さん [2020/04/04(土) 18:22:03 ID:CTVUpSZE.net] >>54 >Dupuyがやるだろう ところでFesenkoって人は何もせんかったの? 理解したんだろ?
59 名前:132人目の素数さん [2020/04/04(土) 18:22:50 ID:21FY0DYB.net] >もし彼が何故Cor3.12が正しいのかを説明できないのであれば、星、山下、フェセンコ、(あなた?)が挑戦するよう導くべきでしょう。 ほんまそれ その部分の外部向けの補完というだけで業績になるのに 誰もしない時点で理論ではなく権威に追従してるように見られても仕方ない
60 名前:132人目の素数さん [2020/04/04(土) 18:24:53 ID:CTVUpSZE.net] >>56 非ユークリッド幾何がどうやって認められたか、調べてみればいいんじゃないか?
61 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:28:57 ID:oEv2ickP.net] >>58 証明 じゃなくて 自然 なんだよ、ありのまま 星がサーベイで何回もいってるし、文元もツイッターでそういってる だから、いわゆる「証明」できない ってかIUT自体「証明ですらない」
62 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:31:05 ID:Gqk3vTF+.net] なんだよそれ宗教か?
63 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:31:58 ID:zDw/U7c4.net] 餅Tさんが副所長じゃなくなってるな もっちーもまた、論文修正してる おつかれさま
64 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:38:28 ID:Gqk3vTF+.net] 冷静に考えてフィールズ賞受賞者が全く理解できないのに なぜ特に目立った業績のない弟子は理解できるんだ?
65 名前:132人目の素数さん [2020/04/04(土) 18:51:15 ID:blL9QCqE.net] 初歩的なところで間違えたから、躓いてると、モッチーが言っている。 また報道では、複数の査読者と、RIMSの編集者が、再査読で2年かけて 問題がないと判断したから、業績のない弟子達ではないよ。
66 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:55:57 ID:eErpwMFB.net] 100歩譲って弟子は理解できたとして 8年間も経って1つもIUT絡みの別の新発見がないというのが微妙 機密保持契約でも結んでいるのか?
67 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:56:01 ID:3A0p3doi.net] >>57 身内のセミナー仕切っただけ 今のところIUTをちゃんと公的に解説した功績はDupuyとJoshiが候補なだけで皆無だよ でも、ある程度内容を把握してる人は身内以外にも何人かいるので、機会があれば出てくる可能性もある
68 名前:132人目の素数さん mailto:sage [2020/04/04(土) 18:59:06 ID:3A0p3doi.net] >>63 ショルツばかり出すのもおかしい。ケドラヤも完全なコミットを留保していた実力者の一人だし、 表に出てないだけで十分納得できなかった一流も他にいるよ。しかし、全否定してる人はショルツくらいしか 俺は知らない
69 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:01:59 ID:Tf7dK2fY.net] >>641 じゃあ認めてないショルツ以外の数学者も同じく初歩的なところを間違えてるのか?
70 名前:132人目の素数さん [2020/04/04(土) 19:02:37 ID:TZBCeAcH.net] Cor3.12が理解できないのなら理解できるようにわかりやすく 解説した論文のようなものを書けばいいのに なぜしないのかな 600ページの難しい論文を猿でもわかる簡単な論文に書き直すとか しろ
71 名前:132人目の素数さん [2020/04/04(土) 19:05:06 ID:o9ywveI7.net] 最初っからこの件で良く分からないのは、数学ってそんなに分かりにくい学問だったっけかってことなんだよな ステップごとには論理式で書けるような内容であるはずで、長いっても1000ページ切ってるんだろ ある程度素養のある人が眺めてみて何が本質的なアイデアか全くわからないなんてことがあり得るのかね?
72 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:05:59 ID:eErpwMFB.net] 本人に無理なら 弟子が代わりにショルツの反論に説明を加えればいいじゃん 身内の査読者も理解できたならそれが可能なはずでしょう Cor3.12に関して本人以外の身内によるコメントってないの?
73 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:07:39 ID:jmBI9k02.net] full poly-isomorphism なんて存在していいの? こんなもの認めていいのかい?
74 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:08:01 ID:zDw/U7c4.net] ありえるらしい 現代数学は細分化されて高度化されてるため、その筋の専門家しか理解できないことも多々あるらしい その筋の専門家でさえ理解できないかもしれないらしい
75 名前:132人目の素数さん [2020/04/04(土) 19:08:32 ID:vePGlEFh.net] 何か怖くなってきた ショルツもタオも初歩的なところで躓いて堆肥村理論を理解できないのに 弟子の星君は完全に理解できると公言してるんでしょ?
76 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:08:52 ID:JoR/sPSp.net] その前に問題になっている部分の説明がないじゃん。
77 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:13:38 ID:/AQd+f0G.net] 400年の難問、「ケプラー予想の証明」やっと100%終わる https://www.gizmodo.jp/2014/08/post_15285.html こういう方法もある、参考まで
78 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:14:09 ID:3A0p3doi.net] 系312って話になってるけど、要はその背景なんだよね 「SSと同じような箇所が理解できない」ことと、「過度な単純化として望月サイドから批判されているSSと 同じ批判論拠を持っている」ことは必ずしも同じ ではないことに注意しなければならない
79 名前:132人目の素数さん [2020/04/04(土) 19:18:15 ID:HG+xQcER.net] >>73 そんなの半世紀まえからどんな分野でも言われてるよ。 もちろん、本当に本当のその分野の専門家でなければ片手間でしかよまないだろうし。
80 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:18:30 ID:o9ywveI7.net] >>72 そこは当初から言われてるよな どんなに複雑でも本質的なアイデアは圏論ぐらいで焼き直せるはずだと
81 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:26:02 ID:zOyj5mW2.net] IUTの根幹が足し算と掛け算の複雑な絡み合いを整理してわかりやすく表示してる装置みたいなものだから証明もクソもないんだっけか
82 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:35:10 ID:zOyj5mW2.net] Dupuyは説明してくれれば楽だったよって思ってるんでないかね 結局モッチーとその弟子がいつまで経ってもやらんから、Dupuyが既存の数学で馴染みやすいわかりやすい記号で書いてショートペーパー発表したわけだし それをモッチーとその弟子がやってればもっと早く決着してたしおれら時間めちゃくちゃ使わんで良かったと思ってそう
83 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:43:04 ID:zOyj5mW2.net] SSの指摘自体は単純なものでそれは誤解に基づくものと思っている しかしそれとは別にモッチーが3.12に対する指摘はただの誤解だし説明する必要はないっていう姿勢に大しては否定的なんだろよ (その姿勢で弟子たちはモッチーの権威に従って説明しませんって口をつぐんでしまったので)
84 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:46:54 ID:XONTJcLP.net] つまりもっちーの勝ちなの?
85 名前:132人目の素数さん mailto:sage [2020/04/04(土) 19:49:12 ID:zOyj5mW2.net] もっちーの大勝利だよ
86 名前:132人目の素数さん [2020/04/04(土) 19:51:23 ID:blL9QCqE.net] >>68 >冷静に考えてフィールズ賞受賞者が全く理解できない これはSSのレポートのことですよね。それは初歩的な誤解の指摘がありますが。 複数の査読者とRIMSの専門分野の教授が理解でき、SSレポートの指摘は 論文の問題ないと判断したのであれば、SSは雑誌掲載の判断までの経緯を聞いて、 具体的に反論しないといけませんね。 これはフレンケルも言ってますね。 >認めてないショルツ以外の数学者 レポートなど具体的な間違えの提起が続けば、査読を終えないでしょうから、 SS以外で、論文の具体的な間違えを指摘している、数学者ではないですよね。 論文が理解できないとの意見は、論文の間違えの指摘ではなく、専門誌の不掲載に なる理由と違うでは。
87 名前:132人目の素数さん [2020/04/04(土) 20:00:17 ID:qqVllLrZ.net] >>85 少数の身内以外に理解不能なのは、不掲載の理由になるでしょ。
88 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:02:05 ID:o9ywveI7.net] 単純化しすぎていて初歩的な誤解に基づくっていう意見あるけど ショルツのペーパー見る限り、こういう風に単純化するとこんな矛盾が出てくるんだけど IUTはこの点をどういう風に解決してるのか説明してくれないか? ってことが聞きたかったんじゃね それに対して自明だ、論文読めばわかるって突っぱねたらそりゃ相手してもらえないだろ
89 名前:132人目の素数さん [2020/04/04(土) 20:10:06 ID:QV18ltbz.net] まわりにお菓子配りまくって、身内だけに認められて、本人が嬉しいなら、それでいいんじゃないの?
90 名前:132人目の素数さん [2020/04/04(土) 20:15:11.54 ID:DZ3hypNA.net] 敢えて裸の王様にチャレンジするって面白いと思うの
91 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:35:30.85 ID:XcdjS177.net] >>76 そっちは機械的証明なので 基礎理論を一から作るIUTに適用するなら 10年では済まない
92 名前:132人目の素数さん [2020/04/04(土) 20:36:38.80 ID:eErpwMFB.net] 弟子やら数理研やらも巻き込んでるから裸の王様では済まない 証明の欠陥が修正されていなかったら京大数理研全体が裸の王族になる
93 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:37:28.87 ID:XcdjS177.net] >>63-64 「特に目立った業績のない弟子」ばかりだから 信用されなかったというのはあるよな。。。 お笑いだけの人もいるし
94 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:38:55.64 ID:XcdjS177.net] >>91 まあそのために柏原引っ張ってきたんだろうしな 玉川だけでは近すぎて信用されない 65歳以下の現役でできなかったのは残念としか
95 名前:132人目の素数さん [2020/04/04(土) 20:40:47.67 ID:21FY0DYB.net] >>76 >ヘールズ教授自らが証明支援ツールで形式的証明を目指す「Flyspeckプロジェクト」を発表 >ヘールズ教授自ら ← ここ重要ね そもそも難解な論文というだけで 論理の飛躍が指摘された訳ではないから事情が違うよ
96 名前:132人目の素数さん [2020/04/04(土) 20:45:56.42 ID:G8ZGJQ8W.net] ********* 大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、 現実はさすがにそこまで低レベルではないし ********** 数学者の世界はあんがいそんなもんだよw おれのまわりもそう
97 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:49:31.90 ID:oEv2ickP.net] そうそうオレの周りもそう フィールズメダリストの肩書きはデカいらしい 情けない数学者たちよ 理解者らはカンカンだよ、ショルツのせいでとんでもない風評被害を受けたってね
98 名前:132人目の素数さん [2020/04/04(土) 20:50:46.36 ID:3A0p3doi.net] >>87 賢いわ。全くその通りだ
99 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:53:07.49 ID:1pkLE+3X.net] ショルツェおしりぺんぺん
100 名前:132人目の素数さん [2020/04/04(土) 20:55:37.54 ID:3A0p3doi.net] >>95 >>96 そりゃケースバイケースだろ。読んでない場合はそうなるのがむしろ普通だろな
101 名前:132人目の素数さん mailto:sage [2020/04/04(土) 20:57:51.31 ID:dYyS2Fty.net] ブログにあった黒幕に対抗するために柏原さんを引っ張り出してきたんでしょう これを受けてショルツはどうするかだね
102 名前:132人目の素数さん [2020/04/04(土) 20:58:31.72 ID:fQZCog0l.net] すいませんど素人なんですが質問させてください ニュース見て「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」を衝動買いしたんですが、 望月先生の理論は日本初のパラダイムなでしょうか? それとも小保方先生的なリスク はあるんでしょうか?
103 名前:132人目の素数さん [2020/04/04(土) 21:03:32.08 ID:qRYCuq0Q.net] >>56 公理系から正しく導かれたのなら、そのことについて異論はないだろうよ。 望月の場合は証明に穴があるのだから認められないわけで。 新概念とかそういうの関係ない。
104 名前:132人目の素数さん mailto:sage [2020/04/04(土) 21:04:08.30 ID:LTI26x5p.net] >>101 リスクはあるが小保方的リスクは無い