Inter-universal geometry と ABC予想 34
■ このスレッドは過去ログ倉庫に格納されています
IU幾何やABC予想に関する会話のサロン
として使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 33
https://rio2016.5ch....cgi/math/1539459427/ >>640
超弦理論は単位がある物理体系の理論で
厳密な証明が必要な数学理論ではない。
ADS/CFT. 量子重力理論.量子的もつれ、 、
も同様に物理理論だな。
ディラック作用素の指数「定理」は超対称性
量子力学において経路積分を使い2つの方法
で計算すれば 導出される。
が、これは数学の証明ではないし
物理のアノマリーの計算だ。 どの分野にもトンチンカン 混同 邪念
病を患った奴がいるもの Y田さんが阪大の人なら、まあ一応Gさんの近い研究者だからな
しかし、そうやって納得した人間がいる割にはなかなか通らないな。プロジェクト的にも
来年に通る可能性が高いのは間違いないが >>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回しか出てこない
最終節を整備して冒頭に置き、それから宇宙際幾何学を展開するしかないだろうね
ただ、それがもはや数学と呼べるものかどうかは分からないが・・・ >>652
だからIUTを超弦理論の厳密な数学的証明の為のツールとして使えるかもって
期待してるんじゃないかなという話 >>642
ブンゲンの動画がショルツのレポートを公開してるページに追加されてて笑ったわ
逃げられんねこれは >>640はちげーと思うなあw
単にマルチバースを横断するタイヒミュラー理論は何かCFTや経路積分に凄くフィットしそうってだけじゃないの
でも、一般的にストリングの人間がIUTに好意的って事実はないと思うんだが >>639
俺のID変わってるかもしれんが……
あー確かに、そうした話がほんとだとしたらIASに呼ばれないのは変だね
フェセンコは何年か前に京大で講演してたのを覚えてるわ | || i/ ヽ、 ノ | | | || i/ \ / .| | .| || i/ ヽ、 ノ | | .| || i/ \ / .| |
(S|| | (●) (●) | .(S|| | (●) (●) | .(S|| | (●) (●) | (S|| | (●) (●) |
| || | .ノ )| .| || | .ノ )| .| || | .ノ )| | || | .ノ )|
| || |ヽ、_ 〜'_/| | | || |ヽ、_ 〜'_/| | .| || |ヽ、_ 〜'_/| |. .| || |ヽ、_ 〜'_/| |
┏┓ ┏┳┓ / / ヽ ./ / ヽ ┏┓ ┏━┓
┏┛┗┓┗┻┛ ,i / // / i i l ヽ ,i / // / i i l ヽ ┏┛┗━┳┓ ┃ ┃
┗┓┏╋━━┓ | // / l | | | | ト、 | | // / l | | | | ト、 | ┗┓┏━┫┃ ┃ ┃
┃┃┗━━┛ | || i/ \ / .| | | || i/ ヽ、 ノ | | ┏┛┗━┻┫ ┃ ┃
┃┃┏┓ (S|| | (●) (●) | .(S|| | (●) (●) | ┃ ┏━┓┃ ┗━┛
┃┃┃┗━┓ | || | .ノ )| .| || | .ノ )| ┃┃┃┏┛┃ ┏━┓
┗┛┗━━┛ | || |ヽ、_ 〜'_/| | | || |ヽ、_ 〜'_/| | ┗━┛┗━┛ ┗━┛ >>660
小栗先生もIUTに好意的だという話を聞いたことがありますが
もちろん超弦の皆がIUTに好意的という事実はないでしょうね
なのでこの話はもう終わりにします 安否情報が少し前に更新されてる
ここ見てくれてるのかな 横からスマンが大栗氏の件ね。前にも貼り付けたことがあるけどまた貼っておく
(もう記事は削除されているけど2012年10月03日の朝日の記事から)
---------------------
数理研助教授を経て、米カリフォルニア工科大で物理と数学の教授をしている大栗博司さんは、
同僚が「モチヅキの何年も前の論文から勉強しないと」と話すのを聞いた。
「アイデアが美しいのは一致した見方。解けていれば、数学だけでなく、
物理などほかの科学の考え方にもインパクトを与えそうだ」と話す。
---------------------
「解けていれば」との条件付きだが(笑) ちなみにチェコのIUTT狂信者に自己紹介したコメントを削除されたあげくブロックされたdcomplex氏は、
たぶんUrs Schreiber氏だろうね。ロバーツと共にフェセンコにイチャモンつけられた人
チェコの狂信者はdcomplex氏がチェコに戻っていることを嘲笑うかのようなコメントをしていたな
完全にブーメランなんだが。フェセンコといいコイツといいこのスレの下劣な狂信者といい、
自分のカキコが完全にブーメランになっていることに全く気付かない >>629
日本の数学や物理には秀才ばかりで尖った人間が少ないからな。お勉強ができるだけじゃ駄目
ホラ吹きじゃまずいが、大言壮語は構わないんだ別に。今は結構やり方次第で行ける環境にある
衰退してるので、逆にチャンスがある Ellenbergのブログの部分は一部流し読みしてから長い間見てなかったけど、
Taoはこの時点では殆ど意味的に読んでない印象があるね
これは擁護とかではなくて、red herringというのは「よくわかんないけどそうなんじゃないの?」
みたいなノリで言ってるに過ぎないので大したコメントではない
一応注目するべきは、最近のも合わせたRobertsの見解だと思うけど、問題としては「本当に圏論・集合論にとって
新しいアイデアなのか?」ということだろう ていうか、読んでなくて>>449を完全に無視してましたw
全部違いますが、ガロア理論については別に大体それでもいいんじゃないですかね
まずはS_nやA_nがどうとかではなくて、感覚的にどんな考え方をするのか知っていれば
いい
高校で方程式を解いたり因数分解する延長にある。ただガロア理論の教科書は普通書名に「体」という
語を使ってますからね。それは重要ですよ
全然関係ないけど、前にQのガロア群の問題がここに書かれた時にすぐ元ネタがわかったのは事実で、
普段使ってる奴の例題がそれだったんですねw
類体論については、まずガロア理論とセットでp進体と商集合の感覚を掴むのが重要で、その上で実際に見たら
そのうち正解はわかるでしょう
モチーフの解答は単純だが哲学的なものなので、相当なアレじゃないとわからないでしょう どっかの海外ブログで非可換性が不要なんじゃないのみたいなコメントしてる奴ありましたっけ?
さっきから探してるんだけどわからない。勘違いか? >>669
そのブログでのタオとロバーツの視点はかなり違うので、分けてみます(超訳w)
【タオさん】
ABC予想は第2節で証明されている(とされている)。集合論とモデル理論的なものは最終節で述べられただけで、
これらはABC予想の証明に関してはあまり関係ないものだけど、今後の宇宙際幾何学の発展に関係するものなんじゃないの?
でも、この(望月の)集合論とモデル理論はグロタンディークの集合論の非保存的な性質の問題を
何らかの形で議論の余地のあるものにしそうだ
※結論:仰る通り、あまり大したこと言ってませんw ……と見せかけて既に懸念を表明している
【ロバーツさん】
この複雑怪奇な集合論的言説は人を惑わすようなもんだ!それはもっちーが該当分野の圏論的アプローチに精通してないせいだ
おそらくこの圏論的アプローチ君たちはもっちーに見出されることを待ち望んでいるよっ
※ロバーツは直後のMOでも望月に注文を付けつつも好意的だった。
しかし、最近追加したPDFの補遺では望月が進歩していない(圏論に精通していない)と見ているように思われる >>670
いやいや、無視して結構ですよ。テキトーに書いたものなんで(笑)
>>671
私もそれは知りませんが、星の入門では彼なりの分かり易い設定からΘリンクとと対数リンクを可換にしたくて、
「非可換性の帰結を回避」、「非可換性の問題の解消」するために対数リンクの無限列を導入していると解説している
これを可換と呼ぶにふさわしいかどうかは分からない(描けないから少なくとも可換図式とは呼べないね)
望月ははっきりと「非可換(!)な2次元的な図式」と書いているんだけどね とりあえずここは数学板であって哲学板じゃないし、abc予想は哲学じゃないんで、
哲学云々言ってるやつは哲学板にスレ立てて引っ越してくれんかね。
いちいちスレ違いの長文読み飛ばすのめんどくさいんだよね。 明晰な証明が書いてある
ニュートンのプリンキピアは
自然哲学の数学的諸原理 だからね。 神学のハシタ女ごときが科学の女王様に対抗心持つこと自体が不敬罪極まる。 科学は神学や哲学から発展したとも言われますが
フィロソフィードクターがここにもたくさんいらっしゃるんでしょうか IUTの哲学
数学は結果に合わせて仮定が作られる。
数学の証明は査読の前に結果が認められる。
数学の証明より予算と事業の推進が大切だ。
数学の証明より概要 解説文 たとえ話 動画が
大切だ。 677が正解。神学や哲学を軽視する者、科学者を名乗るべからず
神学や哲学を切り捨てるのが科学者と勘違いしてるやつが目に付きすぎる
シンプルに言ってバカなんだろうな
「高学歴のバカ」という類型がかなり発生しているのが今の教育だね
基本姿勢が間違ってるからだろう >>678
>数学の証明は査読の前に結果が認められる。
これは今ではある程度正しくて出版される前にarXivなどで公開されると
正しく重要な論文は出版前にどんどん引用される
「その論文を応用した結果が次々出ておれば」,専門家による公開査読が
進んだと考えられる IUTについて 京大.RIMSは文科省へ
公式に報告書を提出した。>>35
↓
>当該論文は現在査読中であるが、、
>望月新一に よる「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆 すべき出来事である。
↓
文科省は全く評価しなかった。 >>679
ピタゴラスは神秘主義者ではあってもソフィストとか言う詐欺師ではない。 >>683
宗教にしちゃあ人身供御の数が少ないからやっぱ宗教ですらないな。
一番人を殺してる宗教なら哲学とか社会科学とか自称してるマルクス主義だが 数学の研究に哲学の要素も大事だろうとは思うが
宗教なんて人それぞれ
違う宗教でも論理だけで数学としての真偽が決まるのが数学の利点 宗教は公理系で哲学は定義と定理
宗教と哲学は切り離して考えたくない きちんとした哲学の背景があって論証数学は生まれる
日本の和算なんか、それなりに複雑なことをやっているけど論証の厳密性に乏しい。
そういう面では古代ギリシャにも劣る。
つか、日本人は西洋人に教えられるまで「無理数」を知らなかっただろ?
こういうところに、哲学のない国の弱点を感じる。
哲学がなくて、かわりに先人や先輩を尊べというのが東洋的伝統。
だから、望月理論にも批判的な検討ができなかった。
唯一シカゴ大学で大学院教育を受けた越川だけが疑問を提示できたのは偶然ではない。 >>672
自分はその時点では懸念と言えるようなものじゃないと思うんですけどね。雑感という感じで
タオの懸念ていうのがはっきり見えるのは、やっぱり去年末の応用可能性とかについて述べたコメかなと
Robertsの発言については個人的にはちょっと違うかなと思っている
山下さんの言う通り、もはや単なるgeometric morphismだけの議論ではないだろうという点がね
確かに最先端の圏論には望月さんは熟知していないだろうけど、しかしLurieとかの理論もGMの設定なんでね 哲学ってのは基本的にopenで、数学は一応formally closed にしたいものだけど
最近はどうも哲学的なものをはっきり切り捨てる事は難しくなってきたと思うけどな。回帰というか
自分の知り合いのトポス理論家は結構分析科学哲学には注意を払っている 大陸合理論とかまあそんなもんは廃れたけど
科学哲学なんかはむしろ積極的やろ、数学者は
哲学軽視してるのは史学、特に近代西欧史の人らじゃね?
SNSでもここら辺の人らの哲学全般への攻撃は凄いよ ゲーデルなんか自分を数学者よりは哲学者と思ってた節があるし
アインシュタインも新カント学派のマッハからヒントを得たらしいからな
ただまあ、20世紀後半にポストモダンとか出てきて科学も専門化が進んだから、昔ほどは哲学と科学や数学の
連絡は一般的ではなくなってきたかもな コンピュータの発達で実用的なもの以外は
哲学と変わらなくなった気もする どこの業界にもあるけど実績のある先生が少し偉くなると知ったような顔して門外漢の哲学や思想に口を挟んでしまう不思議な現象ってなんなのだろうな
それなりの蓄積のある分野なんだからもうちょっと敬意があってもいいと想うんだが 小保方さんはハーバード、もっちーはプリンストン。
少なくともこの経歴に周囲が盲信したところは共通してるだろうな。日本のだめなところだよ。 今どっかの素人研究者が望月と同じことをやったら総スカンだと思うけどね。
未だに一部に相手してもらえてるのは地位以外には特に考えられないな。 11月大きい動きがあるとか言ってたが結局今のところなんもないな IUTについて
文科省の評価はマスメディアで騒がれた
STAPレベルの評価ですね、
↓
文科省 評価結果
注目すべき質の向上
>数論幾何の研究」の「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想に関する論文は、
国内外の主要メディアで取り上げられて
い る。 ここ一年のニュースで思ったのは
あまり表面的な世評は当てにならない、或いは諸行無常万物流転ってことだなw
人間落ちるのは一瞬。上がるのはどうか。IUTは来年一発逆転できるか Mr. expected さん?
あすの夢 妄想 より 今日の実用的な圏論 >>696
ひとみごくう
と思ってたが、じんしんおんとも、でも良いのだろうか? >人間落ちるのは一瞬。
カルロス・ゴーンのことか? 今思えばMokとかがあれだけ時間をかけて読んでいたのに結局投げ出したあたりからちょっとおかしいものがあったのかもな 気付くのがおそい事を世間ではなんというか知ってますか 式や情報がごちゃごちゃしてるのは、広く浅くのやり方をやってるからだ。十分すぎるほど深かったなら逆に異常にシンプルになるんだ。 >>714
何でそう言い切れるのか?
病院に行こう ここは自分は物理の初歩も分からないが、相対論の誤りは分かるという人たちのスレでつね。 数学の主流派に明確に情報の抜け落ちがあるって指摘されたんだから何度誤解だって主張してと説明できてない限り無理だわな IUTの数式は特に複雑な部類ではないけどな
造語も大して突飛ではない
だからこそ真贋の判断がややこしいんだが 別にややこしくないじゃない?
例の不等式の2/3c未満の最大値の例を出してみてよ
数体論の基礎も証明に含まれてるなら当然出せるでしょ >>721
それ、他に誰か話題にしてんの?そんな本質的な話だったらwikiでもコメでも挙がると思うんだけど >>698
数学にある程度関心を持っている人なら、さすがにそんな判断基準には無関心だろ。
グロタンディークだって、地方の大学出身で、グランゼコール出ではないし、
ショルツだって、ドイツの大学出だが、ドイツはどこの大学も行けるので、日本流の一流大学は存在しないけど、
誰もそんなこと気にしない。
そういや2012年に望月が一般社会に名前が知られたとき、
数学を知らない奴ほど、望月のすごさを表現するのに
「16歳でプリンストン」を連呼していたと思う。 それはその通りで、IUTは海外じゃ最初から相手にされてない(プリンストン
→RIMSが通じてない)けど、国内だと学閥でややこしいから内部審査で混乱して、
御大が政治力を働かせた(=外部査読的なかたちでショルツたちを介入させた)、
というのが現状なんじゃないの。 グロタンディークって数千ページかけてもWeil予想を解決できなかった(しなかった)けど
タオはIUTについて、こんだけいかつい理論でABCに特化し過ぎなのは何でかって言ってるよね
でも、ABCってWeil予想や標準予想に全然ひけをとらない難問だろ
普段は煽り合いのこのスレだが、皆さんこの辺はどう思う?
結局、スキームやエタールではもっと弱い結果もどんどん出せているからやっぱりおかしいって話になるかな? >>714>>716>>717
E=MC^2あたりだけから妄想逞しくする連中みたいのから執着されると難儀だわよね。 内部関係者が11月中にアクセプトとか言ってなかったっけ?!
ガセかよ >>35
訂正
平成26年→ 平成28年(2016年) IUT 今後の予想
201x年
IUT論文は 査読結果に関わらず
(RIMS教授たちの)PRIMS編集部が受理する。
2020年
RIMSは IUT拡大のRIMSプロジェクトを
強引に遂行。
IUTの共同研究 主要メディアによる
布教の世界的センターとなる。
以後
RIMSは IUTの大宇宙が中心にあり
代数解析 確率 量子幾何、、は周辺に
散在する小宇宙となる
IUT信者が RIMSに曼荼羅を幻覚し絶賛する。
数学の証明は 概要の解説文と動画による
新しい数学になりパラダイム革命が起きる。
RIMSの門に「IUTを知らぬ素人
くぐるべからず」の通告文がはられる 2016年6月
中期目標の達成状況に関する評価結果
京大RIMSが IUTについて文科省へ報告。
査読中だがIUTによりabc予想を解決した、
世界の数学史に 残る業績を挙げている
ことは特筆に値する。
2017年 6月
中期目標の達成状況に関する評価結果
大学改革支援・学位授与機構
日本国内外の主要マスメディアが
abc予想に関するIUTの論文を報道
12017年11月
RIMSにIUT中心の
次世代幾何学研究準備センターを設立 >>726
特化してるっていうか、偶然ABC(だけ)が解決できました、という感じなのだよね。
これが不審がられる最大の理由だと思うんだけど。 望月さんはABCをねらってるみたいなことは数年前から発言してたんでしょ。まぁABCのみってすごい怪しいけど。 >>736
狙ってるというわりにはIUTはそれを目標に構築したように見えないんだよね。 >>732
>数学の証明は 概要の解説文と動画による
>新しい数学になりパラダイム革命が起きる。
このフレーズ好き ショルツが駄目だから駄目ってやつがこんだけ2chで暴れだしている時点で日本人は権威主義ってわかるだろ abcの証明が駄目だってなったら、望月さんの人生が否定されたようなものだな >>733
主要マスメディア→主要メディア
12017年→2017年 人生がどうこうは知らんけど、このままだと数学者としては、
abc予想でトンデモ理論を構築したひととしてしか残らんし、
たぶんそれで残る期間も短い(トンデモ自体はいくらでもいるので)。 IUTwwwとか、そのうち書かれるようになるんかな? 望月さん50だし、もう再起不能だろうね。
「検証グループ」が何ら批判的検討もできずに師の説の祖述に終始したのがほんとイタイ。
越川が感じた疑問におまいらは何も感じなかったのか?
越川の疑問に誠意をもって答えなければいけないと思わなかったのか? >>751
越川の疑問に星が丁寧に答えてるよ。越川もようやくIUTは「正しい」と言い出してる。 ■ このスレッドは過去ログ倉庫に格納されています