20/04/04 11:33:27 oy5NBzsA.net
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 45
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
20/04/04 11:34:12 oceOoELU.net
前スレ一覧
ABC予想が解かれたかもしれんぞ！
URLﾘﾝｸ(uni.2ch.sc)
ABC予想が解かれたかもしれんぞ！ Part2
URLﾘﾝｸ(uni.2ch.sc)
ABC予想が解かれたかもしれんぞ！ Part3
URLﾘﾝｸ(uni.2ch.sc)
Inter-universal geometry と ABC予想
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 2
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 4
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 5
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 6
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 7
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 8
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 9
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 10
ｽﾚﾘﾝｸ(math板)
3:１３２人目の素数さん
20/04/04 11:34:45 oceOoELU.net
>>2 の続き
Inter-universal geometry と ABC予想 11
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 12
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 13
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 14
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 15
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 16
URLﾘﾝｸ(rio2016.2ch.sc)
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 17
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 18
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 19
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 20
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 21
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 22
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 23
URLﾘﾝｸ(rio2016.2ch.sc)
4:１３２人目の素数さん
20/04/04 11:35:14 oceOoELU.net
>>3 の続き
Inter-universal geometry と ABC予想 24
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 25
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 26
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 27
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 28
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 29
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 30
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 31
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 32
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 33
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 34
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 35
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 36
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 37
URLﾘﾝｸ(rio2016.2ch.sc)
5:１３２人目の素数さん
20/04/04 11:36:49 oceOoELU.net
>>4 の続き
Inter-universal geometry と ABC予想 38
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 39
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 40
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 41
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 42
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 43
URLﾘﾝｸ(rio2016.2ch.sc)
URLﾘﾝｸ(rio2016.2ch.sc)
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 44
URLﾘﾝｸ(rio2016.2ch.sc)
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 45
URLﾘﾝｸ(rio2016.2ch.sc)
6:１３２人目の素数さん
20/04/04 12:57:49.11 o9S8lGnM.net
特別号だからいつになるやら
7:１３２人目の素数さん
20/04/04 13:02:03.81 vePGlEFh.net
会見で不安になるな
本当に京大数理研は責任取れるのかな
8:１３２人目の素数さん
20/04/04 13:12:00.27 4gOLbjV4.net
自分の分野(非数学)だと論文はアクセプトされてすぐwebにあがるんだけど数学はそうじゃないのか？
9:１３２人目の素数さん
20/04/04 13:17:47.01 blL9QCqE.net
今回のマスコミ発表で、無回答だったショルツは、
∧と∨を誤解したか、数学的に反論する必要な立場になるね。
Dupuy指摘など、IUTeich [Alien]， §3.11， (iv) に反論しないと、
IUTの正否を問う毎に、初歩的な間違えをしたのでは？と、逆に揶揄され続ける。
10:１３２人目の素数さん
20/04/04 13:53:03 sczCJwx0.net
本来は京都で行われる会議の後に出すつもりだったんじゃないの
コロナの影響で８月だったかに延期されたから
年内に出す予定だと思うけど
11:１３２人目の素数さん
20/04/04 13:54:31 CQxmQuCH.net
>>8
分野ってよりは雑誌によるだろ。
12:１３２人目の素数さん
20/04/04 14:16:32.92 mrdH80Hf.net
3/8に4/4アクセプト予想がたってるのでもっちの正月ブログ受けてT先生が必死こいて解読したのではないのかね
13:１３２人目の素数さん
20/04/04 14:34:21.76 dWcZcdvb.net
これあれだろ
エイプリルフールに関係者がポロッと話したのが
翌日とかに広まってしまって収拾付かなくなったんだろ
掲載の話をした担当者は
今更エイプリルフールネタでしたとは言えずに青ざめてると思うぞ
14:１３２人目の素数さん
20/04/04 14:49:15 IrGDVjFC.net
ショルツと言う人を初めて知ったけど
32歳なのにとんでもない業績挙げててビビった
この天才が望月教授の論文を否定的に見てる時点で小保方になりそうで怖いんだけど本当に大丈夫なのか？
15:１３２人目の素数さん
20/04/04 14:54:13 mrdH80Hf.net
ショルツェ教授もすごいが、もっちーだってまったく負けてないから( ｀Д´)/
16:１３２人目の素数さん
20/04/04 15:02:53 XawK0uVF.net
>>8
アクセプトされてからジャーナルのフォーマット細部をあわせなきゃいけないんだから
ラグはあるだろ
17:１３２人目の素数さん
20/04/04 15:03:52 zOyj5mW2.net
>>14
微分・積分以来の数百年ぶりの新しい数学についていけないだけ
モッチーのが格上確定してしまった
18:１３２人目の素数さん
20/04/04 15:15:18 G+7v5YgS.net
IUTで強いABC予想までは解けないということは、
IUTをも解体したそれこそ化物みたいな数学を
構築しないとそれを解けないということなんかな？
19:１３２人目の素数さん
20/04/04 15:16:01 H+59533h.net
ショルツもあちらでは数十年に一度クラスの天才と評されてるけど望月さんクラスは100年に1度だからな
あ�
20:ﾈ論文誰にも書けんよ(アイデアとしあったとしてもね)
21:１３２人目の素数さん
20/04/04 15:20:20 QSa6vuFt.net
これの隠蓑のための上層の政治的判断かもな
URLﾘﾝｸ(www3.nhk.or.jp)
22:１３２人目の素数さん
20/04/04 15:27:10 zOyj5mW2.net
>>18
もういちいち説明や後進の育成に時間使わなくて良くなるから、強いABC予想にもIUTで取り組めるんじゃない
23:１３２人目の素数さん
20/04/04 15:32:16 zOyj5mW2.net
IUTは微積分に匹敵する新規性なんだからそれこそニュートンやガロア以来の天才でしょ
24:１３２人目の素数さん
20/04/04 15:36:27 G92uyUx8.net
勝った
掲載によって証明完了
25:１３２人目の素数さん
20/04/04 15:37:43 sczCJwx0.net
完全に専門外の素人の、受験レベルでの知識から見ると
強いABC予想の方が縛りがきつく見えるから、いけそうな気もするんだけどな
望月教授の目的はIUTで数学の新たな地平線を切り開く事であって
既存の数学の上に立つ事は興味はそこまでないのかもしれないが
若手で野望をもった人は、すぐ強いABC予想の証明にとりかかるだろうし
それが出てこないという事は、さらに解決しなきゃいけない問題があるんだろうけど
26:１３２人目の素数さん
20/04/04 15:40:03 sZjs6X06.net
もっちーが脱け殻になりませんように！
でもしばらく休んで温泉でもいって焼き肉食いまくればいいとおもう
どうせ京都も5月まで学内閉鎖レベルらしいし
27:１３２人目の素数さん
20/04/04 15:57:44 Spcs8p3o.net
第三者が「論文は弱いABC予想を証明してる」と言い出さないうちは信用できない。
28:１３２人目の素数さん
20/04/04 16:02:15 Rx3O8pl0.net
>>14
シュルツが間違いを指摘してるからこの理論は欧米数学学会で相手にされなくなった
今回はそこは大きく修正されてないみたいだから京大にとっては小保方級の失態になる可能性もあるよ
29:１３２人目の素数さん
20/04/04 16:04:58 CQxmQuCH.net
Dupuy and HILADOとDupuy and Joshiが出て、それが本当にアメリカの連中が
読めるものかどうかで今後の流れがきまる。
出るのに1年、アメリカの連中が読むのに1年、向こうの風向きが変わるのに2年必要。
しかも、うまくいったとしての話。
30:１３２人目の素数さん
20/04/04 16:10:41.98 59HFrgxs.net
あー望月教授が否定される理由が分かった
タイヒミュラーの名前がナチスを連想するからか
世紀のABC予想証明にナチスの功績みたいになるのを阻止したいのね
ドイツらしいな
31:１３２人目の素数さん
20/04/04 16:18:44.39 C6VVrpTo.net
タイヒミュラー空間とか望月関係なく昔からあるんですがそれは……
32:１３２人目の素数さん
20/04/04 16:19:10.45 TcPLQ4oE.net
あの口ぶりだと、
ショルツは絶対に1週間前の加筆修正読んでないね。
彼の中では既に決着が着いた問題として
関心を失っているのだろう。
33:１３２人目の素数さん
20/04/04 16:24:34 JAltDp7y.net
今年大きな集会が四つ予定されててそこでその他研究者の評価も出るだろうと思ったけどこの騒動だからな
34:１３２人目の素数さん
20/04/04 16:28:05 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.
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
35:１３２人目の素数さん
20/04/04 16:30:25 mbv9hr8e.net
なぜ専門家でもない人より専門家に近い人の意見を信じないのかわからない。
36:１３２人目の素数さん
20/04/04 16:40:08 fwEIyINB.net
数学ってやっぱすごいな
俺の分野だと嘘論文が量産されとるわ
査読が通って掲載されることと事実であることが全く乖離しとる
37:１３２人目の素数さん
20/04/04 16:47:34 dx5T0055.net
>>33
自動翻訳
ScholzeとStixは、問題のCorollaryが間違っていることを示したのでは？
テイラー・デュピュイ@DupuyTaylor
彼らはしなかった。 彼らの主張は本当に本当に初歩的なものです。 A !=BとA=Bが同時に成立するというようなものです。
他にも論点はありますが、フィールズ受賞者の言が必要なものではありません。ここでは権威へのアピールが多いですね。
38:１３２人目の素数さん
20/04/04 16:48:45 3A0p3doi.net
>>31
その加筆で認識がガラリと変わるとは思えないけど
前にも書いたがあのブログの解説部分も論争の要点であって、反論レポートの内容の単純化でしかない
基本的に、読み込んでその当該部分の認識に必要な装置をちゃんと理解して、組み立てでつまづいてるわけね
ショルツは。普通の数学の感覚だとそれってちょっと珍しいから、深刻なギャップが双方にあるわけ
まあDupuyが東海岸の近所のプール学院に駆り出されるのは間違いないから、そこで認識が変わるかどうかだな
39:１３２人目の素数さん
20/04/04 16:49:04 pkKFZsSO.net
テータ関数のモジュラー形式に現れる6つの項を
意味のある不変量として定義した上で、それらを3x3に分けて内積を取る
そして現れるSU(3)
この内の随伴表現の8成分を抜き出して新たに定義する
これがlogテータ格子って感じに見える
まるでクォークとグルーオンのよう
40:１３２人目の素数さん
20/04/04 16:54:56 sczCJwx0.net
とりあえず、RIMSで開催されるワークショップが終わるまでは
国際的な情勢は基本的には変わらなさそうな感じだね
41:１３２人目の素数さん
20/04/04 17:02:47 seXEedra.net
>>15
ひとみん嬉し泣き＆悲し泣きが１度に来て混乱してそう…
願いが叶ったらもっち様は月の都の人に…
ますます遠くなっちゃったね…
ひとみんが可哀想だょー…
42:１３２人目の素数さん
20/04/04 17:16:08 2XEOvoyh.net
いろいろあるにしても
まさか小保方と比較される日が来ようとは
大きく育ったな
43:１３２人目の素数さん
20/04/04 17:23:47 3A0p3doi.net
Goが悪いんだよ
初っぱなから見た目が胡散臭すぎた
44:１３２人目の素数さん
20/04/04 17:25:30 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:１３２人目の素数さん
20/04/04 17:28:07 oceOoELU.net
＞2月にアクセプトされてるのにまた改稿してるの？
＞マジで前回の延長戦やるつもりなのか。
出版する際の微調整とかじゃない？
餅がアクセプト済み論文を改稿する時はCommentsって文章をHP上に公表してるよね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
46:１３２人目の素数さん
20/04/04 17:38:48 eet5JUza.net
ゴールポスト動かし親方って事ね
47:１３２人目の素数さん
20/04/04 17:44:37 pPsYRwyp.net
要するにDupuyによれば、SSレポートは補題3.12が「間違っていることを証明する」には全く至っていないが、
結局それ以前に補題3.12が意味不明だから説明できない限り証明したとは思われないし、修正版が出るまで待つしかないってことだな
48:１３２人目の素数さん
20/04/04 17:49:26.31 up5lkRJ+.net
3.12が意味不明なんて言ってないよ
49:１３２人目の素数さん
20/04/04 17:55:59.35 pPsYRwyp.net
>>47
Cor3.12に関するMeu Gotoの意見に完全に同意ですと言ってるね
50:１３２人目の素数さん
20/04/04 17:56:34.87 3A0p3doi.net
正しいとしても、ショルツが意趣変えの表面をしなけりゃ三年は変わらないだろうな
大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、
現実はさすがにそこまで低レベルではないし、普通に理解されてないだけ
51:１３２人目の素数さん
20/04/04 18:03:17.20 up5lkRJ+.net
GOTOは3.12の説明を本人ができないなら周りの人に説明させるべきだと言ってるが、DUPUYは前の方で説明責任は果たしていると言っている。
DUPUYが賛同してるのは身内が査読した部分だけだろ。
52:１３２人目の素数さん
20/04/04 18:08:53.53 CQxmQuCH.net
もっちーは単に自分のところの雑誌に乗せたいってだけだろ
Gotoの雑誌に関する権威主義逆に何なんって思うけどな
ワイルズもドリーニュも自分のところの雑誌に出しているっつーの
53:１３２人目の素数さん
20/04/04 18:13:25.73 K5yZQ4IA.net
AnnalsやJAMSに行くべきにたいして
Dupuyは権威がどうとか言ってるから
皮肉で言ってるんじゃないかってくらいに矛盾してるな
英語難しいわ
54:１３２人目の素数さん
20/04/04 18:15:07.88 JAltDp7y.net
お墨付きを得たんだからどんどん議論が出てくればいいんだよ
正誤の判断はその先にしかない
55:１３２人目の素数さん
20/04/04 18:17:12.22 3A0p3doi.net
雑誌の話じゃなくて単に講義しろで済む話
で、それはDupuyがやるだろう
56:１３２人目の素数さん
20/04/04 18:19:03 CTVUpSZE.net
数学で「お墨付き」って意味あるの？
ペレルマンの論文はインターネットで公表されただけじゃん
お墨付きなんてなくても、”みんな”が認めりゃいいんだろ？
57:１３２人目の素数さん
20/04/04 18:21:06 /AQd+f0G.net
ある人が架空のabcdef予想から定義と公理作って理論体系作って証明したとする
すると形式的にはその証明は正しいけど、そうなると数学界に受けいられる受け入れられないの判別基準ってどうなんだろうね。
これこれの理論体系の基で、、証明して下さらないと受付ませんよーってなるのかな?
いやこれは記号と多くの人にコンセンサスがある推論規則使ってるんだから「数学」だ、だから認めないとおかしいって終わりのないバトルになりそう。
58:１３２人目の素数さん
20/04/04 18:22:03 CTVUpSZE.net
>>54
＞Dupuyがやるだろう
ところでFesenkoって人は何もせんかったの？
理解したんだろ？
59:１３２人目の素数さん
20/04/04 18:22:50 21FY0DYB.net
>もし彼が何故Cor3.12が正しいのかを説明できないのであれば、星、山下、フェセンコ、(あなた？)が挑戦するよう導くべきでしょう。
ほんまそれ
その部分の外部向けの補完というだけで業績になるのに
誰もしない時点で理論ではなく権威に追従してるように見られても仕方ない
60:１３２人目の素数さん
20/04/04 18:24:53 CTVUpSZE.net
>>56
非ユークリッド幾何がどうやって認められたか、調べてみればいいんじゃないか？
61:１３２人目の素数さん
20/04/04 18:28:57 oEv2ickP.net
>>58
証明
じゃなくて
自然
なんだよ、ありのまま
星がサーベイで何回もいってるし、文元もツイッターでそういってる
だから、いわゆる「証明」できない
ってかIUT自体「証明ですらない」
62:１３２人目の素数さん
20/04/04 18:31:05 Gqk3vTF+.net
なんだよそれ宗教か？
63:１３２人目の素数さん
20/04/04 18:31:58 zDw/U7c4.net
餅Tさんが副所長じゃなくなってるな
もっちーもまた、論文修正してる
おつかれさま
64:１３２人目の素数さん
20/04/04 18:38:28 Gqk3vTF+.net
冷静に考えてフィールズ賞受賞者が全く理解できないのに
なぜ特に目立った業績のない弟子は理解できるんだ？
65:１３２人目の素数さん
20/04/04 18:51:15 blL9QCqE.net
初歩的なところで間違えたから、躓いてると、モッチーが言っている。
また報道では、複数の査読者と、ＲＩＭＳの編集者が、再査読で２年かけて
問題がないと判断したから、業績のない弟子達ではないよ。
66:１３２人目の素数さん
20/04/04 18:55:57 eErpwMFB.net
100歩譲って弟子は理解できたとして
8年間も経って１つもIUT絡みの別の新発見がないというのが微妙
機密保持契約でも結んでいるのか？
67:１３２人目の素数さん
20/04/04 18:56:01 3A0p3doi.net
>>57
身内のセミナー仕切っただけ
今のところIUTをちゃんと公的に解説した功績はDupuyとJoshiが候補なだけで皆無だよ
でも、ある程度内容を把握してる人は身内以外にも何人かいるので、機会があれば出てくる可能性もある
68:１３２人目の素数さん
20/04/04 18:59:06 3A0p3doi.net
>>63
ショルツばかり出すのもおかしい。ケドラヤも完全なコミットを留保していた実力者の一人だし、
表に出てないだけで十分納得できなかった一流も他にいるよ。しかし、全否定してる人はショルツくらいしか
俺は知らない
69:１３２人目の素数さん
20/04/04 19:01:59 Tf7dK2fY.net
>>641
じゃあ認めてないショルツ以外の数学者も同じく初歩的なところを間違えてるのか？
70:１３２人目の素数さん
20/04/04 19:02:37 TZBCeAcH.net
Cor3.12が理解できないのなら理解できるようにわかりやすく
解説した論文のようなものを書けばいいのに
なぜしないのかな
６００ページの難しい論文を猿でもわかる簡単な論文に書き直すとか
しろ
71:１３２人目の素数さん
20/04/04 19:05:06 o9ywveI7.net
最初っからこの件で良く分からないのは、数学ってそんなに分かりにくい学問だったっけかってことなんだよな
ステップごとには論理式で書けるような内容であるはずで、長いっても1000ページ切ってるんだろ
ある程度素養のある人が眺めてみて何が本質的なアイデアか全くわからないなんてことがあり得るのかね？
72:１３２人目の素数さん
20/04/04 19:05:59 eErpwMFB.net
本人に無理なら
弟子が代わりにショルツの反論に説明を加えればいいじゃん
身内の査読者も理解できたならそれが可能なはずでしょう
Cor3.12に関して本人以外の身内によるコメントってないの？
73:１３２人目の素数さん
20/04/04 19:07:39 jmBI9k02.net
full poly-isomorphism なんて存在していいの？ こんなもの認めていいのかい？
74:１３２人目の素数さん
20/04/04 19:08:01 zDw/U7c4.net
ありえるらしい
現代数学は細分化されて高度化されてるため、その筋の専門家しか理解できないことも多々あるらしい
その筋の専門家でさえ理解できないかもしれないらしい
75:１３２人目の素数さん
20/04/04 19:08:32 vePGlEFh.net
何か怖くなってきた
ショルツもタオも初歩的なところで躓いて堆肥村理論を理解できないのに
弟子の星君は完全に理解できると公言してるんでしょ？
76:１３２人目の素数さん
20/04/04 19:08:52 JoR/sPSp.net
その前に問題になっている部分の説明がないじゃん。
77:１３２人目の素数さん
20/04/04 19:13:38 /AQd+f0G.net
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
URLﾘﾝｸ(www.gizmodo.jp)
こういう方法もある、参考まで
78:１３２人目の素数さん
20/04/04 19:14:09 3A0p3doi.net
系312って話になってるけど、要はその背景なんだよね
「SSと同じような箇所が理解できない」ことと、「過度な単純化として望月サイドから批判されているSSと
同じ批判論拠を持っている」ことは必ずしも同じ
ではないことに注意しなければならない
79:１３２人目の素数さん
20/04/04 19:18:15 HG+xQcER.net
>>73
そんなの半世紀まえからどんな分野でも言われてるよ。
もちろん、本当に本当のその分野の専門家でなければ片手間でしかよまないだろうし。
80:１３２人目の素数さん
20/04/04 19:18:30 o9ywveI7.net
>>72
そこは当初から言われてるよな
どんなに複雑でも本質的なアイデアは圏論ぐらいで焼き直せるはずだと
81:１３２人目の素数さん
20/04/04 19:26:02 zOyj5mW2.net
IUTの根幹が足し算と掛け算の複雑な絡み合いを整理してわかりやすく表示してる装置みたいなものだから証明もクソもないんだっけか
82:１３２人目の素数さん
20/04/04 19:35:10 zOyj5mW2.net
Dupuyは説明してくれれば楽だったよって思ってるんでないかね
結局モッチーとその弟子がいつまで経ってもやらんから、Dupuyが既存の数学で馴染みやすいわかりやすい記号で書いてショートペーパー発表したわけだし
それをモッチーとその弟子がやってればもっと早く決着してたしおれら時間めちゃくちゃ使わんで良かったと思ってそう
83:１３２人目の素数さん
20/04/04 19:43:04 zOyj5mW2.net
SSの指摘自体は単純なものでそれは誤解に基づくものと思っている
しかしそれとは別にモッチーが3.12に対する指摘はただの誤解だし説明する必要はないっていう姿勢に大しては否定的なんだろよ
(その姿勢で弟子たちはモッチーの権威に従って説明しませんって口をつぐんでしまったので)
84:１３２人目の素数さん
20/04/04 19:46:54 XONTJcLP.net
つまりもっちーの勝ちなの？
85:１３２人目の素数さん
20/04/04 19:49:12 zOyj5mW2.net
もっちーの大勝利だよ
86:１３２人目の素数さん
20/04/04 19:51:23 blL9QCqE.net
>>68
＞冷静に考えてフィールズ賞受賞者が全く理解できない
これはＳＳのレポートのことですよね。それは初歩的な誤解の指摘がありますが。
複数の査読者とＲＩＭＳの専門分野の教授が理解でき、ＳＳレポートの指摘は
論文の問題ないと判断したのであれば、SSは雑誌掲載の判断までの経緯を聞いて、
具体的に反論しないといけませんね。 これはフレンケルも言ってますね。
＞認めてないショルツ以外の数学者
レポートなど具体的な間違えの提起が続けば、査読を終えないでしょうから、
ＳＳ以外で、論文の具体的な間違えを指摘している、数学者ではないですよね。
論文が理解できないとの意見は、論文の間違えの指摘ではなく、専門誌の不掲載に
なる理由と違うでは。
87:１３２人目の素数さん
20/04/04 20:00:17 qqVllLrZ.net
>>85
少数の身内以外に理解不能なのは、不掲載の理由になるでしょ。
88:１３２人目の素数さん
20/04/04 20:02:05 o9ywveI7.net
単純化しすぎていて初歩的な誤解に基づくっていう意見あるけど
ショルツのペーパー見る限り、こういう風に単純化するとこんな矛盾が出てくるんだけど
IUTはこの点をどういう風に解決してるのか説明してくれないか？
ってことが聞きたかったんじゃね
それに対して自明だ、論文読めばわかるって突っぱねたらそりゃ相手してもらえないだろ
89:１３２人目の素数さん
20/04/04 20:10:06 QV18ltbz.net
まわりにお菓子配りまくって、身内だけに認められて、本人が嬉しいなら、それでいいんじゃないの？
90:１３２人目の素数さん
20/04/04 20:15:11.54 DZ3hypNA.net
敢えて裸の王様にチャレンジするって面白いと思うの
91:１３２人目の素数さん
20/04/04 20:35:30.85 XcdjS177.net
>>76
そっちは機械的証明なので
基礎理論を一から作るIUTに適用するなら
10年では済まない
92:１３２人目の素数さん
20/04/04 20:36:38.80 eErpwMFB.net
弟子やら数理研やらも巻き込んでるから裸の王様では済まない
証明の欠陥が修正されていなかったら京大数理研全体が裸の王族になる
93:１３２人目の素数さん
20/04/04 20:37:28.87 XcdjS177.net
>>63-64
「特に目立った業績のない弟子」ばかりだから
信用されなかったというのはあるよな。。。
お笑いだけの人もいるし
94:１３２人目の素数さん
20/04/04 20:38:55.64 XcdjS177.net
>>91
まあそのために柏原引っ張ってきたんだろうしな
玉川だけでは近すぎて信用されない
65歳以下の現役でできなかったのは残念としか
95:１３２人目の素数さん
20/04/04 20:40:47.67 21FY0DYB.net
>>76
>ヘールズ教授自らが証明支援ツールで形式的証明を目指す｢Flyspeckプロジェクト｣を発表
>ヘールズ教授自ら ←
ここ重要ね
そもそも難解な論文というだけで
論理の飛躍が指摘された訳ではないから事情が違うよ
96:１３２人目の素数さん
20/04/04 20:45:56.42 G8ZGJQ8W.net
*********
大体「SSを鵜呑みにしたから海外の研究者は否定的なんだ」ってレスここでも多いけど、
現実はさすがにそこまで低レベルではないし
**********
数学者の世界はあんがいそんなもんだよｗ おれのまわりもそう
97:１３２人目の素数さん
20/04/04 20:49:31.90 oEv2ickP.net
そうそうオレの周りもそう
フィールズメダリストの肩書きはデカいらしい
情けない数学者たちよ
理解者らはカンカンだよ、ショルツのせいでとんでもない風評被害を受けたってね
98:１３２人目の素数さん
20/04/04 20:50:46.36 3A0p3doi.net
>>87
賢いわ。全くその通りだ
99:１３２人目の素数さん
20/04/04 20:53:07.49 1pkLE+3X.net
ショルツェおしりぺんぺん
100:１３２人目の素数さん
20/04/04 20:55:37.54 3A0p3doi.net
>>95
>>96
そりゃケースバイケースだろ。読んでない場合はそうなるのがむしろ普通だろな
101:１３２人目の素数さん
20/04/04 20:57:51.31 dYyS2Fty.net
ブログにあった黒幕に対抗するために柏原さんを引っ張り出してきたんでしょう
これを受けてショルツはどうするかだね
102:１３２人目の素数さん
20/04/04 20:58:31.72 fQZCog0l.net
すいませんど素人なんですが質問させてください
ニュース見て「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」を衝動買いしたんですが、
望月先生の理論は日本初のパラダイムなでしょうか？ それとも小保方先生的なリスク
はあるんでしょうか？
103:１３２人目の素数さん
20/04/04 21:03:32.08 qRYCuq0Q.net
>>56
公理系から正しく導かれたのなら、そのことについて異論はないだろうよ。
望月の場合は証明に穴があるのだから認められないわけで。
新概念とかそういうの関係ない。
104:１３２人目の素数さん
20/04/04 21:04:08.30 LTI26x5p.net
>>101
リスクはあるが小保方的リスクは無い
105:１３２人目の素数さん
20/04/04 21:05:52.37 qRYCuq0Q.net
>>58
要するに星・山下・フェセンコにその力がないってこと。
この点がワイルズがピンチになった時弟子が助けてくれたのとは根本的に違う。
星・山下・フェセンコも本当の意味では理解いてないんだろう。
106:１３２人目の素数さん
20/04/04 21:07:42.40 Ph3MIMGg.net
茶化しとか冗談ではなく本当にSTAP細胞状態に突き進んでないか？
理解した革命的だと主張している関係者達が
8年間で１つもIUTの応用例を示せない点が類似している
他の事例に適用すると矛盾が露になるからと考えるのが自然かなと
>>103
それは先日までの話でしょ
身内で査読通して証明した事にしてしまったから
今では完全に小保方的なリスクの領域に突入したよ
107:１３２人目の素数さん
20/04/04 21:10:35.52 G8ZGJQ8W.net
例えば
ある保型形式の現役研究者が
「ＩＵＴは非自明なことやっているようには見えない」
という
しかしそいつは全然論文を読んでいないという。
そこでなぜそうおもうか聞いたところ
「フィールズ賞のＳが理解できないから」
ちなみにそいつは講演のたびに炎上していて
自分の仕事周辺すら無理解をさらしている
108:１３２人目の素数さん
20/04/04 21:15:32.42 qRYCuq0Q.net
小保方みたいな悪意による捏造はないにしても、
RIMSは望月論文を正しいと認めたわけだからその判断について責任を負うよね。
RIMSは問題の3.12の箇所について、間然とすることなく、
申し分のない証明文を添えて華麗に説明しないといけない。
それができないなら赤っ恥もいいとこ。
109:１３２人目の素数さん
20/04/04 21:15:32.62 qRYCuq0Q.net
小保方みたいな悪意による捏造はないにしても、
RIMSは望月論文を正しいと認めたわけだからその判断について責任を負うよね。
RIMSは問題の3.12の箇所について、間然とすることなく、
申し分のない証明文を添えて華麗に説明しないといけない。
それができないなら赤っ恥もいいとこ。
110:１３２人目の素数さん
20/04/04 21:18:41.26 2Ri0X5Mp.net
しっかし、アクセプトされたから正しかったんだ！と喚く取り巻きや信者の連中が
ショルツの批判を持ち出すと権威主義だ！と突っかかってくるのは最高にロックだな
111:１３２人目の素数さん
20/04/04 21:19:16.66 3A0p3doi.net
>>105
少なくともPRIMS以外でIUT関連を発表するのは当面は無理だな
厳しい状況には特に変化はないのは確か。何度も言われるように、Dupuyの働き次第だろう
112:１３２人目の素数さん
20/04/04 21:21:08.56 cRCwSuUg.net
ln(x^2 + 1) / (x^2 + 1) のx: 0→∞
の広義積分が収束することを優関数の原理で示すときってどんな優関数を取ればいい？
それとも有関数の原理以外で収束性を示せる？
113:１３２人目の素数さん
20/04/04 21:26:41.99 qRYCuq0Q.net
>>105
そこなんだよね。
望月のもとには若手の研究者がそれなりにいるんだから、
IUTが正しければ、そこから数多くの応用が8年のうちに出てきて当然なんだよね。
数学の見通し自体が著しく変わるはずだから。
ところが現実には何も出てこない。これは非常におかしい。
実際に若手が研究を進めたら矛盾出まくりで一歩も研究を進められなくなってるんじゃないかね。
114:１３２人目の素数さん
20/04/04 21:27:48.28 7aiHRFFA.net
>>109
jinさんに言ってあげて
115:１３２人目の素数さん
20/04/04 21:29:41.60 s+TbNr1i.net
理化学研究所に続き数理解析研究所まで信用失墜となれば計り知れないダメージだよ
本当に大丈夫なのか？
116:１３２人目の素数さん
20/04/04 21:40:44.96 3A0p3doi.net
通にはケドラヤのほうが響くよ
五年前と今では明らかに距離感が違う。懐疑側にショルツとケドラヤが並ぶと勢力としてはかなり強い
117:１３２人目の素数さん
20/04/04 21:40:50.79 wmL2a042.net
それ以前にPRIMSを出してるEMSがそんなの聞いてないって言ってるんだから、
出版サイドで拒否される可能性がゼロじゃないんじゃないの。
118:１３２人目の素数さん
20/04/04 21:44:22.44 vePGlEFh.net
怖いよな
STAP細胞で理研がやらかしてるから
宇宙際堆肥村理論で数理研も、、
119:１３２人目の素数さん
20/04/04 21:49:07.15 fQZCog0l.net
>>103>>105
どうもありがとうございます。「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」がとどりたら
取り組んでみます。私は数学畑でなく、応用系（航空宇宙工学）畑のものなんですが、
ニュートンとかアインシュタインとかライプニッツのような日本初のパラダイムが
いよいよ出現したと期待していいのでしょうか？ 有色人種でもノーベル賞やフィールズ
賞受賞者はいらっしゃいますが、有色人種でパラダイムと言えるものを世に送り出した
方って歴史上まだ存在しませんよね。ガロアみたいにずっと後になって見直されて世界
が気づくことはあるんでしょうか？
あるいは、白人以外がパラダイム級の研究を世に送り出すことに白人世界からの人種差別
的な感情的反発はありうるのでしょうか？
120:１３２人目の素数さん
20/04/04 21:51:51.68 o9ywveI7.net
これも当初から言われてるけどIUTは新しい概念を沢山導入して結論は導入した概念から自明に従う
っていう論調で書かれてるからその新しい概念が受け入れられなきゃ読めないんだよな
その概念が論理的にきちんと構築されてるかっていう部分については、圏論程度の既存の道具の延長で
説明してみてくれって外側から意見が上がるたびに、
原論文を読めばわかるつまみ読みしてるから理解できないんだって反論で通してる
正直なんでこんなことになってるのかよーわからんのよね
121:１３２人目の素数さん
20/04/04 21:54:07.82 1pkLE+3X.net
そういえばもっちーって本当にハーフなの？
どうみても日本人顔だけど…
もしハーフなら、日本人的にはど日本人と認めない輩もいるんでしょうね
半分白い…
122:１３２人目の素数さん
20/04/04 21:55:12.51 GN4om10T.net
>>115
おれもそれ思った。
ケドラヤは友達やからギリギリの言葉を選んでるんやろうな
123:１３２人目の素数さん
20/04/04 21:55:55.01 qRYCuq0Q.net
新しい概念から自明に従うって論理がわからない。
124:１３２人目の素数さん
20/04/04 21:56:06.79 gvpAKsXG.net
別スレで明らかに日本人ぽくないと思ったらハーフなのね
って趣旨のレスを見たので感じ方ってその人次第だなと思いました(小並感
125:１３２人目の素数さん
20/04/04 21:56:59.22 fQZCog0l.net
オバマ元大統領も有色人種発の大統領だけど実際はハーフだし有色人種の遺伝子が
半分混ざってるのに歴史の一大センセーションだったからいいのではないでしょうか
あるいはラグビー日本代表も半分外国人の遺伝子だけどワールドカップベスト8は
歴史上の一大センセーションだったし
よいくわかんないけど
126:１３２人目の素数さん
20/04/04 21:57:07.33 1pkLE+3X.net
もっちーが記者を嫌うのって、君らでは俺の数学理解できんだろってのももちろん大きいだろうが
出自や独身を赤
127:の他人にチクチクつつかれるのが嫌なんじゃないかという気がしてきた
128:１３２人目の素数さん
20/04/04 21:57:52.15 3A0p3doi.net
>>118
それは多分違う。俺の見解を信用するかどうかは勿論自由だが、新しい数学についてはそれなりに
関わっているつもりの人間として言うと、今進行中の数論の一般化の亜種として最終的には認識されるだろう
簡単に言うと環論と集合論を一般化する流れが進んでいる。IUTは、正しければだが20年以上時代を
先取りしたことになるだろう
文元さんはちょっと誇大的すぎる
129:１３２人目の素数さん
20/04/04 22:00:53.68 fQZCog0l.net
>>126
素人の私に核心的なお話を聞かせてくださって恐れ入ります。
130:１３２人目の素数さん
20/04/04 22:06:37.58 fQZCog0l.net
素朴な疑問なんですが、数学では
自由な公理系を提案してそれが「無矛盾？」ならその公理系の公理と定義を自由に
既存定理の証明に使っていいんでしょうか？
そもそもそういうことではないんでしょうか？
物理学などの自然科学なら実測と整合すれば正解になるのに数学の「正解」判定って
素人には想像できない難解ですね
131:１３２人目の素数さん
20/04/04 22:07:28.69 3A0p3doi.net
>>119
まず集合論と圏論の関係を解体して再構成する議論は必ずしも圏論だけの話ではないからね
圏論は集合とか整数の意味について直接何か教えてくれるわけじゃない
で、IUTの場合はその再構成における新しい対象の認識について物議を醸しているわけね
それにしてもショルツが納得できないのは勿論奇妙ではあるよ。議論の部品については理解しているからね
132:１３２人目の素数さん
20/04/04 22:10:50.88 oEv2ickP.net
>>112
お！ニュー速で普及活動からおかえりー
もう同じ文体・内容でのネガキャン秋田
133:１３２人目の素数さん
20/04/04 22:12:38.89 oEv2ickP.net
>>116
事前に報告してるよ
取材受けた責任者が知らないだけ
134:１３２人目の素数さん
20/04/04 22:14:04.82 oEv2ickP.net
>>112
んなすぐ応用できる加代
南出らは共著かいててもうすぐ完成するけどな
135:１３２人目の素数さん
20/04/04 22:18:34.29 fQZCog0l.net
四則演算の公理系が「正しい」から、それを使って大切な財産を貸したり振り替えたり
貸したお金がまたもどってきたりを保証して、世界中の人が首を吊らなくて済んでるし、
微分積分の公理系が「正しい」から実測したひずみ値で橋桁や航空機が分解しないこと
が保証されて、人は安心して橋や飛行機に乗ることができますが、実際に命や財産を預
けられる応用に使える数学公理系と、不安定な数学公理系の判別って数学の範疇だけで
閉じてる問題なんでしょうか。すいませんど素人すぎる素朴な疑問で。
136:１３２人目の素数さん
20/04/04 22:26:22.07 fQZCog0l.net
数学者が提案した公理系を実装したコンピュータプログラムを実行した結果に、
数学公理系のほころびが原因のバグは起こりえないんでしょうか？
137:１３２人目の素数さん
20/04/04 22:29:52.99 DZ3hypNA.net
たとえばn項の数列{x_n}がある
これは
すべてのn∈N(自然数)なのかそれとも
138:１３２人目の素数さん
20/04/04 22:30:55.27 wmL2a042.net
>>131
abc予想の証明が正しいという査読結果を責任者が知らないの？？？
139:１３２人目の素数さん
20/04/04 22:32:31.23 DZ3hypNA.net
>>135
途中送信
たとえばn項の数列{x_n}がある
これは
すべてのn∈N(自然数)なのか
それとも
あるn∈Nなのか
人間はこれを存在命題と認識するが
コンピュータはこれを全称命題として処理するだろう
たったこれだけでもバグが発生すると考えられる
AIの自動証明なんて無理だよ
140:１３２人目の素数さん
20/04/04 22:41:34.06 fQZCog0l.net
全称命題、単称命題、あるいは特称命題って、ほとんどのプログラム開発言語で
プログラムを書き分けられるという認識ですが、間違ってますか？
141:１３２人目の素数さん
20/04/04 22:53:48.58 DZ3hypNA.net
さあどうかな
人間の認識は複雑で
約70年前に出された河野伊三郎の微積分では
全称命題は特称命題を含むのでいつでも命題を切り替えられる
と考えていたようだし
全称命題から具体的な元(数)を取り出すことができるとしていた
これらは間違いだがこういう歴史を踏み
コンピュータも設計されていると思うので分類は可能だと思われる
しかし問題は上記の間違いを訂正できる人間がいるかどうかだ
142:１３２人目の素数さん
20/04/04 23:11:14.49 fQZCog0l.net
コンピュータはand回路とかor回路とかそんなんの組み合わせで二進法の演算してる
だけくらいに理解してました。問題を全称命題として扱うとか特称命題として扱う
かを決めるのは、プログラム開発言語であとから自由に書けるという認識でした。
あと、わたしは数学研究者のような深遠な考察は疎く大変尊敬しておりますが、
工学でコンピュータを使って微分方程式を解くのはすごいおおざっぱだと思います。
そんなに小さくないΔtを使って(f(t+Δt)-f(t))/Δtを計算してるだけですし。
もちろん丸め誤差とかは配慮しますが
143:１３２人目の素数さん
20/04/04 23:16:11.77 LTI26x5p.net
>>120
いやハーフ顔だが。ユダヤの血が濃いことに注意ね
アングロサクソン系でもゲルマン系でもないわけで
144:１３２人目の素数さん
20/04/04 23:19:35.50 fQZCog0l.net
つたない理解なんですが、
既存の公理系と新しい公理系が同値であることを証明すれば、既存の公理系で
モデリングできてたことを新しい公理系でもそっくりそのままモデリングできる
って理解でよろしいでしょうか？
例えばニュートン運動方程式をラグランジュ方程式で解こうがハミルトン方程式で
解こうが、両者は同値だから解の集合も一致するので「やっていい」ような
最先端のイメージは深遠すぎて私には想像も及ばないのですが
145:１３２人目の素数さん
20/04/04 23:34:01.25 3A0p3doi.net
コンピューターで数学ができるかどうかはソフトウェアの問題であってハードウェアの問題じゃないよ
>>142
そりゃそうだけど別々の公理系では意味論が違うんだから翻訳できなきゃ同一視できないでしょ
要するに高次の理解がないと具体的に結びつけられない
IUTでも似たような話は出てくる
146:１３２人目の素数さん
20/04/04 23:36:27.29 wYKFehpL.net
>>130
えぇ…ニュー速の秋田が印象工作してんの?…ｷｯｼｮ!
147:１３２人目の素数さん
20/04/04 23:47:17.66 fQZCog0l.net
>そりゃそうだけど別々の公理系では意味論が違うんだから翻訳できなきゃ同一視できないでしょ
>要するに高次の理解がないと具体的に結びつけられない
アンシュタインの相対性理論はニュートン力学を包括し、ある条件下で近似的にニュートン力学
になるっていう理解なんですが、新しい公理系は既存の公理系の定義や公理を一般化して
包括してることを示すと想像してるんですが、既存公理系の定義や公理の意味を広義解釈
して包括あるいは同値の関係にあることを示すんでしょうか
148:１３２人目の素数さん
20/04/05 00:13:21.22 X6bu6ndd.net
>>70
> 最初っからこの件で良く分からないのは、数学ってそんなに分かりにくい学問だったっけかってことなんだよな
> ステップごとには論理式で書けるような内容であるはずで、長いっても1000ページ切ってるんだろ
あのなあ、600ページの論文を本当にガチガチの論理式で書き直す、つまりCoqなどの証明チェッカで証明に抜けがないか
完全にチェック可能なように形式化したら、その論文が前提としている既存の数学理論の形式化のサイズは含まずに
その論文自身の定義や各種の命題のステートメントやそれらの証明の形式化のサイズだけでも元の論文のサイズの軽く100倍以上になるぞ
一流の数学者が定理の証明のある部分を「明らか」の一言で済ませている時に、その部分を形式化して完全に基本推論規則の積み重ねに
書き直して抜けがないようにするだけで数百行になるケースは決して珍しくない
> ある程度素養のある人が眺めてみて何が本質的なアイデアか全くわからないなんてことがあり得るのかね？
十分に有り得る
恐らく
149:ショルツは望月のIUTで定義している様々な概念のイメージを頭の中で正しく組み立てられないと推測される
150:１３２人目の素数さん
20/04/05 00:15:04.38 9LQRPQ2M.net
Max Lieblich @algeom 返信先: @DupuyTaylor さん
I assume when you mention “appeal to authority” you also include Fesenko’s bloviating and Mochizuki’s refusal to make himself clear.
午前7:50 · 2020年4月4日URLﾘﾝｸ(twitter.com)
Taylor Dupuy @DupuyTaylor 返信先: @algeom さん
It's hard being in the middle here. I really make nobody happy.
午前7:51 · 2020年4月4日
URLﾘﾝｸ(twitter.com)
Taylor Dupuy @DupuyTaylor 返信先: @algeom さん
But, regarding Mochizuki's "refusal".
I think he is really really trying. You should talk to him.
He just... is not the best writer/expositor. He knows that too.
You don't think he wants this to be over?
A lot of this to me is that he is a product of this arithmetic geometry culture.
He was a student of Faltings.
He went to Princeton where, you know... people aren't so nice.
We don't really have a culture which values clear exposition.
Anyway, I really don't think he can and I think he is trying (or tried).
All this internet gossip I think wears on him.
I don't know if you have met him, but he is a funny guy.
He can do a pretty funny Faltings impersonation.
I think people fail to realize he is mortal, just like everyone else.
He is just a dude who wrote some crazy-ass papers.
午前8:11 · 2020年4月4日
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
151:１３２人目の素数さん
20/04/05 00:20:53.02 eE1c54JB.net
取り巻きA「PRIMSに投稿するのはどうですか？（頼むそこで止めてくれ）」
取り巻きB「PRIMSの権威も高まるしいいアイデアですね（査読で止まるしナイス誘導）」
取り巻きC「私も賛成します（リジェクトされて教授も目を覚ましてくれるはず）」
PRIMS「アクセプトしました」
取り巻きA＆B＆C「おめでとうございます（嘘だろおい！！！！！！？）」
152:１３２人目の素数さん
20/04/05 00:23:34 9LQRPQ2M.net
>>48
誤読してない？
PRIMSではなくAnnalsやJAMSに投稿すべきだったってことに完全同意(totally agree)って意味だろ。
153:１３２人目の素数さん
20/04/05 00:25:42 gYLaCYd2.net
そもそも今回はABC予想を証明してるの？
前は強いABC予想じゃなく弱いABC予想だと言ってたけど
154:１３２人目の素数さん
20/04/05 00:27:37 8Izn6abD.net
>>145
包括していて、なおかつ共通語を持たないと別々の体系を位置付けられない。原理から言って
相対性理論とニュートン力学では幾何学的な自由度からして違う。自由度が高いと表現力もより高い
似たような事は形式言語でも当然ある
実際、抽象的な言語ほど別の具体的な高レベル言語をコードしてシミュレートできる
しかしそういう事は案外一般理論としてはあまり考えられてない問題かもしれないし、かなり深い問題だろうね
数学をAI化するのと数学の一部を形式化するのはそういう意味でも
155:全然レベルが違う問題
156:１３２人目の素数さん
20/04/05 00:28:06 9LQRPQ2M.net
AnnalsやJAMSに投稿してたら健全な状況になってたでしょうに
望月さんレベルの天才でも“appeal to authority”とか気にするもんなんですねー
157:１３２人目の素数さん
20/04/05 00:29:49 9LQRPQ2M.net
>>150
Fumiharu Kato 加藤文元 @FumiharuKato
IUT理論によるフェルマーの最終定理の証明は、まだ今のところはなされていません。
フェルマーが出るためには「強いABC予想」が証明される必要がありますが、それはIUT理論を使っても証明はまだされていません。
午後6:56 · 2020年4月3日· Twitter Web App
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
158:１３２人目の素数さん
20/04/05 00:32:11 Yyz04EmE.net
>>149
その部分は否定文ではない
Noと返す対象となる否定文は、if節の中を除いてthey should not claim they understand.しかない
よってこの一文で閉じてるMeu Gatoの後者側の主張に完全に同意していると分かる
159:１３２人目の素数さん
20/04/05 00:35:58 iq2DMm8O.net
>>25
>どうせ京都も5月まで学内閉鎖レベルらしいし
来週から授業でしょ
160:１３２人目の素数さん
20/04/05 00:36:38 iq2DMm8O.net
>>27
>京大にとっては
つかRIMSにとってな
161:１３２人目の素数さん
20/04/05 00:37:20 6wnFQ7Nf.net
>>151
数学ど素人のこんなわたしにコメントくださって恐縮です。
IUT理論は既存公理系を抽象化一般化した概念という理解でよろしいでしょうか？
もしそうなら、IUT理論のどの定義や公理にどんな条件をつけると、特殊で抽象度の
低い既存公理系になるということをひととおり提示しても説得には不十分なんでしょうか
質問だらけでもうしわけございません。
162:１３２人目の素数さん
20/04/05 00:37:53 FONsPQYw.net
強い条件、弱い条件の意味合いを勘違いしがちな俺への定期確認
自然数指定は実数指定よりも強く､
実数指定は自然数指定よりも弱い｡
指定範疇の制限が強いほど狭く､
指定範疇の制限が弱いほど広い｡
ちなみに残念ながら俺の心は弱い癖に狭い｡
163:１３２人目の素数さん
20/04/05 00:41:27 iq2DMm8O.net
>>55
理解できる人が居ないんでしょ？
164:１３２人目の素数さん
20/04/05 00:41:50 FONsPQYw.net
しかし何でこんな時までKingOfUniverseは覗きに来ないんだ
さんざん2ch.net荒らしといて役に立たねぇ自称数学王だ事
165:１３２人目の素数さん
20/04/05 00:45:41 6wnFQ7Nf.net
すいませんど素人が長居し過ぎたようで恐縮です。
「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」が届いたら取り組んでみます。
「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」は一般向けと書かれておりましたが、
工学修士課程を修了した程度の人でも読めますでしょうか？
数学と言ったら、線形代数、確率統計、微分積分、関数論、微分方程式まで履修しました。
ルベーグ積分や位相幾何学は履修しておりません。
よろしくお願いいたします。
166:１３２人目の素数さん
20/04/05 00:58:03 9v93mQ+C.net
関係ないけど
>>140
＞工学でコンピュータを使って微分方程式を解くのはすごいおおざっぱだと思います。
＞そんなに小さくないΔtを使って(f(t+Δt)-f(t))/Δtを計算してるだけですし。
こういう自分の無理解でおおざっぱと決めるやつは死んどけ
167:１３２人目の素数さん
20/04/05 01:00:42 8Izn6abD.net
>>157
あーなるほど、あなたはしかし公理と数学的理論や対象をちょっと混同してますね
普通の数学の理論で基本公理系の拡張自体を問題にすることは滅多にありませんよ
しかし、抽象化が本質的に重要なのは確かです
例えば原色を混ぜて色んな色を作るとして、その調合の仕方をレシピにできたら各々の色を理解できますよね
つまり、「原色を調合する仕組み」は抽象化で、具体的な対象は各々の色です
これをちゃんと理解したら理論ができる、というのは全くその通り
しかし、客観的には明らかに説明に成功してませんね。それしか言えませんねw
168:１３２人目の素数さん
20/04/05 01:10:50 6wnFQ7Nf.net
>>162
すいません、3次元のナビエストークス方程式とエネル�
169:Mーバランス式を本当にこんな おおざっぱな差分で解いてました（実際は、風上差分という配慮をしないと収束しない のですが） メッシュの切り方が「妥当」で収束したらわりと実測値とはよく合致しておりました。
170:１３２人目の素数さん
20/04/05 01:16:21 stNgDsDJ.net
Not Even Wrongで Peter Woitが、
「論争の的になっている部分の証明で、何で望月の書いたものが正確で完全と彼の側についているのか」と書いている。
The tradition is to keep referee reports confidential, and in this case it’s not clear if breaking the tradition would help.
Much of the work of the referees was surely on parts of the proof other than the controversial Corollary 3.12.
On the controversial part of the proof, they’re siding with Mochizuki that what he has written is correct and complete.
If they have an argument for this that would convince Schole-Stix and others, it would be helpful if that were made public.
This all comes down to the same problem of what is missing here that is needed to justify acceptance of the proof.
それより前の文節でIUTeich の[1][2][3][4]を読んでいることを書いているが、、
モッチー「心の１票」のQ&Aで、自分のサーベイと書いた[Alien]に触れてない。
⇒[Alien] Example 3.11.4.の「∧と∨の誤認」は未だ論じてないね。
171:１３２人目の素数さん
20/04/05 01:16:42 6wnFQ7Nf.net
>>163
コメントありがとうございます。
数学の「説明」って他の分野より難しそうだということは素人でも想像できます。
工学は要件（10年以内に有人月面着陸とか）があれば要件を満足するプロダクトを作れば
正解ですし、自然科学はおそらく法則が実測と合致すれば正解だと思いますので。
数学の深遠で偉大でハードルが高いところだと思います。
172:１３２人目の素数さん
20/04/05 01:23:22 8LLZd4ef.net
証明しなくても予想すれば歴史に名前を残すことができるのが数学
173:１３２人目の素数さん
20/04/05 01:40:55.75 6wnFQ7Nf.net
日本人によるパラダイムこれが世界に認められたらマジですごいと思います。
大学入試の時は、整数や自然数を含む問題は発見的解法頼みでパターンを覚えて
挑んだ記憶があるのですが、微分積分問題のように整数や自然数を含む問題も
体系的に取り組めるようになるんでしょうか？
あるいは私の理解は根本的に間違ってますでしょうか？
174:１３２人目の素数さん
20/04/05 02:39:59.28 YxKr9qd/.net
ショルツだって暇じゃないんだから
ようわからんIUTだかに貴重なリソース使う訳にもいかないだろ
はっきり言って支持者を増やせない原因は証明側にあるよ
175:１３２人目の素数さん
20/04/05 02:53:12.11 mvTzvaLi.net
>IUTeichの場合、「年頭所感 2020」でも言及した通り、関係者の大変な努力によって
>何名（＝その人数は10名に迫る勢いである）もの理論の「習熟者」をこれまで育成することができました。
ここがやっぱり引っ掛かるよなぁ
画期的（と主張されている）理論の習熟者が10名近くも存在しながら
誰一人として応用例を示せないのが不自然極まりない
176:粋蕎
20/04/05 04:33:17.78 FONsPQYw.net
>>170
弟子にしてみりゃ熟知しきれてなくて、一回一回
177:確認が大変な代物なんかのう｡ 解説を求めたショルツに読めば分かるとか言うだけだったらしいが 弟子にも似た様な説明の天才肌講義で皆、着いていくにもアップアップなんだったりして｡
178:１３２人目の素数さん
20/04/05 04:37:02.55 XL/AxZYN.net
強いABCと弱いABCてネーミングは微妙よな
強いABCが弱いABCを含んでるわけじゃないし
ABCその1その2の方が良かったと思う
179:１３２人目の素数さん
20/04/05 05:13:59.38 YxWsMJ4i.net
応用例ガー秋田
180:１３２人目の素数さん
20/04/05 05:14:42.05 XSg/U45p.net
ANDとORを読み間違えたってまじ？
このレベルを査読する数学者でそんなことあるのか
181:１３２人目の素数さん
20/04/05 05:30:50.04 0/wXntJa.net
>>170
いくつか試みははじまっているから、うまくいけば1，2年で出るかも。
（例えばKirti Joshiの一番新しいDPにその試みについて書いてある。）
なんだかんだで、完全理解に近い外国人が片手以上出てきているって状況は
2012、13あたりの状況を知っているものからすればすごい進歩。
182:１３２人目の素数さん
20/04/05 06:10:11.11 XL/AxZYN.net
論文読んでみようとチャレンジしたけど、サッパリ分かる気しねえ
知りたいのは次の三つ
1 IUTの主定理は何かということ
2 その主定理を用いてABC予想をどう証明したのかということ
3 足し算と掛け算を分離するて具体的にどのような操作なのか
このスレで分かる人いれば教えてほしい
183:１３２人目の素数さん
20/04/05 06:21:09.90 Hz6dZafY.net
現在論争を招いてる点がこれ
系3.12 (Θパイロットオブジェクトに対するlog-ボリューム推定)
定理3.11の状況にあると仮定する。
Θパイロットオブジェクト(以下、Θ-PO)の可能イメージのunionのholomorphic hullのプロセッション正規化単解析的log-ボリューム(PNMALV)
を
－ |log(Θ)| ∈ R Ｕ {+∞}
と書く。これは複根表示における関連するクンマー同型と関係しており、不定性に影響を受けるとみなされる。
q-パイロットオブジェクト(q-PO)の像のPNMALVを
- |log(q)| ∈ R
と書く。これは複根表示における関連するクンマー同型と関係しているが、不定性に影響を受けるとみなされない。
ここで、ラベル“0”および“〈Fi*〉”の同定の結果としての“△”の定義を思いだす。特に、v∈Vbadにおける楕円曲線Efの多様なqパラメータの面から|log(Θ)|>0は容易に計算される。
したがって-|log(Θ)|∈R、および
-|log(Θ)|≧-log|log(p)|
が導かれる。
184:１３２人目の素数さん
20/04/05 06:39:24.11 XL/AxZYN.net
>>177
ありがとう、細かい用語は分からないけど、問題となってる不等式は実数の話だし分かる
185:１３２人目の素数さん
20/04/05 06:54:44.96 XL/AxZYN.net
最終的に実数の話なら、Θとqについての具体例作れば少しは理解の手掛かりになりそうな気もする
このスレの優しい人が構成してくれることを期待しよう
186:１３２人目の素数さん
20/04/05 07:08:00.31 stNgDsDJ.net
>>174
査読者でないよ。
ショルツレポートが間違えた原因の大元が「∧と∨の誤認」との指摘に関して。
ショルツがCorollary 3.12で、過度な単純化をして一連の間違え連鎖の元を調べると、∧では単純化できない箇所を、∨と誤認して単純化していることを、。
[Alien] Example 3.11.4.に示している。、
Corollary 3.12の論理の大元が∧で、それ以降も連続して展開する式は∧で扱かうのが自明なのに、それ以降で展開した箇所で、大元が∨と誤認しないと出来ない単純化（過度な単純化）をしていると解析して、これを主張している。、
ショルツが過度な単純化をした箇所からそれを遡った過程で、大元が∨であったらばショルツの指摘が正しいが、大元が∧であればショルツ指摘は誤認で、論文には問題がないという査読になるのかな。
187:１３２人目の素数さん
20/04/05 07:16:10.55 NkAq1xzA.net
結局誰も
論理積 ⇒ 論理和
論理和 ⇒ 論理積
を自明と言いながら証明できないんですね
別スレでその自明の内容は偽の仮定(笑)だそうです
おしまいだ～
188:１３２人目の素数さん
20/04/05 07:26:44 XL/AxZYN.net
>>181
A∧B→A∨Bは恒真式だから正しいでしょ
（証明）
・A∧Bが偽の時
「→」の真理値の定め方よりA∧B→A∨Bは真
・A∧Bが真の時
Aは真となりA∨Bも真となる
よってA∧B→A∨Bも真となる
（終わり）
189:１３２人目の素数さん
20/04/05 07:34:32 NkAq1xzA.net
>>182
貴方も真理値の定め方と言ってぼかしていますが
偽の仮定(笑)なんですね
それは条件法であり演繹ではありません
演繹は真の前提しかないです
190:１３２人目の素数さん
20/04/05 07:46:29 cTzpxuVq.net
>>177
ありがとう
・で、ＳＳ側は そのラベルの議論を単純化すると こんな矛盾が導かれるぞ！
・で、Ｍ＆Ｈ側は 単純化しずぎ！！ ラベル付けは途中で忘れるから、その事例はあてはまらね～！！
で、結局平行線で五日間の時間切れで終わったんだったかな（2018年3月）
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた （および関連文書）
報告書 URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
191:１３２人目の素数さん
20/04/05 07:54:52 cTzpxuVq.net
>>180
>[Alien] Example 3.11.4.に示している。、
ありがとう
下記のＰＤＦ[7] が、[Alien] だね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際Teichmuller理論
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
NEW !! (2020-04-04)
192:１３２人目の素数さん
20/04/05 08:04:22 cTzpxuVq.net
>>185
ＰＤＦの P142 だね
(抜粋)
Example 3.11.4. Elementary numerical model of “∧ vs. “∨”, multiple
copies, and multiradiality. Alternatively, the ideas exposed in the present §3.11,
(iv), may be summarized/expressed in terms of elementary numerical manipulations,
as follows. First of all, the overall general logical flow of inter-universal Teichm¨uller
theory ? i.e., starting from the definition of the Θ-link, proceeding to the multiradial
representation of the Θ-pilot [cf. [IUTchIII], Theorem 3.11], and finally, culminating
in a final numerical estimate [cf. [IUTchIII], Corollary 3.12] ? may be represented by
means of real numbers A, B ∈ R> 0 and ε, N ∈ R such that 0 ≦ ε < 1 in the following
way:
略
193:１３２人目の素数さん
20/04/05 08:06:25 XL/AxZYN.net
>>183
世間一般で行われてる数学でやってることだし
命題論理の完全性定理から意味論の正しさと証明論と正しさは一致するよ
どうしても証明図見たいというのであれば前原昭二の数学基礎論でも読めばいいんじゃないか
194:１３２人目の素数さん
20/04/05 08:21:09 XL/AxZYN.net
加藤文元先生のお話と実際のIUTにギャップがありすぎて（仕方ないとは思うけど）理解が追いつかない
ギャップを埋める本の登場が待たれる
195:１３２人目の素数さん
20/04/05 08:27:54 OLU0YyIj.net
Thm3.11やCor3.12の理解に関してですが、加藤文元先生はIUTの完全理解者ではないんでしょ？
196:１３２人目の素数さん
20/04/05 08:28:27 cTzpxuVq.net
>>188
同意
つーか
まず、海外のプロ数学者向けのＰＲ冊子いるよね
197:１３２人目の素数さん
20/04/05 08:33:46.21 cTzpxuVq.net
>>189
完全理解者の定義にもよるけど、完全理解者の一人でしょ
ＩＵＴの創成期に、望月先生と個人ゼミやって、その後焼き肉って、加藤文元先生の本にあるし
けど、ＩＵＴをさらに発展させて、望月ＩＵＴを上回る結果を出せる スーパー完全理解者かどうか？
スーパー完全理解者は、主に若手になる気がする
198:１３２人目の素数さん
20/04/05 08:34:48.85 gYLaCYd2.net
>>153
なるほど
結局はフェルマーの最終定理の証明は無理な弱いABC予想をIUT理論で証明したって望月サイドは主張してるんだな
それなら報道等でABC予想を証明したと言ってるはミスリードとは言わないまでもかなり誇張してるってことじゃん
199:１３２人目の素数さん
20/04/05 08:48:55.92 NkAq1xzA.net
>>187
君こそ野矢茂樹の論理学を読むべきだ
200:１３２人目の素数さん
20/04/05 08:55:51.90 cTzpxuVq.net
>>164
>すいません、3次元のナビエストークス方程式とエネルギーバランス式を本当にこんな
>おおざっぱな差分で解いてました（実際は、風上差分という配慮をしないと収束しない
>のですが）
>メッシュの切り方が「妥当」で収束したらわりと実測値とはよく合致しておりました。
横＆スレチだけれど
・流体力学の場合、乱流とか渦の特異点が生じなければ、結構粗いメッシュでも近似精度はそこそこ良かったはず
・粗いメッシュから細かくして、ある精度で一致したら「収束」という定義ですよね （測定精度の問題もあるし）
・乱流とか渦の特異点が大きな問題で、そっちは100万ドルの懸賞金問題ですね（下記）
URLﾘﾝｸ(ja.wikipedia.org)
ミレニアム懸賞問題（ミレニアムけんしょうもんだい、英: millennium prize problems）とは、アメリカのクレイ数学研究所によって2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2020年3月末の時点で未解決である。
URLﾘﾝｸ(ja.wikipedia.org)
ナビエ?ストークス方程式の解の存在と滑らかさ (Navier?Stokes Equation)
3次元空間と（1次元の）時間の中で、初期速度を与えると、ナビエ?ストークス方程式の解となる速度ベクトル場と圧力のスカラー場が存在して、双方とも滑らかで大域的に定義されるか。
201:１３２人目の素数さん
20/04/05 09:01:30.50 mvTzvaLi.net
海外の反応を見ると
Cor3.12に対するコミュニティを納得させる説明を加えるだけで
この理論を受け入れさせた功労者として数学史に永遠に名を残すという巨大な報酬を得る機会に恵まれているにも関わらず
望月が正しいと主張する人々はこの8年間誰もそれに取りくもうとしなかった。
その事実はそれ（証明）がそこには存在しない事をほ
202:ぼ確信させます。という意見が多いな。 もはや完全に裸の王様扱いされてるわ。
203:１３２人目の素数さん
20/04/05 09:07:19.08 cTzpxuVq.net
>>193
＞君こそ野矢茂樹の論理学を読むべきだ
野矢茂樹の論理学は、哲学系の論理学で（下記）、数学の論理とはちょっと違うところがあると思う
（野矢茂樹を読んでないので、外しているかもしれないが）
哲学系の論理学：自然言語に近い論理学で、厳密に定義されていない対象も扱う
数学の論理学 ： どちらかと言えば、コンピュータ言語に近い。厳密に定義されていない対象は扱えない
なので、数学の議論に、「野矢茂樹の論理学」はナンセンスだと思うよ
これ、外しているかもしれないし、これにツッコミあっても答えられないけど
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
野矢 茂樹（のや しげき、1954年9月15日 - ）は、日本の哲学者。立正大学文学部哲学科教授。東京大学名誉教授。東京都出身。
活動
専攻は哲学、特に分析哲学[1]。大森荘蔵に師事。ウィトゲンシュタインを中心に、クワイン、デイヴィッドソンなどもしばしば参照の対象とする。平易な説明による哲学入門書や論理学入門書の執筆も多い。2017年、『心という難問?? 空間・身体・意味』で第29回和辻哲郎文化賞受賞。
204:１３２人目の素数さん
20/04/05 09:18:17.15 NkAq1xzA.net
>>196
何だ知らねえのか
野矢を紹介しているのは俺だ
ものを知らない君が僕に野矢を紹介してどうするんだい？
わかった風に口を利くことだけは一流だね
君もガロアスレのコピペゴミと同じ性質だわ
全通り総当り的に話をするなbot
205:１３２人目の素数さん
20/04/05 09:44:39.88 AWrJ0Lir.net
>>195
ほんとそう。
擁護派の連中によくよく警告しておくが、
今回京大が組織の名において「ABC予想が証明された」というからには、
3.12についてこれまで望月が公表したペーパーとは段違いのレベルで、
詳細な証明文が公表されるということでいいな？
もしそうでなければ人だましもいいところだぜｗ
完全に数学的真理に泥を塗る、開き直りの行為だと言う事になる。
206:１３２人目の素数さん
20/04/05 09:52:08.37 RRzLDa/F.net
IUTアニメの第2弾が1月に出てたのを知って見たけど
相変わらずわけわかんねーな
207:１３２人目の素数さん
20/04/05 10:24:19.50 lhpQKJcc.net
abc予想が証明されたと報道されていますがこのスレ見ると違う（？）ようですね
どうすれば証明されたことになるのでしょうか？
AnnalsやJAMSに掲載されれば証明されたことになるのでしょうか？
208:１３２人目の素数さん
20/04/05 10:27:21.69 1EKtff0v.net
>>200
ＩＵＴを理解できない奴らがわめいているだけ
時が解決するだろう
209:１３２人目の素数さん
20/04/05 10:28:57.01 KC+9VfMD.net
京都大学が会見して、証明したってはっきりいってんだからそれがすべて。
このスレにもちーやかしわばら先生や玉川先生以上の頭脳の持主がいれば別だが、いるなら名乗り出てもちーに挑めばいいとおもう
ただしれっきとした数学者じゃないと相手にされないが
210:１３２人目の素数さん
20/04/05 10:38:19.67 AWrJ0Lir.net
>>201
ウィキペディア英語版の記述、
アーベル賞もフィールズ特別賞も相手にされないという現実でおのずから明らかとなるｗ
211:１３２人目の素数さん
20/04/05 10:39:23.67 BfSFi30b.net
文系は来んな
212:１３２人目の素数さん
20/04/05 10:41:27.24 YxWsMJ4i.net
>>198
何内情知らん奴がいきりがって顔真っ赤にしてん
213:だよ リムスに恨みあるらしいな、コンプレックスか？ そもそも組織として認めてねーよ、編集委員会が認めたことを京大が発表しただけだわ
214:１３２人目の素数さん
20/04/05 10:47:30.92 YxWsMJ4i.net
ほんとニュー速にしろここにしろ、一定数、いや約1名のリムスコンプレックス拗らせ野郎がネガキャンしまくってるのほんと迷惑
それに似た事が海外で行われて、こんなアホな世界情勢になっとるんだわ
215:１３２人目の素数さん
20/04/05 10:49:25.90 YxWsMJ4i.net
Mzk研の中の人も言ってたけど、現場は相当困っているらしいよ、変な噂で平常な研究活動に支障がてでると
216:１３２人目の素数さん
20/04/05 10:55:59.40 cTzpxuVq.net
>>197
意味分からん
・ここにいる99％の人が、望月ＩＵＴは、”野矢茂樹の論理学”（>>193）とは無関係と理解しているだろうよ
・そして、”野矢茂樹の論理学”は、哲学の論理学であって、望月ＩＵＴの現代数学の論理学とは違うよ
・現代数学の論理学において、望月ＩＵＴと絡んでくるのは、第一に圏論的視点でしょ
・あと、ラベルという識別問題があって、無限の扱いとか、一階か高階かみたいなからみとかな
（望月先生自身は、∧と∨との取り違いで説明しているが）
・そこらは、”野矢茂樹の論理学”などの哲学の論理学では、決定的に欠けていると思うよ
スレチなので、これ以上は議論しない
217:１３２人目の素数さん
20/04/05 11:06:53.51 AWrJ0Lir.net
>>205
きちんとした証明を出せというと怒りだす擁護派のクオリティーｗ
これがすべてを物語っている
218:１３２人目の素数さん
20/04/05 11:13:00.49 imt8W0ho.net
>>198
最新版の「The Mathematics of Mutually Alien Copies」(>>185)は望月自身が出したサーベイの様なものと思うが、それを海外は読んでないのでは。
シュルツのレポートは、P142のExample 3.11.4.で間接（直接の指摘でない）で触れ、∧で扱わずに∨と誤認した例で解説しているのでは。
もしこの論旨が正しいなら、論文を修正なしで掲載するという、今回の判断となるのでは。
＞詳細な証明文が公表されるということでいいな？
上記[Alien]は、ガウス積分（副題）のアイデアきっかけからと思いましたが、読まれました？
219:１３２人目の素数さん
20/04/05 11:13:29.08 cTzpxuVq.net
>>209
>きちんとした証明を出せ
ほいよ
嫁め
（参考）
望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
宇宙際Teichmuller理論
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-04-04)
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-04-04)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-04-04)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
NEW !! (2020-04-04)
[5] A Panoramic Overview of Inter-universal Teichmuller Theory. PDF NEW !! (2013-08-20) Comments NEW !! (2015-11-11)
[6] Bogomolov's Proof of the Geometric Version of the Szpiro Conjecture from the Point of View of
Inter-universal Teichmuller Theory. PDF NEW !! (2016-01-12)
[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
NEW !! (2020-04-04)
220:１３２人目の素数さん
20/04/05 11:15:45.93 YxWsMJ4i.net
>>209
だから証明じゃねーんだってなんべんいわせんだよバカかお前ら
だからこれ以上証明しろだのわかりやすく説明しろだのできねーだよ、最初から丁寧にわからなかったら何度も読んでねつーしかねーの
221:１３２人目の素数さん
20/04/05 11:41:08.32 Hz6dZafY.net
>>192
もともとABC予想といえば“弱いABC予想”のことで、“強いABC予想”は後から出てきたものだから別に間違ってはないと思う
222:１３２人目の素数さん
20/04/05 11:45:19.16 OkXxG8nh.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
数学 物理学 化学 生物学 天文学 地理地学
IT �
223:d子 工学 言語学 国語 方言 など
224:１３２人目の素数さん
20/04/05 11:46:09.68 5ue6Irru.net
レッサーパンダとジャイアントパンダの関係みたいな
225:１３２人目の素数さん
20/04/05 11:46:23.84 NtAt+q6Y.net
>>211
これ他のひとも指摘してたけどなんで2月5日のアクセプトなのに4月4日版があるの？
けっきょく最終版はいつ出るの？ このまままただらだらとバージョンが上がるのか？
226:１３２人目の素数さん
20/04/05 11:47:43.87 kJ/xwsnV.net
三日天下
227:１３２人目の素数さん
20/04/05 11:50:40.41 YxWsMJ4i.net
>>216
アクセプトされてから、最終版を著者に依頼するのよ
で、著者は本筋と関係ないところなら修正がゆるされるわけ
だから修正してんのよ
なんなら最終版をEMSにおくってからも本筋と関係ないところなら修正可能だからね覚えといてね
228:１３２人目の素数さん
20/04/05 11:51:22 cTzpxuVq.net
>>209
擁護派つー 言い方がおかしくね？
クロをシロにしてくれって、言ってないでしょだれも
シロだからシロってことよ
ＩＵＴは正しいし、ＳＳの指摘は的外れで、ＳＳはＩＵＴを理解できていない
これが事実でしょ
でも、海外では、フィールズ賞の権威だから、ＳＳ側を支持している人が多いのは事実
これをどうしていくか？ その1つが今年予定の4つの国際会議
229:１３２人目の素数さん
20/04/05 11:53:02 NtAt+q6Y.net
>>218
つまりSSの回答にちゃんと答えてないってことじゃん。
2月時点では周囲に理解可能なコメントはなかった。
その後のアップデートがすべてマイナー修正ならSSに対する今も回答はないことになる。
230:１３２人目の素数さん
20/04/05 11:54:22 WYjlPv47.net
スレの議論の展開までSTAP騒動に似た様相を呈してきたな。
一体落とし所をどこに持っていくのだろうか。
>>220
鋭い指摘だね。
マイナー修正しかしてない状態でアクセプトされた事になる。
231:１３２人目の素数さん
20/04/05 11:54:22 NtAt+q6Y.net
>>219
じゃあ今すぐそのSSを納得させる（ケドラヤとかも含めて）説明をここに書いてくれ。
おれがそれを英語にしてSSに送るから。
＞ＩＵＴは正しいし、ＳＳの指摘は的外れで、ＳＳはＩＵＴを理解できていない
＞これが事実でしょ
こう言い切れるならおまえは分かっているはず。
232:１３２人目の素数さん
20/04/05 11:55:37 TzRDNpXs.net
望月教授と滝浦真人（放送大学教授、法政大学講師）の類似点
望月教授のＡＢＳ予想の証明：自身が編集長を務める学術誌ＰＲＩＭＳに掲載予定（２０１２年に予稿をＰＲＩＭＳのwebに掲載）
数理解析研究所の教授（柏原正樹、玉川安騎男）の発言：「証明したことに間違いがないと言ってかまわない。
『ＡＢＣ予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」
ネイチャー：The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者：望月の証明には欠陥がある
ヨーロッパ数学協会会長：批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程のアドバイザー： 考えを明確に伝えようとしていない
URLﾘﾝｸ(www.nature.com)
233:les/d41586-020-00998-2 滝浦真人の博士号に関する学位審査（公正な審査では不合格？） 学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査 主査は『語用論研究法ガイドブック』の共著者でもある（日本語用論学会会長：加藤重広 、日本語用論学会編集委員長：滝浦真人） 副査は、論文の内容が専門外 学位請求論文：日本語敬語および関連現象の社会語用論的研究 論文の内容：既刊の本を無理やりつなげただけ 審査結果：大賛辞による乙種の学位授与 論文の二重投稿の論理的構造 別の論文と内容、結論が同一(酷似，類似)である 先行論文と比較して、内容と結論に新規性がない 既存の（実験）データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい 適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい 学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、 二重投稿は反社会的性質をもつ https://ja.wikipedia.org/wiki/二重投稿
234:１３２人目の素数さん
20/04/05 11:56:00 NtAt+q6Y.net
>>221
しかも>>219も意味不明なんだよね。
論文で説明されていないことをその後の国際会議の説明で補完していいなんて聞いたことがない。
235:１３２人目の素数さん
20/04/05 11:56:27 YxWsMJ4i.net
>>220
？？
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
236:１３２人目の素数さん
20/04/05 11:56:57 PD3KZeWd.net
>>194
>横＆スレチだけれど
>・流体力学の場合、乱流とか渦の特異点が生じなければ、結構粗いメッシュでも近似精度はそこそこ良かったはず
>・粗いメッシュから細かくして、ある精度で一致したら「収束」という定義ですよね （測定精度の問題もあるし）
>・乱流とか渦の特異点が大きな問題で、そっちは100万ドルの懸賞金問題ですね（下記）
>>164では本当におおざっぱに言いました。
工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。
別領域に切り出した部分は実験屋の経験式や別の理論式をはめ込んで別のモデリングを採用します。
＊「やばそうなところ」とは、メッシュよりずっと小さい粒度で「調べたい性能」*に過敏に作用する領域です。
＊「調べたい性能」とは摩擦力や熱伝導特性などです。
工学では、調べたい性能が低コストで得られれば手段は問われません。
別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
「やばそうなところ」の例は、
・vortex generator(突起）付近の流れ
・移動する相変化面近傍の領域
・移動する衝撃波近傍の領域
固相との境界には「薄い」境界層が生成され、境界層が層流か乱流かで流体特性の「ほとんど」が決まるので、
境界層部分のモデリングがシビアになるケースでは境界層のモデリングに特別な配慮を行います。
流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
賞金とかかけられますが。
目的が特殊なら一般化した単独モデルにはこだわりません。
スレチですいません。
237:１３２人目の素数さん
20/04/05 11:58:24 NtAt+q6Y.net
>>225
＞だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
論外だと言ってるひとの方が少数派なのにそれは無理がある�
238:ｾろ 理解できないひとのほうが多数派ならすくなくとも「そこは通常の数学者にはギャップに見えるから、 埋める解説が必要」ということしか意味しない。 ギャップはただの誤解だと言えるのは「ギャップがある」と言ってる数学者が少数の場合だけ。
239:１３２人目の素数さん
20/04/05 11:58:31 YxWsMJ4i.net
>>223
これ、望月見たらマジで訴訟レベルだぞいいのか？
トンデモ張ってんのそれくらいにしとかないと本気でヤバいぞ
240:粋蕎 ◆C2UdlLHDRI
20/04/05 11:58:39 FONsPQYw.net
>197
野矢茂樹「無限論の教室」の架空の登場人物タジマを信奉している事を表明するとか
どういう神経しとるん？あれが、どんな言い分を盾にして
どこで思考停止してるか分からねぇバカ恥を晒して、よく平然としてられるわ
そのタジマ、途中で実無限の説明しなきゃいけなくてマジタとか名乗り変えてたじゃろ
アンタも「アリストテレスに帰れ！」とか小っ恥ずかしいなんてもんじゃない叫び声をあげる奇人か？
何でそんな実無限を憎んで可能的無限を崇めるん？
野矢茂樹自体が登場人物タジマとは違う考えでいる事を巻末で結んでるのも無視して何を崇めるん？
241:１３２人目の素数さん
20/04/05 11:59:26 YxWsMJ4i.net
>>227
多数派少数派で決まるんなら科学いらねーよwww
242:１３２人目の素数さん
20/04/05 12:00:44 YxWsMJ4i.net
>>227
ってかちゃんと回答してるから。ショルツがそれを無視して逃げたんだから。どうしようもない。
243:１３２人目の素数さん
20/04/05 12:01:14 NtAt+q6Y.net
>>230
きみは科学コミュニティのことがまったくわかっていない。
真理は多数決では決まらない。あたりまえだ。
だが科学的コミュニケーションはコミュニケーションなのだから、
多数派が理解できないなら少数派には解説をする責任がある。
科学コミュニティの作法を無視しているからこの件はずっと問題になってることを理解してないね。
244:１３２人目の素数さん
20/04/05 12:02:18 NtAt+q6Y.net
>>231
ならなぜ科学者の多くは「ショルツが逃げた」という判断をしていないんだ？
245:１３２人目の素数さん
20/04/05 12:02:24 TzRDNpXs.net
>>228
ネイチャー読めよ
URLﾘﾝｸ(www.nature.com)
246:１３２人目の素数さん
20/04/05 12:14:41 ESZv1/p1.net
ちと話変わるけどEMSの責任者が知らなかたっていうのおかしいんだよね。
京大の発表では2月5日にアクセプト。今は2ヶ月後。
さすがに2ヶ月あったらアクセプト結果がMehrmannの耳に入ってないってのは信じられない。
今まで物議を醸し出した査読結果なんだからEMS内ですぐに広まるはず。
つまり2月5日にアクセプトしたと言っているが編集委員会はその結果をEMSに送ってないんじゃないか。
247:１３２人目の素数さん
20/04/05 12:15:18 YxWsMJ4i.net
>>234
権威主義の弊害wwww
ネイチャーガー
フィールズメダリストガー
ゴシップ似非サイエンスwwww
248:１３２人目の素数さん
20/04/05 12:16:01 YxWsMJ4i.net
>>235
アクセプトされてすぐ送ってるよ
249:１３２人目の素数さん
20/04/05 12:16:47 BRLakduE.net
問題の系3.12について引っかかるのが、IUTの他の定理は証明が1ページ未満なのに対し、この系3.12だけは10ページ以上も証明があるって点だ
本来は“系”(corollary)というぐらいだから証明もいらないぐらい自明じゃないといけないはずなのに
250:１３２人目の素数さん
20/04/05 12:17:29 kdKHAXb8.net
EMSは知らなかったのに5chでそれらしい書き込みがあったから内部者が書いてるの間違いないんだよね。
だから擁護コメは内部者で利害関係人だから信用できないと思ってる。
251:１３２人目の素数さん
20/04/05 12:18:10 YxWsMJ4i.net
>>239
お好きにどうぞー
252:１３２人目の素数さん
20/04/05 12:19:22 WYjlPv47.net
ギャップがある事自体は修正か撤回すればいいで済むけど
ギャップを放置したままRIMS内では証明された事にするなら
全く話は変わってくるわな。
253:１３２人目の素数さん
20/04/05 12:21:13 levNeqCT.net
望月さんはABC予想など小さいよ
もっと大きい論文だよと
こう
254:いう態度で 通してるんですかね ABCもフェルマーも目立つから 勝手に大きな山みたいに扱うが 数学とはもっと大きい学問ですよ こういう感じなのかな
255:１３２人目の素数さん
20/04/05 12:21:20 YxWsMJ4i.net
>>221
何が鋭い指摘だ、だよw
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外
さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
256:１３２人目の素数さん
20/04/05 12:22:03 kdKHAXb8.net
>>241
そこなんだよな。
RIMS内部では理解したことになってるわけで、
じゃあ今後RIMSからみんなにわかる明確な説明があるんですよね、TやKはできるんですよね、
という話になってくる。EMSがreflect badly on themって言ってるのはこの事態だろう。
257:１３２人目の素数さん
20/04/05 12:22:47 YxWsMJ4i.net
>>241
ギャップ自体がないのよ、何回いわせんだよ
RIMS内云々ってこれ編集委員会マターだからね、リムスかんけいないの
258:１３２人目の素数さん
20/04/05 12:23:45 YxWsMJ4i.net
>>244
リムス内部で理解なんて絶対条件じゃないから
レフリーレポートがすべてよこの世界
259:１３２人目の素数さん
20/04/05 12:25:10 kdKHAXb8.net
>>246
きみ査読のことわかってないのバレバレなんだよね。
じつはレフェリーレポートがrejectでも編集委員長がOKなら載せられるんだ。
嘘つきの相手は時間の無駄だから。
260:１３２人目の素数さん
20/04/05 12:26:37 f2J1qa0q.net
ついにABC予想の証明が正しいと認められるwwwww
お、おまえら～w
261:１３２人目の素数さん
20/04/05 12:27:50 kdKHAXb8.net
編集委員会が査読をさせるのは査読結果を勘案するためであって、
そのレフェリーレポートでacceptかrejectかを決めるためではない。
だから機関誌についてレフェリーの責任であって機関誌の責任ではないとは言えないんだよ。
最終判断下してるのはそこなんだから。
262:１３２人目の素数さん
20/04/05 12:28:06 f2J1qa0q.net
反論があるやつは反対論文を投稿しないとなw
263:１３２人目の素数さん
20/04/05 12:30:16 8gUORYpi.net
>>234
＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、EMSのガイドラインに違反しないことを確認している。
とあるその記事か
何を逆証の記事をドヤ顔で引用しているわけだド阿呆
264:１３２人目の素数さん
20/04/05 12:30:53 1GnoRDNQ.net
全く良く分からんが、>>180がコミュニティ的に精査されることで、誤解があれば解けるんじゃないの？
元々ギャップ自体ないなら確かに修正しようもないな。
265:１３２人目の素数さん
20/04/05 12:34:25 f2J1qa0q.net
望月スクールのやつらは既にABC予想の先をやっているというのにお前らは8年前で止まってるなw
266:１３２人目の素数さん
20/04/05 12:38:28 NkAq1xzA.net
>>229
『まったくゼロからの論理学』岩波書店
の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語
演繹，前提，仮定，含意，条件法
について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
偽の仮定という言葉がないことを知って再開することができた
だから薦めている
因みに新書の話だが
たとえば全称命題における
数学的帰納法ですべての自然数nに対して
n=1の場合を取り出すことは不能であると考えるので
可能無限派に属するとは思う
それだから
∃n,k∈N
n_1=1
n_k=k
n_k+1=k+1
という記法になってしまう
267:１３２人目の素数さん
20/04/05 12:46:09 WYjlPv47.net
>>252
ギャップがないなら解説を加えるのも簡単なはずなのよ
コミュニティ側は3.12にギャップが本当に存在しないのなら
その明快な解説を公開した人物の業績は永遠に語り継がれると言っているのに
８年間誰一人として解説を与えられる様子がなかった事で
「理解者
268:」も単なるイエスマンだと見なされて完全に見限られた。
269:１３２人目の素数さん
20/04/05 12:54:46 YxWsMJ4i.net
>>247
いやいや、レフリーレポートが強く勧める内容なら、それをエディターがリジェクトするにはそれ相応の理由が必要だろ？今回何の理由があんだ？まさか「まだ世界的に認められてないから」なんて下世話な理由じゃねーだろうな？
270:１３２人目の素数さん
20/04/05 12:55:16 5VmMZ0as.net
>>195
自己の無矛盾性を証明ってどうやって？
細かいギャップは修正され続けてますよね
論文は公表されてますから、
矛盾を指摘する側が論理的な破綻を証明する事が可能では？
271:１３２人目の素数さん
20/04/05 12:56:07 8gUORYpi.net
>>243>>250
まったくだな
・アインシュタインは量子論を生涯に渡って批判し、問題点を指摘する論文を書き続けた。
あのアインシュタインに延々と批判された量子論など、全くダメダメで何の価値もない
何十人もいる、たかだがフィールズ賞の若造ごときとはレベルが違う、あの人類史上のアインシュタイン大先生からの大批判
しかもそれ自体きちんと査読を通った論文で
もし熟慮の上のまともな批判であるなら、自らもきちんとした反証論文を、学者生命を賭けてでも出すべきだろうがそんなものはなく、出すフシもない
外野がウロ理解を元にネットで何か突いてた
→うわあ大問題 この理論大間違い決定終わりーっ