Inter-universal geometry と ABC予想 (応援スレ) 52
■ このスレッドは過去ログ倉庫に格納されています
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) (下記)は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99%確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
(なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです!(^^;)
(旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。)
(参考)
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく >和の精神とは・・・
生徒「先生!」
先生「何だね?」
生徒「和の精神があるってことは、差の精神もあるんですね?」
先生「( ゚Д゚)ハァ?」
生徒「そして積の精神も商の精神も」
先生「貴様はなにをわけのわからんことをいっとるんだ!」 >>371
和の精神とは
自己欺瞞のこと
精神的自殺のこと
土人の思想
和の精神とは
自己欺瞞のこと
精神的自殺のこと
土人の思想
数学の権威は
先人たちが血の滲むような努力の果てに
築き上げてきたものだぞ
望月一人の我儘でそれを破壊する権利がどこにあるか
ふざけるな
>>344
1.そもそも、まともな数学者なら(意図して間違った)「論文ねつ造」とか、あるわけない
2.望月先生は、学会賞の受賞歴もあり、IUTの準備論文だけでも、その成果を誇るのに、十分な量と質があるよ
3.黙っていても、RIMSの定年までは安泰だわ
4.そもそも、なんでRIMS自身や、京大が、なぜ片棒を担ぐ? なぜを見抜けないわけ?
5.それに、RIMS自身や京大のみならず、京大や阪大や名古屋大もあるけど、なんで見抜けないわけ?
(ここらの教員は、東大京大出身者が圧倒的多数。他の日本の大学も同様ですよ) つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
カス野郎かよw >>378
(引用開始)
1.そもそも、まともな数学者なら(意図して間違った)「論文ねつ造」とか、あるわけない
2.望月先生は、学会賞の受賞歴もあり、IUTの準備論文だけでも、その成果を誇るのに、十分な量と質があるよ
3.黙っていても、RIMSの定年までは安泰だわ
(引用終り)
動機がないってことね
望月先生には、「論文ねつ造」する動機なし!
「論文ねつ造」で、得られる利益なし!
逆に、「論文ねつ造」など、失うもの大杉〜! >>379
>つかな
>証明出来てないなら諦めろよ猿
意味分からん
IUTの4編の論文の査読は終わって、アクセプトされ、今年の春(もうすぐ)出版されるという
それ以上に何かすることがあるのか?
IUTの検証に国際会議が4つ計画されている
それ以上に何かすることがあるのか?
そもそも、IUTの成否を決めるのは5chではないよね
勘違いも、ほどほどに >>378
京大RIMSは望月の「借りアクセプト」で迷惑をこうむってるね
玉川の「査読過程は墓場までもっていく」というコメントから明らか >>380
望月新一は焦ってるね
今回の「借りアクセプト」で全ての信用を失ったよ >>381
IUTの検証はしてないね
望月の不等式の証明への挑戦をしてるだけ
望月の不等式=IUTではないよ
IUTは望月の不等式の証明に失敗した失敗理論 線型代数も分からん阿多岡には代数幾何は到底無理 諦めろ 阿多岡への宿題4.線型写像が同型写像となる必要十分条件は? 以上 これ出来るまでコピペ禁止、他の書き込み禁止な 阿呆の阿多岡www
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
>>313
>ドイツ oberwolfach
(参考)
https://www.mext.go.jp/a_menu/math/index.htm
トップ > 科学技術・学術 > 研究環境・基盤整備、研究拠点形成 > 数学・数理科学と諸科学・産業との連携による数学イノベーションの推進
文部科学省 委託調査
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」(目次、第1〜3章) (PDF:4439KB) PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」(第4〜5章) (PDF:3914KB) PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」(第6章) (PDF:3303KB) PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」(第7章、参考) (PDF:2819KB) PDF
https://www.mext.go.jp/component/a_menu/science/detail/__icsFiles/afieldfile/2016/04/06/1362851_09.pdf
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」(第6章)
P192
2.3. オーバーボルファッハ数学研究所(Mathematisches Forschungsinstitut
Oberwolfach:MFO)・ドイツ (タイプ : 短期滞在型研究所)
回答者 :Gerhard Huisken 所長
回答日 :2015.12.1
P195
3) 数学者は研究所や大きな施設がなくても研究できるという人もいる。数学の訪問滞
在型研究所の長所、短所は ?
訪問滞在型数学研究所は次の点で重要である。数学の成果は高度に圧縮されて発表
される。重要な概念やアイディアをより効果的に伝えることは訪問型研究所の役割で
ある、そこで人々は非公式に1対1で向き合うことができる。孤立した研究所は、深
く抽象的な問題に完全に集中する機会を与えてくれる。 >>391
ド素人が
なにをガタガタ言っているの?
みっともないよ 足掛け10年にわたる「Inter-universal geometry と ABC予想」スレも荒れて終了か。
感慨無量だな。 >>394
IUTはハッピーエンド
世界に認められ
日本の誇りです
荒れる?
この程度は
春のそよ風ですよ >>325
(複素)タイヒミュラー理論の「タ」の字をしってから返信してくれるかな。 「数理解析研究所が認めるなら俺も認める。」
ならわかるが、意味もわからんのに「これは重要だ」は、IUT のアンチ行為と大半は取るよ、「また馬鹿がなんか言っとる、また信者か」と。
俺はそれで構わんが、
矛盾してるよね。
あっ…
ここ頭おかしいスレだった… >>397
1.頭おかしいのはあなたです
2.ここは、ただの5ch。数学板は素人向け。書き手の多くは素人(プロ数学者ではないという意味)
3.それを前提すれば、あんたの主張は、全く的外れw
4.現段階では、IUTを真に理解できている人は、プロ数学者でも遠アーベルの専門家の一部にすぎないだろう
5.大部分の専門外のプロ数学者は、これからでしょうね
6.ここでIUTの議論は、所詮外野の観客席から、ヤジ飛ばす程度の話だよ
頭おかしいのはあなたです
自分、賢いつもり?ww >>395
>IUTはハッピーエンド
>日本の誇りです
「ニッポンの埃」の誤りかと >>398
>ここは、ただの5ch。素人向け。書き手の多くは素人。
>議論は、所詮外野の観客席から、ヤジ飛ばす程度
トンデモが ネタでホラふく 5ちゃんねる
5ちゃんねるでも試合の進行妨げる客は退場ってことで >>398
ん?だからタイヒミュラーのタの字理解してから返信してくださいと言いましたよね。
頭おかしいのはあなたですけど。
私は、数理解析研究所落ちぶれたと思ってますし、日本の大学の世界ランク知ってます?
世界の数学者と話したことあります?
英語できませんもんね。 ショルツなどのまともな人間に、説明できない、事の方がむしろ異常だと思うんですが。
なんで、そもそもIUTは、宇宙の果て勝手に定めちゃってるんですか?
なんか安定ホモトピー理論とか背景にあるんですか?ないですよね。公理として不十分な選択公理使って遊んでるだけですよね? モデルの専門家でもない素人が勝手にモデル作っちゃって、それ説明するの選択公理って理論として破綻してませんかね?
って世界の数学者言ってるの聞いてないの誰なんでしょうか? 別に望月さんは、自分の理論を作り上げて素晴らしいと思うんですけど、タイヒミュラーのタの字を知らないアタナが信仰している宗教を他人に押し付けるのは人としてどうなんでしょうか?
間違ってますよね? 私は、望月さんは、自分の考えを世に示しました。それは素晴らしいです。しかし私はこうこう言う理由で、ちょっと受け付けることができません。
あなたの場合、完全に信者ですよね? >>399-406
やれやれ
たかが5chの数学板で、学会ごっこですか?
で、「おれ、アカポスならぬアカボスだぁ〜!」とでも?ww
1.ショルツェ氏が議論して、SS文書を出したのは2018年
で、査読は2020年。査読者は、SS文書もそれへの反論も、全部読んでの上で、「査読OK」としている。複数のプロ数学者の査読でね
2.2020年から始まったPromenade in IUTに集うプロ数学者多数
彼らは、当然SS文書もそれへの反論も両方見て、Promenade in IUTに参加しているよね
3.ショルツェ氏は、woitブログでは、自分の主張はSS文書の通りだという
そもそも、「Cor3.12までは自明で、Cor3.12の証明が分からない」という話だったのが、Dupuy氏とのwoitブログでは、「ホッジシアターが、超難しい」と前言を翻す
Dupuy氏の意見に対して「それは解釈の問題」だとか、はぐらかし、あとはメールと逃げた
(多分、これもPromenade in IUTに集うプロ数学者たちは見ているでしょう)
4.「数理解析研究所落ちぶれた」? あんた、アカボスのつもり? それとも、文科省のお役人?
IUTと直接は関係ないよね。個人的には「数理解析研究所落ちぶれた」とは思わないし、関係ない話で誤魔化そうとしているとしか
5.「ショルツなどのまともな人間に、説明できない」と言われるが
人間だれでも勘違いあるよ(「人間だもの」by 相田みつを)
3項に書いた通りです。「ホッジシアターが、超難しい」とか、いまさら何を
6.逆に、Promenade in IUTに集うプロ数学者多数
彼らが、全員間違っているとでも?
そんなわけないよねw >>407
えっあなた、そこに集う方がどうこうって私何か言いました? あなた明らかに日本語喋れてませんよね?
数学者って、そこに集う人だけなんですね。
あなたの数学者の定義よくわかりました。
笑
そもそも公開的に質問するための場であって、出席==賛成とも反対ともならないですよね。
あなたすべての数学やってる人のこと勝手に決めつけて失礼なの自覚してます?
してないですよね? >>410
どうも自演おつです。
アニオタ研究員さんですね。
NG登録しました。 >>403
>安定ホモトピー理論
横レスだが
Q. 球面の安定ホモトピー群の計算方法を教えてほしい
特にベルヌーイ数の分母がどうして出てくるのか教えてほしい
不思議だと思わないか? >>407
>5chの数学板で、学会ごっこですか?
数学がオリンピック競技だと思ってる人もいるようだ
ICMのフィールズメダル授与式では、国旗掲揚も国歌演奏もないのだが >>412
ちょっと待ってくれ。
HoTT 8章では、安定ホモトピーがつくれることまでは書いてあるが、ベルヌーイ数について記述はないぞ。
俺はタダ乗りしてるから、むしろ教えろ(下さい)。 ベルヌーイ数って、スピンの行列計算(ルジャンドル多項式かなんかで出てこんかったっけ?)こんなとこでも出てくるかこら?下さい >>414
HoTTという本は読んだことはないが、
球面の安定ホモトピー群の計算は出てこないのかね?
もしそうだとすると、いったい何が面白いのかね?
https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres
トポロジーの最大の成果といえば、
球面の安定ホモトピー群と異種球面
が双璧だと思ってるが、
前者はベルヌーイ数の分母、後者はベルヌーイ数の分子
が出てくる その深い理由が知りたい
なんか知らんけど出てきた、とかいうのではつまらない ん、30とか60はあるが、
しかし、24 ってベルヌーイ数の分母なん? >>416
何が面白いかって、
私は、それはそれほど複雑なものである理論をカラクリに落とし込んだ天才の simplification だと思う。 ホモトピーの本質を抜き出さなければ、ここまで出来んと思うが、
私はまだ本質を説明するまで理解していない。
しかし言えることがあるなら、複素幾何という装置を使わなくとも、
依存型の関数型で、同じ本質の議論が出来、複素幾何の本質のみを抜き出し安定ホモトピーの議論をそのままできる。 >>416
まだ試していないが、
その装置をHoTT は提供している。
安定ホモトピーはもちろん計算できる。 >>421
>ベルヌーイ数の記述どこよ。
The J-homomorphism のとこ
”a cyclic group of order equal to the denominator of B2m/4m,
where B2m is a Bernoulli number, if k = 4m - 1 ≡ 3 (mod 4).”
J-homomorphism
https://en.wikipedia.org/wiki/J-homomorphism >>415
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。 一元体についても気になる記述がある
https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
「一元体F1 の m-次の K-群 K(F1) は
球スペクトルの m-次安定ホモトピー群でなければならない。」 適当なことをいけど、
一元体の話はなんかわかるかもしれん。
Cisinski がたしか言うように、
ホモトピーは、一元体上の導来圏。 導来圏は、局所化して関数空間をみるなど、コホモロジーなどではするやろうが、
無限圏はただのホモロジーやから、一元体上の導来圏として、局所化されている。 は、じゃなく具体的に計算をここでやってみせてくれ
そうしないと理解できないから 球面の安定ホモトピー群の計算には
スペクトル系列を使うんだろう?
HoTTでも当然出てくるんだよな?
さあここでやってみせてくれ コホモロジーで消耗しすぎじゃないのおっさん(お疲れ様です)
悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。
http://www.mathematik.uni-regensburg.de/cisinski/CatLR.pdf >>433
君、全部読み切って理解した上で安定ホモトピーといってるんだろう?
悪いがここで、その計算をやり切ってみせてくれ
簡単だろう? >>434
使わない?
それは新しいな
スペクトル系列は知ってるかい?
知った上で要らないと言い切ってる?
じゃ、ここで計算しきってみせてくれ
それが一番簡単だろう know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。 まさか安定ホモトピーが何なのかも全く知らずに
ただ安定ホモトピーって云いたかったから云っただけ
なんていわないよな
それってタイヒミュラーの業績も知らずに
IUT完全勝利って言ってる人とどこが違うんだ? >>436
かんたんとは、よく言ったものやな、おっさん。
計算可能性の話とか、コンパイラの理論とか全部すっ飛ばしたら、理解するのはかんたんやろけど、
あとは想像しろ下さい >>438
おまえ壁の内側がなんでできてるのか知って家に住んでるんか?
飛行機の材料と設計図列挙して飛行機乗ってるんかいな。 >>437
know ofとは
https://eow.alc.co.jp/search?q=know%20of
つまり
「安定ホモトピーという言葉は知ってるが
それがどういうものかは知らない」
ってこと?
それ
「IUTって言葉は知ってるが
それがどういうものかは知らない」
っていうのと、どこが違うんだ? 信用、という言葉シランなら、ちょっと2ちゃんねるやめたほうがええで。 >>441
んッ?程度の差はあれど、相手が納得できるかできんかでしょう。あんたを納得させるほど俺は知らんとなんべんも言うてる。 >>439
HoTTで計算可能性とかコンパイラとか出てくるの?
>>440
>壁の内側がなんでできてるのか知って家に住んでるんか?
>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
IUT完全勝利君と同じようなこと言い出したなぁ…
IUT君に「分かってないんなら黙れ」っていうんなら
君も安定ホモトピーなんていわないほうがよかったんじゃないか?
まるで自分は旧姓使ってるのに「夫婦別姓反対」っていってる人みたい
https://news.yahoo.co.jp/articles/f026225e8d56018d604338b7a0f751ea36000b16 >>444
HoTT ってプログラミング言語だよ。 >>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。
言うてることが一つ同じなら、同類とはならん。 >>443
HoTTがIUTより信頼できるかどうかは全く関係なく
君がHoTTの中身を知らんのならやっぱり
口にしないほうがよかったんじゃないかい?
ところで君は独学?
もしいっしょに学習してる友達がいるならその人に聞いてみて
どんどん手繰っていけばそのうち球面の安定ホモトピー群を
知ってる人に行きつく筈だから >>445
HoTTってHomotopy Type Theoryの略じゃないの?理論じゃないの? >>446
んー、IUT君とは違うといいたいみたいだけど、
具体的な違いって何?
IUT君が知らないだろうけど自分は知ってるってこと、例えば何? >>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。 >>449
頭大丈夫?
「無知」って言ってるけど。 HoTTがプログラミング言語だというならそれでいいので
球面の安定ホモトピー群の計算を行うプログラムを書いてみせて
できるんでしょう? >>451
いや、数学的な知見でなにかIUT君より余計に知ってること、ないの?
ないんなら…同類だよね >>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。 >>454
お前と違って何でも知ってるとは思っていないんで。
こっちこそ、
全く質問に答えられてないんやけど。
導来圏もしらんアホは黙っといたほうがええんちゃうか? 情報科学的なハッタリは興味ないんで
数学的な結果(例えば球面の安定ホモトピー群)
を出せるプログラム、書いてみて >>456
導来圏でもなんでもいいから
球面の安定ホモトピー群
計算してみて
で、その計算でBernoulli数がどこに出てくるのか教えて 自分で調べて自分でかけ。coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
悪いが、機械より上のことは、
そこまで興味ない。 お前こそ、IUT みたいに同じこと言うてるな。IUT 君と同じこと言ってて恥ずかしくないの? >ちょっと数年待ってて。
「安定ホモトピー」って言葉、理解しきってから言うべきだったね
とくに、IUT君に黙れっていうんだったらさ >>460
>coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
中身の仕組み知らんでプログラミングしてるの?
いったいどんなプログラム書いてきたの?なんか怖いな・・・ >>462
んっだから日本語よめてる?
IUT はこっちが矛盾に指摘してるのに対して、あんたはなんの矛盾を指摘してんですか? >>463
俺が、いつcoq/hott 書いたって言ったの?
馬鹿なの?
言葉よめないの? 知りたきゃ勝手にしろ。
お前は何も矛盾指摘できてない。 >>461
いやぁ、あなたのほうがIUT君そっくりだよ
特に中身知らなくてもOK、みたいな発言はそっくり
実はあなた、IUT君じゃないの? 中身知らなくても OK なんていうてないけど。
そもそも導来圏も知らずにどうしてコホモロジーができるんですか? バカなの?墓穴掘りたいの?だから棺桶用意しておけとあれほど口酸っぱく言ったのに。 >>468
>そもそも導来圏も知らずにどうしてコホモロジーができるんですか?
え?コホモロジーに導来圏って必須なの?
それは初耳なんだけど…
いつだれがどこでそんなこといったんですか?
とても興味があるので教えてください ■ このスレッドは過去ログ倉庫に格納されています