Inter-universal geometry と ABC予想 38
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 37
https://rio2016.2ch.sc/test/read.cgi/math/1552141221/
ABC予想が解かれたかもしれんぞ！
https://uni.2ch.sc/test/read.cgi/math/1347851182
ABC予想が解かれたかもしれんぞ！ Part2
https://uni.2ch.sc/test/read.cgi/math/1348832025
ABC予想が解かれたかもしれんぞ！ Part3
https://uni.2ch.sc/test/read.cgi/math/1352356668
Inter-universal geometry と ABC予想
http://uni.2ch.sc/test/read.cgi/math/1348482671
Inter-universal geometry と ABC予想 2
http://uni.2ch.sc/test/read.cgi/math/1384590850
Inter-universal geometry と ABC予想 3
http://wc2014.2ch.sc/test/read.cgi/math/1393855847
Inter-universal geometry と ABC予想 4
http://wc2014.2ch.sc/test/read.cgi/math/1407655369
Inter-universal geometry と ABC予想 5
http://wc2014.2ch.sc/test/read.cgi/math/1412254544
Inter-universal geometry と ABC予想 6
http://wc2014.2ch.sc/test/read.cgi/math/1413634462
Inter-universal geometry と ABC予想 7
http://wc2014.2ch.sc/test/read.cgi/math/1419683636
http://wc2014.2ch.sc/test/read.cgi/math/1419683920
Inter-universal geometry と ABC予想 8
http://wc2014.2ch.sc/test/read.cgi/math/1433605399
Inter-universal geometry と ABC予想 9
http://wc2014.2ch.sc/test/read.cgi/math/1440786048
Inter-universal geometry と ABC予想 10
http://wc2014.2ch.sc/test/read.cgi/math/1447408765
Inter-universal geometry と ABC予想 11
https://wc2014.2ch.sc/test/read.cgi/math/1450338239
Inter-universal geometry と ABC予想 12
https://wc2014.2ch.sc/test/read.cgi/math/1454327840
Inter-universal geometry と ABC予想 13
http://wc2014.2ch.sc/test/read.cgi/math/1463088468
Inter-universal geometry と ABC予想 14
https://rio2016.2ch.sc/test/read.cgi/math/1467114733
Inter-universal geometry と ABC予想 15
https://rio2016.2ch.sc/test/read.cgi/math/1469048666
Inter-universal geometry と ABC予想 16
https://rio2016.2ch.sc/test/read.cgi/math/1473385614
https://rio2016.2ch.sc/test/read.cgi/math/1474308996
Inter-universal geometry と ABC予想 17
https://rio2016.2ch.sc/test/read.cgi/math/1475614129
Inter-universal geometry と ABC予想 18
http://rio2016.2ch.sc/test/read.cgi/math/1479952243
Inter-universal geometry と ABC予想 19
https://rio2016.2ch.sc/test/read.cgi/math/1491740643
Inter-universal geometry と ABC予想 20
https://rio2016.2ch.sc/test/read.cgi/math/1504249984
Inter-universal geometry と ABC予想 21
http://rio2016.2ch.sc/test/read.cgi/math/1509378059
Inter-universal geometry と ABC予想 22
https://rio2016.2ch.sc/test/read.cgi/math/1513707655
Inter-universal geometry と ABC予想 23
https://rio2016.2ch.sc/test/read.cgi/math/1515202641
Inter-universal geometry と ABC予想 24
https://rio2016.2ch.sc/test/read.cgi/math/1516888340
Inter-universal geometry と ABC予想 25
https://rio2016.2ch.sc/test/read.cgi/math/1520299291
Inter-universal geometry と ABC予想 26
https://rio2016.2ch.sc/test/read.cgi/math/1523148966
Inter-universal geometry と ABC予想 27
https://rio2016.2ch.sc/test/read.cgi/math/1525616990
Inter-universal geometry と ABC予想 28
https://rio2016.2ch.sc/test/read.cgi/math/1528525603
Inter-universal geometry と ABC予想 29
https://rio2016.2ch.sc/test/read.cgi/math/1531344322
Inter-universal geometry と ABC予想 30
https://rio2016.2ch.sc/test/read.cgi/math/1535260426
Inter-universal geometry と ABC予想 31
https://rio2016.2ch.sc/test/read.cgi/math/1537711433
Inter-universal geometry と ABC予想 32
https://rio2016.2ch.sc/test/read.cgi/math/1538755734
Inter-universal geometry と ABC予想 33
https://rio2016.2ch.sc/test/read.cgi/math/1539459427
Inter-universal geometry と ABC予想 34
https://rio2016.2ch.sc/test/read.cgi/math/1541001291
Inter-universal geometry と ABC予想 35
https://rio2016.2ch.sc/test/read.cgi/math/1543778612
Inter-universal geometry と ABC予想 36
https://rio2016.2ch.sc/test/read.cgi/math/1546010649/
Inter-universal geometry と ABC予想 37
https://rio2016.2ch.sc/test/read.cgi/math/1552141221/
なかなか無い展開だから面白い。十分数学界の大事件と言っても良い
昨年の9月頃にあったツイートでは、
3.12問題は2015年かそれ以前から指摘があり、望月は数学コミュニティを納得させるような修正をしなかった。よってアウトという主張
まあ代数幾何、数論の研究者だからSSレポートは当然読んで理解しているだろうね。望月レポートは読んだかどうか分からんけど
まあ彼もちょっと偏屈者な感じはするね。ロバーツは未だに結論は出していないのだし
ロバーツ氏はオーストラリアの圏論屋だからちょっと文化が違う、というか距離を置いているように見える。
ロバーツはPDF、特にその補遺でSSの「充満多重同型は単なる同型、ラベルは不必要」という主張を認めているし、
それを認めるならSSレポートのような結論にしかならんし、ABC予想は証明されてないという結論にしかならない
但し、ロバーツは慎重かつ謙虚で、数論幾何、整数論の専門家ではなく圏論の専門家という一線を守っているから
ひょっとしたら自分には見えない論理が働いているのかもしれない、という期待なのか恐れなのか分からんものがあると思う
Littは代数幾何、数論の専門家だから上記のSSの主張を認めれば証明はないと言わざるをえないだろう、という考えだと思う
これは望月ですらそうで望月レポートの末尾に強烈な一文があるよ
ロバーツは真面目で良い人なんだけど、そのどっちつかずの態度が望月にもその他大勢の数学者にも相手にされていない原因だと思う
このスレと同レベルのなくてもいい話レベルってことか
"One year ago, Scholze and Stix were visiting Mochizuki to talk about his IUT proof of the ABC conjecture. Where are we now ?"
にDaniel Littとロバーツのコメントが、、、
LittはまだIASの研究員だから、彼によるとIASで数論を研究している同僚のほとんどがScholze-Stixが正しいとし、
IUTのABC予想証明にまったく希望はないと考えているということだね
あと訂正 >>13
×昨年の10月中旬以降のツイートが削除
○昨年の10月中旬以前のツイートが削除
A Crisis of Identification ? David Michael Roberts (A telling of the Mochizuki abc saga)
ttps://www.reddit.com/r/math/comments/ayk5oc/a_crisis_of_identification_david_michael_roberts/
>コミュニティが認めてないのは明らかなんだけど、そこで取り下げずに密教学派化するって
>なかなか無い展開だから面白い。十分数学界の大事件と言っても良い
おまえずっと同じこと書き込んでるバカか？
的外れ過ぎだから自重しろ。
数学は価値があるかないかが重要、価値のない数学は人気がない、それだけ。
>>12
>そもそも学説の正しい、間違いの判断以前の、理解すらできてない自称数学者が
>たとえ何万人いたとしてもそいつらのオピニオンに何の意味がある？
ロジックの細部が正しいか間違いかという理解は重要ではない。
面白そうかどうかという大局が本質で
その大局的な夢が希薄な理論は廃れて当然
>>966
>数学界の脆さが露呈した例だったな
>理論が正しかったとしても理解させなければ秘教的になる
だから的外れ過ぎ。
数学は正しいかどうかじゃない。
「辻褄が合ってるだけのクダラナイ理論」に数学者は用はない。
「細部が未完だが夢を内包する理論」には"間違って"いても数学者は突入する。
せめて半年ROMれ素人が意見を言うコト自体は良いが
ドヤりたいだけのしゃしゃり出すぎバカは邪魔なだけ
続いてる文章を読めば、レトリックとして十分納得できるよ。
その一文だけを取り上げて云々しても意味ない。
面倒だから絡みたくないけど、どう見ても的外れはブーメランだろうよ
単に夢があるかどうかではなくて「大体正しそうかどうか」が重要に決まってるんだけど
で、現実的にはそう考えてる望月学派がマイノリティという単純な図式なんだけどね
ラップやめて
今回の本は、6割が回りくどい例え話、3割が群論入門、1割が焼肉の話。
数学的内容だけを切り取れば小学生向けの群論入門書っていうw
焼肉については興味がないが・・・
本質的なアイデアは何だ？批判は？それでディフェンスは？
これが説明できたらフォローが優しいし、できなかったら駄目だ、で終わり。その感じは嫌いじゃない
エタール基本群ならわかってる研究者もたくさんいる
概要を説明すれば十分伝わるし、フェセンコみたいな修行云々の言い方がおかしいだけ
宇宙際なんて関係ないことがバレるのが怖いのか
ヒゲが海外公演で不遜な態度をとるから、理解しようとしている研究者からも距離を置かれる
K先生がそんなこと言っているのははじめてきいた。どこで言っているんだ？
IUT陣営が数学コミュニティから離れて宇宙際タイヒミューラー理論コミュニティとして活動を続ける決意があるなら
IUT・Ⅳの“Section 3: Inter-universal Formalism: the Language of Species”を精緻化し発展させた方がいいと思うんですけどね
どうも来年の「宇宙際タイヒミューラー理論の拡がり」は今までのワークショップと変わらないような気がします
価値や大局という言葉が出てますけど、IUTに対する懸念・疑問にはこれも含まれ、大物ではファルティングスやタオが表明している
IU形式主義の基礎を納得できる形で精緻化し、濫用と取られかねない不定性の利用もその基礎付けができると思うんだけど
（やらないだろうな……）
大体自称理解者でpreprentはおろかnoteすら出さない人の見解なんて公的に何の意味もない
また、Gは論文解説はしてるかもしれないけど、アイデアは解説してない
アイデアと論点を説明記述できる弟子が全くいない
それを5日間に渡ってやった。望月はホワイトボードで何色ものマーカーを使って図式を書いたそうだ
Littもツイッターで似たようなことを書いていたけど、論文の理解だけで済む話ではなかったと思うよ
その状況で決裂した。望月・星はScholze-Stixを納得させられなかった。推して知るべし、って感じなんだけどね
望月の主張を手っ取り早く表面的に知りたければGの書いたものを読めばよい、ってだけのこと
星の入門とGが書いたものを読めばIUTが何をやっているのか表面上は分かる。ちなみにBは要らない人
１０*１０は１００だけど１０*〔１０－１〕でいいだろ
係数マイナス１だ
最後の章以外は説明の準備のための話ばっかりで水増し感あったけど
>面倒だから絡みたくないけど、どう見ても的外れはブーメランだろうよ
>単に夢があるかどうかではなくて「大体正しそうかどうか」が重要に決まってるんだけど
↑
トートロジーを連呼してるだけ
根拠が書いてない
>で、現実的にはそう考えてる望月学派がマイノリティという単純な図式なんだけどね
「何が」マイノリティなのかを誤解している
IUTに価値を感じる人がマイノリティなのだ、という事を説明を>>24でやったのだ
会話が出来ないクセに幼稚な自説をドヤりたいだけの素人は来ないでくれ
魅力を感じないから放置されてるだけ
その手の巨大な理論は他にもいっぱいある
おまえはアホか？大学とか国がどこかなんて関係ないだろ
遠アーベル幾何を勉強するなら遠アーベル幾何の研究者がいるところで学ぶだけのこと
「いや、えらいせんせーがそうじゃないって言ってるんだー」
このマウント合戦、去年からずっとなんで、いい加減このどっちかの発言書き込むのやめてほしいわ
あっ、自分の事だとは思わずに軽くスルーしてましたw
そうです合ってます
そういう方向で考えるなら、圏論やトポスの記述を、HTTなどとは別に上手く拡張することになるでしょうし、
一旦IUTが正しいと仮定したら十分に可能でしょう
例えば群とトポスや情報工学の観点から集合や宇宙を一般化する、というのは哲学的に非常に興味深いとは
思いますね。怪しいけども一種の形而上学というか
しかし、何処まで遠アーベル幾何学というものをそうした一般論から切り離せるのかは素朴にはよくわからない
尤も、別にIUTがそういう基礎論的な企てを独占するべきでもなく、勝手に誰かがやってもいいんですがね
じゃあ俺らで中身を検証しようず
http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html
見に来なければいいだけのはなし
https://wirelesswire.jp/2019/04/70460/
>>87
大まかにはその通りなんだが、それだけではないようだ
ところで、別件で数論幾何の人なら誰もが知っているであろう某50代の白人とやり取りしたんだが、
何がIUTの致命的な問題なのかについて大体意見が合致したんだが、このスレに十分書かれてない点が
一番の問題として挙がったのが面白かった
具体的には書かないが、ある意味でHA理論の一般化に際して必要な、全く基本的な情報が抜けているということ
これはPS-JSが遠アーベル幾何学について指摘した点にも関連がある
その人はディオファントス幾何学者じゃないが、自分が今展開している理論を使えばその穴は
多分埋められるが、最早そこでは望月の方法は不可欠ではないはずだ、ということだった
非常に面白かった
95１３２人目の素数さん2019/01/02(水) 05:52:06.41ID:ZWPoPkqh
あとHA理論ではなくて、数論幾何学で有名な別の理論を使った方がシンプルに解けるだろう、という話も出た
とにかく、解決に必要な情報が出揃っていないと見なしていた
彼が若手だったら多分こんな話はしてくれなかっただろうな
フィールズ賞受賞者ではないが一定の名声があるから奔放な話ができた
実は圏論はZFC公理系で展開可能ということをFefermanがとっくに調べていて、
Andreas Blassのサーベイの初めに載っている:
http://www.math.lsa.umich.edu/~ablass/interact.pdf
一般的には弱到達不能基数を仮定して考えるしその方が楽だが、形式的にZFCの内部
だからIUTが現状正しい数学理論であれば集合や宇宙を一般化することはなく依然としてZFCの内部の話ということになる
傷つかないけど
その群れが総意だと
ひとまとめにされる
君は君らしく 生きていく自由があるんだ
大人たちに支配されるな
初めからそう諦めてしまったら
僕らは何のために生まれたのか
夢を見ることは 時には孤独にもなるよ
誰もいない道を進むんだ
この世界は群れていても始まらない
Yesでいいのか?
サイレントマジョリティー
616１３２人目の素数さん2019/02/07(木) 22:26:26.63ID:Lp8u7O4/>>620
望月氏は、2月1日のScholze-StixのIUTに対する批判についての報告書でLbEx6を拡張しました。彼は、矛盾を避けるためにラベル付けがなぜ必要なのかを論じています。
617１３２人目の素数さん2019/02/07(木) 22:37:51.05ID:xeDLIxfq
http://imepic.jp/20190207/814550
618１３２人目の素数さん2019/02/08(金) 07:22:56.27ID:0BkXp9aI>>619>>674
そのままでは矛盾を認めている → ラベル付け（マーキング付けの意味がない）
論文の誤魔化しテクニックの中に、同じ変数を使い回す、というものがある。
いわゆる「定数であり、同時に変数である」などと主張するものがそれで、
もちろん、指摘されているように読者を混乱させるのが目的だ。
手口はこうだ。
最初にいったん条件式を立てるのだが、のちに条件式に使った変数を別の目的に使い回す。
そして、その別の意味に使った変数を元の条件式に当てはめる。
定義のときと意味が違うのだから、元の条件式を満たさないことは当然だが、
論文はこれを堂々と示して声高に肯定を主張する。
誤魔化しを成立させるために、論文を無駄に長引かせるのも論文の特徴だ。
冗長で論理性がなく、読み手の意欲を削ぐ大量の数式を間に挟むことで、
論文は論理の誤魔化しを読み手に気づきにくくしているのだ。
論文を簡潔に書くように再三指摘されていながら、書き手が応じないことからも、
この手法が意図的になされているということが読み取れる。
過去、指摘に解説文はこう答えている。
「式の形が同じなのだから、同様に成立しなければならない」
しかし、変数で表されるものが異なるのだから、この主張はナンセンス極まりない。
この論文は意図的な誤魔化しの産物である。
証明ができたと読者に誤解させるために誤魔化しを働くことが主目的なのだから、
その誤魔化しを成立させるために使った手法を否定されても、
解説者がそれを直すことはない。
One of themに成り下がるな
ここにいる人の数だけ道はある
自分の夢のほうに歩けばいい
見栄やプライドの鎖に繋がれたような
詰まらない大人は置いて行け
さあ 未来は君たちのためにある
No と言いなよ
サイレントマジョリティー
Ⅳしかないのにそれもなくなりし
十分だろ。
アメリカの数学者コミュニティのコンセンサスでは、IUTはABCの証明になってない。ゆえに、IUTはオシマイ、なのか？
著しい需要あります
IUT理論は、足し算の宇宙と掛け算の宇宙という、大きさの全く異なる二つの宇宙を独創的な方法で乗り越え、二つの宇宙に存在する数を結ぶ特殊な関係性であるΘ(テータ)リンクを形成する。
↑
そういうことだね
ABC予想を解くことはIUT理論に比べたら些細なこと
その通りだ
一歩ずつ行こうよ
と同じ不等式の結果になってることぐらい理解した上で語れ
海外の研究者の方とかかな？
誰か英訳してあげたら
ピタゴラスの定理の３＾２＋４＾２＝５＾２を説明してみてくれないか。
実態がないから無理なのか。
わかったフリでいつまでやってるんだ。
具体例はありません
一歩目が踏み出せません
すみませんでした
勿論IUTが正しいと仮定した場合の話ですよ。何故そういうことを（以前に何度も）書いたかと言うと、
数論の専門家たちのほとんどはIU形式主義はABC予想証明戦略とは関係ないから考慮に値しないと考えているからです
しかし、望月のターミノロジーからすればIU形式主義が底流に流れていると個人的には思っているので、
そこを上手く説明することから始めてはどうか、ということです
あと、望月はIUTは遠アーベルとスキーム論、ログ・スキームを包摂した形での変形理論を構築していると思われるので、
理論の背景、動機の詳細な説明、厳密な基礎付けが数論の専門家たちに納得させるには必要なのではないかとも思っています
普通に考えればそうなんだけど、↓のようなものがあってね
・数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 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
古いものでよりプリミティヴな形だけど望月の動機はこれが一番分かり易いと思うし、良く言えば望月の冒険の始まり、
悪く言えば怪しげな道に迷い込んだ始まりとも言える
望月HPの「出張・講演」の[10]です
ちなみに来年のプロジェクトに組織委員として入っているT口氏のノートもあります
ttp://www.kurims.kyoto-u.ac.jp/~motizuki/taguchi-san-no-nooto.pdf
> 悪く言えば怪しげな道に迷い込んだ始まりとも言える
カッコいいこと言おうとして滑っちゃったね
それは詳しく見ないと当然何も言えないけど、今までの経験上そういう話だけではない気がしている
ZFCで圏論を構成できる、というのはあまり感覚的に意外ではない
とはいえ基礎の問題はこれまでの集合やZFCの使われ方に拡張可能性があるかどうかまで含むのではないかと
100～のスレッドの続きを読む
