18/11/13 07:49:51.72 2IRaZj4v.net
2012年にIUTが公開されてからのこれまでのIUT界隈の変遷を辿るのも一興なり
結局IUTについて一言で述べるなら早すぎたという言葉が最も適切なんだろう
全て完成させるにはリソースがなさすぎる
505:１３２人目の素数さん
18/11/13 08:35:12.15 3SsRak9E.net
PS.JSレポにも書いてあるとおり
IUT論文は中身空っぽ 自明 ですね。
日本の数学者は無批判でIUT論文を拝んで
読んでいたんだなあ～
個人的に PS.JSレポの主張とアインシュタイン
1905年論文「運動物体と電気力学」= 法則.
測定とは何か、の関連に興味がある。
506:１３２人目の素数さん
18/11/13 11:46:47.21 N27iKJDS.net
>>481
妥当な考察ですね
まさに天才の仕事ならではの現象
世に埋没してないわけだからまだ恵まれてますね
世が世なら何十年も放置されて気付かれなかったかも
現にこのスレにも放置したがってる蒙昧な輩に溢れてる
そういう奴らに限って俺こそ正常であり真っ当な判断力があると思ってる
非常に面白いなと
将来的にドラマが制作できそうなネタ満載です
それがリアルタイムで目の前に。幸運ですね。そうしたタイミングに遭遇できたのは
507:１３２人目の素数さん
18/11/13 12:19:15.79 0HGclOXe.net
>>478
京都のワークショップでは100時間近くかけて説明したけどダメだったからね。
508:１３２人目の素数さん
18/11/13 13:29:33.10 KL/hiwDR.net
あってる
509:１３２人目の素数さん
18/11/13 15:50:13.15 WLvkQeQW.net
IUT論文の検証者は 身内 取り巻きが中心で
査読にならないね、
森重文RIMS名誉教授に依頼された
「査読者」PS.JSに拒否された。
それだけだな、
510:１３２人目の素数さん
18/11/13 16:11:49.72 QPA9amyp.net
>>482 >日本の数学者は無批判でIUT論文を拝んで
>読んでいたんだなあ～
別に擁護者じゃないけど、こういう適当なこと言うアンチもどうなのかね
取り巻き以外で無批判で拝んでいた日本の数学者って具体的に誰よ
511:１３２人目の素数さん
18/11/13 17:07:01.97 +u3eq51a.net
長い物には巻かれろ
512:１３２人目の素数さん
18/11/13 20:33:58.51 SZR1G6YL.net
あれだけ紙数費やして一応微妙な取り巻きもいて、理解されない天才はちょっと無理があると思うなあ
抽象代数すら未発達だった時代に短いノートを遺して
513:本人が死んじゃったガロアとは全然事情が違う
514:１３２人目の素数さん
18/11/13 20:53:56.27 N7KAxXca.net
ガロアが「認められなかった」とかいうけど、コーシーも認めてたみたいだし、
「ナンセンスな理論」と言われたわけじゃないでしょ。
ポワッソンが「説明不足」という指摘をしたのに対し、ガロアはちゃんと詳しい文章を用意して、これでポワッソンは説得できると思っていたし。
望月一派の開き直りとはわけが違う。
ガロアが埋もれたのは、今よりも情報の伝達が遅く、
その理論を研究、宣伝すべき当の本人が死んでしまった点が大きい。
515:１３２人目の素数さん
18/11/13 21:18:43.05 lQBjdQ/O.net
>>486
雑誌の編集として中立を保つなら査読レポートに対して
本当に真っ当な返事を返さなければそれで終わり
>>489-490
ガロアの場合は死んだのが1832年でリウヴィルによる論文掲載が1846年
さてIUTは14年間で出版されるかどうか
もっちー還暦で論文掲載とか
ガロアの論文は眺めたことがあるがあれだけからガロアの理論を読み取った人は偉いよ
516:test1
18/11/13 21:20:56.09 pw/JhmX8.net
the reference frame
Scholze, Stix don't have the magic power to veto arbitrary proofs
517:test1
18/11/13 21:22:09.89 pw/JhmX8.net
the reference frame
Scholze, Stix don't have the magic power to veto arbitrary proofs
518:１３２人目の素数さん
18/11/13 21:40:51.96 ifJqKWr4.net
ガロアなど語っているチンパンジーはありあえずガロア理論くらい理解したまえ
啓蒙書は読めても数学の理解は無理か
すまんすまんｗ
519:１３２人目の素数さん
18/11/13 21:47:20.86 pw/JhmX8.net
Let me admit that my guess is that Močizuki is a far deeper mathematician than Scholze. So are the Europeans' criticisms valid?
520:１３２人目の素数さん
18/11/13 22:04:34.97 ohTInrqh.net
ウィ○ペディアからガロア群の問題を丸パクった自称数学者がまた他人を煽ってるのか
あと、普通プロは式に=0を付けんぞ
521:１３２人目の素数さん
18/11/13 22:13:54.43 JO40n8DZ.net
本人降臨？
522:１３２人目の素数さん
18/11/13 22:36:46.24 ohTInrqh.net
>>497
同じ煽りばかり繰り返してるから一種の発達だろうけど、さすがに本人はここまで酷くないでしょ
523:１３２人目の素数さん
18/11/13 23:03:00.77 UK94lA2R.net
チンパンの人は本人ではないと思うけど
本人も書き込みしてるかも？
524:１３２人目の素数さん
18/11/14 01:43:01.59 vjnDTvCJ.net
jinのしったかぶりもこの６年でかなりレベルアップした。
525:１３２人目の素数さん
18/11/14 08:41:30.82 6LU2Vx2k.net
IMU 国際 数学 連合
IUT 国際 ウソ たかり
526:１３２人目の素数さん
18/11/14 09:17:37.99 H1GYFlI5.net
宇宙際数学連合爆誕
527:１３２人目の素数さん
18/11/14 09:19:20.01 6LU2Vx2k.net
>>502
たかり屋
528:１３２人目の素数さん
18/11/14 10:05:22.14 7G9cy6sF.net
南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライド
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
529:１３２人目の素数さん
18/11/14 10:25:39.74 ywEM7J7L.net
>>504
おお！すげー！
全然分からんけど。
530:１３２人目の素数さん
18/11/14 14:15:16.84 Cv7UOakp.net
|/|
|/|
|/|
/""`､
/ `､
_,,-''''''''"""""''''''-,,,,
／ ＼
〈 :/
＼__,,,,-''''"""""''''-,,,_:/
/oﾟ（＞） （＜）ﾟo ヽ 芸能人が吹き替えに
ｒ-i./ ｀⌒,(･･)⌒´ ヽ.l-､ 挑戦というのは許せない
| | | .|r┬-| | | ﾉ という気持ちが分かるので
｀| |ヽ `ー'Ｕ ﾉ|.|| 私の顔が思い浮かばないように
| | | |＼ ｀ｰ-‐'' ／| || ||-､ナチュラルな吹き替えを心がけた
r―~ここここここここ)''々i
! ﾒ ￣｀. ´ ￣｀ .ﾉ
.'- .ｨ 嘘つき 「 , '
. | :｡:: ﾒ :｡:: ! i
ノ # ﾒ ヽ、
, ' ヽζζζ , ' ヽ
（（ .{ _.ト、 Yl｜iY # ,イ .} ））
'､ >.ト. ' ｜. ' イノ .ﾉ
' .,,_ ___ ノ-^-`､ ___.... - '
,lﾞ:.:.'i ﾌﾞﾘｭﾌﾞﾘｭｯ
__. ,-'''"::;::;;:‘----,,,,、
,i´ :.:o｡。;ﾟ;ё;ﾟ;.:.:.ｏ｡ﾟ｡.:.`'． ｵｷﾞｬｰ
ﾞ''￢---―''''''ﾞﾞﾞ''―-┘
531:１３２人目の素数さん
18/11/14 16:19:29.12 nvTW8Jt+.net
ショルツとスティクスを呼んだ経緯について、さすがに政治的意図はないだろうと思ったけど、
事実上の外部審査だったんじゃないかと言われるとそんな気もしてくるんだよな。
対外的にはこれでトドメだったわけだし。
となると内部審査では手がつけられなくなっていたということになるが。
532:１３２人目の素数さん
18/11/14 16:43:56.25 IePKq+TS.net
てか内部審査って何って感じだよな。
論文誌の査読を関係者に依頼してどうすんねんて話。
どこまでを内部の人と言うのか知らんけど。
533:１３２人目の素数さん
18/11/14 17:10:10.31 eZ/c9KM9.net
>>508
近年は高度に専門的な話だと「部外者がいない」場合も本当にあるから難しいよな
逆に応用系だと論文投稿の時に「査読を頼みたくない人（＝ライバル）」を
指定できる雑誌もある
嫌な時代だ
534:１３２人目の素数さん
18/11/14 18:00:24.77 bs7WWKvO.net
逆に恵まれてる時代だろ。ネットで公開して読者を気軽に増やせるんだから
普通ならもうFrobenioidとかの段階でフォロワーがいて、アナウンスから二年三年で理解者が増えて
FrobとかAnabを使った論文が少なくとも今頃いくつかarxivには出てきてる段階。これが普通の時間感覚だろ
正しい論文の
535:１３２人目の素数さん
18/11/14 20:39:12.10 TI1Jdnrh.net
>>507
そりゃそうだよ。望月論文は外部審査をクリアできなかったってこと。
それ以上でもそれ以下でもない。
SSの疑念を解くことができなかった時点で論文は不合格で、擁護論が成り立つ余地はない。
内部検証はまるで検証になんかなっていない。
>>510
それも言える。ネットに論文を公開したという事は、世界中に査読を求めたってこと。
正しければ必ず理解者が現れ、しかもそれがどんどん増えていくはず。
536:１３２人目の素数さん
18/11/14 20:46:06.78 G0kJEgNU.net
最先端で難解かつ高度なテクニックを駆使した論文の場合、査読者は限られてくるよね
ワイルズの時だってカッツ、テイラー、リベット、イリュジー（？）らが査読者だったわけだし
同僚、教え子
537:、親友がいたって不思議ではない IUTTの件で問題なのは、おそらく査読者であろう検証チーム4人がワークショップを複数回行っているに、 世界中の多くの数学者に不信感しか持たれていなかったということ その流れの中でS・Sレポートが世に出て多くの数学者が完全にIUTTを見限った フレンケルのツイートは難癖だと思うけど、結果的に正当な批判になってしまった 悪しき前例を作ってしまったと思うよ
538:１３２人目の素数さん
18/11/14 20:49:40.71 TmhEQl4i.net
ZFCはZFの中でモデルが作れるので、
ZFにおいて選択公理を考える場合、
ZFの中に作ったZFCでは選択公理が成り立つので、
もともとのZFでも選択公理が使える、
みたいな変なことをIUTでやってる可能性ってない？
さすがにない？
539:１３２人目の素数さん
18/11/14 20:53:18.41 eZ/c9KM9.net
2020のプロジェクト研究がなければとっくにrejectで終わってるだろ
金がないと将来が苦しい取り巻き連中は力不足だった
仕方ないんじゃないの
540:１３２人目の素数さん
18/11/14 21:00:44.88 zj/LoJoA.net
問題とすべきはaccept/rejectではなく、正否の問題のはずだ。疑念がある以上徹底的に検証してほしい。
541:１３２人目の素数さん
18/11/14 21:06:34.80 nvTW8Jt+.net
たしかに数学は最終的には正否の問題だけど、
当事者が説明責任を果たさないときに周囲には検証する義務はない（つまり偽とみなしてよい）、
というのが限られたリソースの使い方だよね、と思う。
相手がトリッキーならこっちもトリッキーになっていいだろうっていうジョークはそういう意味なのでは。
542:１３２人目の素数さん
18/11/14 21:23:25.94 bs7WWKvO.net
普通の感覚なら「仕方あるめえ、飛行機は嫌いだけどショルツが理解しないならアメリカに行ってみるか」
「プロジェクトとかは少し待って下さい」
ってなる。そうならない以上バッドエンドでも仕方ない
543:１３２人目の素数さん
18/11/14 21:50:17.21 dvX24pAB.net
まだやってんのか
数学的証明の正当性なんて論理式の変形を省略せずに書けば機械でも検証できるだろ
544:１３２人目の素数さん
18/11/14 22:02:42.86 eZ/c9KM9.net
>>515
rejectの場合はそれで終わりではなく
修正して再投稿すれば良い
そうやって出版された論文もある
acceptの場合は雑誌が責任を持つことになるので
簡単にはできない
プロジェクトは延期でも構わない
修正されて正しいと判断されて雑誌に掲載されプロジェクト再開なら
めでたい話
545:１３２人目の素数さん
18/11/14 22:02:45.31 K0MF6lvp.net
仮にグダグダの状態で2020年まで行くとしても
それ以降はどうなるの
546:１３２人目の素数さん
18/11/14 22:34:55.54 q27PUa1r.net
希望的推測ってのは外れるためにあるからねえ
547:１３２人目の素数さん
18/11/14 23:19:26.62 zj/LoJoA.net
>>518
機械で証明の検証できるように書くのは、百倍くらいの労力いるから無理。
548:１３２人目の素数さん
18/11/14 23:23:30.52 G0kJEgNU.net
ABC予想の証明もIUTT主論文も取り下げて、IU形式主義を構築し新しい圏の幾何学を標榜し顕揚することから始めるしかない、
なんて俺は思うわけよ。それぐらいしか彼を救う道はないような気がする
このままでは日本のマスコミと華麗な学歴に幻惑された狂信者にしか支持されない（マスコミはあっさり切り捨てるだろうが）
現代数学を根本から刷新したかったのだろうから、宇宙際基礎論、宇宙際論理学、宇宙際認識論、宇宙際存在論、
みたいなことをやればいいんじゃないかな（もう俺もどーでもよくなってきているのだが）
549:１３２人目の素数さん
18/11/14 23:24:44.16 Wlr6MtWb.net
>>518
ヘイルズによるケプラー予想の証明では形式化してコンピュータでチェックする
まで12年もかかってる。めっちゃ大変な作業
550:なんだよ。誰もやらんだろうけど。
551:１３２人目の素数さん
18/11/14 23:32:28.00 bs7WWKvO.net
間違ってたら地獄だもんなw
552:１３２人目の素数さん
18/11/14 23:41:35.22 G0kJEgNU.net
数論界隈では日本人はないがしろにされているとか誰かがほざいていたけど、
今日、肥田晴三氏がデカイ賞を授与されることが決まったんだが。
URLﾘﾝｸ(www.ams.org)
スティール賞の独創的研究部門だね。日本人では生涯の業績部門で志村先生が受賞しているだけだった
日本人・東洋人差別があるとかほざいていた大学教授や研究者はどう言い訳するつもりなのかね？
志村先生も外国の研究者のことをいろいろ言っていたけど、あれは良くも悪しくも貪欲だったという意味だったと思う
553:１３２人目の素数さん
18/11/14 23:57:18.82 bs7WWKvO.net
それも何だかよくわかんね
少なくとも俺は差別されたと感じた事一回もない、数論には片足くらいしか関わってないけど
世界的なジャーナルにも日本人の編集者いるしねえ
554:１３２人目の素数さん
18/11/15 03:10:16.10 SjhWGnFn.net
日本人が海外で評価されるまでに時間がかかることが多いのは確かで
海外でも高い評価を受けるようになり始めると苦労しないから気がつかない
また外国の若手は日本人の論文を読まずに身近な先生の論文（そこには
日本人の論文はちゃんと引いてある）だけを引用したりもする
まあ日本でも逆に同じことやってんだろうけどなあ
俺の論文を使った外人の論文が引用されて俺の元論文は引用されてなくて
なのに使っているのは元の俺の定理だけって経験は何度かある
555:１３２人目の素数さん
18/11/15 04:32:03.94 tXZS9S1z.net
森重文「はい論破ｗ」
556:１３２人目の素数さん
18/11/15 07:33:08.90 ct0hOoEF.net
>>524
ケプラー予想は、途中の計算部分の検証が容易でないんだと思う。四色問題と同じ。
論理の部分は正しいと検証されてるよ
まあ、何度も言われてるけど、証明が正しければ必ず人を説得できる。
なぜなら正しい証明は最終的には三段論法の段階まで詳しく展開できるから。
SSが証明に疑問を持ち、望月がかれらに理解されるまで詳しい証明を与えられなかった時点で、
望月は正しい証明を得ていないとわかる。
557:１３２人目の素数さん
18/11/15 08:09:44.50 3f4MbABC.net
>>530
その議論は説明にかかる時間を考慮してないね
558:１３２人目の素数さん
18/11/15 09:03:13.17 cYNHCAEs.net
>>530
>>ケプラー予想は、途中の計算部分の検証が容易でないんだと思う。四色問題と同じ。
>>論理の部分は正しいと検証されてるよ
そう思うんだけど、ところが2012年の時点(終ったのが2014年)で
"text part"(普通の証明部分) が "is being done" って報告してるか
ら、その頃やっと終ったっぽいんだよね。他の部分と並行だけど10
年以上かかってる計算になる。
どちらにしろ定理証明支援器にかけられる様に翻訳するのは大変で、
公理系からやってかなくちゃならないから、とてもじゃないって事で。
559:１３２人目の素数さん
18/11/15 11:41:24.98 w92HI9Jx.net
>>530
＞証明が正しければ必ず人を説得できる。
木村俊一「天才数学者はこう解いた、こう生きた」P.262より引用。
「「論理的に説明すれば、必ず人を説得することができる」
数学者はいいかげん、この迷妄から足を洗ってはどうか…（中略）
論理は人の反論を封じ込める術としては優れたものであるが、
人を納得させる力は乏しい」
論理なんて、理解できなきゃ説得できんし、
理解できてもライバルだったら、容易に認めようとはしないだろ。
560:１３２人目の素数さん
18/11/15 12:57:25.31 VirHi9lZ.net
というかIUTの場合は論理的かどうか以前に説明を果たしていないのだから、
そういうレベルの話にすらなってないわけで。
561:１３２人目の素数さん
18/11/15 15:07:02.67 XdkkSflU.net
>>526
なんでその論旨でアメで活躍してる人ばっかりあげるのか。不適切な例ばかりあげるタイプか
562:１３２人目の素数さん
18/11/15 15:55:01.36 D0/wfEMB.net
. ／ ￣｀Y ￣ ヽ
. / / ヽ
. ,i / // / i i l ヽ
. | // / l | | | | ﾄ､ | また紅白落選？
,＿_ | || i／ ノ ヽ､ | | ／
_＿｀ （Ｓ|| | oﾟ（＞） （＜）ﾟo /￣／ 辞退だおおおおお(´；ω；`)
, ＼(⌒ | || | .ﾉ ）| .⌒) rへ,ノ
＿＿＞‐へヽ. | || |ヽ､＿. ～'_／|ﾉ / :.＼＿
.:／＼ ／rーﾍ＿
＿::ノ ::ﾉ:｀:⌒Y⌒´:::. ＼
.:::┘: ::│ ::. ﾟ
. ／ ￣｀Y ￣ ヽ
. / / ヽ
. ,i / // / i i l ヽ
. | // / l | | | | ﾄ､ | ,＿
￣＼_／＼| || i／ ノ ヽ､ | |/￣ ゴゴゴゴゴゴ・・・
＿＿＿／ ｀￣へ√⌒l⌒´￣￣´＼＿
´ / ＼
_＿＿＿/￣￣
／ │￣＼＿＿ ゴゴゴ・・・
/
563:１３２人目の素数さん
18/11/15 17:14:03.68 w92HI9Jx.net
>>535 人種的に日本人かどうかというより、アメリカにコネがあるかどうかが重要なんだよね。
564:１３２人目の素数さん
18/11/15 17:33:17.50 MtpPt7Xq.net
日本人が認められにくいとか読まれにくいのはたまにあるだろうけど、それは差別というよりは
文化圏が離れてるだけだと思ってたけどな。学派で見ても同じだもん
日本人同士でも対象は近いのにアプローチが少し違うからってお互いあまり言及しないとか普通にある
それに、そういうギャップがあると却って得をする場合もある
良い研究なのに世界にはあまり知られていない、みたいな
565:１３２人目の素数さん
18/11/15 17:40:57.31 yisv0c6P.net
>>522 >>524
証明の全体を機械で検証する必要はないんだよ
「なんでこれが成り立つんですか？」って言われたらその部分だけ論理式を書いて説明すればいい
それでも理解できないやつは人間じゃない
566:１３２人目の素数さん
18/11/15 17:53:32.35 MtpPt7Xq.net
むしろこの件については「IUTが認められない理由は？」と、ディオファントス界隈の人間に
アンケート取った方が問題がはっきりする。京都の連中は調査したほうがいい
英語のネイティブが正しいアイデアのプレゼンに失敗するというのは普通はありえないことだ
567:１３２人目の素数さん
18/11/15 18:35:44.44 cYNHCAEs.net
>>539
う〜ん、でも Corollary 3.12 のステートメントを述べるだけでも大概の概念を
定義しなけりゃいけないだろうし、どこまで端折るかって話になるとほら、
仮定して置いて「自明です。」と言うのも論理(式)としては正しい訳だから。
ギャップを説明の外側に置けちゃうんだよね。それにill-definedじゃないか
とかなってくるともうどんどん遡らざるを得ない。
568:１３２人目の素数さん
18/11/15 19:05:12.70 TaEwyANZ.net
>>541
横からゴメンだけど、それを遡ってやったのがS・Sレポートなんだよね
話は変わるけど、先日親切な人（次からはゼータ界隈の人と呼んでいい？）が「IUTとホッジ理論の動機付けにまつわる関連性」（>>430）
について書いていたけど、これなんかはIUTT初期構想の、
・数論的log schemeの圏論的表示から見た楕円曲線
569:の数論 （北海道大学 2003年11月） ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf を読めばいい。望月の熱い思い、IUTTに賭ける情熱が伝わってくる。こんなことを書くのも、 親切な人や俺なども立場や考え方こそ違え、望月を救いたいという気持ちは少しぐらいはあるわけだ（笑） 望月を援護するつもりで背後から撃ってる奴らを見てるとイライラしてくる（NG入れるのがめんどくさいよ）
570:542
18/11/15 19:12:19.52 TaEwyANZ.net
ああ、リンクできなかったね
・数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）
は、「望月新一の出張・講演」の[10]だよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ちなみに俺は望月とメール交換しようとは思わない。今の彼の態度を見てるととてもそんな気すら起こらない
イエスマンに取り囲まれて○気を失っているとしか思えない
571:１３２人目の素数さん
18/11/15 20:00:28.70 cYNHCAEs.net
>>542
いやまあ、元々は機械で検証するのが現実的かっていう話なので、そういうのは
結局全部入力しなきゃならないハメになるよって事です。
572:１３２人目の素数さん
18/11/16 04:52:57.77 cMeMKe8y.net
というか、論理関係を入力する時点でその本質を明らかにしなければならないんだから循環論
その意味が明確になればそれで十分検証できるわけだから
しばしば証明は難しいにしても、組合せを尽くすだけの単純な離散数学とは違うんだよ
それよりも一般に何処が読めないのか調べたほうが早い
573:１３２人目の素数さん
18/11/16 10:08:30.60 3fj2avs/.net
論理矛盾ではないよ。
その論理が単に数学的な文章としては成立しているのと論理的に整合しているのかを調べるのでは意味が違う。
でなければ何年もかけて過去の数学論文をcoqで検証してむるプロジェクトやってる意味ないでしょ？
574:１３２人目の素数さん
18/11/16 12:39:23.54 jORjrxEl.net
さっさとやってハッキリさせればいいじゃん
逃げてるようにしか感じられん
575:１３２人目の素数さん
18/11/16 16:24:07.38 R9Dow91b.net
何か進展ないの？
576:１３２人目の素数さん
18/11/16 18:35:54.22 TFe1cOp+.net
>>546
単純に難しい。フィールズ賞と殆ど変わらないくらいの学術的ブレークスルーが必要
577:１３２人目の素数さん
18/11/16 19:16:39.69 zh6xt31o.net
コンピューターで検証することについてショルツはこう言ってる
実際自明だって言い張ってるんだから機械的な検証に落とし込む以前の問題なんだろう
>One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work).
>The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear,
>but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.
URLﾘﾝｸ(galoisrepresentations.wordpress.com)
578:conjecture-has-still-not-been-proved/ SSが極端な単純化をして否定するような説明をしたのは、論理が明示されてないからそうでもしないと話が進まないのもあるけど 書かれていない理論的背景があるなら否定を覆す説明中に出てくることを期待していたという面もあると思う 結果今の状況ってことは何も出てこなかったってことなんじゃない？
579:１３２人目の素数さん
18/11/16 19:34:48.21 TFe1cOp+.net
自明だから無駄というか、どうやったらいいのか全然判明でないと言ってるね
実際一定以上の性質を持つ正しい数学ですらそういう困難があるのに、訳のわからない理論は論外って話だ
580:１３２人目の素数さん
18/11/16 20:14:12.59 WDGOkGAX.net
望月理論が進展がないのは今に始まったことではない。
2012年から一貫して進展がない。
これは正しい数学の理論としては到底ありえないことだ。
ショルツは証明の機械化以前の問題だというが、望月や取り巻きも、
自分らが何をやっているかわかっていないので理論を進展させることができないのだろう。
581:１３２人目の素数さん
18/11/16 20:44:37.75 pAUuS5BN.net
望月先生含め、実力がある数学者が集まってそれってあり得るの？
俺はど素人だからでかい口は叩けないが、ここに書かれてることは憶測が多いとは感じる
582:１３２人目の素数さん
18/11/16 21:23:09.78 9yytF1zH.net
権威主義なら新聞でも眺めてればいい
583:１３２人目の素数さん
18/11/16 21:27:24.38 iYBPZXQM.net
権威主義とか勘違いが酷いやつだなw
553の言う通りだろ
臆測ばかりにみえてるよ
584:１３２人目の素数さん
18/11/16 21:35:37.19 zh6xt31o.net
望月教授とその周辺の人が勘違いしている可能性と
IUTは読めばすんなり分かる内容だけど周りの多数の数学者が全く理解出来てない可能性
天秤にかけたらどう考えてもIUTが説明不足な可能性の方が高いんじゃない？
権威主義がどうとかいう問題なのか？
585:１３２人目の素数さん
18/11/16 21:39:39.17 pAUuS5BN.net
>>554
権威主義に陥ることは良くないし
数学の素人が判断出来る要素は限りなく少ないということも自覚してるよ
ただここに書かれてることもどうも憶測に憶測を重ねてることが多いと感じてね
まあ掲示板だから良いんだけどさ
権威主義に陥ることは良くないけど
それなりに数学に関して判断出来る人がずっと誤りに気付かないってあるのかなって
でもこれもまさに憶測だよね
586:１３２人目の素数さん
18/11/16 21:40:18.61 NRkY2h0K.net
>>555 カバなの？
587:１３２人目の素数さん
18/11/16 21:43:06.84 pAUuS5BN.net
>>556
その理屈は分かるし
まだまだ説明出来る余地があるならした方が良いとは思うな
588:１３２人目の素数さん
18/11/16 21:43:50.54 9yytF1zH.net
モンティホール問題
589:１３２人目の素数さん
18/11/16 21:44:41.45 WDGOkGAX.net
>>555
現実に証明がないのは確か。
これは憶測でも何でもない。
もめているのは日本（というか、日本の外野）だけ。
身びいきの感情がない諸外国ではとっくに「望月、証明に失敗」で決着している。
590:１３２人目の素数さん
18/11/16 22:02:09.10 2HWK5lFT.net
結局、独逸のショートストップはIUTをアウトにできたの？
IUTの監督は激しく抗議しているけど、肝心の審判が
いない。
いるのは遠くから眺めている観客だけ。
観客の声援の大きさで決まるルールだったっけｗ
591:１３２人目の素数さん
18/11/16 22:05:02.64 zh6xt31o.net
少なくとも望月教授が書いたSSペーパーに対する反論レポートの中には
SSが指摘した問題点が起こらない理由についての直接的な説明はないのよね
592:１３２人目の素数さん
18/11/16 22:06:46.88 ZaV4jHcs.net
憶測に憶測に重ねてるってのは事実で、
IUTは世界にまったく受け入れられていないというところで話は実際に終わってるからね。
そのあとのなにかじつは意味があるんじゃないかみたいな与太
593:話も。 RIMS内部でどういう政治力学が働いてるのかもただの憶測に過ぎない。
594:１３２人目の素数さん
18/11/16 22:37:15.02 DJx5KPAy.net
>>553
わざわざ言うまでもないとは思うけど
ここのやりとりを間に受けちゃダメだよ
595:１３２人目の素数さん
18/11/16 22:42:33.48 zh6xt31o.net
>>564
なおGCOEでメディアで高評価だという説明をしたのも、査読完了前に新センター作ったのも
飛ばし記事を朝日新聞が書いてPRIMSに未だに掲載されないのも事実な模様
596:１３２人目の素数さん
18/11/16 23:56:01.21 x6iydg19.net
>>542
それ、読んだこと無かったな。後にもうちょい言い方が違ってた気がするし、あと本人の解説に関わらず
ホッジ理論とIUTを両方ある程度意味把握してれば類似が言えるというのもある
個別の極限対象をmultiplicative subspaceなんて呼んでたんだ
597:１３２人目の素数さん
18/11/16 23:59:41.00 RsN2T9/+.net
物理屋さんがわざわざ調べて報告したものに関しては、憶測ではなく資料に基づく事実
何でも憶測にしたがるのは後ろめたいことでもあるからなのか？ｗ
はっきり言ってIUTT関係者やRIMSのやっていることは胡散臭い
これはIUTTの正否に関わらず言えることだ
598:１３２人目の素数さん
18/11/17 00:03:26.85 KIDCw85v.net
前にも書いているけど
・IUTの正否は、かなりハイコンテクストで簡単に断言できる話ではない
しかし、社会学的な意味で遠目に見ていた数学者がショルツらの評価を真に受けて終わる可能性が高い
・IUTが正しい理論だとしても、理論を理解するのは恐らく平均的なスキームの保型表現論や
p進ホッジ理論よりも難易度が高い
この二つの要素が絡んでいて、現段階でコミュニティにおける位置付けを断言できる人間は
どんな立場の数学者にもいないと思われる
だからこそ面白いという事もできるんだけど（勿論飽きてきた側面もあるにせよ）
599:１３２人目の素数さん
18/11/17 00:20:29.68 2/gEGGgK.net
>>565
どうもです
少し離れた距離から見てます
>>568
何でもかんでも憶測とは思ってません
胡散臭いというのも分かるけど
やっぱり第三者から見て憶測が多いと感じるのは確か
でもそう考えるのはよく分かります
同じことばっかり言ってもあれだからこのくらいにします
600:１３２人目の素数さん
18/11/17 00:27:27.57 uLcqN9OR.net
なんで569みたいにひいき目で物事を考えられるんだろう
601:１３２人目の素数さん
18/11/17 00:28:11.52 KIDCw85v.net
>>570
数学は高尚なものだから馬鹿は口を出すな、と言いつつ自分も何も言わないセコい人がこのスレにもいる
数学者は基本的に慎重とは言え、馬鹿だと思われるのを恐れて黙っていても仕方ない
今は、臆病な数学者達と望月さん達の媒体になれる人材が必要な段階でしょうな
あなたは擁護したいのかもしれないが、実際に状況はかなり曖昧なまま、多くの数学者にも
よくわからん感じで来てしまっているのです
602:１３２人目の素数さん
18/11/17 00:32:30.50 KIDCw85v.net
>>571
全然ひいきじゃないよ
IUTが間違いだとしても、ショルツの件だけでは葬るに足らないと思うだけ
もう少し公に議論する必要がある
603:１３２人目の素数さん
18/11/17 00:41:04.28 2/gEGGgK.net
>>572
そう見える要素があったかもしれないけど擁護したい訳でもないです
ただ気になるからこのスレを覗いてるけど確定的なことは出てきてないなと
>>569さんの分析が正しそうな気はしてます
あなたの言う通りで結局はよく分からないってことですよね
604:１３２人目の素数さん
18/11/17 00:47:10.08 jK4ACJbn.net
工作員が必死だなあ
ショルツレポートが完全に否定されないとムリだね
605:１３２人目の素数さん
18/11/17 01:16:41.33 rmm5kMgt.net
IUTTに関して「確定的なこと」など言えるのはIUTT一派とS・Sぐらいだよ
ファルティングスですら何がやりたいのか分からないと言っていたぐらいだ（皮肉だと思うが）
だから自分で考えることが大事なんだよ、スレの流れを気にするヤツはどうかしている
そんなこと言いながら俺も息抜き程度なんで、最近ではルーリーやヴォエヴォドスキー辺りを読んでみようかなと思っているｗ
先日、望月の初期構想のリンクを張ったけども、とにかく彼は人に伝えるための整理能力に欠けている印象がある
606:１３２人目の素数さん
18/11/17 01:25:27.50 rmm5kMgt.net
望月も議論をしたいと書きつつ貼り付けたリンクはフェセンコのアジビラだったり、
ブンゲンの小学生向けの講演だったり、弟子のどうでもいい講演スライドだったり、
人を舐めてんのかって本気で思うよ
悪態ついておきながらなんだけどｗ、俺は望月は孤独なんだと思う
本当に議論したい相手、研究したい仲間がいないのではないかな（取り巻きには失礼だが）
しかし、その真の仲間を拒んでいるのも望月本人だと俺は思っているのだが・・・
607:１３２人目の素数さん
18/11/17 01:48:54.78 R7sAGjw6.net
「工作員」www
608:１３２人目の素数さん
18/11/17 02:03:57.24 Np6Zh0wa.net
手書きのペーパーの属性方程式を解きたいあたりから嫌な予感がするな
通常の集合論を拡大する必要があると
609:１３２人目の素数さん
18/11/17 07:57:24.11 /gbCI7X1.net
>>577
＞望月も議論をしたいと書きつつ貼り付けたリンクはフェセンコのアジビラだったり、
ブンゲンの小学生向けの講演だったり、弟子のどうでもいい講演スライドだったり、
人を舐めてんのかって本気で思うよ
だから、そういう方法でしか自分のプライドを守れないってことでしょ。つまりSSにたいして数学的な反論はできないと。
よくここの連中は憶測でしかものを言えないとかいうけど、世界中の数学者だって議論の応酬の仕方から、望月とSSとどちらが正しいか判断している。
そして望月の応酬ぶりから「望月の証明は正しくない」とみている。
一種のメタ数学的判断だ。ここの連中と同じ。
それは、ちょうど、何の専門的知識がないにもかかわらず、一定の判断を下す、
特許裁判における文系裁判官に似ている。
610:１３２人目の素数さん
18/11/17 09:11:08.64 CAnmFvjd.net
そもそもこんなにスレを消費しなくても、
・査読は通過していない
・外部からダメ出しされた
ということだけが事実なんだから、ただの査読落ち論文ってことだろう。
それに対してまだ何かあるかもしれないと勘ぐる（擁護する？）から延びるだけで。
611:１３２人目の素数さん
18/11/17 09:14:10.63 p4dt87lo.net
>>553
＞実力がある数学者
例えば？
612:１３２人目の素数さん
18/11/17 09:59:59.50 pBnWx4CQ.net
著者がろくに文章に落とし込まずに自明だ、ラベル付けによりSSに指摘された点が解消される可能性はあるから
正しい可能性もあるって言い張ってたら外部の人間が証明にギャップがあることを示すのは無理だからなぁ
RIMSのお偉いさんか誰か数学者として本当にそんな態度でいいのか？って突っ込んでやれよ
IUTがどんなに高度な数学の上に成り立ってるかしらんけど本当に自明なら少なくとも数論幾何の専門家にはわかる程度の説明は出来るはずだろ
613:１３２人目の素数さん
18/11/17 11:11:16.51 2/gEGGgK.net
>>580
>>583
メタ的な判断はよく分かるんですけど結局は憶測の域を出ないんですよね
でも確かに話を聞いてると説明不足の感は否めない気も
（世界中の数学者に）何で分かるように説明出来ないんだろうという疑問はありますね
外国の数学者も理解した人は何人かはいるんですよね
>>582
取り巻き？にいる山下先生とか星
614:先生はあんまり大したことない感じなんですか？ 素人なので知らなくてごめんなさい
615:１３２人目の素数さん
18/11/17 11:25:04.66 ULvVjIpf.net
今ある事実から憶測することは別にいいだろう
6年間進展がないから間違いじゃないかとか普通の感覚してたら思うだろ
このスレの悪いとこは憶測を事実として盲信して叩いたり煽ったりしてる点
616:１３２人目の素数さん
18/11/17 11:26:44.12 /gbCI7X1.net
>>584
>外国の数学者も理解した人は何人かはいるんですよね
いないよ。君はだいぶ情報が遅れてるね。
望月理論の理解者は結局誰一人いない。
理論が正しければ理解する人が現れる。正しくないから理解できない。
おそらく望月自身も自分が何をやっているかわからない。
だから2012年以来、何の進展もないのだ。
望月理論を一番理解しているのは、望月自身ではなく、SSであることは間違いない。
だから理論が致命的にナンセンスであることも一番鋭く指摘しているのだ。
617:１３２人目の素数さん
18/11/17 11:44:11.99 vJRxiehe.net
査読は議論ではなくてレフェリー側が攻撃、著者が守備という非対称性がある
レフェリーを納得させられないなら非掲載
それでも論文の結果が正しいということはある
なお今回は「結果は正しいが重要な結果ではない」判定はあり得ない
長過ぎるからなんとか縮めろはあるかもしれないが
むしろもっと長くてもいいから読み易くしろのほうがあるかも
著者が正しい、出版の価値ありと思ってるなら、他の雑誌に出せばいい
結局はまたディフェンスして守りきらないといけない
俺も一度リジェクトした論文が別の雑誌からまた俺にレフェリー回った経験がある
618:１３２人目の素数さん
18/11/17 11:48:20.19 2/gEGGgK.net
>>585
そう思います
信者、アンチ双方にそういう人はいるでしょうが
>>586
そういう結論に到ることも理解は出来ますが結局は憶測ですね
有難うございました
私はただ断定して言うのが気になるだけで結局は匿名掲示板ですからね
何だか水を差す書き込みをしてしまってますね
619:１３２人目の素数さん
18/11/17 11:50:26.66 2/gEGGgK.net
査読もなかなか大変ですね
IUTTはかなり専門的な知識が必要とされる（と言われてる）ことも関係ありそうですが
620:１３２人目の素数さん
18/11/17 12:12:18.75 /gbCI7X1.net
>>588
君は都合が悪い真実をすべて憶測と言ってるだけだな。
「望月の理論3.12には証明がない」
「海外にも（国内にも）証明を与えることができる理解者がいない」
のは、憶測ではなく事実。
君は単にこれらの事実をつきつけられてスルーしているだけ。
621:１３２人目の素数さん
18/11/17 12:19:10.76 /gbCI7X1.net
本当は
>>581のいうように、
森重文の仲介で、SSと会談したがついに説得できなかったという時点で、
事実上外部査読の通過に失敗し、
却下された論文という事だ。それ以上でもそれ以下でもない。
この事実は憶測でも何でもない。
このｽﾚでだらだら議論が続くのは、RIMSがまだ正式に降伏宣言してないので、
それを生暖かくみまるのと、
小保方信者のような狂信者が時々書き込むので、
それに反応して書き込みがあるだけのこと
622:１３２人目の素数さん
18/11/17 12:24:00.41 2/gEGGgK.net
>>590
数学的に証明足り得ているかどうかは私では何とも言えません
また数学者の先生でも断言はなかなか出来ないのではないでしょうか
ただ
「論文発表から６年経っているにも拘らず理解者がほとんどいない」
「理解者とされている人も他の数学者に理解させることが出来ていない」
「まだ査読が終了していない」
「査読が終了していないにも拘らず『ABC予想を解決した』と書いてしまった」
などのことは確かに事実ですね
上記の点からいろいろと考えられることがあるのは確かだとは思います
623:１３２人目の素数さん
18/11/17 12:30:45.42 R7sAGjw6.net
>>591
＞事実上外部査読の通過に失敗し、
＞却下された論文という事だ。それ以上でもそれ以下でもない。
＞この事実は憶測でも何でもない。
憶測を事実のように語る人間の典型じゃないですか
624: いやそもそも何を主張してるのか分からん 事実上却下された論文って何だ？ 却下されるかどうかって完全に白黒つくものだから事実上なんて言葉は意味不明 「すでに却下されてるに違いない」と主張してるのかな？
625:１３２人目の素数さん
18/11/17 13:10:42.79 vJRxiehe.net
>>591
STAP論文や彼女の博士論文の不適切なところが
1ヶ月もしない間に次々と見つかったオボちゃんとは少し違う
SSレポートがなぜか公開状態になっているが
査読は一応非公開なので水面下では解答があったかもしれない
IUTはありまーす確認☆よかったレベルの期待を持つ人がいても良い状態
626:１３２人目の素数さん
18/11/17 13:50:54.47 CAnmFvjd.net
査読の回答があったかどうかなんてそれこそ憶測に過ぎないじゃん。
査読中かどうかなんてのはどうでもいいことなんだから（別に査読中という状態に意味があるわけではない）、
「査読は通っていない」という事実があるだけでしょう。
627:１３２人目の素数さん
18/11/17 14:29:15.60 9lPQQFwU.net
>>586
＞望月理論を一番理解しているのは、望月自身ではなく、SSであることは間違いない。
どういう根拠で、そう言えるのさ？
628:１３２人目の素数さん
18/11/17 14:49:21.85 Np6Zh0wa.net
森さんが宣言すれば全て終わるのにな
「ABC予想はいまだ解決されず」と
629:１３２人目の素数さん
18/11/17 15:59:05.01 pBnWx4CQ.net
>>597
それぐらいはっきりした態度が望まれるわ
難解とは言えさすがに6年間放置は長すぎる
森総裁頼みますぜ
630:１３２人目の素数さん
18/11/17 16:00:11.65 vJRxiehe.net
>>597
色々報道もされたから森か柏原のコメントが出るだろうな
どっちに解決するにしても
631:１３２人目の素数さん
18/11/17 18:19:30.67 OlN7ip5A.net
相変わらず猿山を脱してなくて笑うわ
632:１３２人目の素数さん
18/11/17 18:33:47.45 hznRhbgD.net
おいしい情報だけ掠め取ろうとして、様々な言い合いを眺める猿未満のニヒルメタポジ馬鹿がいる所も
相変わらずだな
633:１３２人目の素数さん
18/11/17 18:48:48.30 MspaPbPL.net
賭博を愛しすぎて破滅した天才数学者の末路 「賭博に負けない唯一最高の方法は…」
11/16(金) 16:00配信
URLﾘﾝｸ(headlines.yahoo.co.jp)
カルダーノの場合、最愛の長男が殺人罪で死刑になり、次男はヤクザになり、
長女は梅毒で若死にするという不幸に見舞われて酒と賭博に逃避した事情はわからなくもない。
なんかワロタ
宇宙際も博打なようなもん？・・
634:１３２人目の素数さん
18/11/17 19:01:04.51 2/gEGGgK.net
カルダーノって弟子は優秀だけど、自身は数学者というより詐欺師みたいな人だよね
635:１３２人目の素数さん
18/11/17 20:04:32.88 pBnWx4CQ.net
猿山とか言い放って批判を罵倒しつつ擁護する関係者っぽいやつまだいるのか
636:１３２人目の素数さん
18/11/17 20:13:21.88 hAJRTUEy.net
IUTについて 京大.RIMSから文科省へ報告。
>>35
↓
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。
>当該論文は現在査読中であるが、
637:１３２人目の素数さん
18/11/17 22:26:36.65 1x/YePOi.net
負け組の加齢臭漂う句読点爺
638:１３２人目の素数さん
18/11/17 23:23:03.58 GmErkZgK.net
このスレに憶測が多いのは事実だが、ABCの解決者だと見なされてない感じっていうのは
例えばIASに招待されてないとか色々ある
プリンストンはアメリカのディオファントスの総本山みたいな所だからな
639:１３２人目の素数さん
18/11/17 23:31:37.50 2/gEGGgK.net
望月先生は確かプリンストン大学の出身ですよね
640:１３２人目の素数さん
18/11/17 23:44:46.90 Ps0zgm9Y.net
これ、結構正しい理解だわ
前にも書いているけど
・IUTの正否は、かなりハイコンテクストで簡単に断言できる話ではない
しかし、社会学的な意味で遠目に見ていた数学者がショルツらの評価を真に受けて終わる可能性が高い
・IUTが正しい理論だとしても、理論を理解するのは恐らく平均的なスキームの保型表現論や
p進ホッジ理論よりも難易度が高い
この二つの要素が絡んでいて、現段階でコミュニティにおける位置付けを断言できる人間は
どんな立場の数学者にもいないと思われる
だからこそ面白いという事もできるんだけど（勿論飽きてきた側面もあるにせよ）
641:１３２人目の素数さん
18/11/17 23:47:41.30 Ps0zgm9Y.net
何度も言うが、ショルツらの反論は反論の体をなしていない。最初から誤解してるから全体的に内容がめちゃくちゃ。これ、本人や一派はもちろん、"彼"や、勉強中の複数の若手が言ってるから、ホントだよ。
642:１３２人目の素数さん
18/11/17 23:51:27.84 uLcqN9OR.net
ふーん、その他の数学者たちはそう思ってないみたいだけどね
643:１３２人目の素数さん
18/11/17 23:54:39.71 k+TiVGBq.net
正式に雑誌に抗議すれば良い
なんで出来ないのか
後ろめたさや隠したいことがあるんじゃないのか
644:１３２人目の素数さん
18/11/17 23:59:14.01 rmm5kMgt.net
俺は望月はグロタンディーク宇宙で好き勝手にやっている宇宙人、異世界人だと思っている（笑）
好きにしたまえという感じだが、それに盲目的に追随している連中はただのアホだとしか思っていない
自分では一切考えようとしないで、誰それがどう言っているとか本当にどうでもいい
NG入れが多すぎてたまらんわ orz
645:１３２人目の素数さん
18/11/18 00:02:37.51 egMNtCd9.net
間違いだったらこの6年間何人もの人の時間が無駄になったんだなー
間違いは仕方ないにしろもっと短い時間でケリをつけられたんじゃないか？
再発防止策とか必要じゃないか？
646:１３２人目の素数さん
18/11/18 00:18:22.15 J9YCW2/3.net
アホの宣伝担当と側近を置いたのが間違い
647:１３２人目の素数さん
18/11/18 00:31:09.69 66eKHbgz.net
スターサーベイに加担したＴとＭ
止めるべきだった
648:１３２人目の素数さん
18/11/18 01:10:41.65 3zS1KaZA.net
ご本人がもうちょっと丁寧なSSへの反論を出したら（出せたら）話が変わってくる気もする。
どっかの外人がblogで書いていたSSはiutをlinearにとらえすぎているってのが本当ならそれはどういう意味なのかとか
649:１３２人目の素数さん
18/11/18 01:37:12.32 EeWNF4KM.net
>>613
そして最後には自分のレスしか読めなくなるのだった(ﾟ∀ﾟ)ｹﾗｹﾗ
650:１３２人目の素数さん
18/11/18 02:26:01.13 Eh49lOQG.net
>>614
「間違い」というよりギャップありまくりで証明になってないとしても
そこで穴を埋めれる側近はいなかった
とすれば時間を無駄にした取り巻きにも責任はあろう
擁護してる人が言ってるようにSSは何もわかってないから
反論のしようがない～で通るならまあそれでいいけど
6年解説ばかりで新しい仕事してないなら周囲もダメでしょ
651:１３２人目の素数さん
18/11/18 03:09:37.80 mLtEY+xk.net
>>608
STAPはハーバード大学ですね
652:１３２人目の素数さん
18/11/18 06:22:52.21 XuqBOHuo.net
もっちーは大秀才であって、天才じゃないてあったけど
この板で昔よくみた、揶揄された秀才君なのかもね
653:１３２人目の素数さん
18/11/18 06:53:48.30 FazHMlDR.net
解説をするのも数学者の仕事だと思うがね
新しい領域への展開なんて誰にでも出来る訳ではないし何もしないよりかは遥かにマシ
ただ前から言われてるように望月の仕事を発展的にもしくは一部ぶち壊してでも前に進めてくれるようなフォロワーが現れてこないのは問題だね
654:１３２人目の素数さん
18/11/18 07:16:48.90 I1Ajzrah.net
昨日関係者の関係者から話を聞いたんやけど、その人も>>610と同じようなこと言ってたで。
どうやらショルツ側の理解があやしいってのはマジらしい。
655:１３２人目の素数さん
18/11/18 07:42:08.50 rSjokBLK.net
関係者に聞いたら実はガッキー好きじゃないってよ
3.12の証明も良く分からないって
656:１３２人目の素数さん
18/11/18 08:31:17.11 XG4LatWs.net
>>550
面白いなこれ
「(ベリファイすべき)証明がそもそもなくって、代わりに『以上から～が結論される』だ(から検証しようがない)」か。
657:１３２人目の素数さん
18/11/18 09:09:59.37 2RtBpWRh.net
元々 IUTは京大RIMSが予算を獲得し
事業を推進するための道具だ。>>35 - >>39
658:１３２人目の素数さん
18/11/18 12:57:17.18 Eh49lOQG.net
「ショルツ側の理解があやしい」というのは多分そうだろうと思っている
専門外のことで完全に理解するまで突っ込んで行く気はなかったのだろう
査読として不十分だまでと言えるかどうかはわからない
今の所は両方とも完全な決め手を欠いてる状態だからグダグダしてる
659:１３２人目の素数さん
18/11/18 13:13:59.68 jRn1tfKl.net
ショルツの言うとおりじゃん。
abc予想の肯定的な解決はIUTの構築で
根拠は概要の解説文による。
数学証明の査読ではない。
↓
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。←
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説した、、
講究録別冊として刊行されている。>>35
660:１３２人目の素数さん
18/11/18 13:59:36.15 tmUgGYCs.net
IUT以外で国から金を取る方法なんて数学の世界じゃないもんな
なんか悲しいわ
661:１３２人目の素数さん
18/11/18 14:43:37.06 mmzfLwUc.net
>>620
ハバードのポスドクだよ。出身は鼻くそみたいな早稲田。
662:１３２人目の素数さん
18/11/18 15:45:34.07 Dhmo0XG3.net
>>627
「ショルツ側の理解があやしい」と言うのだったらHの理解も怪しいと俺は言いたいな
ショルツらとHの入門での理解はほとんど変わらんよ。特に充満多重同型や対数リンクの非可換性の解消など（これは前にも書いた）
ショルツらとHの違いは論文を読む際に批評的な視点を持って読んだかどうかに尽きる。ショルツらはデカルトの役割を果たしたんだよ
ショルツらが怪しいなら一番弟子たるHも怪しいし、Yに至ってはまとめコピペしているだけなので論外
IUTTについて最もよく知っているのは（理解していると言うつもりはない）望月本人だけだよ
当然俺も完全に理解できてないし（誤魔化しが多いと感じるから）、望月だけが多く読み込んでいるとしか言えない（著者だからね）
663:１３２人目の素数さん
18/11/18 15:55:50.90 Dhmo0XG3.net
デカルト的と言ったのは、明証、分析、総合、枚挙・吟味と言う意味でだけどね
最後の枚挙に関しては、同一視できるものを同一視してまとめた（単純化）ということでいいだろう
664:１３２人目の素数さん
18/11/18 15:55:52.84 U8cMgy8d.net
数学板にはお互いの正しさを一方的に主張して議論が噛み合わないスレがある。
代表的なのは、算数の掛け算順序スレと負の数×負の数の説明スレだろう。
馬鹿の一つ覚えの主張が、壊れたレコードのように延々と繰り返される。
しかしここのIUTTスレは、同じ主張を繰返すという点ではそれらを超えた。
ここまでの同義反復は知性があれば恥ずかしくてできるものではない。
見事なまでに同じ主張が繰り返されている。恐れ入った。
大したもんだよ、蛙のションベン。見上げたもんだよ、屋根屋のフンドシ。
665:１３２人目の素数さん
18/11/18 16:18:34.49 5bgvaN7t.net
>>631
病院に行こう！
666:１３２人目の素数さん
18/11/18 16:19:58.56 V9GGP65e.net
少なくともY田は理解してるよ
てか理解どころか研究を開始してるレベルだよ
フェセンコもIUTでBSD狙ってると明言してる
本当に理解できていなかったら、貴重な研究期間をそこに費やさないでしょ
667:１３２人目の素数さん
18/11/18 16:35:49.79 lxszYUVg.net
なーんも具体的なこと書けないんだから
そら擁護派の方が苦しくなるわな、俺自身は批判
668:者でもないがな てかマジで大物が一人も興味を示さないてのがやばい 出てくるのは何故か小粒ばかり、〇〇問題解決を狙ってるとかそんな話ばっかw
669:１３２人目の素数さん
18/11/18 16:53:16.66 Eh49lOQG.net
大きな成果でなくてもいいからIUTを使った新しい結果が出れば周囲の目も変わるだろう
それこそなんちゃらの性質を持った整数三角形の存在でもOK
670:１３２人目の素数さん
18/11/18 16:55:09.04 OtX3YjWh.net
URLﾘﾝｸ(lh3.googleusercontent.com)
671:１３２人目の素数さん
18/11/18 17:08:47.05 Dhmo0XG3.net
>>636
上の方にあるチェコの出戻りIUTT狂信者の弦理論家がラングランズがIUTTに興味を示していたと書いていたけど、
上のレスにもあるようにIASから招待されてすらいないんだよね
さっきエレンバーグのブログでタオとロバーツのコメントを読み返したけど、
IUTTで実行されている圏論や集合論というのはやはり彼らの言う通り“red herring”だと思う
URLﾘﾝｸ(ejje.weblio.jp)
タオはABC予想の証明に関する限りred herringだと書き、ロバーツは主論文Ⅲの対数テータ格子について書きつつ、
望月の複雑な集合論的な言語はred herringであり、圏論的アプローチに慣れていないと書いている
同感だよ。しかも彼らはIUTT発表直後にそう書いている
ロバーツなんてフェセンコにイチャモンつけられても、いまだに望月とメールのやり取りをしてそうだから良いヤツなんだろうな（笑）
672:１３２人目の素数さん
18/11/18 18:21:24.34 K1irTebm.net
>AdS/CFT対応は、2つの理論の間の関係が 3次元の対象とそのイメージのホログラムとの間の
>関係に似ていることから、よく「ホログラフィック対応」として記述される。ホログラムは
>2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。同様に、
>AdS/CFT対応により関連付けられている理論は、次元の数が異なっているにもかかわらず、
>「正確に」等価であると予想されている。共形場理論は高次元の量子重力理論の情報を持った
>ホログラムのようである
「ホログラムは2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。」
というホログラフィック対応とIUTの類似性が、超弦理論屋がIUTに好意的な理由だろう
673:１３２人目の素数さん
18/11/18 19:09:34.58 za61PM+g.net
>>634
擁護派って、自分の願望を崩されるような発言に対してはすぐこういう書き込みするね。
あるいはチンパンと罵倒するとかｗ
674:１３２人目の素数さん
18/11/18 19:26:48.50 zbdP55mH.net
>>636
＞大物が一人も興味を示さないてのがやばい
下手に言及して（ブンゲンさんみたいに）自分が責められたくないから、
逃げてるんでしょ。ただの日和見よ。
675:１３２人目の素数さん
18/11/18 20:06:53.00 mmzfLwUc.net
>>639
red herring って、どういうこと？
紛らわしいとか目くらましという意味なのであれば、
間違っているというのとは根本的に意味合いが違うの
で、即無価値ということにはならないと思う。
676:１３２人目の素数さん
18/11/18 20:14:22.93 Houl6PCG.net
なんかどうやっても間違ってるか正しいかという机上の議論に持って行きたいひとがいるみたいだが、
ぶっちゃけ間違ってるか正しいかなんてのは科学の営みのなかでは可変なので、
今は説明できていないけど正しいかもしれない、なんて主張には意味がないのよ。
677:１３２人目の素数さん
18/11/18 20:20:52.66 Eh49lOQG.net
>>644
数学の場合は証明できたかできてないかが全てでしょうね
�
678:ｻ時点では数学界の中でIUTは正しいとは認められてはいない もちろん望月論文が間違っているというわけでないし 修正が必要だとしても修正不可と言ってるわけでもない 今の時点で誰かが別の方法か一部IUT使っても ABC証明すればその人の功績になるでしょう そうなっても望月IUTが無価値だと必ずしもならない 望月IUTが無価値と判断される未来も可能性としてはありうる
679:１３２人目の素数さん
18/11/18 20:23:55.52 Houl6PCG.net
>>645
全然違う。
科学の営みというのは結論を言ったかどうかではなく、
なぜそう思うのかを説明すること。
「地球は丸い」なんてのを単発でいきなり言い出してもそれは科学的主張ではない。
IUTはこの点で後者なのだからその時点で無価値。
680:１３２人目の素数さん
18/11/18 20:25:22.24 Eh49lOQG.net
>>646
「地球は丸い」とか物理の例は当てはまらないので
まあ「全然違う」のは確かだな
681:１３２人目の素数さん
18/11/18 20:29:05.24 r+9Eenr/.net
ショルツたちのレポートが言ってるのもそのことだよね。
検証する対象を構成してないから数学として無意味、と。
682:１３２人目の素数さん
18/11/18 20:41:57.28 LnAihNSe.net
RIMSは国際共同なんたらになって、予算ゲットしたらしいね。iutさましまだな。
683:１３２人目の素数さん
18/11/18 20:53:17.53 Keu+Q+U0.net
>>631
非可換性の解消っていうのは正確には「非可換性の問題の解消」だと思いますよ
その辺の考え方もホッジ理論に関係しているけど
684:１３２人目の素数さん
18/11/18 21:04:23.38 Keu+Q+U0.net
>>635
誰だ、阪大の人？
685:１３２人目の素数さん
18/11/18 21:10:51.76 jRn1tfKl.net
>>640
超弦理論は単位がある物理体系の理論で
厳密な証明が必要な数学理論ではない。
ADS/CFT. 量子重力理論.量子的もつれ、 、
も同様に物理理論だな。
ディラック作用素の指数「定理」は超対称性
量子力学において経路積分を使い2つの方法
で計算すれば 導出される。
が、これは数学の証明ではないし
物理のアノマリーの計算だ。
686:１３２人目の素数さん
18/11/18 21:20:16.92 43Jxy05I.net
やはり他分野から理解者が出てくるのか
687:１３２人目の素数さん
18/11/18 21:24:32.46 jRn1tfKl.net
どの分野にもトンチンカン 混同 邪念
病を患った奴がいるもの
688:１３２人目の素数さん
18/11/18 21:27:43.16 Keu+Q+U0.net
Y田さんが阪大の人なら、まあ一応Gさんの近い研究者だからな
しかし、そうやって納得した人間がいる割にはなかなか通らないな。プロジェクト的にも
来年に通る可能性が高いのは間違いないが
689:１３２人目の素数さん
18/11/18 21:28:44.26 Keu+Q+U0.net
↑可能性が高いって、勿論通るなら、の話な
690:１３２人目の素数さん
18/11/18 21:46:09.24 Dhmo0XG3.net
>>652
アノマリーか、確かにそうだね（笑）
最終節で“mutation-history”とか“observables”なんて散々書いているからね
結局、最終節直前まで集合論や圏論を偽装していたわけだ
本当は最終節でのIU形式主義と種の言語が底流に流れてた
ロバーツもIUTT発表直後にMOでKimとこんなやり取りをしていた（だいぶ前にもコピペしたんだけどね。反応なしだった）
-----------------
Dear Minyong, it has been stated by experts, here on MO and elsewhere, that universes are not necessary for the uses to
which EGA/SGA are put. Indeed Colin McLarty has shown that ZFC is far stronger than is necessary, with the results
provable in some higher order version of arithmetic. As far as the interuniversal aspect of IUTT goes, I expect it to have a
topos-theoretic interpretation. This to my mind makes switching between models of set theory cleaner i.e. functorial.
-David Roberts Sep 9 '12 at 1:27
-----------------
ちなみに“topos(topoi)”という語はIUTTではわずか1回しか出てこない
最終節を整備して冒頭に置き、それから宇宙際幾何学を展開するしかないだろうね
ただ、それがもはや数学と呼べるものかどうかは分からないが・・・
691:１３２人目の素数さん
18/11/18 21:46:50.62 K1irTebm.net
>>652
だからＩＵＴを超弦理論の厳密な数学的証明の為のツールとして使えるかもって
期待してるんじゃないかなという話
692:１３２人目の素数さん
18/11/18 22:00:40.20 rSjokBLK.net
>>642
ブンゲンの動画がショルツのレポートを公開してるページに追加されてて笑ったわ
逃げられんねこれは
693:１３２人目の素数さん
18/11/18 22:02:02.34 Keu+Q+U0.net
>>640はちげーと思うなあw
単にマルチバースを横断するタイヒミュラー理論は何かCFTや経路積分に凄くフィットしそうってだけじゃないの
でも、一般的にストリングの人間がIUTに好意的って事実はないと思うんだが
694:１３２人目の素数さん
18/11/18 22:08:05.75 q3d9gXKk.net
>>639
俺のID変わってるかもしれんが……
あー確かに、そうした話がほんとだとしたらIASに呼ばれないのは変だね
フェセンコは何年か前に京大で講演してたのを覚えてるわ
695:１３２人目の素数さん
18/11/18 22:30:16.49 6bdTdJVr.net
| || i／ ヽ､ ノ | | | || i／ ＼ ／ .| | .| || i／ ヽ､ ノ | | .| || i／ ＼ ／ .| |
（Ｓ|| | （●） （●） | .（Ｓ|| | （●） （●） | .（Ｓ|| | （●） （●） | （Ｓ|| | （●） （●） |
| || | .ﾉ ）| .| || | .ﾉ ）| .| || | .ﾉ ）| | || | .ﾉ ）|
| || |ヽ､＿ ～'_／| | | || |ヽ､＿ ～'_／| | .| || |ヽ､＿ ～'_／| |. .| || |ヽ､＿ ～'_／| |
┏┓ ┏┳┓ / / ヽ ./ / ヽ ┏┓ ┏━┓
┏┛┗┓┗┻┛ ,i / // / i i l ヽ ,i / // / i i l ヽ ┏┛┗━┳┓ ┃ ┃
┗┓┏╋━┓ | // / l | | | | ﾄ､ | | // / l | | | | ﾄ､ | ┗┓┏━┫┃ ┃ ┃
┃┃┗━┛ | || i／ ＼ ／ .| | | || i／ ヽ､ ノ | | ┏┛┗━┻┫ ┃ ┃
┃┃┏┓ （Ｓ|| | （●） （●） | .（Ｓ|| | （●） （●） | ┃ ┏━┓┃ ┗━┛
┃┃┃┗━┓ | || | .ﾉ ）| .| || | .ﾉ ）| ┃┃┃┏┛┃ ┏━┓
┗┛┗━┛ | || |ヽ､＿ ～'_／| | | || |ヽ､＿ ～'_／| | ┗━┛┗━┛ ┗━┛
696:１３２人目の素数さん
18/11/18 22:37:25.64 K1irTebm.net
>>660
小栗先生もＩＵＴに好意的だという話を聞いたことがありますが
もちろん超弦の皆がＩＵＴに好意的という事実はないでしょうね
なのでこの話はもう終わりにします
697:１３２人目の素数さん
18/11/18 22:42:38.14 tmUgGYCs.net
安否情報が少し前に更新されてる
ここ見てくれてるのかな
698:１３２人目の素数さん
18/11/18 22:44:16.64 Dhmo0XG3.net
横からスマンが大栗氏の件ね。前にも貼り付けたことがあるけどまた貼っておく
(もう記事は削除されているけど2012年10月03日の朝日の記事から)
---------------------
数理研助教授を経て、米カリフォルニア工科大で物理と数学の教授をしている大栗博司さんは、
同僚が「モチヅキの何年も前の論文から勉強しないと」と話すのを聞いた。
「アイデアが美しいのは一致した�
699:ｩ方。解けていれば、数学だけでなく、 物理などほかの科学の考え方にもインパクトを与えそうだ」と話す。 --------------------- 「解けていれば」との条件付きだが（笑）
700:１３２人目の素数さん
18/11/18 23:20:41.51 znBAQDvU.net
今の日本のネガな部分が全て出てるなｗ
701:１３２人目の素数さん
18/11/18 23:59:34.09 Dhmo0XG3.net
ちなみにチェコのIUTT狂信者に自己紹介したコメントを削除されたあげくブロックされたdcomplex氏は、
たぶんUrs Schreiber氏だろうね。ロバーツと共にフェセンコにイチャモンつけられた人
チェコの狂信者はdcomplex氏がチェコに戻っていることを嘲笑うかのようなコメントをしていたな
完全にブーメランなんだが。フェセンコといいコイツといいこのスレの下劣な狂信者といい、
自分のカキコが完全にブーメランになっていることに全く気付かない
702:１３２人目の素数さん
18/11/19 00:50:29.38 BZS5DKA/.net
>>629
日本の数学や物理には秀才ばかりで尖った人間が少ないからな。お勉強ができるだけじゃ駄目
ホラ吹きじゃまずいが、大言壮語は構わないんだ別に。今は結構やり方次第で行ける環境にある
衰退してるので、逆にチャンスがある
703:１３２人目の素数さん
18/11/19 04:08:50.27 7lKrSy3M.net
Ellenbergのブログの部分は一部流し読みしてから長い間見てなかったけど、
Taoはこの時点では殆ど意味的に読んでない印象があるね
これは擁護とかではなくて、red herringというのは「よくわかんないけどそうなんじゃないの？」
みたいなノリで言ってるに過ぎないので大したコメントではない
一応注目するべきは、最近のも合わせたRobertsの見解だと思うけど、問題としては「本当に圏論・集合論にとって
新しいアイデアなのか？」ということだろう
704:１３２人目の素数さん
18/11/19 04:39:16.15 7lKrSy3M.net
ていうか、読んでなくて>>449を完全に無視してましたｗ
全部違いますが、ガロア理論については別に大体それでもいいんじゃないですかね
まずはS_nやA_nがどうとかではなくて、感覚的にどんな考え方をするのか知っていれば
いい
高校で方程式を解いたり因数分解する延長にある。ただガロア理論の教科書は普通書名に「体」という
語を使ってますからね。それは重要ですよ
全然関係ないけど、前にQのガロア群の問題がここに書かれた時にすぐ元ネタがわかったのは事実で、
普段使ってる奴の例題がそれだったんですねｗ
類体論については、まずガロア理論とセットでｐ進体と商集合の感覚を掴むのが重要で、その上で実際に見たら
そのうち正解はわかるでしょう
モチーフの解答は単純だが哲学的なものなので、相当なアレじゃないとわからないでしょう
705:１３２人目の素数さん
18/11/19 05:01:42.28 7lKrSy3M.net
どっかの海外ブログで非可換性が不要なんじゃないのみたいなコメントしてる奴ありましたっけ？
さっきから探してるんだけどわからない。勘違いか？
706:１３２人目の素数さん
18/11/19 06:07:21.29 6V5UR3ag.net
>>669
そのブログでのタオとロバーツの視点はかなり違うので、分けてみます（超訳ｗ）
【タオさん】
ABC予想は第2節で証明されている（とされている）。集合論とモデル理論的なものは最終節で述べられただけで、
これらはABC予想の証明に関してはあまり関係ないものだけど、今後の宇宙際幾何学の発展に関係するものなんじゃないの？
でも、この（望月の）集合論とモデル理論はグロタンディークの集合論の非保存的な性質の問題を
何らかの形で議論の余地のあるものにしそうだ
※結論：仰る通り、あまり大したこと言ってませんｗ ……と見せかけて既に懸念を表明している
707: 【ロバーツさん】 この複雑怪奇な集合論的言説は人を惑わすようなもんだ！それはもっちーが該当分野の圏論的アプローチに精通してないせいだ おそらくこの圏論的アプローチ君たちはもっちーに見出されることを待ち望んでいるよっ ※ロバーツは直後のMOでも望月に注文を付けつつも好意的だった。 しかし、最近追加したPDFの補遺では望月が進歩していない（圏論に精通していない）と見ているように思われる
708:１３２人目の素数さん
18/11/19 06:53:50.94 6V5UR3ag.net
>>670
いやいや、無視して結構ですよ。テキトーに書いたものなんで（笑）
>>671
私もそれは知りませんが、星の入門では彼なりの分かり易い設定からΘリンクとと対数リンクを可換にしたくて、
「非可換性の帰結を回避」、「非可換性の問題の解消」するために対数リンクの無限列を導入していると解説している
これを可換と呼ぶにふさわしいかどうかは分からない（描けないから少なくとも可換図式とは呼べないね）
望月ははっきりと「非可換（！）な2次元的な図式」と書いているんだけどね
709:１３２人目の素数さん
18/11/19 09:08:27.39 hqveYVQc.net
とりあえずここは数学板であって哲学板じゃないし、abc予想は哲学じゃないんで、
哲学云々言ってるやつは哲学板にスレ立てて引っ越してくれんかね。
いちいちスレ違いの長文読み飛ばすのめんどくさいんだよね。
710:１３２人目の素数さん
18/11/19 09:57:31.71 aUqyZVf7.net
明晰な証明が書いてある
ニュートンのプリンキピアは
自然哲学の数学的諸原理 だからね。
711:１３２人目の素数さん
18/11/19 10:10:40.71 6LGLLZZ9.net
神学のハシタ女ごときが科学の女王様に対抗心持つこと自体が不敬罪極まる。
712:１３２人目の素数さん
18/11/19 11:44:13.29 XKsFMTFK.net
科学は神学や哲学から発展したとも言われますが
フィロソフィードクターがここにもたくさんいらっしゃるんでしょうか
713:１３２人目の素数さん
18/11/19 12:28:15.03 RJcSmvn5.net
IUTの哲学
数学は結果に合わせて仮定が作られる。
数学の証明は査読の前に結果が認められる。
数学の証明より予算と事業の推進が大切だ。
数学の証明より概要 解説文 たとえ話 動画が
大切だ。
714:１３２人目の素数さん
18/11/19 14:38:53.95 +WGaLGwW.net
677が正解。神学や哲学を軽視する者、科学者を名乗るべからず
神学や哲学を切り捨てるのが科学者と勘違いしてるやつが目に付きすぎる
シンプルに言ってバカなんだろうな
「高学歴のバカ」という類型がかなり発生しているのが今の教育だね
基本姿勢が間違ってるからだろう
715:１３２人目の素数さん
18/11/19 17:58:38.02 cQDY2WAM.net
>>678
＞数学の証明は査読の前に結果が認められる。
これは今ではある程度正しくて出版される前にarXivなどで公開されると
正しく重要な論文は出版前にどんどん引用される
「その論文を応用した結果が次々出ておれば」，専門家による公開査読が
進んだと考えられる
716:１３２人目の素数さん
18/11/19 18:13:24.77 qBthkmDA.net
IUTについて 京大.RIMSは文科省へ
公式に報告書を提出した。>>35
↓
>当該論文は現在査読中であるが、、
>望月新一に よる「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆 すべき出来事である。
↓
文科省は全く評価しなかった。
717:１３２人目の素数さん
18/11/19 18:52:27.03 6LGLLZZ9.net
>>679
ピタゴラスは神秘主義者ではあってもソフィストとか言う詐欺師ではない。
718:１３２人目の素数さん
18/11/19 18:59:17.04 XKsFMTFK.net
無理数を発見した弟子を処刑したピタゴラス大先生
719:１３２人目の素数さん
18/11/19 19:39:53.89 6LGLLZZ9.net
>>683
宗教にしちゃあ人身供御の数が少ないからやっぱ宗教ですらないな。
一番人を殺してる
720:宗教なら哲学とか社会科学とか自称してるマルクス主義だが
721:１３２人目の素数さん
18/11/19 19:45:09.38 cQDY2WAM.net
数学の研究に哲学の要素も大事だろうとは思うが
宗教なんて人それぞれ
違う宗教でも論理だけで数学としての真偽が決まるのが数学の利点
722:１３２人目の素数さん
18/11/19 20:02:58.87 VHMg+fLA.net
宗教は公理系で哲学は定義と定理
宗教と哲学は切り離して考えたくない
723:学術
18/11/19 20:04:16.78 XP3+0hLF.net
宗教哲学 山降り降り
724:１３２人目の素数さん
18/11/19 20:21:44.98 Hf/M1aE+.net
きちんとした哲学の背景があって論証数学は生まれる
日本の和算なんか、それなりに複雑なことをやっているけど論証の厳密性に乏しい。
そういう面では古代ギリシャにも劣る。
つか、日本人は西洋人に教えられるまで「無理数」を知らなかっただろ？
こういうところに、哲学のない国の弱点を感じる。
哲学がなくて、かわりに先人や先輩を尊べというのが東洋的伝統。
だから、望月理論にも批判的な検討ができなかった。
唯一シカゴ大学で大学院教育を受けた越川だけが疑問を提示できたのは偶然ではない。
725:１３２人目の素数さん
18/11/19 20:24:47.58 EGfusixF.net
>>672
自分はその時点では懸念と言えるようなものじゃないと思うんですけどね。雑感という感じで
タオの懸念ていうのがはっきり見えるのは、やっぱり去年末の応用可能性とかについて述べたコメかなと
Robertsの発言については個人的にはちょっと違うかなと思っている
山下さんの言う通り、もはや単なるgeometric morphismだけの議論ではないだろうという点がね
確かに最先端の圏論には望月さんは熟知していないだろうけど、しかしLurieとかの理論もGMの設定なんでね
726:１３２人目の素数さん
18/11/19 20:29:20.20 EGfusixF.net
哲学ってのは基本的にopenで、数学は一応formally closed にしたいものだけど
最近はどうも哲学的なものをはっきり切り捨てる事は難しくなってきたと思うけどな。回帰というか
自分の知り合いのトポス理論家は結構分析科学哲学には注意を払っている
727:１３２人目の素数さん
18/11/19 21:18:26.90 4dVZoc/6.net
大陸合理論とかまあそんなもんは廃れたけど
科学哲学なんかはむしろ積極的やろ、数学者は
哲学軽視してるのは史学、特に近代西欧史の人らじゃね？
SNSでもここら辺の人らの哲学全般への攻撃は凄いよ
728:１３２人目の素数さん
18/11/19 21:46:45.06 qBthkmDA.net
IUTは数学なの？
729:１３２人目の素数さん
18/11/19 23:32:23.17 VjYLw7Cx.net
ゲーデルなんか自分を数学者よりは哲学者と思ってた節があるし
アインシュタインも新カント学派のマッハからヒントを得たらしいからな
ただまあ、20世紀後半にポストモダンとか出てきて科学も専門化が進んだから、昔ほどは哲学と科学や数学の
連絡は一般的ではなくなってきたかもな
730:１３２人目の素数さん
18/11/20 00:31:27.79 9KdnD5VO.net
コンピュータの発達で実用的なもの以外は
哲学と変わらなくなった気もする
731:１３２人目の素数さん
18/11/20 01:03:37.63 7lMg/bne.net
どこの業界にもあるけど実績のある先生が少し偉くなると知ったような顔して門外漢の哲学や思想に口を挟んでしまう不思議な現象ってなんなのだろうな
それなりの蓄積のある分野なんだからもうちょっと敬意があってもいいと想うんだが
732:１３２人目の素数さん
18/11/20 03:14:02.93 +rJanot3.net
>>684
人身供御ってなんて読んでんの？
733:１３２人目の素数さん
18/11/20 07:32:15.24 YzvM6JkB.net
IUTは
734:STAPの数学版だね。
735:１３２人目の素数さん
18/11/20 11:33:06.55 9VOe/K5W.net
小保方さんはハーバード、もっちーはプリンストン。
少なくともこの経歴に周囲が盲信したところは共通してるだろうな。日本のだめなところだよ。
736:１３２人目の素数さん
18/11/20 11:45:40.59 YGfvWMoR.net
>>698
病院に行こう
737:１３２人目の素数さん
18/11/20 11:55:28.62 3E42PO5Z.net
>>698
それは無い
738:１３２人目の素数さん
18/11/20 12:58:50.89 vQNuxNoz.net
今どっかの素人研究者が望月と同じことをやったら総スカンだと思うけどね。
未だに一部に相手してもらえてるのは地位以外には特に考えられないな。
739:１３２人目の素数さん
18/11/20 13:06:20.15 tArQHzvT.net
１１月大きい動きがあるとか言ってたが結局今のところなんもないな
740:１３２人目の素数さん
18/11/20 13:06:24.48 TbbYSEQA.net
>>698 経歴盲信は欧米だってあるし。
741:１３２人目の素数さん
18/11/20 14:29:55.54 c0MGCwkO.net
IUTについて
文科省の評価はマスメディアで騒がれた
STAPレベルの評価ですね、
↓
文科省 評価結果
注目すべき質の向上
>数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想に関する論文は、
国内外の主要メディアで取り上げられて
い る。
742:１３２人目の素数さん
18/11/20 15:22:33.51 rbCco1hQ.net
STAP細胞はある
ITUはダメかもわからん
743:１３２人目の素数さん
18/11/20 20:48:56.89 uHO45hm0.net
なんで氏の妄想？
744:１３２人目の素数さん
18/11/20 21:13:47.46 y+sC4dh2.net
ここ一年のニュースで思ったのは
あまり表面的な世評は当てにならない、或いは諸行無常万物流転ってことだなw
人間落ちるのは一瞬。上がるのはどうか。IUTは来年一発逆転できるか
745:１３２人目の素数さん
18/11/20 21:26:32.68 MFsSu0WL.net
Mr. expected さん？
あすの夢 妄想 より 今日の実用的な圏論
746:１３２人目の素数さん
18/11/20 21:39:18.62 KeHEomjl.net
>>696
ひとみごくう
と思ってたが、じんしんおんとも、でも良いのだろうか？
747:１３２人目の素数さん
18/11/20 21:42:44.00 9Gs/9yoa.net
>人間落ちるのは一瞬。
カルロス・ゴーンのことか？
748:１３２人目の素数さん
18/11/20 21:45:20.85 ZgWKuCA4.net
今思えばMokとかがあれだけ時間をかけて読んでいたのに結局投げ出したあたりからちょっとおかしいものがあったのかもな
749:１３２人目の素数さん
18/11/20 22:32:45.95 DAjJPbOH.net
気付くのがおそい事を世間ではなんというか知ってますか
750:１３２人目の素数さん
18/11/20 23:49:18.29 DAjJPbOH.net
ノセタラダマス
751:１３２人目の素数さん
18/11/21 00:34:53.77 qi6Hpthw.net
式や情報がごちゃごちゃしてるのは、広く浅くのやり方をやってるからだ。十分すぎるほど深かったなら逆に異常にシンプルになるんだ。
752:１３２人目の素数さん
18/11/21 08:55:34.26 loZ+FU0y.net
>>714
何でそう言い切れるのか？
病院に行こう
753:１３２人目の素数さん
18/11/21 12:12:32.84 gFlwtM+J.net
ここは自分は物理の初歩も分からないが、相対論の誤りは分かるという人たちのスレでつね。
754:１３２人目の素数さん
18/11/21 18:04:36.81 I3jOS0Mp.net
>>714 ありがちな偏見…
755:１３２人目の素数さん
18/11/21 18:34:36.14 sWQQCwKK.net
ピントハズレは 複雑怪奇を招く
756:１３２人目の素数さん
18/11/21 18:48:44.24 naYX4wU/.net
数学の主流派に明確に情報の抜け落ちがあるって指摘されたんだから何度誤解だって主張してと説明できてない限り無理だわな
757:１３２人目の素数さん
18/11/21 20:27:53.70 MPtTZn3a.net
IUTの数式は特に複雑な部類ではないけどな
造語も大して突飛ではない
だからこそ真贋の判断がややこしいんだが
758:１３２人目の素数さん
18/11/21 20:50:56.62 FPUMDFzj.net
別にややこしくないじゃない？
例の不等式の2/3ｃ未満の最大値の例を出してみてよ
数体論の基礎も証明に含まれてるなら当然出せるでしょ
759:１３２人目の素数さん
18/11/21 21:09:30.39 MPtTZn3a.net
>>721
それ、他に誰か話題にしてんの？そんな本質的な話だったらwikiでもコメでも挙がると思うんだけど
760:１３２人目の素数さん
18/11/21 21:17:26.43 7xBY60AQ.net
異なる宇宙なんて復元できてないじゃん
761:１３２人目の素数さん
18/11/21 21:17:45.24 O7nmv8fT.net
>>698
数学にある程度関心を持っている人なら、さすがにそんな判断基準には無関心だろ。
グロタンディークだって、地方の大学出身で、グランゼコール出ではないし、
ショルツだって、ドイツの大学出だが、ドイツはどこの大学も行けるので、日本流の一流大学は存在しないけど、
誰もそんなこと気にしない。
そういや2012年に望月が一般社会に名前が知られたとき、
数学を知らない奴ほど、望月のすごさを表現するのに
「16歳でプリンストン」を連呼していたと思う。
762:１３２人目の素数さん
18/11/21 21:48:55.02 yQL5Zs3U.net
それはその通りで、IUTは海外じゃ最初から相手にされてない（プリンストン
→RIMSが通じてない）けど、国内だと学閥でややこしいから内部審査で混乱して、
御大が政治力を働かせた（＝外部査読的なかたちでショルツたちを介入させた）、
というのが現状なんじゃないの。
763:１３２人目の素数さん
18/11/21 22:18:33.04 MPtTZn3a.net
グロタンディークって数千ページかけてもWeil予想を解決できなかった（しなかった）けど
タオはIUTについて、こんだけいかつい理論でABCに特化し過ぎなのは何でかって言ってるよね
でも、ABCってWeil予想や標準予想に全然ひけをとらない難問だろ
普段は煽り合いのこのスレだが、皆さんこの辺はどう思う？
結局、スキームやエタールではもっと弱い結果もどんどん出せているからやっぱりおかしいって話になるかな？
764:１３２人目の素数さん
18/11/21 22:49:40.82 J7fTKpfp.net
>>714>>716>>717
E=MC^2あたりだけから妄想逞しくする連中みたいのから執着されると難儀だわよね。
765:１３２人目の素数さん
18/11/21 22:54:09.04 O/r1MXOX.net
内部関係者が11月中にアクセプトとか言ってなかったっけ？！
ガセかよ
766:１３２人目の素数さん
18/11/22 01:09:04.70 Z7rJVZTA.net
重大な誤りに後から気づいたとか
767:１３２人目の素数さん
18/11/22 02:13:50.53 MUbys17I.net
まだ10日ある
768:１３２人目の素数さん
18/11/22 08:35:09.08 snTYWnpz.net
>>35
訂正
平成26年→ 平成28年(2016年)
769:１３２人目の素数さん
18/11/22 08:40:36.55 snTYWnpz.net
IUT 今後の予想
201x年
IUT論文は 査読結果に関わらず
(RIMS教授たちの)PRIMS編集部が受理する。
2020年
RIMSは IUT拡大のRIMSプロジェクトを
強引に遂行。
IUTの共同研究 主要メディアによる
布教の世界的センターとなる。
以後
RIMSは IUTの大宇宙が中心にあり
代数解析 確率 量子幾何、、は周辺に
散在する小宇宙となる
IUT信者が RIMSに曼荼羅を幻覚し絶賛する。
数学の証明は 概要の解説文と動画による
新しい数学になりパラダイム革命が起きる。
RIMSの門に「IUTを知らぬ素人
くぐるべからず」の通告文がはられる
770:１３２人目の素数さん
18/11/22 08:50:12.55 snTYWnpz.net
2016年6月
中期目標の達成状況に関する評価結果
京大RIMSが IUTについて文科省へ報告。
査読中だがIUTに
771:よりabc予想を解決した、 世界の数学史に 残る業績を挙げている ことは特筆に値する。 2017年 6月 中期目標の達成状況に関する評価結果 大学改革支援・学位授与機構 日本国内外の主要マスメディアが abc予想に関するIUTの論文を報道 12017年11月 RIMSにIUT中心の 次世代幾何学研究準備センターを設立
772:１３２人目の素数さん
18/11/22 09:19:23.86 jmSYg1/e.net
10000年経ったのか
773:１３２人目の素数さん
18/11/22 10:23:12.99 eHyWjJ4b.net
>>726
特化してるっていうか、偶然ABC（だけ）が解決できました、という感じなのだよね。
これが不審がられる最大の理由だと思うんだけど。
774:１３２人目の素数さん
18/11/22 12:09:18.28 4egu6QB6.net
望月さんはABCをねらってるみたいなことは数年前から発言してたんでしょ。まぁABCのみってすごい怪しいけど。
775:１３２人目の素数さん
18/11/22 12:50:57.81 eHyWjJ4b.net
>>736
狙ってるというわりにはIUTはそれを目標に構築したように見えないんだよね。
776:１３２人目の素数さん
18/11/22 17:19:08.09 gmKMYkkv.net
>>732
>数学の証明は 概要の解説文と動画による
>新しい数学になりパラダイム革命が起きる。
このフレーズ好き
777:１３２人目の素数さん
18/11/22 21:16:17.49 hZmOVH4Y.net
どうもw
778:１３２人目の素数さん
18/11/22 23:27:06.32 23FOCLhM.net
ショルツが駄目だから駄目ってやつがこんだけ２ｃｈで暴れだしている時点で日本人は権威主義ってわかるだろ
779:１３２人目の素数さん
18/11/23 00:35:02.27 x6kdSyz5.net
>>740
まったく分からないが
780:１３２人目の素数さん
18/11/23 01:10:19.42 VhLA2Avw.net
結局、IUTはオワタの？
781:１３２人目の素数さん
18/11/23 01:51:26.42 zd73PBXS.net
abcの証明が駄目だってなったら、望月さんの人生が否定されたようなものだな
782:１３２人目の素数さん
18/11/23 06:46:41.78 V3HF3luq.net
>>743
人のことより自分のごとを心配しよう
783:１３２人目の素数さん
18/11/23 06:48:14.11 V3HF3luq.net
>>740
んなこと誰も言ってないだろ
784:１３２人目の素数さん
18/11/23 08:01:35.95 PsTRka79.net
>>745 何人もそう言ってるじゃん。
785:１３２人目の素数さん
18/11/23 08:06:25.06 x6kdSyz5.net
>>746
言ってない。頭悪すぎ
786:１３２人目の素数さん
18/11/23 08:36:57.60 8R/ruHtE.net
>>733
主要マスメディア→主要メディア
12017年→2017年
787:１３２人目の素数さん
18/11/23 09:22:18.97 5eTNcjpF.net
人生がどうこうは知らんけど、このままだと数学者としては、
abc予想でトンデモ理論を構築したひととしてしか残らんし、
たぶんそれで残る期間も短い（トンデモ自体はいくらでもいるので）。
788:１３２人目の素数さん
18/11/23 09:50:12.38 5o9pbE7n.net
IUTｗｗｗとか、そのうち書かれるようになるんかな？
789:１３２人目の素数さん
18/11/23 12:59:13.30 C2kQTaN0.net
望月さん50だし、もう再起不能だろうね。
「検証グループ」が何ら批判的検討もできずに師の説の祖述に終始したのがほんとイタイ。
越川が感じた疑問におまいらは何も感じなかったのか？
越川の疑問に誠意をもって答えなければいけないと思わなかったのか？
790:１３２人目の素数さん
18/11/23 14:48:28.65 qpheZdpI.net
>>751
越川の疑問に星が丁寧に答えてるよ。越川もようやくIUTは「正しい」と言い出してる。
791:１３２人目の素数さん
18/11/23 14:48:58.54 sl69FYnV.net
URLﾘﾝｸ(www.kyoto-u.ac.jp)
792:１３２人目の素数さん
18/11/23 17:03:49.73 Fx2Xu5j3.net
>>752
本当に正しいと言い出しているのか？
星が丁寧に説明できるのなら、肝心な部分の説明を公表すべきだと思うけど。
そういうのを望月は許さないのか？
まあ、擁護派は卑怯なことをし続けてきており、752自体が�
793:�り話だと疑っている。 疑いを晴らしたいのなら、きちんとした証拠の提示をしてほしい。
794:１３２人目の素数さん
18/11/23 20:02:10.47 yZi8efW0.net
>>754
んなもん晒したら特定されるだろが。
理論は正しいけど、証明になってるかといえば微妙で、これはあくまでも新たな「数学の言語」
おっとここまでだ。
795:１３２人目の素数さん
18/11/23 20:26:31.83 Fx2Xu5j3.net
何をもって正しいというんだ。
何らかの議論で越川の言質をとったつもりかもしれんが、越川が正しいと言ってるなんてことを広めても大丈夫なのか？
RIMSでの職位の違いもあるので、パワハラ的な要素も絡んでくるぞ。
796:１３２人目の素数さん
18/11/23 21:03:50.08 YlaH9XSc.net
>>755
＞理論は正しいけど、証明になってるかといえば微妙で
言いたくないんだろうけど
それを普通は「ダメな理論」というよね
797:１３２人目の素数さん
18/11/23 22:58:19.86 CaNPjUlA.net
なんかもう実は全然証明できてなくて
適当に罵倒しながら思わせぶりなこと言って引き延ばしてる間に
何とか証明を思い付くのを狙ってるんじゃないかという気がしてくるな
798:１３２人目の素数さん
18/11/23 23:48:47.85 JqhFVo6k.net
予算獲得も追加しておいてね
799:１３２人目の素数さん
18/11/23 23:59:19.42 fqqTJscH.net
>>755
＞これはあくまでも新たな「数学の言語」
そこまで言うなら、IUTTの「種の言語(the Language of Species)」と、
ブルバキの「構造種 (species of structure)」との違いを述べてくれないか
これは望月が独創的なのかどうか判定する上で重要な要素だよ
それと、事実上、圏論を無視したという点についても同様に重要なことだ
さあ、説明してくれたまえ
800:１３２人目の素数さん
18/11/24 00:05:12.47 LzSm/7Qw.net
>>758
批判してるやつが理論を理解できる知能がないんだから
議論にすらならないだろ
お前らと同じレベルだよ
ただ宗教カルトみたいに喚いてるだけで
議論になってない
801:１３２人目の素数さん
18/11/24 00:14:48.74 7lmDB9Sa.net
>>758
ギャップを埋める気があるのかどうかは気になるね。
当人たちの中にはダメだと気づいているのいるのもいそうだけど。