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
ギャップを埋める気があるのかどうかは気になるね。
当人たちの中にはダメだと気づいているのいるのもいそうだけど。
802:１３２人目の素数さん
18/11/24 01:39:32.34 1fvQMb02.net
>>760
>そこまで言うなら、IUTTの「種の言語(the Language of Species)」と、
>ブルバキの「構造種 (species of structure)」との違いを述べてくれないか
そう来るかwwすげぇwww
803:１３２人目の素数さん
18/11/24 02:19:53.18 ac+Ww4Hl.net
やたら予算予算言っている奴がいるけど、数学の教授が大型予算なんてとっても面倒くさいだけだぞ。
必要もないコンファレンスやったり、研究員の世話したり。
個人レベルで数理研の教授がそんなことをやりたがんよ。このご時世誰かが犠牲になってやらざるを得ないんだろうが。
804:１３２人目の素数さん
18/11/24 02:27:48.84 W+9lJlPi.net
40人で1億か
少ねえな
まあお小遣い程度か
805:１３２人目の素数さん
18/11/24 03:04:56.61 D6s600vX.net
>>755
前から思うんだけど、宇宙際では絶対遠アーベル幾何学は一つの現象だと言っている
確かに宇宙際幾何学的に見たら色んなものが場合によっては種になるようだ
しかし、如実にこの事が出てきているのは、結局今のところは絶対遠アーベルだけではないだろうか？
それはどう思う？
806:１３２人目の素数さん
18/11/24 06:54:58.60 FrOFih5X.net
>>761
IUTは 数学の理論ではないよ、
予想獲得 の道具にすぎない。
807:１３２人目の素数さん
18/11/24 07:03:30.87 FrOFih5X.net
文科省へ 京大RIMSの報告書
>>753
【資料2:発表論文数】 所員の発表論文数 3p
>※査読付き論文のみ
↓
RIMSは査読中や査読なしの論文を評価
しない
↓
事例4「数論幾何の研究」10p
>望月新一に よる「宇宙際タイヒミューラー
808:理論」の構築とその結果としての ABC 予想の解決は、特筆 すべき出来事である。 >当該論文は現在査読中であるが、 >望月新一が同理論の概要を解説し た業績 番号1― (2)(2014)が、講究録別冊として 刊行されている。 ↓ IUT論文は査読中だから abc予想の証明 が評価されないはず。 概要の解説文では 数学の証明にならない！ RIMSは 論理破綻
809:１３２人目の素数さん
18/11/24 07:14:50.40 vmqVrH5q.net
解脱したい。
810:１３２人目の素数さん
18/11/24 08:50:28.54 D6s600vX.net
あと>>755って度々RIMSらしき雰囲気醸し出してるけど、結構前に「読んだ、証明じゃないけど構造は
興味深い」みたいな事言ってたのと同一っぽいな
証明にならないって事は数体の幾何学になってないのと同義なんだけどね。そんな曖昧な話あるか？
811:１３２人目の素数さん
18/11/24 09:32:19.32 IUDPE6Ke.net
京大以外で国内の数学者のIUT保証者10人連れて来てねｗ
812:１３２人目の素数さん
18/11/24 09:51:33.98 hf09jkYe.net
痴呆タグチとサイコパスマツモトは参加
813:１３２人目の素数さん
18/11/24 11:36:39.64 Pu2mqvtw.net
>>764
これは全くその通りで年間1億×5くらいだと中途半端
雑用が大幅に増えるだけだが誰かはやらなきゃいかん
数学研究の環境として日本最高のRIMS教授は雑用に追われるんだよ
ということと大型予算を取る以上は責任があるというのと別の話
814:１３２人目の素数さん
18/11/24 11:41:49.11 ZQrU+gIH.net
それは科研費なんかの話でしょ。
今回問題になってるのはRIMSという研究機関に対する評価において、
IUTが使われていたのは少なくとも研究倫理上は不正に近いんじゃないか、という点だと思うが。
815:１３２人目の素数さん
18/11/24 12:24:36.60 FNWKq7NQ.net
HがCのKを納得させてるとかあったけど
シカゴの越川ということなのかな。
816:１３２人目の素数さん
18/11/24 12:40:49.56 ituFNiUT.net
>>774
そうは思わない。不正には当たらないし近くも無い
817:１３２人目の素数さん
18/11/24 12:58:12.41 FrOFih5X.net
都合の悪い人たちはIUTの事実をスルーし
否定 罵倒してきたもんね。
818:１３２人目の素数さん
18/11/24 13:03:53.46 ZQrU+gIH.net
>>776
査読を通っていないものをマスコミに通ったかのようにリークして、
その報道を評価にしようするのは不正か不正に近い行為だね。
これを擁護するのはさすがに理解不能。
819:１３２人目の素数さん
18/11/24 13:04:25.75 ZQrU+gIH.net
〇評価にしようとする
820:１３２人目の素数さん
18/11/24 13:56:05.38 GOZBQUHy.net
IUT論文に多大な時間かけたヤツｗｗｗ
821:１３２人目の素数さん
18/11/24 16:44:20.52 yKOe+9/F.net
シカゴの越川かカリフォルニアのケドヤラどっちだ
822:１３２人目の素数さん
18/11/24 18:17:09.61 WBall5A+.net
>>780 IUTが正しいかどうかはさておいても、猛勉強した人を笑う神経がわからん。
IUTを勉強したものを笑うなら、
新しい数学を探求するなんてリスクの高いことを誰がやるのか？
みんな既存の数学に学び教えるだけになるぞ。
そっちの方が断然リスク低いわけだから。
誰も新しい数学を学ぶ意思を持たなければ、新しい数学を評価する者はいなくなる。
数学の発展もこれまでってことになるだろう。
823:１３２人目の素数さん
18/11/24 18:42:43.80 sREGbC99.net
IUTはabc予想の証明の真偽より
概要の解説でOKなのだから、
確かに 新しい「数学」だ。
IUTのレクチャーノートでも読めばよさげ、
興味があったり暇な方が論文を精読
するだろうが、人夫々、
824:１３２人目の素数さん
18/11/24 18:57:26.10 Pu2mqvtw.net
>>782
あなたが言うことは正しいのだが、研究者なら勉強だけではダメで
その先をやらないといけない
IUTの証明にギャップがあるなら埋める
ギャップがないならIUTを用いて新しい結果を出す
6年経って取り巻きから目立った成果が聞こえてこない点も問題ではある
825:１３２人目の素数さん
18/11/24 19:45:09.06 UWIWRkO/.net
>みんな既存の数学に学び教えるだけになるぞ。
物理の量子力学を学ぶとシュレディンガー
方程式の近似解の手法でWKB近似を必ず
教わる。
物理は計算結果が大切だから計算手法を
学ぶだけでOK。
数学 数理の視点では 漸近展開 特異摂動 、
ボレル変換 接続公式 モノドミー群
ストークス現象、
これは代数解析の完全WKB解析です。
826:１３２人目の素数さん
18/11/24 19:48:13.63 UWIWRkO/.net
>>785
モノドミー→モノドロミー
827:１３２人目の素数さん
18/11/24 19:51:08.66 dVUDhy8O.net
正しいことを証明できないIUTのサーベイとやらで業績稼ぎしてるのも問題。
そもそもあれがサーベイ論文と呼べるのか？
828:１３２人目の素数さん
18/11/24 20:37:03.79 gAWmbe1B.net
>>762
考えてみれば矛盾なくすんなり説明できるような内容ならとっくに弟子が
海外で繰り返し長期セミナーやって話付けるってことになってるよね
実績積むにはまたとないチャンスだし
829:１３２人目の素数さん
18/11/24 21:42:42.60 hf09jkYe.net
11月の大きな動きってなんでのセミナーとかＫＯの集中講義？
不発弾もいいとこだな
830:１３２人目の素数さん
18/11/24 22:37:44.30 0cfJTr0/.net
出張扱いになるほどの大きな移動距離って意味合いなんだよ
831:１３２人目の素数さん
18/11/24 23:06:46.60 4G5a098q.net
何か越川さんやらその他阪大の人も納得しましたって話があるけど
それなら当然来年はアクセプトなんだろうね
別に皮肉じゃないですよ。本当ならばそれしかないという意味で
832:１３２人目の素数さん
18/11/24 23:49:38.04 V0mFV4R2.net
IUTには 色々な面で疑問点があるから、
アクセプトの後に 爆弾が爆発するかもな
833:１３２人目の素数さん
18/11/25 01:04:24.50 BuFBIYzy.net
後から間違ってましたとなると色々困る人が出てくるだろうな
間違ってる論文なんて山ほど出版されているが
査読は慎重に
834:１３２人目の素数さん
18/11/25 02:57:33.69 cWayj7sw.net
中ムラムラ博昭とか渡部隆夫の阪大バカ軍団
エセABC予想こと東北山崎隆雄やらはKOに参加して何か発言していないのか
835:１３２人目の素数さん
18/11/25 03:08:05.35 w5RC6scV.net
ふつー集中講義は学生しか参加しとらんよ
教員は講義やら会議やらで忙しい
836:１３２人目の素数さん
18/11/25 07:06:43.63 jesDM8p8.net
IUT理論という素晴らしい理論を打ち立てたにもかかわらず6年たってもABC予想以外の確たる発展もないという事は、
望月や取り巻き自身、自分らが何をやっているのかよくわかってないといわれても仕方がない。
望月自身が何をやろうとしたかは、望月よりもショルツのほうがずっとお見通して、
そのうえで「あんたのやろうとしていることは自家撞着だよ」と教えてもらってるんだろ。
もう完敗もいいところで、アキラメロンとしか言いようがない。
南出さんどうすんのよ？
837:１３２人目の素数さん
18/11/25 07:16:20.41 HQIWSbMP.net
大々的に間違えた思考回路は正答を導けない
ここまでの擁護派の罵倒然り
838:１３２人目の素数さん
18/11/25 07:27:36.61 fag5z4Uo.net
FaltingsかBombieriの弟子が一人でも理解できない限りは出すべきではないだろうな
839:１３２人目の素数さん
18/11/25 08:59:25.89 2FTeotk1.net
>IUT理論という素晴らしい理論を打ち立てた
にもかかわらず6年たってもABC予想以外の
確たる発展もない
IUTは妄想の産物だから、IUTによるabc予想
の解決はインチキだ→ >>768
壊れた ガラクタの装置 IUT に何を入力
840:しても 出力はガラクタ
841:１３２人目の素数さん
18/11/25 10:12:51.97 Vt1BEEHx.net
一派は数学界の戦狂死
URLﾘﾝｸ(headlines.yahoo.co.jp)
842:１３２人目の素数さん
18/11/25 11:37:04.69 QOsd6ULI.net
>>793 モッチーは地位が安定してるから、ゆっくりでもいいわな。
地位が不安定な人だったら、ゆっくり査読で研究者として死に至る可能性もあるけど。
843:１３２人目の素数さん
18/11/25 12:06:13.99 BuFBIYzy.net
IUTが正しいとしても
その後新しい別の結果が出てこないなら孤立した大理論で終わる
もっちーは偉大な成果で良いが飛び込んだ若手はまあそれが実力ということになる
そこは覚悟の上だろう
844:１３２人目の素数さん
18/11/25 15:47:33.04 90ozP309.net
柏原さんも望月さんも大秀才って感じですね
大天才ではない
845:１３２人目の素数さん
18/11/25 15:59:38.29 +QerMUYe.net
味噌 糞いっしょ
846:１３２人目の素数さん
18/11/25 17:07:59.19 43l0FA0w.net
査読完了はもっちーの最終講義の日ということも可能....だということ....!
847:１３２人目の素数さん
18/11/25 17:27:22.27 +QerMUYe.net
海外の数学者も翻訳機能が使えるね
It is a report of Kyoto University RIMS
to Ministry of Education, Culture, Sports,
Science and Technology
>>753
[The number of material 2: presented papers]
staff's presented paper
>＊ Only a thesis with a peer review
Case 4
"study of number theories geometry",
>ABC as building of "TAIHIMYURA theory
in case of the universe" and the result
by Shinichi Mochizuki .
A solution of expectation is the affair which should be mentioned specially.
>A thesis concerned is in the peer review
at present. .but
>The achievement to which Shinichi Mochizuki
explained the outline of the said theory
Number 1-- (2) (2014) is as a research roku
separate volume. It's issued.
848:１３２人目の素数さん
18/11/25 17:44:22.72 i5avxMKv.net
【ウーマン村本】 やったぜ日産？ いや政治家からしたら、やったぜ無関心な国民、やったぜ水道民営化
ｽﾚﾘﾝｸ(liveplus板)
849:１３２人目の素数さん
18/11/25 22:13:30.29 WAD336M4.net
第二の小保方？
850:１３２人目の素数さん
18/11/26 00:17:06.41 TX1iYN+j.net
たらればで延命処置と継続予算の獲得
851:１３２人目の素数さん
18/11/26 00:53:05.23 VnS7mBq2.net
もっちーはIUT以外の研究も発表して行かないとね
852:１３２人目の素数さん
18/11/26 04:37:05.93 Bqh1qama.net
>>803
個人的には代数解析って今一つ乗れない分野なんだよな
予め限界が見えてしまっている感じがするというか
数論への応用ではかなり残ってる問題があると思うけど
853:１３２人目の素数さん
18/11/26 07:03:08.08 3CBUJNT5.net
>>811
頭がトンデモだからだよ
854:１３２人目の素数さん
18/11/26 08:04:33.02 pxF2up+5.net
>>811
どの辺のジャンルが乗れるのか逆に知りたいわ
855:１３２人目の素数さん
18/11/26 11:15:37.54 Bqh1qama.net
>>812
あながち間違いではないけどねw
良い意味でトンデモ思考は大事にしてるし
856:１３２人目の素数さん
2018/11/2
857:6(月) 12:49:11.65 ID:QAsXfLjL.net
858:１３２人目の素数さん
18/11/26 15:17:55.28 d2K693mU.net
代数解析に乗れないというのは多分道具ばかり見ていて対象を見ていないからだろう
研究対象を見ていたら代数解析でメインに扱っている対象物はまだわかってない物ばかり
多分まだまだ道具が足りないのだと思う
整数論でも道具も多いが対象物でわからないことがたくさんあって
道具の方が全然足りてない
IUTがそういう新しい道具であってくれると良かったのですが
859:１３２人目の素数さん
18/11/26 17:53:06.97 TX1iYN+j.net
立て直す気があるなら兎も角も、パーツが足りないね
860:１３２人目の素数さん
18/11/26 18:56:55.71 7/ZQxkcY.net
億単位で予算投入しながら実質ゼロ回答だろ
間違った奴は間違ったことしかしないから
861:１３２人目の素数さん
18/11/26 19:39:21.93 WeKtCGQY.net
何が11月にアクセプトだよ
862:１３２人目の素数さん
18/11/26 20:05:57.73 kp2nW88/.net
ロバーツがブログで5chのコメントに言及してるぞ！
863:１３２人目の素数さん
18/11/26 20:28:44.74 jM5Y4Lua.net
ここのコメントが向こうに翻訳されてるのか？
864:１３２人目の素数さん
18/11/26 20:50:50.13 2ica4n0r.net
このゴミスレの？
865:１３２人目の素数さん
18/11/26 21:07:37.86 P/Le0fzA.net
まあ５ちゃんのいいところでも悪いところでもあるというか、
Twitterなんかで言ったら問題になりそうな研究不正疑惑を指摘してるの、
ここの匿名掲示板くらいなのでは（研究者は薄々思ってても言わないだろうし）。
866:１３２人目の素数さん
18/11/26 21:13:29.93 bIDIAUsS.net
メイヨキソンかシンジツーかは後で明らかになるけどねー
867:１３２人目の素数さん
18/11/26 21:17:20.63 d2K693mU.net
このタイミングで書くと誤解されそうだが一例として
海外でも任期切れポスドクが「大予想を証明した」という論文を書き
任期延長した例を知っている
その論文は間違えていたがポスドクは延長された任期最後までいたそうだ
その後は知らない
868:１３２人目の素数さん
18/11/26 21:45:48.72 dEY187I3.net
誤解も何も鏡見てチンパンチンパ連呼してた単細胞アメーバゾウリムシはどこ行ったの？
869:１３２人目の素数さん
18/11/26 21:52:42.37 b1oHM9hw.net
>>825 間違いの内容次第だな
870:１３２人目の素数さん
18/11/26 22:41:41.22 d2K693mU.net
>>827
講演は何度かいろんな所に呼ばれてちょっと話題になり任期延長
おかしいと言われはじめて修正はできずに出版されなかったし
その方向での以後の発展が別の研究者含めてあったとは聞いてない
871:１３２人目の素数さん
18/11/26 23:08:39.92 i4ljo+Wu.net
もっちーwebページ更新したってよ
872:１３２人目の素数さん
18/11/26 23:50:15.63 jM5Y4Lua.net
そういえばリーマン予想証明したって話はどうなったんかな
信憑性はかなり怪しいみたいな話だったけど
873:１３２人目の素数さん
18/11/26 23:54:07.65 H6eLikzk.net
>>819
同じくここのタチの悪いデマに森がショルツに査読を頼んだってのがある
874:１３２人目の素数さん
18/11/27 00:09:48.70 S+ca/lGi.net
Quanta maGazine
September 20, 2018
Shigefumi Mori, Mochizuki’s colleague
at Kyoto University and a winner of the
Fields Medal, wrote to Scholze offering
to facilitate a meeting between him and
Mochizuki.
Scholze in turn reached out to Stix,
and in March the pair traveled to Kyoto
to discuss the sticky proof with
Mochizuki and Hoshi.
875:１３２人目の素数さん
18/11/27 00:45:15.50 52doHbPY.net
結構な量ですね
876:１３２人目の素数さん
18/11/27 01:39:27.52 oVDXYHWI.net
なんか進展ありそうなの？
877:１３２人目の素数さん
18/11/27 05:35:01.96 oeM/JuAB.net
年越し確定だお
長引くかもだお
878:１３２人目の素数さん
18/11/27 06:00:25.53 LSBkGFiA.net
もうこの期に及んで長引くもヘッタクレもない気はするけど。
879:１３２人目の素数さん
18/11/27 07:02:22.19 pzzIPtIM.net
もっちんのHPアップデートを見たけどなあ
皆の望んでいるのはもっと数学的、具体的なSSへの反論なんだよなあ
880:１３２人目の素数さん
18/11/27 07:11:31.14 HHdteY8V.net
国会の答弁みたいだなあ
881:１３２人目の素数さん
18/11/27 07:11:45.26 6eEjloWM.net
レポートは悪くはないが、論文の体としてはあまりよくないね
簡潔さがない
882:１３２人目の素数さん
18/11/27 07:16:40.04 6eEjloWM.net
あと不正については、決して深刻ではないと思うけど
本当に解決した事にして報告しているならば、モラルについては疑念を抱かざるをえない
2020年まで誤魔化すようなら批判を公言していいレベルでしょうが、来年が山だから様子見
883:１３２人目の素数さん
18/11/27 07:26:45.01 xYtCGqG6.net
>>835
もっちーが降参宣言してないってだけのこと。長引くことに大した意味はない。
>>840
たぶん２０２０年までごまかすと思うよ。
その後もごまかしつつ自然消滅を狙う。
いまやもっちーとRIMSの体面をいかに守るかしか頭にないから。
884:１３２人目の素数さん
18/11/27 09:17:41.44 0/mScRBi.net
>>832
この流れを見る限り、
・RIMS内部でも怪しんでいるのはいる（少なくとも御大）
・怪しまれてるのにリジェクトが出せない＝数人が擁護で結託している
というのはありそうなんだよなぁ。
885:１３２人目の素数さん
18/11/27 10:28:33.07 7QM1askr.net
サグラダファミリアの方が早く完成するよねｗ