18/11/11 03:22:10.67 BALVwz+x.net
ところでなんで○○○ばっかなんだ
脳みそが○○○じゃねーか
中身のあることいえない？だから理解できない伝聞を空っぽのオツムから出したんだね
偉い！
453:１３２人目の素数さん
18/11/11 09:10:39.42 3rqzlPlG.net
>>421
＞あのさー、本当にわかってる人って他人を煽ったり馬鹿にしないんだよね。素人でも馬鹿にしない
つまり自分はわかってないですって告白か
454:１３２人目の素数さん
18/11/11 10:04:56.08 HOOpqhcK.net
>>430
ちくしょう！！
分かりたいけど何一つ分からないぜ！！
俺を蚊帳の外にするんじゃねえ！！！
455:１３２人目の素数さん
18/11/11 11:06:05.30 Tdm61e6B.net
宇宙際メリン変換ってどこかしら熱核と関係あるのん？
456:１３２人目の素数さん
18/11/11 11:56:39.93 qR92Pm5S.net
久しぶりにきて追ってみたが
自分の見方を、概ね>>432の人が以前に書いてしまってたｗ
457:１３２人目の素数さん
18/11/11 12:33:41.98 eXza7L5L.net
そ
458:いつも荒らしだぞ
459:１３２人目の素数さん
18/11/11 13:24:29.41 bC/kvd6J.net
てか分かったふりの荒らしって結局jinだろ
460:１３２人目の素数さん
18/11/11 15:22:20.00 EYSIMZyo.net
京都賞講演の客席に佐藤幹夫先生の姿を発見して感激した。
jinは見つけられたかな？
461:１３２人目の素数さん
18/11/11 17:54:42.87 8RxXit5u.net
>>429
おいおい、自称数学者ならもっと上手くやれよw
ガロア理論やコホモロジーも専門家の間だと、時としてたった単一の数式だけで表現されるの知らないだろ
ややこしい術語で堅苦しい証明を重ねるだけが全てじゃないんだよ
462:１３２人目の素数さん
18/11/11 18:31:59.53 8RxXit5u.net
>>424
しかしセミナーの概要が回ってきたとか言ってるような人は研究者なんだろうけど
ゴシップの話しかしてないのか普段はROMなのかどっちなんだろうか。他人を煽ってはいないと思うけどw
進展に触れる以上はどちらかと言ったら擁護寄りのはずなんだけど、事態をどう捉えてるのか一言くらい
レスして欲しいものだ
463:１３２人目の素数さん
18/11/11 18:37:04.56 R3xmFt0p.net
量子重力論屋がIUTに好意的なのは何故なのか？
量子論的宇宙と相対論的宇宙という、異なる物理法則が支配する二つの宇宙を数学的に
相互接続する為の道具に使えるかもしれないと期待しているからなのか？
464:１３２人目の素数さん
18/11/11 19:44:53.79 oesnv/Xe.net
>>442
ショルツらの指摘はどこ吹く風という感じなんだろうね。IUTTは何と言われようと正しいというスタンスなんだろう
望月のHPにポスドクのスライドがアップされているのだけど、>>376氏が書いている通り、俺の理解を超えているよ
彼らはもう世界中の数学者のことなんか歯牙にも掛けていないのだろう
だからIUTTにケチつける人がいれば罵倒しかしない、できない。望月本人がそうだしね
465:１３２人目の素数さん
18/11/11 19:58:06.11 oesnv/Xe.net
>>443
物理屋さんが>>354で書いている通りだと思うのだけど、この不満屋チェコ人の我田引水はヒドすぎるね
数学界・科学界の政治問題にすり替えて論じている。また、
IUTTの宇宙（異質な環構造）たちは同型だけど微妙な差異を持つ宇宙(poly-isomorphism)なので、
量子論対相対論のような大きな対立ではない。エタール的対象の性質に興味を持ったという程度ではないかな
それにしてもフェセンコ顔負けの狂信者だよｗ
466:１３２人目の素数さん
18/11/11 20:51:43.72 4DvLC3dq.net
>>440
京都の外の人だとご存知ないでしょうが
今でも年に何度か談話会とか研究会に顔は出してる
467:１３２人目の素数さん
18/11/11 22:23:07.62 8RxXit5u.net
>>445
でも、明示化やら観測やら不定性やら不確定性というのは、類似とまでは言いにくいにしても
やはり似てますよね
宇宙際というネーミングもかなり強烈にマルチバースを想起させるしね。明らかに意識してる
468:１３２人目の素数さん
18/11/11 22:43:02.17 oesnv/Xe.net
>>447
遠アーベル的な群論的枠組みで円分剛性同型から構成したものだから、真似したわけではないのでしょうけど、
確かに似てはいますね。実際、最終節ではその方面に寄せた記述も見られますし。
私は望月と同世代なので、80年代初頭のホーキング、佐藤勝彦、ビレンキン、B・ジョセフソンなどのブームの中で育ったんですよ
だから何となく望月の気持ちも分かる。ホーキングや佐藤はそうではないけど、この手の科学者たちは当時、
神秘主義に傾倒し�
469:ｪちだったんですよ 私自身、スレチを覚悟で哲学、文学、宗教、言語学のことをこのスレで書いたりしましたが、 それは哲学書や宗教書を読むのは、それらに対する免疫、抵抗力を持つためという思いを込めてでした 飛び級についても、数学さえできればいいのではなくリベラルアーツもしっかりやらなければね、という思いもありました
470:１３２人目の素数さん
18/11/11 23:20:02.36 oesnv/Xe.net
>>415
誰も答えないから非専門家の俺が恥を忍んで答えてみます（笑）。間違ってたら訂正してください
＞ガロア理論とは、○○○の本質を○と見て○○や○○○のシステムとして捉えるものである
（解答）「ガロア理論とは、対称性の本質を群と見て分解や可解性のシステムとして捉えるものである」
＞類体論の心は○○（○○○○）である
（解答）これははっきり特定できないので、候補として分岐理論、高次元化、七五三の行事ｗ、高次元類体論、非可換類体論
＞モチーフ理論では○○○と○○○○○の関係を解明することが重要である
（解答）「モチーフ理論ではL関数（の特殊値）と代数多様体の関係を解明することが重要である」
こんなもんだけど、どうですかね？ｗ
471:１３２人目の素数さん
18/11/11 23:33:57.40 3rqzlPlG.net
まーたガイジが湧いてる
472:１３２人目の素数さん
18/11/11 23:34:54.80 8bZgq7/S.net
見てて恥ずかしくなるレベルの自演なのでやめろ
473:１３２人目の素数さん
18/11/11 23:59:41.43 IqJQ9kWB.net
おまえもなー
474:１３２人目の素数さん
18/11/12 00:10:04.23 j4UW8sEW.net
幼稚な罵声で煽ってばかりのゴミ以下がいるけど、研究やってれば文体は似てくるんだよ
それに５ｃｈで文体に凝ろうとも思わない。物理屋さんはわざと「てにをは」を外したりしてるけどね
文体は似てても考えや関心が違えば別人とすぐ分かる
俺でもjinみたいな狂信者とjinレベルのIUTT批判者の違いぐらいは分かるよｗ
475:449
18/11/12 00:29:23.54 j4UW8sEW.net
L関数（の特殊値）と限定しなくても「不変量」と言うだけでいいかｗ
望月も書いているよね
モチーフ --- 代数多様体の数論的骨格
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
このスレのIUTT擁護の煽り屋どもは望月の和文論文すら読まず、彼を貶め腐らす根腐線虫みたいなもんだな（笑）
476:１３２人目の素数さん
18/11/12 09:28:00.43 uRQF7l1k.net
読んでもモチーフの何たるかがまったく分からない駄文
477:１３２人目の素数さん
18/11/12 10:15:27.83 BIBbyTnz.net
こんなオカルト韜晦的な書き方が日本における数学のスタイルなら、
国はもう資金引き上げでいいと思うけどね。
それで学問が衰退するとも思えないな。
478:１３２人目の素数さん
18/11/12 10:37:10.75 HcHpeSYZ.net
>>456
考え方が間違ってる
諸外国はオカルト(と呼ばれる)にも資金を突っ込んできているのを理解しよう
未知なもの、理解し難いものだからこそ資金を入れるんだよ
確実性のあるものにだけ金を入れてどうする？
人類史を前進させるかもしれないものに金を入れることにクレーム付けるのはかなり脳みそが狂ってるよ
しかも物理など他分野と比較して大した金額じゃない
仮に捨て金になったとしてもいいんだよ
それは結果論でしかない
479:１３２人目の素数さん
18/11/12 11:06:14.48 BIBbyTnz.net
>>457
じゃあRIMSから引き揚げても問題ないでしょ。
オカルトな研究なら他にもたくさんある。EM菌にでも突っ込むか？
残念ながらオカルトも大事という主張と【自分たちの】オカルト【こそ】大事は違うんだよ。
480:１３２人目の素数さん
18/11/12 11:06:50.28 URsVweyq.net
IUTはオカルトです、と宣言したね。
まずIUT関連の予算獲得ありきで
査読中に IUTよりABC予想が解決した
と文科省へ報告したからな。
481:１３２人目の素数さん
18/11/12 17:42:14.28 EHHx0lbs.net
>>449
違いますね。更に突っ込んでないと埋まらないです。別にその穴埋めが悪いわけではないけど
モチーフの特徴付けだけではなくて、研究指針のポイントの話だったので
まあゼータコホモロジーとか言われるくらいだからそういう表現も良いでしょう
482:１３２人目の素数さん
18/11/12 17:54:49.26 8ik+vS3J.net
>>454
擁護派だが批判派だが知らんが、
客観的な情報を少しでも得ようと思って
ここに来た人間の多くは、立場を明示してる
数学者に対して、憶測含めて批判しまくってる
ここのダブスタお猿さんマウンティング劇場に
辟易としてるだろうね。
自称「俺はわかってる」な奴が匿名性に守られて
王様のように振る舞ってるだけで、
けっきょく十分には読めてないんだから。
（そういうことを自分自身で言ってるだろ）
勝手に始めたマウンティング合戦という馬鹿げた
争いの自称勝者でしかなく、その愚かしさを
指摘すると擁護派というレッテルをはられる始末。
批判の本質を何もわかってない。
だから動物園という比喩がしっくりくる。
483:１３２人目の素数さん
18/11/12 19:28:25.07 7I460S3o.net
>けっきょく十分には読めてないんだから
聡明なPS JSはともかく
オカルト文書を十分に読む必要はないし
危険な行為だ。
484:１３２人目の素数さん
18/11/12 19:59:49.93 j4UW8sEW.net
>>460
サンクス。その辺は飯のタネなので秘匿ということでいいのかな
意味不明のレスがあるのだが、誰がマウンティング合戦（嫌な言葉だ）をやっているのかね
IUTTの内容についてお互いの見解を述べあっているだけなのに、勝手にマウンティングされたと被害妄想しているとしか思えん
充分に読めてるんだったら、ゴタゴタ言う前にIUTTの内容について語ってくれよ。間違っていたら訂正すればいいだけの話だ
さらに、間違った見解に対してできるだけ具体的に訂正してあげればよい
それすらしようとせず、猿だの動物園だのしか言えないのはIUTTを全く読んでいないと疑われても仕方がない
そんなに俺のレスが不快ならNGを入れろ。俺も最近はNGをたくさん入れてるし（IDコロコロ変えてくるからめんどくさいが）
あとな、数学者に限らず研究者というのは読んだ上で立場を表明するものなんだよ（これは研究者に限らんが）
485:１３２人目の素数さん
18/11/12 20:51:13.99 EHHx0lbs.net
>>461
数学者の見解とは思えませんな。中身について言及している人間はわかってるアピールなんかしていない
一部が勝手にそう捉えてるだけ
このスレの誰が上か下かという話は無駄でしかないし、そういう中でただメタポジから誰が馬鹿だの猿だの
言ってること自体が無駄
あなたがIUTが間違いではないと思うなら、その理由を含めて書いたら済む話
それをとやかく叩く馬鹿は無視すればいい
もう一度言うが、自分が正しいと思う見解を各々勝手にレスするのが数学者としては正しい態度
486:１３２人目の素数さん
18/11/12 21:01:50.45 EHHx0lbs.net
>>462
ただ勿体ぶるのもあれなんで、混合モチーフの候補がいくらかある中でどうやって調べるべきかって文脈
そうして見ていけば正解はそのうち見いだせる
487:１３２人目の素数さん
18/11/12 21:33:04.99 ZXdjgg5L.net
>>463
読み方にはノートを取る、流し読み、
要旨のみ、チラ見と色々とある。
PSJSレポートはノートを取って読みたいね
488:１３２人目の素数さん
18/11/12 21:4
489:9:27.03 ID:sYl1o0en.net
490:１３２人目の素数さん
18/11/12 21:50:16.91 sYl1o0en.net
リニアコライダーまで日高見川流域に持ってかれると。
491:１３２人目の素数さん
18/11/12 21:52:30.48 RDHTWPUk.net
自演バレてないとでも思ってるのかな
492:１３２人目の素数さん
18/11/12 21:58:03.79 j4UW8sEW.net
>>466
S・Sレポートですけど、見事だとは思いますが個人的には学術的な価値は感じないんですよ
つまり、S・Sからすれば望月は屁理屈をこねているにすぎない、という感じです
このレポートの面白い所はソフィスティケートされた皮肉がちりばめられている所ですね。例えば、
“identifying identical copies of objects along the identity”(p.9の脚注)
完全に言葉遊びでからかっています。誰かが書いていましたけど舐めプしているんですよ（笑）
S・Sからすれば望月こそが学部・修士レベルのミスをしていることになる
望月があれだけ怒ったのも無理もないと思います
493:１３２人目の素数さん
18/11/12 21:58:03.84 sFDOY7GA.net
やめたれｗ
494:１３２人目の素数さん
18/11/12 23:08:41.53 EHHx0lbs.net
擁護というか、何か数学的な内容があると思うのは全然おかしくないんだけど、
さすがに六年以上経って、ショルツの件がニュースにまでなって正式に出版されている中で
専門家から公に擁護の声が挙がらないっていうのは相当な異常事態じゃないかな、と
だからこそ匿名を利用して、見解を好き勝手に言えば面白い
何でいつもスレ内の罵倒合戦になるのかわからないですけども
495:１３２人目の素数さん
18/11/12 23:10:55.46 lM77uLJV.net
基礎的な定理が証明できないものに数学的な内容があると考えるのは非常におかしいと思うけどね。
496:１３２人目の素数さん
18/11/12 23:29:55.89 vvsnmgKe.net
数日見てなかったらまともな書き込みの方が少なくなってて草
もう終わりやね
497:１３２人目の素数さん
18/11/12 23:36:30.11 j4UW8sEW.net
>>472
まあでも、望月-S・S論争自体がそういうものだから（笑）
望月の罵倒のほうばかり強調されるけど、S・Sの論調も相当望月をコケにしたもんだよ
それに対して望月は顔を真っ赤にして怒っている様子が瞼に浮かぶ
昨日も書いたけど、望月としては最終節で書いたIU形式主義と種の言語を整備して、
新たな圏の幾何学を「明確に」提示しないと理解されないのではないかな
現行のIUTTで「典型的な」数学者に理解してもらおうとするのは無理があるよ
通常の数学用語に造語を混ぜ、「独自の（勝手な）」論理でやられたら、そりゃトンデモ扱いされても不思議じゃないよ
498:１３２人目の素数さん
18/11/12 23:56:39.44 v7gzez66.net
かたや京都賞の講演をやっているというのにな
妙な語り口で逃げないで水準の高い論文を安定して50年間出してきて
今なお最先端をリードしているのは化け物ですよ
499:１３２人目の素数さん
18/11/13 00:18:14.93 c/h+BuvC.net
>>475
まあ我々もあんまグダグダ同じ話をしても仕方ないので合意できそうな形を一つ明らかにすると
歩み寄りが足りない、に尽きますね
ただ、俺はそれが悪意とか意固地というのではなく、ある種のアスペルガー的な特異さのせいではないかと
思っているので、批判する気にもなれないというか、切ない、残念な気持ちがある
今のところ、もうそろそろ特に言うべきことは�
500:ﾈい。進展には気を払いますけども
501:１３２人目の素数さん
18/11/13 00:39:12.33 8CSqvco7.net
>>477
望月・星、ショルツ・スティックスの議論に立ち会うことができたら、そこで本当は何が話し合われていたか分かるんですけどね
正直言って双方のレポートの内容に齟齬がありすぎて不信感すらあります（特に望月側に対して）
毎回2時間も4人で和やかにランチを取りｗ、その後、5時間にわたる議論を5～6日間行ったそうです
望月に至っては何色ものマーカーを使ってボードに図を書いて説明までしている
ここまでして何で伝わらなかったのか？S・Sを納得させられなかったのか？
私はアスペ的なものではなく、やはり“blurring”が過剰だったのではないかと思っているんですけどね
あと、いつか機会があれば書くかもしれませんが、望月の奇行は「フリ」だと思っています
502:１３２人目の素数さん
18/11/13 01:50:07.92 uvSmcAPH.net
動画配信しなかった理由は何
今時こう言うの全部公開するぞ
503:１３２人目の素数さん
18/11/13 07:01:05.40 i8Uog/yJ.net
>>479
こいつxxか？
504:１３２人目の素数さん
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の設定なんでね