Inter-universal geometry と ABC予想 38

Inter-universal geom ..

65:１３２人目の素数さん
19/04/29 03:58:40.20 mYPpLqSo.net
「えらいせんせーが言っているからトートロジーだー」
「いや、えらいせんせーがそうじゃないって言ってるんだー」
このマウント合戦、去年からずっとなんで、いい加減このどっちかの発言書き込むのやめてほしいわ

66:１３２人目の素数さん
19/04/29 04:32:46.16 t90nei10.net
>>47
あっ、自分の事だとは思わずに軽くスルーしてましたw
そうです合ってます
そういう方向で考えるなら、圏論やトポスの記述を、HTTなどとは別に上手く拡張することになるでしょうし、
一旦IUTが正しいと仮定したら十分に可能でしょう
例えば群とトポスや情報工学の観点から集合や宇宙を一般化する、というのは哲学的に非常に興味深いとは
思いますね。怪しいけども一種の形而上学というか
しかし、何処まで遠アーベル幾何学というものをそうした一般論から切り離せるのかは素朴にはよくわからない
尤も、別にIUTがそういう基礎論的な企てを独占するべきでもなく、勝手に誰かがやってもいいんですがね

67:１３２人目の素数さん
19/04/29 04:41:04.25 AzOIlhiR.net
>>64
じゃあ俺らで中身を検証しようず
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

68:１３２人目の素数さん
19/04/29 06:09:21.12 kJSa6iPK.net
>>64
見に来なければいいだけのはなし

69:１３２人目の素数さん
19/04/29 11:15:12.12 Rq6wJunD.net
> カスタマーレビューを書きませんか？

70:１３２人目の素数さん
19/04/29 11:23:18.87 ZAEwVv/6.net
Taylor Dupuyの仕事に対する「アメリカ数学者コミュニティのコンセンサス」はどんな感じですか？

71:１３２人目の素数さん
19/04/29 11:36:01.11 4ltCcqCW.net
えらい人をぶつけ合って戦わせるムシキングスレだぞ

72:１３２人目の素数さん
19/04/29 11:50:22.74 YNid4gLi.net
ゾクゾクするような数学的冒険譚。これはSFではない。真実なのだ
URLﾘﾝｸ(wirelesswire.jp)

73:１３２人目の素数さん
19/04/29 11:56:09.67 ZAEwVv/6.net
しかし本書のユニークなところは、ユーモア精神旺盛な望月先生自らのたとえによる

74:、「Θ(テータ）リンクは逃げ恥の契約結婚である」とか、「IUT理論は乃木坂46のサイレントマジョリティーである」とか、わかるようなわからないような比喩を始め、できるだけ普通の人にも、IUT理論がなんなのか噛み砕いて説明しようと奮闘している。

75:１３２人目の素数さん
19/04/29 12:09:45.17 Rq6wJunD.net
いやわかんないし

76:１３２人目の素数さん
19/04/29 12:13:14.50 ME2TYnHl.net
94１３２人目の素数さん2019/01/02(水) 05:40:27.79ID:ZWPoPkqh >>106
>>87
大まかにはその通りなんだが、それだけではないようだ
ところで、別件で数論幾何の人なら誰もが知っているであろう某50代の白人とやり取りしたんだが、
何がIUTの致命的な問題なのかについて大体意見が合致したんだが、このスレに十分書かれてない点が
一番の問題として挙がったのが面白かった
具体的には書かないが、ある意味でHA理論の一般化に際して必要な、全く基本的な情報が抜けているということ
これはPS-JSが遠アーベル幾何学について指摘した点にも関連がある
その人はディオファントス幾何学者じゃないが、自分が今展開している理論を使えばその穴は
多分埋められるが、最早そこでは望月の方法は不可欠ではないはずだ、ということだった
非常に面白かった
95１３２人目の素数さん2019/01/02(水) 05:52:06.41ID:ZWPoPkqh
あとHA理論ではなくて、数論幾何学で有名な別の理論を使った方がシンプルに解けるだろう、という話も出た
とにかく、解決に必要な情報が出揃っていないと見なしていた
彼が若手だったら多分こんな話はしてくれなかっただろうな
フィールズ賞受賞者ではないが一定の名声があるから奔放な話ができた

77:１３２人目の素数さん
19/04/29 12:31:35.58 zcr5mi9A.net
>>65
実は圏論はZFC公理系で展開可能ということをFefermanがとっくに調べていて、
Andreas Blassのサーベイの初めに載っている:
URLﾘﾝｸ(www.math.lsa.umich.edu)
一般的には弱到達不能基数を仮定して考えるしその方が楽だが、形式的にZFCの内部
だからIUTが現状正しい数学理論であれば集合や宇宙を一般化することはなく依然としてZFCの内部の話ということになる

78:１３２人目の素数さん
19/04/29 12:32:56.73 ZAEwVv/6.net
誰かの後を付いて行けば
傷つかないけど
その群れが総意だと
ひとまとめにされる
君は君らしく生きていく自由があるんだ
大人たちに支配されるな
初めからそう諦めてしまったら
僕らは何のために生まれたのか
夢を見ることは時には孤独にもなるよ
誰もいない道を進むんだ
この世界は群れていても始まらない
Yesでいいのか?
サイレントマジョリティー

79:１３２人目の素数さん
19/04/29 12:35:22.43 ZAEwVv/6.net
圏論屋の話はいかがわしい。

80:１３２人目の素数さん
19/04/29 12:46:01.94 kwlht0Wb.net
このような指摘は的外れだ。
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
URLﾘﾝｸ(imepic.jp)
618１３２人目の素数さん2019/02/08(金) 07:22:56.27ID:0BkXp9aI >>619 >>674
そのままでは矛盾を認めている → ラベル付け（マーキング付けの意味がない）
論文の誤魔化しテクニックの中に、同じ変数を使い回す、というものがある。
いわゆる「定数であり、同時に変数である」などと主張するものがそれで、
もちろん、指摘されているように読者を混乱させるのが目的だ。
手口はこうだ。
最初にいったん条件式を立てるのだが、のちに条件式に使った変数を別の目的に使い回す。
そして、その別の意味に使った変数を元の条件式に当てはめる。
定義のときと意味が違うのだから、元の条件式を満たさないことは当然だが、
論文はこれを堂々と示して声高に肯定を主張する。
誤魔化しを成立させるために、論文を無駄に長引かせるのも論文の特徴だ。
冗長で論理性がなく、読み手の意欲を削ぐ大量の数式を間に挟むことで、
論文は論理の誤魔化しを読み手に気づきにくくしているのだ。
論文を簡潔に書くように再三指摘されていながら、書き手が応じないことからも、
この手法が意図的になされているということが読み取れる。
過去、指摘に解説文はこう答えている。
「式の形が同じなのだから、同様に成立しなければならない」
しかし、変数で表されるものが異なるのだから、この主張はナンセンス極まりない。
この論文は意図的な誤魔化しの産物である。
証明ができたと読者に誤解させるために誤魔化しを働くことが主目的なのだから、
その誤魔化しを成立させるために使った手法を否定されても、
解説者がそれを直すことはない。

81:１３２人目の素数さん
19/04/29 13:04:47.35 ZAEwVv/6.net
君は君らしくやりたいことをやるだけさ
One of themに成り下がるな
ここにいる人の数だけ道はある
自分の夢のほうに歩けばいい
見栄やプライドの鎖に繋がれたような
詰まらない大人は置いて行け
さあ未来は君たちのためにある
No と言いなよ
サイレントマジョリティー

82:１３２人目の素数さん
19/04/29 13:18:25.33 p2nhC6dX.net
もうボロボロやな
Ⅳしかないのにそれもなくなりし

83:１３２人目の素数さん
19/04/29 13:21:13.63 ENNX1fwx.net
Ｂが慰霊碑立てたしいいだろ

84:１３２人目の素数さん
19/04/29 13:29:29.65 ZAEwVv/6.net
何か論理の飛躍がないか、矛盾がないか、line-by-lineで専門家が何回もチェックして少なくとも本質的な問題は発見されていないのだから、もういいだろ。
十分だろ。

85:１３２人目の素数さん
19/04/29 13:52:08.14 MQZwTn0S.net
うん、ゴーとビーは専門家だ

86:１３２人目の素数さん
19/04/29 14:26:37.38 kJSa6iPK.net
残念ではあるが、IUTは終わったんだよ

87:１３２人目の素数さん
19/04/29 14:53:42.41 5QyJUoeJ.net
>>84
アメリカの数学者コミュニティのコンセンサスでは、IUTはABCの証明になってない。ゆえに、IUTはオシマイ、なのか？

88:１３２人目の素数さん
19/04/29 14:56:13.71 asi839th.net
本英訳求む
著しい需要あります

89:１３２人目の素数さん
19/04/29 14:57:35.95 s/D4JkxR.net
最初は難問として知られたABC予想を解くために考案されたが、ABC予想を解くことは、IUT理論が可能にすることに比べたらかなり些細なことであることがわかった。
IUT理論は、足し算の宇宙と掛け算の宇宙という、大きさの全く異なる二つの宇宙を独創的な方法で乗り越え、二つの宇宙に存在する数を結ぶ特殊な関係性であるΘ(テータ)リンクを形成する。
↑
そういうことだね
ABC予想を解くことはIUT理論に比べたら些細なこと
その通りだ

90:１３２人目の素数さん
19/04/29 15:06:15.12 Rq6wJunD.net
ABC予想は、IUT理論を使っては解決できない問題なの？
一歩ずつ行こうよ

91:１３２人目の素数さん
19/04/29 16:07:52.28 ediVdTiN.net
英語版wikiのExamples of triples with small radical
と同じ不等式の結果になってることぐらい理解した上で語れ

92:１３２人目の素数さん
19/04/29 16:13:28.59 IuMRXkqx.net
Bもその辺はわかってるから証明した証明した

93:とは言ってないんだろ

94:１３２人目の素数さん
19/04/29 16:28:53.13 SFmiz6UM.net
>>86
海外の研究者の方とかかな？
誰か英訳してあげたら

95:１３２人目の素数さん
19/04/29 16:29:35.35 SFmiz6UM.net
といっても数学的内容はあんまり無いなら意味ないか・・・

96:１３２人目の素数さん
19/04/29 16:42:50.07 QVxmqIA/.net
ブンゲンやらモンゴルやら何でもいいんだが、ありがたい経典のΘ(テータ)リンクとやらで
ピタゴラスの定理の３＾２＋４＾２＝５＾２を説明してみてくれないか。
実態がないから無理なのか。
わかったフリでいつまでやってるんだ。

97:１３２人目の素数さん
19/04/29 16:59:14.61 O4Mf4VTy.net
数秘術なのでお題目だけでした
具体例はありません
一歩目が踏み出せません
すみませんでした

98:１３２人目の素数さん
19/04/29 17:07:43.57 L02Nz+7i.net
おこぼれ狙いのさもしい輩達が集まってるのか

99:１３２人目の素数さん
19/04/29 17:25:45.64 ph+oswZn.net
>>65
勿論IUTが正しいと仮定した場合の話ですよ。何故そういうことを（以前に何度も）書いたかと言うと、
数論の専門家たちのほとんどはIU形式主義はABC予想証明戦略とは関係ないから考慮に値しないと考えているからです
しかし、望月のターミノロジーからすればIU形式主義が底流に流れていると個人的には思っているので、
そこを上手く説明することから始めてはどうか、ということです
あと、望月はIUTは遠アーベルとスキーム論、ログ・スキームを包摂した形での変形理論を構築していると思われるので、
理論の背景、動機の詳細な説明、厳密な基礎付けが数論の専門家たちに納得させるには必要なのではないかとも思っています

100:１３２人目の素数さん
19/04/29 17:36:07.72 ph+oswZn.net
>>75
普通に考えればそうなんだけど、↓のようなものがあってね
・数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
古いものでよりプリミティヴな形だけど望月の動機はこれが一番分かり易いと思うし、良く言えば望月の冒険の始まり、
悪く言えば怪しげな道に迷い込んだ始まりとも言える

101:97
19/04/29 17:40:45.56 ph+oswZn.net
やっぱりリンク先が表示されないですね
望月HPの「出張・講演」の[10]です
ちなみに来年のプロジェクトに組織委員として入っているT口氏のノートもあります
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

102:１３２人目の素数さん
19/04/29 17:41:06.44 DdWZPRYj.net
>>97
> 悪く言えば怪しげな道に迷い込んだ始まりとも言える
カッコいいこと言おうとして滑っちゃったね

103:１３２人目の素数さん
19/04/29 18:30:13.44 t90nei10.net
>>75
それは詳しく見ないと当然何も言えないけど、今までの経験上そういう話だけではない気がしている
ZFCで圏論を構成できる、というのはあまり感覚的に意外ではない
とはいえ基礎の問題はこれまでの集合やZFCの使われ方に拡張可能性があるかどうかまで含むのではないかと

104:１３２人目の素数さん
19/04/29 18:36:16.44 t90nei10.net
要するに集合論とか圏論ていうのはちょっと一般的過ぎるからな
モデル理論など含めて、それらの使い方、使われ方について膨らますような話が出てきても別に不思議ではない
結果的に体系をはみ出すかどうかはまた別として

105:１３２人目の素数さん
19/04/29 18:41:03.04 ZAEwVv/6.net
membership equation a ∈ a　を解く、というのを他の簡単な例で実演してほしい。

106:１３２人目の素数さん
19/04/29 18:41:15.76 1

107:6J+oj8L.net

108:１３２人目の素数さん
19/04/29 19:12:48.31 Ug1MHmKo.net
例の一つも出せない人間ばかりなのが現実

109:１３２人目の素数さん
19/04/29 19:53:16.89 iMtLWl8e.net
動画解説本概要の解説では数学の証明に
ならない。
可能性ならペンローズの宇宙発生時の特異点
における「無限の石」、シュレディンガーの
量子論を使った時間が可逆なタイムマシン、
アインシュタインのEPR現象に対応したGPS 、パロディ映画アドベンチャーズの筋書は
可能性がある。

110:97
19/04/29 20:09:27.10 ph+oswZn.net
>>105
おお、物理屋さん、お久しぶりですね
私はB本を買うつもりはなく（彼に印税を与える行為は腹立たしい）、試し読みだけ読んで充分だと判断しました
Bの欺瞞に満ちたまえがきは救い難いですね。望月の寄稿はSSによる痛烈な指摘の自己弁護だと思いました
おそらくIUT否定派の人たちには彼の言う地動説の例は噴飯ものに見えるでしょう
むしろIUTこそ地動説が常識な世の中でプトレマイオスの体系をさらに複雑怪奇にした天動説に見えるかもしれません

111:１３２人目の素数さん
19/04/29 20:19:14.35 ZAEwVv/6.net
SSによる痛烈な指摘
IUT否定派
具体的に何、誰？

112:１３２人目の素数さん
19/04/29 20:26:07.75 ph+oswZn.net
すまないが、俺は例のツイッターの人と思われるレスや昨年末にSSレポートを読んだと言う人らしきレスにはNG入れる
最低限、星の入門、コンラッドのオックスフォード・ノート、SSレポート、望月反論レポートを読んだことのある人しか相手にするつもりはない
あしからず

113:１３２人目の素数さん
19/04/29 20:48:44.89 5QyJUoeJ.net
>>108
あなたの言うことは具体的な根拠は何もないのか。
「出鱈目な内容の残念な雑音」よりひどいな。

114:１３２人目の素数さん
19/04/29 20:52:26.68 JPX9w7Vz.net
まぁこういう閉鎖的文化が漂ってるのが今回の騒動の遠因だろうな

115:１３２人目の素数さん
19/04/29 21:12:27.05 5QyJUoeJ.net
具体的な”痛烈な”指摘によりIUTが否定されたならビッグニュースだ。

116:１３２人目の素数さん
19/04/29 22:01:23.70 E7MQMqfS.net
111

117:１３２人目の素数さん
19/04/29 22:14:53.32 y+wPvox8.net
黒川学派も全くIUTに言及しなくなっちゃってるしな・・

118:１３２人目の素数さん
19/04/29 23:11:52.04 Izf13P3p.net
>>96
>>113
黒川先生や海外の数論研究者が当初好意的だったのは、overF_1で上手くやると関数体で証明できた事の整数版が
出せるだろう、という事で、誰一人それ以上の認識は持っていなかった。今でも正直あまり変わらない
IU形式主義というのを考える場合、関数体の楕円曲線の理論を代数体に一般化する手続きを
作って示しまくったほうがいいだろう
理解者が増えているというのが「単に何となくわかった気がして話を適当に合わせられる」という事でないなら
どんどんやってほしいものだ

119:１３２人目の素数さん
19/04/29 23:39:23.78 Izf13P3p.net
基礎論というか非常に単純な図式としては
分解→まとめ上げ
をやるのがIU形式主義ということになる。その中間にある具体的な対象（スキームなど）を研究してきたのが
IU以前の数学だと主張しているわけだ
その割に楕円曲線の範囲ですら自由自在に分解とまとめ上げによる代数体への一般化が色々と示せていない
ならば当然「証明のための証明で似非理論ではないか」と疑われるよ

120:１３２人目の素数さん
19/04/30 00:19:00.07 1snO5Xnc.net
出版されてた本、ちょこっと読んだけれど意味不明過ぎて無理だった

121:１３２人目の素数さん
19/04/30 00:21:34.96 S+j7nSgA.net
>>108
かなりイタいドヤ発言だな
匿名５ちゃんねらーのくせに
中途半端な数オタに多い勘違い野郎

122:１３２人目の素数さん
19/04/30 00:29:29.18 7l81hRD9.net
>>114
フロベニオイドまではいいとして、多くの人が意味不明、従えない、ナンセンスと考えているのは
それを利用した「異質な環構造」を作るステップなんですよね。つまり充満多重同型と不定性の独自の徹底利用
（初期化、再初期化、スウィッチング・プロパティなどなど）
私としては望月が絶対に譲らない姿勢を見せている以上、IU形式主義を突きつめてほしいを思っているんですよ
それで不定性の徹底利用を正当化できるのなら大逆転で称賛の嵐、できないのなら壮大な茶番による自爆で笑い物
望月がドSであるように、我々もIUTに対してはドSになっていいと思っています
SSレポートも皮肉に満ちたドSな内容ですよね。コンラッドはレポートを読む限り紳士的でしたが
（フェセンコによると違うらしいが）

123:１３２人目の素数さん
19/04/30 01:32:31.13 7l81hRD9.net
いずれにせよ現状のIUTではABC予想の証明にしか利用方法は見出されていないのだから
IU形式主義を整備することによってABC予想の証明に有効であるという方向性を示し、
かつ応用例を見出さない限り変わり者以外には注目されないだろうね
実際、誰かさんがパーフェクトイド空間の（IUTにおける役割を担った）遠アーベルへの応用もどうなったのかも分からんし

124:１３２人目の素数さん
19/04/30 02:00:42.52 kvrTcsRm.net
そうした判断が初期にできなかった取り巻きやＢ界隈

125:１３２人目の素数さん
19/04/30 04:20:51.61 7l81hRD9.net
>>120
そうだろうね。充満多重同型やラベルの使用にケチつけられるとは夢にも思ってなかったのかもしれない
たぶん対数テータ格子の非可換性あたりから問題にされるとしか思ってなかったのではないかな
 >>114氏が書いているように何となく分かってくれるだろうという甘い認識しかなかったような気がする
あと、オックスフォード・ワークショップ失敗の原因だけど、これをG一人の責任にするようことは間違ってると思う
そもそも3.12に対する疑問・批判を詳しく反駁しようとする人物が望月本人を除いていまだに一人もいない

126:１３２人目の素数さん
19/04/30 11:56:57.23 gzu97Rc8.net
門外漢ですが、結局abc予想は証明されたんですか？されなかったんですか？
証明されていなかったとしても、アイデアは素晴らしく、谷応用がありそうですか？
まさか小保方さんみたいなことはないですよね？

127:１３２人目の素数さん
19/04/30 12:25:53.34 +6sfgWt4.net
abc予想は証明されてない
IUTの正しさが保証されてもいない
肯定派は読みかたが悪いだけで正しいと主張し
否定派はキーになる命題を作り直さないといけないと主張する
肯定するなら証明をわかりやすく解説するなりIUTを使った別の応用を
展開すれば良い
完全に否定するなら反例なりギャップを明確に突けばいいが
SSレポが後者だと考えているのだろう
いずれにせよ肯定的に考えてる人たちが一般向けの本とかでなく
SSレポに答える解説にせよ新定理にせよ、学術論文を出す必要があるとは思う
今のところは肯定否定とも決定的な状況ではないので、未解決と言うしかない
この状況が続くなら肯定派のほうが不利にはなる
例えば別のグループがabcを証明したりすると大変でしょう

128:１３２人目の素数さん
19/04/30 13:20:48.46 UAAtP5NG.net
「宇宙際タイヒミュラー理論コミュニティ」の人数はゆっくりだがだんだん増えている。遠アーベル幾何の教科書が出ればもっと増えるだろう。

129:１３２人目の素数さん
19/04/30 15

130::02:59.69 ID:+MpB7jEI.net

131:１３２人目の素数さん
19/04/30 15:09:23.45 PrfuWjwR.net
>>124
英語の本含めても、遠アーベルの教科書ってないの？

132:１３２人目の素数さん
19/04/30 16:25:26.47 LAnXV15s.net
>>71
中学生にもとか数学が苦手な人にもとかと言うことは読む価値ないのか？
あまり難解でも読めないけど少なくともエッセンスは必要だろ

133:１３２人目の素数さん
19/04/30 16:52:39.93 pBg8Uu+/.net
>>127
アメリカでも数学者がNYTベストセラーの本書いてるだろ、エレンバーグとか。

134:１３２人目の素数さん
19/04/30 17:30:07.26 pBg8Uu+/.net
"Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms. "
を読んで理解出来た人って世界中で何人くらいいるのかな？

135:１３２人目の素数さん
19/04/30 17:51:54.03 3srIAosp.net
>>108
ばーか

136:１３２人目の素数さん
19/04/30 23:40:20.96 7oDfoZ75.net
文元さんの今回の本は面白い
昔読んだ、「ガロア―天才数学者の生涯」も半端なかった
世界史、数学史に詳しく、洞察も深い
文元さんが支持するIUT、まじ期待だな

137:１３２人目の素数さん
19/04/30 23:42:44.05 yKT56a4Q.net
アタマ悪そう

138:１３２人目の素数さん
19/05/01 00:06:09.92 a50aZmVe.net
お、今日はゴキブリが少ないな
一匹だけかｗｗｗ

139:１３２人目の素数さん
19/05/01 00:29:56.10 ctZhIxSF.net
>>126　あるよ

140:１３２人目の素数さん
19/05/01 00:32:26.11 MU4/hKcJ.net
>>133
ちょっwお前ww今日の書き込みその時点でお前だけやないかwwww
ドンマイwwww

141:１３２人目の素数さん
19/05/01 00:53:46.64 Pjy8wdQQ.net
自称「僕は専門家！」はこんなところに書き込んでないで決定的なドキュメントでもアップしろよと思う

142:１３２人目の素数さん
19/05/01 01:06:54.28 w+6C5arc.net
フェセンコに失礼だよ

143:１３２人目の素数さん
19/05/01 01:23:37.39 NyvwZMyA.net
無力と無能の晒し上げ

144:１３２人目の素数さん
19/05/01 01:29:17.25 J+Ra1PHT.net
フェセンコの弟子がフィールズ賞もらった。もっちーの弟子の星さんは1981年12月31日生まれだから2022年のICMは受賞資格無しか。あと一日遅く生まれていれば可能性があった。

145:１３２人目の素数さん
19/05/01 01:30:03.11 WQMS+dCp.net
ゴキブリの自覚はありっと…φ(..)

146:１３２人目の素数さん
19/05/01 01:54:10.42 J+Ra1PHT.net
§3.11. Mathematical analysis of elementary conceptual discomfort

147:１３２人目の素数さん
19/05/01 01:55:34.48 LWK7qlmo.net
また太鼓持ちのｵｺﾎﾞﾚﾁｮｰﾀﾞｲﾁｮｰﾀﾞｲゴキブリ野郎が闊歩してんのか
 >>114からよく読め
あ、ゴキブリだから読めんのか、仕方ないか

148:１３２人目の素数さん
19/05/01 15:18:43.38 ceOa6WDg.net
なんで肯定派と否定派でいつまでも平行線をたどるんだろうか
共通の仮定から出発して異なる結論とか通常あり得ないよね？

149:１３２人目の素数さん
19/05/01 15:35:53.41 J+Ra1PHT.net
>>143
否定できた人がいない。
いるならビッグニュース。

150:１３２人目の素数さん
19/05/01 15:49:14.74 ZpOlry2J.net
>>118 の意味とか全然わかってないんだろうね
ＩＵＴの現状がなぜ悲惨なのかこの上なくわかりやすく書いてくれてるのにそれすらわかってない

151:１３２人目の素数さん
19/05/01 16:03:00.54 J+Ra1PHT.net
もしIUT論文の何ページ何行目のステートメントはあいまいなことを言っている、とか、論理に飛躍がある、といいたいならそう言えばいいだろう。具体的に。

152:１３２人目の素数さん
19/05/01 1

153:6:03:20.11 ID:/CI94Xk/.net

154:１３２人目の素数さん
19/05/01 16:05:32.57 ZpOlry2J.net
具体的に例を出すのは論文側の責任だと思うけど
空論とか循環論法でなければやれるでしょ

155:１３２人目の素数さん
19/05/01 16:09:05.59 QsnpX54m.net
例の本を立ち読みしたら、動画と同じく核心部が尻切れ。
寄稿も引用の物理分野の地動説相対論量子論が的はずれと思います。
令和ではしっかりした数学を望みます

156:１３２人目の素数さん
19/05/01 16:13:20.25 hlDMB5Xp.net
ショルツらの指摘も実際にプログラムを走らせてみろ、とあったよね。
テイラーが検証プログラム組んで検証するってなったけどどうなったの
３月にわざわざ来日したんでしょ。

157:１３２人目の素数さん
19/05/01 16:19:12.14 7G8YvT4a.net
擁護派って結局不利な部分は隠したまま定期的にプロパガンダを繰り返すだけ
だからゾンビ軍団とかバカとか思われるんだよね

158:１３２人目の素数さん
19/05/01 16:36:07.86 6UC7zFB2.net
>>150
どこにそんな指摘が書かれてるの？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

159:１３２人目の素数さん
19/05/01 16:42:15.47 K/U+2GrP.net
海外記事探せよ、何でもクレクレ君

160:１３２人目の素数さん
19/05/01 16:48:17.25 J+Ra1PHT.net
>>151
あなたが言う”不利な部分”とは具体的に何なんだい。曖昧なこと言うなよ。

161:１３２人目の素数さん
19/05/01 16:55:49.34 K/U+2GrP.net
kimの反論検証とかどうなったんだよ
俄かばっかで疲れるわ

162:１３２人目の素数さん
19/05/01 17:00:55.95 vkSrb2kB.net
語りたいならせめてショルツ来日以降の前スレ分以降は全部見てからにしろ
Inter-universal geometry と ABC予想 26 から
URLﾘﾝｸ(rio2016.2ch.sc)

163:１３２人目の素数さん
19/05/01 17:01:35.84 2TdnOqzJ.net
このスレッドの特徴
数学のことは知らないがあこがれてはいる変なオジサンが
めんどくさく粘着してる

164:１３２人目の素数さん
19/05/01 17:09:52.43 JxyJTNtL.net
同意。
賞賛本読んだだけで理解した気になれる単細胞

165:１３２人目の素数さん
19/05/01 17:14:54.83 J+Ra1PHT.net
具体的な指摘ができないクセに文句言ってるのは僻み鮮人だろう。

166:１３２人目の素数さん
19/05/01 17:19:35.81 1EzEKvaI.net
自己紹介なんていらないよ
ゴミは必要ないのでお帰りください

167:１３２人目の素数さん
19/05/01 17:26:26.50 LSIpggC3.net
スマホ世代の弊害で流れが全然読めてない

168:１３２人目の素数さん
19/05/01 17:34:46.86 apB01/h3.net
文元先生は、大衆向け本書くより、専門家に向けてabc予想の証明のギャップがないことを、レビュー論文でも書いた方がいいんでは。理解しているんなら。
本当に証明が正しいとしても、フィールズ賞受賞者からも疑義が上がっているくらいなのに、並みの数学者が理解できるわけないし。

169:１３２人目の素数さん
19/05/01 17:39:58.98 B8XAlzcw.net
書けないから解説本で国内の信者を増やそうとしたのでは

170:１３２人目の素数さん
19/05/01 18:22:44.18 ceOa6WDg.net
ショルツらの指摘に望月が飛躍抜きの説明すればいいだけなんじゃないの？

171:１３２人目の素数さん
19/05/01 18:42:17.08 kRHD9Vm1.net
説明してるじゃん。説明しても納得しないやつは死ぬまで納得しない
神学論争みたいな埋まらない違いがあるからな
受け入れるか入れないかだから
受け入れないとなったらとことん受け入れない。いくら説明しようと

172:１３２人目の素数さん
19/05/01 18:46:36.04 1kzSIAc/.net
フィールズ賞受賞者に飛躍のある説明しても正しければ理解してもらえるからね

173:１３２人目の素数さん
19/05/01 18:46:46.09 OOKnDTzC.net
信じる者は救われるってやつ？

174:１３２人目の素数さん
19/05/01 18:55:11.30 baRdjj12.net
例の本の寄稿文は興味深い。
英訳してＨＰに貼るべきだ。

175:１３２人目の素数さん
19/05/01 19:44:43.87 apB01/h3.net
STAP細胞はあった、実験で作成できた、何度も説明している、できない方が悪い、と言ってるのと傍目には変わらん。
違いは、望月先生はabc予想以外に立派に業績があるところ。

176:１３２人目の素数さん
19/05/01 20:49:13.83 sNhJZz+B.net
>>118は、言い換えると抽象化ないしは分解することによってスキームの情報が失われた設定を
逆に利用してやろう、というのがIUTの全てと言ってもよい。つまり、群論的な区別の付与がそのままHTという宇宙の区別になり、それによって（群）スキームの情報が
復元される
正確に言うとそれは元々のスキームよりもやはり抽象的だがテータ因子の解析的な情報を持っている
それで自分が常々言ってるのは、こういう論法の類似は確かに今後の数論ではある程度必要だろうということ
一般的な環や整数環は幾何学的な対象としては殆ど情報がないので、膨らます操作が必要になる
けれども絶対遠アーベル幾何やIUTがやっているのは存在定理のような弱い主張であって、実際にそういう
操作に成功していないとショルツらは言っている。多分Stixもそこについては考えは変わらないはず
変わってたら何か書いてるでしょう

177:１３２人目の素数さん
19/05/01 21:31:21.83 sNhJZz+B.net
一番奇妙なのは、スキームの世界に内在している群論的な差異を抽出して理論化したという感じがしないこと
ブラックボックスのように具体性がなく飛び道具感があり、遠アーベル幾何学なのかすらよくわからない
例えばルービックキューブを解く時に「こねくり回せば何れ解ける。QED」とか言われてもよくわからないが
そういう不思議感がある

178:１３２人目の素数さん
19/05/01 22:11:55.93 WPgr82BO.net
>>170 補足サンクス
まあ、実際「宣伝」されているほど強力な理論ではないですよね
仮にIUTが成立しているとしても、ABC不等式の定数を明示的に求められないからeffective Mordell予想も証明できない
あと、対数Kummer対応が上半両立性を満たせないから不等式しか出せない
要するに、数学的にはABC予想証明戦略にしか想定されていない（これは望月自身が以前から認めていたこと）
ミーハー根性でアナロジーを使えば何にでも応用が利くように誤魔化せるんですよ
いまのところ結局、リンクによるアプローチといった面白さが話題になっているだけで、ポスト構造主義、
特にドゥルーズ‐ガタリが流行になった雰囲気と大して変わらない
B本を読んでスゴイとか思っている人たちは厳密な思考の持ち主ではないですね

179:１３２人目の素数さん
19/05/01 22:15:47.35 WPgr82BO.net
>>172
訂正
×あと、対数Kummer対応が上半両立性を満たせないから
○あと、対数Kummer対応が上半両立性「しか」満たせないから

180:１３２人目の素数さん
19/05/01 22:26:19.49 WPgr82BO.net
>>171
そうですね。最初から「スキーム論＝環論的枠組み」として考え、その方法を放棄し、
「遠アーベル＝群論的枠組み」としてそこから議論を出発しているからそうなるかもしれませんね
で、あとは絶対ガロア群や不定性を徹底利用して様々な道具を用いてリンクによるアプローチをしている
最近では対数テータ格子や単解性というものはパチンコのアナロジーとしても使えるのではないかと思っています

181:１３２人目の素数さん
19/05/01 22:58:16.08 WPgr82BO.net
IUTすごい、宇宙と宇宙をつなぐって発想はスゴイというなら、IUT主論文以上にそれに特化した論文が望月にはある
だいぶ

182:前にリンクを張ったことがあるが一人を除いてほとんど関心を示さなかった否定派の人はそれでもいいのだけど、信者・擁護派こそそれを読んで「宣伝」した方がいい IUTに少しでも興味を示したことがあるならその論文名ぐらい分かるはずだし、新規の人でもタイトル見ただけで分かるはずだよ

183:１３２人目の素数さん
19/05/01 23:13:14.44 cf/pdm5z.net
引くに引けなくなったIUTっていう印象しかない

184:１３２人目の素数さん
19/05/01 23:33:26.21 2iFipNjR.net
>>172
明示的な定数に関しては南出望月星が値を出してるんですが
数論畑なら確実にその辺の情報は入ってくるだろうし、あんた全くのど素人だな

185:１３２人目の素数さん
19/05/01 23:36:05.37 wJGNJKoX.net
>>177
出た？

186:１３２人目の素数さん
19/05/01 23:37:46.10 2iFipNjR.net
>>178
東工大の南出のセミナーや、フェセンコのシークレットなセミナーでも値はもう出してる

187:１３２人目の素数さん
19/05/01 23:38:24.80 WPgr82BO.net
圏論のロバーツはこのスレをときどき見ているみたいで（グーグル翻訳で苦労して読んでるようだ）、あまりこういうのは貼りたくないのだが、
望月の「非専門家」に対する態度は以下のようなものだ
URLﾘﾝｸ(thehighergeometer.wordpress.com)
コメント欄のMarch 4, 2019 at 6:49 am の末尾
-------------------
I emailed with Mochizuki a little bit last year, and after a few emails he told me, that my level of understanding was far too superficial to justify me writing about these issues.
I was not asking about deep issues of anabelian geometry, but category-theoretic matters, and I would think I do know what I am talking about there.
-------------------
望月の周りに全肯定のイエスマンしか集まらないワケだ。今の望月ならjinでも大歓迎だろうよ

188:１３２人目の素数さん
19/05/01 23:45:14.43 WPgr82BO.net
ああ、IUTが正しいという前提に基づいて“Expected”を連発した発表のことか
あんなものどうでもいい

189:１３２人目の素数さん
19/05/01 23:46:45.92 2iFipNjR.net
>>181
フェセンコの方の情報が入ってるの？
少なくともexpected連発なんてしてないぞ

190:１３２人目の素数さん
19/05/01 23:46:49.22 wJGNJKoX.net
>>179
貴重な情報をありがとう御座います。

191:１３２人目の素数さん
19/05/01 23:48:12.40 ImdbDTRh.net
>>177
>>172
明示的な定数に関しては南出望月星が値を出してるんですが
根拠なく辻褄合わせの1.5

192:１３２人目の素数さん
19/05/01 23:49:28.70 WPgr82BO.net
このスレで相手のことを「ど素人」呼ばわりして数学的に意味のあることを一切書かない人物は
ほとんどのスレ住人が例のツイッターの人だと知っていると思うので、あんたのようなオバサンの相手をするつもりはない

193:１３２人目の素数さん
19/05/01 23:54:44.02 2iFipNjR.net
>>185
Jinだと思ってるの面白い
で、結局あんたは数論幾何の人なの？もしかして数学者でもない感じ？？

194:１３２人目の素数さん
19/05/01 23:55:59.10 B8XAlzcw.net
ピエーロのは「やってみたらうまく説明できた」類いの話。
ナンデ既成事実化してんの

195:１３２人目の素数さん
19/05/02 00:05:52.89 NWgSGOQd.net
取り巻きにjinと思考回路が似たのがいる
そいつが後見人＆混乱拡大の原因

196:１３２人目の素数さん
19/05/02 00:10:04.17 XEl/Dv7j.net
Effective ABC からEffective Mordell が出て、FLTの別証明も出る？

197:１３２人目の素数さん
19/05/02 00:13:20.77 lhI2xa0q.net
>>189
南出は出るって言ってる

198:１３２人目の素数さん
19/05/02 00:15:22.45 XEl/Dv7j.net
なんかすごいね。かっこいい。

199:１３２人目の素数さん
19/05/02 00:33:59.01 LOy+fZd7.net
ハイハーイ、アイちゃんがおばちゃんのためにたのしいたのしいおはなしをみつけたよー
きっとたのしいからぜったいみてねー
URLﾘﾝｸ(test.ninchishouyobou-k.com)

200:１３２人目の素数さん
19/05/02 00:49:57.54 XEl/Dv7j.net
".... But the result is still interesting because the implication is considerably easier than any of the known proofs of Mordell’s conjecture, and more importantly because our proof shows that an effective version of the ABC conjecture would imply Mordell’s conjecture with an effective height
bound, which is at present still out of reach."
ABC IMPLIES MORDELL
NOAM D. ELKIES

201:１３２人目の素数さん
19/05/02 00:53:01.22 HirYsHAr.net
>>184
失笑もんだろう、それは
なら出してショルツらを納得させれば済む話であって、水面下ではどんどん進んでるとかドヤられてもね
それこそあなたが公的に解説したらいいのでは？

202:１３２人目の素数さん
19/05/02 01:18:03.41 XEl/Dv7j.net
Elkiesもびっくりだろな。

203:１３２人目の素数さん
19/05/02 01:35:32.64 hJKKOS5C.net
792１３２人目の素数さん2018/09/22(土) 08:16:54.37ID:lo6LF9pY
ABCの推測は、次に、楕円曲線に関連する2つの量の間の特定の不等式を証明するまで沸騰します。
Mochizukiの作品は、この不平等を2つのセットの量を比較するものと考えることができる、別の形に変換します。結論3.12は、Mochizukiが
この新しい不平等の証拠を提示する場所であり、真実であれば、
abcの推測を証明する。
ScholzeとStixの説明のように、
2つのセットのボリュームを
2つの異なるコピーの実数で見ることが証明され、
実数の6つの異なるコピーからなる円の一部として表現され、
マッピングとともにそれぞれのコピーがサークルに沿った隣人にどのように関係しているかを説明しています。
セットの量がどのように関係しているかを把握するためには、
1つのコピーの体積測定値が他のコピーの測定値とどのように関係しているかを理解する必要があります。
「あなたが2つの不等式を持っていても、計測棒があなたが制御できない要素によって縮小されていれば、
不平等が実際に意味することをコントロールできなくなる」とStixは言った。
ScholzeとStixが信じていることは、事態が間違っているという議論のこの重要な点です。
望月のマッピングでは、測定棒は互いに局所的に適合する。
しかし、あなたが周りを回るとき、Stixは言った、あなたは別の方法の周りに行っていた場合とは違って見える測定棒で終わる。
状況は、彼が言った、エッシャーの有名な巻上げ階段に似ています。登ると登るだけで、どこかで始まりました。
体積測定におけるこの非互換性は、
結果として生じる不等式が間違った量の間であることを意味し、
ScholzeとStixは主張する。音量の測定値が世界的に適合するように調整すると、不平等は無意味になります。

204:１３２人目の素数さん
19/05/02 03:07:03.02 ytz9W+pf.net
>>158
>賞賛本読んだだけ
しかも、素因数分解の話や群論の解説は飛ばし読みしてたりするんだよなw

205:１３２人目の素数さん
19/05/02 03:47:07.63 miInB/Rw.net
ABC不等式の定数を明示的に、厳密かつ理解可能な形で出せていたなら
世界中のディオファントス野郎は黙っていないだろう。それこそ大騒ぎになってIUTが再評価されるくらいの出来事になる
現実はどうだ？何の反応もなし
ディオファントス幾何の総本山とも言えるIAS研究員の数論研究者たちのほぼ全員がIUTに希望はないと判断しているのが現実
サルナックやラングランズがIUTについてコメントしたのはIUT発表直後だけで、それから音沙汰なし。推して知るべし

206:１３２人目の素数さん
19/05/02 03:55:02.32 lhI2xa0q.net
>>198
お前に情報が行ってないからってムキになんなよ
フェセンコのシークレットなセミナーについてなんか意見があるなら言ってみろよ
IUTの4編を認めたなら、明示的な数値についての希望が俺には見えたよ

207:１３２人目の素数さん
19/05/02 03:56:46.57 miInB/Rw.net
Kimが検証論文をなかなか出さないのも頷ける
おそらく初期にMOやその他の交流サイトで書いたような紹介、太鼓持ちのような書き方はできないだろうし、
望月、SSの論点の相違ぐらいしか書けないだろう
どんなにIUTに寄せても、これこれしかじかの箇所の記述を修正すれば～、みたいにしかならないだろうね

208:１３２人目の素数さん
19/05/02 04:20:49.30 HirYsHAr.net
>>199
つまり、結局は全て本論次第であることは認めるわけね
煽ったりせず普通に話せばいいのにw

209:１３２人目の素数さん
19/05/02 04:23:29.74 HirYsHAr.net
DimitrovもScholzeも公的に出してるわけで、正しいなら優秀なお弟子さんがきっちり世界に発信すれば済む話
別に懐疑的な連中も潰す事が目的ではないからね

210:１３２人目の素数さん
19/05/02 04:40:31.57 lhI2xa0q.net
>>201
煽り口調なのは >>172で、IUT認めても明示的な数値は出ないって大嘘をついたからだよ

211:１３２人目の素数さん
19/05/02 04:46:42.22 NeAJ66HC.net
そういう時はソース出して言ってね

212:１３２人目の素数さん
19/05/02 04:46:58.09 lhI2xa0q.net
>>198と >>172が同一人物かどうかは定かでないけど、偉そうに語るなら虚言をはくべきじゃない

213:１３２人目の素数さん
19/05/02 05:25:27.77 miInB/Rw.net
>>204
IAS研究員の数論研究者云々に関しては
URLﾘﾝｸ(www.reddit.com)
で、dalitt（Daniel Littのこと。彼は現在IAS研究員。代数幾何と数論の研究者）が書いている
あと、東工大での発表については語るに落ちるので心底どうでもいい
シークレットなセミナーについては文字通りシークレットなので私にはまったく分からない
公けにならないと知りようがない。そもそも誰が参加したのかも分からない
このスレでの経験上、不毛な議論、罵り合いにしかなりそうもない相手にはNG入れて一切返信しないことにしている
あしからず

214:１３２人目の素数さん
19/05/02 05:57:13.95 Wc+zR8yd.net
溶けないことに首突っ込むレベルでは

215:１３２人目の素数さん
19/05/02 06:25:31.95 8PTZvmNS.net
サルナックだのキムだの誰でも知っている御大あげておけばいいだろって発想が今更すぎってかjinレベルだな

216:１３２人目の素数さん
19/05/02 06:36:05.67 pDOKL08F.net
取り巻きの反論がこれでは

217:１３２人目の素数さん
19/05/02 06:57:26.47 hJKKOS5C.net
イギリスのドラッグ事情
URLﾘﾝｸ(ameblo.jp)

218:１３２人目の素数さん
19/05/02 07:34:18.32 Yn5WS8dD.net
Kimって人は優秀なのになんでフィールズ賞もらえないの？

219:１３２人目の素数さん
19/05/02 08:06:44.08 XEl/Dv7j.net
KimもEffective Mordellを狙ってた。
だから鮮人の僻みがひどい。
山中先生に美味しいところ全部持っていかれたときみたいに。

220:１３２人目の素数さん
19/05/02 09:19:56.53 P46MvFl/.net
abc予想は平成に京都市追分町と特異点で
「解決=証明」された、との主張があった。
その後多数にわたり修正中

221:１３２人目の素数さん
19/05/02 12:52:56.73 yuUgxpqT.net
その結果、実はさほど

222:重要でないことがわかった　←　ｲﾏｺｺ

223:１３２人目の素数さん
19/05/02 13:12:26.99 ZZzeYav3.net
もっちー=山中伸弥
Kim=黄禹錫(ファン・ウソク）

224:１３２人目の素数さん
19/05/02 13:23:23.60 ZZzeYav3.net
Dupuyとフィリピン人Hiladoも
"Explicit Computations in IUT"を何かやってる。
AGNT Seminar
Rice University
April 8, 2019

225:１３２人目の素数さん
19/05/02 15:07:12.66 pDOKL08F.net
いや、だから明晰的でないから証明できてないって宣言してるようなもの
定数を与えないと他の予想が証明できないんでしょ

226:１３２人目の素数さん
19/05/02 15:23:44.99 XEl/Dv7j.net
>>217
バカ

227:１３２人目の素数さん
19/05/02 15:42:11.89 pDOKL08F.net
もう出る予想
ｓ^２=(ｘ＋ｙ)(ｘ-ｙ)

228:１３２人目の素数さん
19/05/02 15:47:11.75 TkmM1qa4.net
>>219
バカ

229:１３２人目の素数さん
19/05/02 15:47:50.41 XEl/Dv7j.net
>>219
鮮人

次ページ