19/04/27 20:24:49.26 gcKUmYRM.net
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 37
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
19/04/27 20:25:41.28 gcKUmYRM.net
前スレ一覧
ABC予想が解かれたかもしれんぞ！
URLﾘﾝｸ(uni.2ch.sc)
ABC予想が解かれたかもしれんぞ！ Part2
URLﾘﾝｸ(uni.2ch.sc)
ABC予想が解かれたかもしれんぞ！ Part3
URLﾘﾝｸ(uni.2ch.sc)
Inter-universal geometry と ABC予想
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 2
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 4
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 5
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 6
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 7
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 8
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 9
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 10
ｽﾚﾘﾝｸ(math板)
3:１３２人目の素数さん
19/04/27 20:26:13.10 gcKUmYRM.net
>>2 の続き
Inter-universal geometry と ABC予想 11
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 12
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 13
URLﾘﾝｸ(wc2014.2ch.sc)
Inter-universal geometry と ABC予想 14
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 15
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 16
URLﾘﾝｸ(rio2016.2ch.sc)
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 17
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 18
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 19
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 20
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 21
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 22
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 23
URLﾘﾝｸ(rio2016.2ch.sc)
4:１３２人目の素数さん
19/04/27 20:27:24.75 gcKUmYRM.net
>>3 の続き
Inter-universal geometry と ABC予想 24
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 25
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 26
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 27
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 28
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 29
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 30
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 31
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 32
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 33
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 34
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 35
URLﾘﾝｸ(rio2016.2ch.sc)
Inter-universal geometry と ABC予想 36
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 37
ｽﾚﾘﾝｸ(math板)
5:１３２人目の素数さん
19/04/27 20:56:40.47 GX/eFieS.net
ゾンビ軍団
6:１３２人目の素数さん
19/04/27 20:58:10.72 Lpw6dS8y.net
Daniel LittというUniversity of Georgiaの数学者が何か言ってるようだ。
7:１３２人目の素数さん
19/04/27 21:28:47.39 MDJ13OLY.net
そういうの書かないと何が何だかわからないじゃんw
8:１３２人目の素数さん
19/04/27 22:36:49.44 pADgeZ+E.net
そーてーなーい
9:１３２人目の素数さん
19/04/28 00:08:45.46 G46TPgPb.net
Daniel Littは、数学者のコミュニティのコンセンサスは、IUTはABC予想の証明になってない、と言ってるんだろ。数学や科学の学説の正しさは多数決で決まるのかね。多数説がいつも正しいのかね。アフォか。もっちーが「宇宙際タイヒミューラー理論コミュニティ」が十数人と言ったのはこのDaniel Littへの反論なのか。
10:１３２人目の素数さん
19/04/28 00:21:55.54 Ss+2jI5t.net
数学だって大多数が問題があるというものを正しいとは受け入れないだろ。アホはお前。
11:１３２人目の素数さん
19/04/28 00:35:36.27 FnTnZuK/.net
コミュニティが認めてないのは明らかなんだけど、そこで取り下げずに密教学派化するって
なかなか無い展開だから面白い。十分数学界の大事件と言っても良い
12:１３２人目の素数さん
19/04/28 00:39:46.00 G46TPgPb.net
そもそも学説の正しい、間違いの判断以前の、理解すらできてない自称数学者がたとえ何万人いたとしてもそいつらのオピニオンに何の意味がある？
13:１３２人目の素数さん
19/04/28 00:41:14.87 Gx/Kh+tD.net
Daniel Littのツイッターを見たら昨年の10月中旬以降のツイートが削除されているのだけど
昨年の9月頃にあったツイートでは、
3.12問題は2015年かそれ以前から指摘があり、望月は数学コミュニティを納得させるような修正をしなかった。よってアウトという主張
まあ代数幾何、数論の研究者だからSSレポートは当然読んで理解しているだろうね。望月レポートは読んだかどうか分からんけど
14:１３２人目の素数さん
19/04/28 00:49:22.32 G46TPgPb.net
過去のツィートを理由の説明もなく削除ってのは卑怯で学者としておかしな態度だな。
15:１３２人目の素数さん
19/04/28 00:55:40.79 Gx/Kh+tD.net
ロバーツの記事に対するイチャモンもLitt自身の立場は変わっていないのだから別にどうでもいいと思うけどね
まあ彼もちょっと偏屈者な感じはするね。ロバーツは未だに結論は出していないのだし
16:１３２人目の素数さん
19/04/28 01:02:51.45 G46TPgPb.net
アメリカの数学界の雰囲気は特殊なのではないか。自信過剰というか。
ロバーツ氏はオーストラリアの圏論屋だからちょっと文化が違う、というか距離を置いているように見える。
17:１３２人目の素数さん
19/04/28 01:51:15.75 Gx/Kh+tD.net
Littのロバーツに対するイチャモンもある意味で理解はできるんだよ
ロバーツはPDF、特にその補遺でSSの「充満多重同型は単なる同型、ラベルは不必要」という主張を認めているし、
それを認めるならSSレポートのような結論にしかならんし、ABC予想は証明されてないという結論にしかならない
但し、ロバーツは慎重かつ謙虚で、数論幾何、整数論の専門家ではなく圏論の専門家という一線を守っているから
ひょっとしたら自分には見えない論理が働いているのかもしれない、という期待なのか恐れなのか分からんものがあると思う
Littは代数幾何、数論の専門家だから上記のSSの主張を認めれば証明はないと言わざるをえないだろう、という考えだと思う
これは望月ですらそうで望月レポートの末尾に強烈な一文があるよ
ロバーツは真面目で良い人なんだけど、そのどっちつかずの態度が望月にもその他大勢の数学者にも相手にされていない原因だと思う
18:１３２人目の素数さん
19/04/28 01:57:24.50 G46TPgPb.net
ロバーツ氏はもっちー先生にe-mailを書いた、でしょ。それがどうなったのか。
19:１３２人目の素数さん
19/04/28 02:39:45.40 YlFLiQUP.net
SSともっちんの対決の下層で、言葉は悪いが小物がごちゃごちゃ言ってるが
このスレと同レベルのなくてもいい話レベルってことか
20:１３２人目の素数さん
19/04/28 02:50:50.68 EFg6Tv4p.net
Daniel Littが削除した過去のツイートの内容が知りたいな。それと削除した理由も。
21:１３２人目の素数さん
19/04/28 03:55:48.69 EFg6Tv4p.net
"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とロバーツのコメントが、、、
22:１３２人目の素数さん
19/04/28 05:09:07.30 Gx/Kh+tD.net
>>21 サンクス
LittはまだIASの研究員だから、彼によるとIASで数論を研究している同僚のほとんどがScholze-Stixが正しいとし、
IUTのABC予想証明にまったく希望はないと考えているということだね
あと訂正 >>13
×昨年の10月中旬以降のツイートが削除
○昨年の10月中旬以前のツイートが削除
23:１３２人目の素数さん
19/04/28 05:37:35.63 Gx/Kh+tD.net
>>21氏に感謝しつつ、↓の方も面白いね
A Crisis of Identification ? David Michael Roberts (A telling of the Mochizuki abc saga)
URLﾘﾝｸ(www.reddit.com)
24:１３２人目の素数さん
19/04/28 06:32:50.24 5frVE8Hu.net
>>11
>コミュニティが認めてないのは明らかなんだけど、そこで取り下げずに密教学派化するって
>なかなか無い展開だから面白い。十分数学界の大事件と言っても良い
おまえずっと同じこと書き込んでるバカか？
的外れ過ぎだから自重しろ。
数学は価値があるかないかが重要、価値のない数学は人気がない、それだけ。
>>12
>そもそも学説の正しい、間違いの判断以前の、理解すらできてない自称数学者が
>たとえ何万人いたとしてもそいつらのオピニオンに何の意味がある？
ロジックの細部が正しいか間違いかという理解は重要ではない。
面白そうかどうかという大局が本質で
その大局的な夢が希薄な理論は廃れて当然
>>966
>数学界の脆さが露呈した例だったな
>理論が正しかったとしても理解させなければ秘教的になる
だから的外れ過ぎ。
数学は正しいかどうかじゃない。
「辻褄が合ってるだけのクダラナイ理論」に数学者は用はない。
「細部が未完だが夢を内包する理論」には"間違って"いても数学者は突入する。
せめて半年ROMれ素人が意見を言うコト自体は良いが
ドヤりたいだけのしゃしゃり出すぎバカは邪魔なだけ
25:１３２人目の素数さん
19/04/28 07:15:51.35 w0mgZdpM.net
勘違い野郎しか突入してないじゃん
26:１３２人目の素数さん
19/04/28 07:27:36.8
27:5 ID:3DnVI162.net
28:１３２人目の素数さん
19/04/28 07:44:53.74 RGH3zggn.net
ラングランズの解説本でも書いてたほうが良かっんじゃないの
29:１３２人目の素数さん
19/04/28 08:59:58.38 +KgoraOg.net
文元氏の本は一般向けの数学的内容皆無でワロタ
30:ブーメラン
19/04/28 09:02:05.08 OUtOMsJU.net
3.12は辻褄合わせにいったから失敗したのでは
31:１３２人目の素数さん
19/04/28 10:14:17.71 mMA12zTN.net
正々堂々と「数学は正しいかどうかじゃない」と言うのもな
32:１３２人目の素数さん
19/04/28 10:26:44.65 U4tGZsHU.net
>>30
続いてる文章を読めば、レトリックとして十分納得できるよ。
その一文だけを取り上げて云々しても意味ない。
33:１３２人目の素数さん
19/04/28 10:40:19.76 Ebtl9jE0.net
>>24
面倒だから絡みたくないけど、どう見ても的外れはブーメランだろうよ
単に夢があるかどうかではなくて「大体正しそうかどうか」が重要に決まってるんだけど
で、現実的にはそう考えてる望月学派がマイノリティという単純な図式なんだけどね
34:１３２人目の素数さん
19/04/28 10:54:49.96 0OlFWtxG.net
>>24
ラップやめて
35:１３２人目の素数さん
19/04/28 13:17:19.07 l17DIlIu.net
文元さんはお気に入りの焼肉店のレビュー本でも書いた方がいいのでは？
今回の本は、6割が回りくどい例え話、3割が群論入門、1割が焼肉の話。
36:１３２人目の素数さん
19/04/28 13:34:44.03 y/GUj40o.net
それなw
数学的内容だけを切り取れば小学生向けの群論入門書っていうw
37:１３２人目の素数さん
19/04/28 13:49:20.68 bllfQOiZ.net
ということは群論初心者の俺にはちょうど良さそうだな
焼肉については興味がないが・・・
38:１３２人目の素数さん
19/04/28 16:47:49.66 G46TPgPb.net
「出鱈目な内容の残念な雑音」
39:１３２人目の素数さん
19/04/28 17:23:50.59 bllfQOiZ.net
本の中で文元はIUTを理解したって書いてるのか気になる
40:１３２人目の素数さん
19/04/28 17:24:18.06 Ebtl9jE0.net
アメリカが自信過剰っていうけど、アメリカは単純に物事を理解する能力が高いからな
本質的なアイデアは何だ？批判は？それでディフェンスは？
これが説明できたらフォローが優しいし、できなかったら駄目だ、で終わり。その感じは嫌いじゃない
41:１３２人目の素数さん
19/04/28 17:37:49.70 G46TPgPb.net
遠アーベル幾何学の研究者の層の厚さは国によって違うんじゃないの？
42:１３２人目の素数さん
19/04/28 17:44:31.50 Ebtl9jE0.net
アメリカはディオファントス幾何学とかホッジ理論なら世界一でしょ
エタール基本群ならわかってる研究者もたくさんいる
概要を説明すれば十分伝わるし、フェセンコみたいな修行云々の言い方がおかしいだけ
43:１３２人目の素数さん
19/04/28 18:18:23.60 6ejkxa+h.net
理があるなら泰然自若とするだろ
宇宙際なんて関係ないことがバレるのが怖いのか
44:１３２人目の素数さん
19/04/28 18:53:21.30 +4XpZ9/4.net
アメリカ云々じゃない
ヒゲが海外公演で不遜な態度をとるから、理解しようとしている研究者からも距離を置かれる
45:１３２人目の素数さん
19/04/28 18:57:10.73 mMA12zTN.net
ぜんぶヒゲが悪い。w
46:１３２人目の素数さん
19/04/28 19:05:44.52 +4XpZ9/4.net
このスレでも名前が出るK川もpsの指摘に関しては見当違いって言ってるのに、海外からps支持の声が出るってのは、もう数学云々ではなく不信感なんだよ
47:１３２人目の素数さん
19/04/28 19:13:04.13 YlFLiQUP.net
>>45
K先生がそんなこと言っているのははじめてきいた。どこで言っているんだ？
48:１３２人目の素数さん
19/04/28 19:30:00.50 Gx/Kh+tD.net
ID:Ebtl9jE0氏は前スレ973氏なのかな。遅ればせながらお久しぶりです（間違ってたらすみません）
IUT陣営が数学コミュニティから離れて宇宙際タイヒミューラー理論コミュニティとして活動を続ける決意があるなら
IUT・Ⅳの“Section 3: Inter-universal Formalism: the Language of Species”を精緻化し発展させた方がいいと思うんですけどね
どうも来年の「宇宙際タイヒミューラー理論の拡がり」は今までのワークショップと変わらないような気がします
価値や大局という言葉が出てますけど、IUTに対する懸念・疑問にはこれも含まれ、大物ではファルティングスやタオが表明している
IU形式主義の基礎を納得できる形で精緻化し、濫用と取られかねない不定性の利用もその基礎付けができると思うんだけど
（やらないだろうな……）
49:１３２人目の素数さん
19/04/28 19:37:44.70 Ebtl9jE0.net
いやおかしいって。attitudeだけの問題なわけない
大体自称理解者でpreprentはおろかnoteすら出さない人の見解なんて公的に何の意味もない
また、Gは論文解説はしてるかもしれないけど、アイデアは解説してない
アイデアと論点を説明記述できる弟子が全くいない
50:１３２人目の素数さん
19/04/28 19:38:07.84 G46TPgPb.net
ファルティングスは若い頃は切れ者だったが60歳過ぎたら、、どうかね
51:１３２人目の素数さん
19/04/28 19:39:51.98 G46TPgPb.net
65歳か。Popはさらに年上。
52:１３２人目の素数さん
19/04/28 19:47:32.02 Gx/Kh+tD.net
望月‐SS論争というのは直接対面しての話だからね。星を含めた4人で仲良く2時間かけて食事を取り、その後5時間かけて議論した
それを5日間に渡ってやった。望月はホワイトボードで何色ものマーカーを使って図式を書いたそうだ
Littもツイッターで似たようなことを書いていたけど、論文の理解だけで済む話ではなかったと思うよ
その状況で決裂した。望月・星はScholze-Stixを納得させられなかった。推して知るべし、って感じなんだけどね
53:１３２人目の素数さん
19/04/28 20:05:08.59 Gx/Kh+tD.net
Gは要約しているだけだからね。疑問点に自分の言葉でで答えるのではなく、望月の主張を箇条書きしているに過ぎない
望月の主張を手っ取り早く表面的に知りたければGの書いたものを読めばよい、ってだけのこと
星の入門とGが書いたものを読めばIUTが何をやっているのか表面上は分かる。ちなみにBは要らない人
54:１３２人目の素数さん
19/04/28 21:18:19.58 G46TPgPb.net
アメリカの大学とAMSは遠アーベル幾何学を何十年も軽視してきた。それで人材育成が遅れた。
55:１３２人目の素数さん
19/04/28 21:36:39.53 4qcIPaV4.net
なんだよ、足し算と掛け算って
１０*１０は１００だけど１０*〔１０－１〕でいいだろ
係数マイナス１だ
56:１３２人目の素数さん
19/04/28 21:38:31.78 0n8SdIfC.net
IUTの本を読んだらなんとなく何をしたいのかは分かったような気がした
最後の章以外は説明の準備のための話ばっかりで水増し感あったけど
57:１３２人目の素数さん
19/04/28 22:14:42.10 5frVE8Hu.net
>>32
>面倒だから絡みたくないけど、どう見ても的外れはブーメランだろうよ
>単に夢があるかどうかではなくて「大体正しそうかどうか」が重要に決まってるんだけど
↑
トートロジーを連呼してるだけ
根拠が書いてない
>で、現実的にはそう考えてる望月学派がマイノリティという単純な図式なんだけどね
「何が」マイノリティなのかを誤解している
IUTに価値を感じる人がマイノリティなのだ、という事を説明を>>24でやったのだ
会話が出来ないクセに幼稚な自説をドヤりたいだけの素人は来ないでくれ
58:１３２人目の素数さん
19/04/28 22:20:39.43 5frVE8Hu.net
IUTがただ間違ってるだけなら修正しようと多くの人が参入してくる
魅力を感じないから放置されてるだけ
その手の巨大な理論は他にもいっぱいある
59:１３２人目の素数さん
19/04/28 22:34:24.87 hUawXQLV.net
と、ハーツホーンも読めない雑魚がほざいております
60:１３２人目の素数さん
19/04/28 23:21:08.33 G46TPgPb.net
イギリスはアメリカと違ってやり方が上手い。フェセンコ、サイディを確保したし、もっちーの弟子南出氏を引っ張ってきた。アメリカで才能がある若い人がAnabelian Geometryを勉強したいと思っても難しいだろう。
61:１３２人目の素数さん
19/04/28 23:49:25.38 qksQ/Ew8.net
どうにもならんから連絡係を呼んだだけだと思うけど
62:１３２人目の素数さん
19/04/29 00:47:32.70 ZAEwVv/6.net
遠アーベル幾何を勉強するなら京都のRIMSが一番。日本以外ならイギリスかフランスかドイツ。アメリカはクソ。
63:１３２人目の素数さん
19/04/29 01:30:10.36 kJFgb7or.net
大御所のK先生が匙投げるほどだからIUTはもうダメなんだろう
64:１３２人目の素数さん
19/04/29 03:53:44.08 OmvFAfzV.net
>>61
おまえはアホか？大学とか国がどこかなんて関係ないだろ
遠アーベル幾何を勉強するなら遠アーベル幾何の研究者がいるところで学ぶだけのこと
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
鮮人
230:１３２人目の素数さん
19/05/02 16:03:40.89 3UQUDb2C.net
IUTは侘び寂びみたいに日本人しか理解できないw
231:１３２人目の素数さん
19/05/02 16:11:05.09 XEl/Dv7j.net
>>222
バカ鮮人
サイディはアルジェリア人。
フェセンコはロシア人。
232:１３２人目の素数さん
19/05/02 17:09:18.57 UrlDty35.net
２/３ｃ,≠２/３,３/２∈０
233:１３２人目の素数さん
19/05/02 18:52:29.28 ZUPiZK4G.net
>>169
STOP細胞はあった。アメリカの教授が再現した
おまえ、いい加減にしろよ
一旦できた先入観をいつまでも払拭しないのは科学的態度じゃない
234:１３２人目の素数さん
19/05/02 19:25:47.26 ZZzeYav3.net
Kim=黄禹錫(ファン・ウソク）
235:１３２人目の素数さん
19/05/02 23:40:13.11 uNc+tgCc.net
ゴーの妨害工作少ないなｗ
236:１３２人目の素数さん
19/05/03 00:46:59.26 5Er5nIpH.net
数学は科学じゃないから無問題
237:１３２人目の素数さん
19/05/03 01:27:02.97 B8D6hWoH.net
フェセンコとかのワークショップって今年じゃなくて来年なんだね。
なら今年は表立った動きはないな。
このスレもIUTは意味ある意味ないのやり取りが延々続くだけだな。
238:１３２人目の素数さん
19/05/03 01:41:51.78 d4MD8pdL.net
どう読んでも意味ないで決着してるだろ
指摘を知らん顔してるだけ
239:１３２人目の素数さん
19/05/03 01:56:16.29 UEjo1+gP.net
万能感のおつよいおじさんのおおいこと
学会や研究会に時々あらわれるやべえおっさんと同じ匂いしてるよ君たち
240:１３２人目の素数さん
19/05/03 02:05:24.61 DetdTaRc.net
追分町と特異点定理
241:１３２人目の素数さん
19/05/03 03:37:05.50 PvqnPrxj.net
モッチーによって、数学の世界にパラダイムシフトが起きた
旧パラダイムの側に立つ数学者は、たとえそれがフィールズ受賞者だろうと、
モッチーの数学を理解できようはずがない・・・
曰く、ブンゲン先生
242:１３２人目の素数さん
19/05/03 03:44:21.28 UdMcPKmU.net
Bの立ち位置ってナンボ
サイエンスライターだろ
243:１３２人目の素数さん
19/05/03 04:15:12.32 PvqnPrxj.net
IUT創始者と密にコミュニケーションを取って質問し、回答を得て、
それによって理解を深めながら、IUTの全体像に近づく方法しか、
パラダイム超越型の数学であるIUTを理解する方法はない。
したがって、創始者周辺のシンパの人たちから、真の理解者が出てくるしかないし、
現に数名の理解者が出始めている。これは査読が進んでいることと等化だ。
いざパラダイム超越型の理論に対しては、IUT創始者とコミュニケーションも取らない数学者が、
遠いところから眺めていても、理解は進まない。
旧パラダイムの偉い数学者ですら、新パラダイムにおいては一から始める小学生と同じなのだから。
こんな感じかな？
244:１３２人目の素数さん
19/05/03 04:22:05.84 nMQXLctq.net
>>235
飲み込みの早さで定評のあるショルツ君も、新世界ではまだまだですよwww
ってそんな馬鹿な話があるか
245:１３２人目の素数さん
19/05/03 04:24:44.47 PvqnPrxj.net
ショルツ君 ＝「新パラダイムにおいては一から始める小学生と同じ」
246:１３２人目の素数さん
19/05/03 04:38:47.38 nMQXLctq.net
ワンピースでいう新世界編に突入したって事でしょ
247:１３２人目の素数さん
19/05/03 04:44:01.18 +Bwn2ogp.net
自己陶酔の正当化おつー
擁護派の奴らの論拠の大半がセンセーガー、センセーガー
おまえらの相手してくれるやべえおっさんセンセー大事にしろよ
248:１３２人目の素数さん
19/05/03 07:10:48.57 CR+zcHa3.net
やはり同型と非同型の階層性についてのディフェンスが理論全体についての有効な弁護になってるとは
思えないね
正当化は難しいと思うんだけど、これだけ長い間お仲間が取り組み続け、またHPの院生のリストが
増殖しズラリと並んでいるのを見ると何とも言えない気分になるw
フェセンコだけならマフィア扱いでもいいんだけどw、こうも増殖している理解者とは一体何なのか
249:１３２人目の素数さん
19/05/03 07:43:10.75 ko1lHBgH.net
>>240
まあ、IUTの同型問題についてはお互いに散々書いてきましたよね
>>175で書いたのはエイリアン・コピーの論文のことですが、以前はツマミ食いだったので昨夜通して読んでみました
新規なことはほとんど書いてないのですが、表現方法に笑いが止まりませんでした。後でちょこっと書いてみますけど
例のブログのコメ欄（9割以上、電波なコメント）を見れば分かるように、おかしな人達はいっぱいいますよ
これスレでも盲信者・狂信者は例のツイッターの人だと決めつけていたのですが、やはりそれだけではないようですね
エイリアン・コピー論文は面白いですよ。私の中では昨夜、IUTは電○文書ということでほぼ確定しました
IU形式主義なんてものは整備できないだろうし、無理やり作ったらそれこそカオスかリゾームになりますよ
個人的な結論としては当初から疑っていたように、IUTは遅れてきたポストモダン風の数学ですね
250:１３２人目の素数さん
19/05/03 07:59:08.53 ko1lHBgH.net
IUTが遅れてきたポストモダン風だとするなら、夜中の人のレスはIUTの本質を誰よりも理解しているのかもしれない
251:１３２人目の素数さん
19/05/03 09:59:10.02 CiZddaYE.net
jinはここのもっちー動画は知らないのか。
URLﾘﾝｸ(www.msri.org)
252:１３２人目の素数さん
19/05/03 12:33:13.41 dZpVAm4g.net
オボれる者はバカをもすがる
奢れる者は久しからず
253:１３２人目の素数さん
19/05/03 12:42:22.33 CiZddaYE.net
もっちー=山中伸弥
Kim=黄禹錫(ファン・ウソク）
254:１３２人目の素数さん
19/05/03 13:08:46.26 CiZddaYE.net
ロバーツ氏はもっちーからあんたの理解はあまりにも薄っぺら過ぎると指摘されたのか。なんか惨めだな。
255:１３２人目の素数さん
19/05/03 13:11:57.33 xoFpsqci.net
（論文に穴があって取り下げとなった時には全てがブーメランで自分に突き刺さる）
256:１３２人目の素数さん
19/05/03 13:14:19.86 076sjNc3.net
てか、もう引けないんだろうな...
257:１３２人目の素数さん
19/05/03 13:22:28.59 RkGBx/O9.net
笹井教授は京大出身だったね。
258:１３２人目の素数さん
19/05/03 13:32:16.76 076sjNc3.net
へんなことになるくらいだったら、一転して色物タレント教授路線とか目指してほしい
生きててなんぼだよ
259:１３２人目の素数さん
19/05/03 13:47:03.23 CiZddaYE.net
朝鮮人の期待の星Kimが先にEffective Mordellを解いていたら朝鮮人は幸せだっただろう。
260:１３２人目の素数さん
19/05/03 14:10:08.28 l8kh5lBz.net
>>250
CMとかでも需要あるんじゃない？
令和初のやってもうた男とかで。
261:１３２人目の素数さん
19/05/03 15:01:18.88 uwSVXrrM.net
Bと二人で責任の擦り付け合いするのが見たい
262:１３２人目の素数さん
19/05/03 17:43:22.20 ko1lHBgH.net
望月の“The Mathematics of Mutually Alien Copies”という論文は、IUTの中核を理解できない人、懐疑的な人に向けた、
彼なりに分かり易く説明を試みたものだと思われるが、テクニカルな面というより、IUTの数学「思想」を表明したものだと思う
頻繁に修正しているし彼にとってはとても重要で、SSへの反論レポートと合わせて読めば彼の数学界へ向けた主張は大体揃う
ここで細かく書くことはできないので、関心のある人は“mysterious”で単語検索してみて下さい
極めつけは“mysterious indeterminate isomorphism”ですね
263:１３２人目の素数さん
19/05/03 17:53:00.68 xoFpsqci.net
>>253
Bは関係ないよ あの本だって仮に間違っていたら
あのときはそういうロマンを感じさせる話だったてへぺろ☆(・ω<)
264:１３２人目の素数さん
19/05/03 17:57:09.98 ko1lHBgH.net
自分なりに結論は出たので、その観点から見ればBは間違いなくIUTの最大の理解者の一人ですね
彼は以前ツイッターで西田哲学の絶対矛盾的自己同一に言及したことがあったと思う
基礎論を大きく変えるかもしれないとも。他の理解者も「新しい圏の幾何学」とか書いていたし、彼らは最大の理解者ですよ
まあ、MやBと同世代である私からすれば、M≒中沢新一or丸山圭三郎、B≒栗本慎一郎ですね。分かる人には分かる
遅れてきたポスト構造主義の夢物語ですよ。確かに従来の数学じゃない、「外の思考」ですよ
「勝手にしやがれ」、「勝手に逃げろ/人生」（ゴダール）ですよ
265:１３２人目の素数さん
19/05/03 18:11:14.93 7+GUCQGk.net
どんどんおかしくなっていく
266:１３２人目の素数さん
19/05/03 18:18:17.57 ko1lHBgH.net
そう、これからますますおかしくなっていくはずですよ
生温かい目で見守ってあげればいいんです（このスレの物理屋さんのように大学人としての姿勢を追及するのもいい）
今年の団代数のプロジェクトの方が遥かに重要ですよ。第1回目の参加者は錚々たるメンバーですね
267:１３２人目の素数さん
19/05/03 18:37:38.48 CiZddaYE.net
地動説や相対性理論と比較しうるパラダイムシフト。
268:１３２人目の素数さん
19/05/03 18:48:56.44 x/IxspoL.net
そもそもなんで本人が表に出てきて説明しないのか？
269:１３２人目の素数さん
19/05/03 19:41:18.17 hype4HK0.net
国内で対立構造を作るとアンチが終結して手に負えなくなるから
270:１３２人目の素数さん
19/05/03 19:58:02.01 xoFpsqci.net
アンチが終結ならめでたい話じゃないかw
271:１３２人目の素数さん
2019/05/0
272:3(金) 19:59:35.82 ID:4UR5xnR6.net
273:１３２人目の素数さん
19/05/03 20:01:08.97 CR+zcHa3.net
>>241
数論的テータ因子の計算法自体は一応わかるわけだから（発想としては割と独創的）、まあ計算可能なのは
別に不思議ではないんですけどね。高さが
言いたいことはわかるし、ディフェンス論文の線で何かを考えられないことはないんだけど
結局はまとめ上げて計算するわけですからね。だったらこうじゃん、となったのがSSの最後のダイヤグラム
エッシャーが引き合いに出されたけど、西田は勿論、不完全性定理も浮かびましたね、個人的には
ダグラスホフスタッターの奴みたいに
274:１３２人目の素数さん
19/05/03 20:13:35.85 CR+zcHa3.net
ラベルが必要だっていう主張は本当にわかる。特に遠アーベル幾何学者ならそう言いたいはず
ところが普通の数学者なら、そんないかがわしい余計なものを数理に持ち込むなって思うんじゃないか
つまりSSだけど、そう考えたらこの理論の今の位置付けは納得できる
勿論今の力関係が絶対とは言い切れないが
275:１３２人目の素数さん
19/05/03 20:45:30.28 CiZddaYE.net
ラベルがなんたらの話がよく理解されていないならこれを英訳すれば。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Muroran%202002-08).pdf
276:１３２人目の素数さん
19/05/03 20:51:29.47 ko1lHBgH.net
>>265
それは充満多重同型を認めた場合に生じる話だと思います
つまりSSはIUTの“distinct copies of various familiar objects”などというものに納得できず、
それは単に“completely natural isomorphism”、“ “obvious” isomorphisms ”から生じた、
“identical copies of objects along the identity”にしかならないとしています
つまり、充満多重同型を認めれば結果として再初期化の操作ができるようになり、そのために明示的なラベルが必要となる
認めることができなければラベルなど無用、同じものを作っているだけということになる
あと、B本は前書きと望月の寄稿しか読んでませんが、
IUTの宇宙が如何に“mysterious indeterminate isomorphism”によって作られた構造であるという説明をしているのでしょうか？
277:１３２人目の素数さん
19/05/03 21:18:12.47 ML05VQQI.net
今年の団代数いいね。離散最適化もタイムリーだ。来年？宇宙際堆肥無料？なんだそれ？RIMS大丈夫か？
278:１３２人目の素数さん
19/05/03 21:57:28.30 IqwO9V3f.net
jinが >>243 を見たようだ。
279:１３２人目の素数さん
19/05/03 22:22:04.22 CR+zcHa3.net
>>267
もはや遠アーベル幾何学ではなくて、超遠アーベル幾何学ですからね
280:１３２人目の素数さん
19/05/03 22:25:47.97 IqwO9V3f.net
jinはこれも面白いだろう。
Introduction to anabelian geometry
URLﾘﾝｸ(www.msri.org)
281:１３２人目の素数さん
19/05/03 22:52:31.15 CR+zcHa3.net
IUTがgeometric morphismの理論ではないことは山下さんも認めてるんだけど、こういう論法を認めたら
モノイドと様々な宇宙を巡って飛び道具みたいなメタ理論がたくさん作れる可能性がある
が、それでいいのかって話なんだよ
282:１３２人目の素数さん
19/05/03 22:59:33.22 IqwO9V3f.net
圏論屋の話は中身が薄っぺら。
283:１３２人目の素数さん
19/05/04 01:06:48.30 1sY0GrTi.net
と言っても、数論幾何学の専門家も圏論の専門家も一緒に首を傾げているわけだけども
284:１３２人目の素数さん
19/05/04 01:16:42.36 yKhzzHXK.net
>>274
ロバーツ氏の場合は首を傾げていると言うよりも、M氏から勉強不足を指摘されてふてくされている、ではないか。
285:１３２人目の素数さん
19/05/04 02:00:41.53 QoAUkIBD.net
肯定しておけば勉強不足とは言われないからね
286:１３２人目の素数さん
19/05/04 02:11:03.95 yKhzzHXK.net
勉強不足なら肯定も否定もできないだろ。
287:１３２人目の素数さん
19/05/04 02:39:29.35 GYBii+3F.net
それってブン・・
288:１３２人目の素数さん
19/05/04 07:48:18.58 p4s5X5iU.net
文チンよりも数学できる者だけが石を投げなさい
289:１３２人目の素数さん
19/05/04 07:55:14.84 ffS3S84d.net
出来ない者は匙でも投げてなさい。
290:１３２人目の素数さん
19/05/04 08:14:52.31 D+HijsE5.net
結局、既存の数学でのオーソドックスな論理でやれるって触れ込みだったけれど、
実は違って、新しい論理としてありかなしか、基礎論的な論争に持ち込もうという
ことなんだろうか。
俺はそれならそれでありだと思うけれど。最初から言えよ感はあるけど。
291:１３２人目の素数さん
19/05/04 08:40:03.36 my1y46Iz.net
４は当初なかったからそこまで
292:考えてなかったのでは 好きなだけやればいいけど証明としては一旦取り下げか
293:１３２人目の素数さん
19/05/04 09:30:32.39 NWEkmnES.net
大風呂敷を広げてみたがおたくと変わらなかった。
294:１３２人目の素数さん
19/05/04 10:09:14.71 aJJ/gbdE.net
賽を投げたら犀だった
295:１３２人目の素数さん
19/05/04 14:24:42.15 ndxHsXyd.net
Inter-universal Teichmuller Theory
宇宙際、宇宙間、どちらでもいいわけだが、
あえて宇宙際とするのは、なぜだ？
296:１３２人目の素数さん
19/05/04 14:48:09.05 ndxHsXyd.net
among と between の違いかな？
297:１３２人目の素数さん
19/05/04 15:01:58.84 2sveN7It.net
志村五郎が死んだ
298:１３２人目の素数さん
19/05/04 15:12:05.31 1hEtAZBU.net
inter-national 国際
inter-universal 宇宙際
299:１３２人目の素数さん
19/05/04 15:54:31.46 loO4MhV7.net
>>273
わかる
300:１３２人目の素数さん
19/05/04 15:54:49.45 Wwg9+TsY.net
新しい数学を標榜しながらも数理論理学において望月さんが無知っぽいから
誰もついていかないんだよね
数理論理の土台＋代数幾何操作であればまだ追う気になるけど
望月独自の数理哲学＋代数幾何操作だとほぼトンデモと変わらないから
フォロワーを増やしたいなら望月独自の数理哲学をちゃんと論理に乗せることに力を入れるべきだろう
301:１３２人目の素数さん
19/05/04 15:56:12.19 ohVz30mr.net
>>287
本当だ
URLﾘﾝｸ(www.math.princeton.edu)
302:１３２人目の素数さん
19/05/04 17:41:17.00 yKhzzHXK.net
志村五郎さんの最大の業績は何ですか？
303:１３２人目の素数さん
19/05/04 18:08:42.16 ohVz30mr.net
本物の毒舌で毒舌系数学ライターを駆逐したこと
304:!omikuji
19/05/04 18:12:39.82 oHirkkyN.net
>>288
このスレで最も有意義なレスであると認定する(￣^￣)ゞ
305:１３２人目の素数さん
19/05/04 18:24:25.58 VSk3Zx2c.net
>>293
志村さんは岩澤先生やグロたんの悪口も言いました？
306:１３２人目の素数さん
19/05/04 18:35:47.05 ohVz30mr.net
>>295
「志村が教わった頃の岩澤は自分の数学を持っていなかった」（この言葉通りではない）
「グロタンティークの出した問題を解くな」
307:１３２人目の素数さん
19/05/04 18:39:55.33 ndxHsXyd.net
横レス。
毒舌はすごかったけど、妙に説得力があって、
こてんぱんにやられた数学者やそれ以外の人らについて、
読後、嫌いになったよｗ
308:１３２人目の素数さん
19/05/04 19:43:44.76 hB9Ql9hn.net
谷山＝天才
志村＝偉そう
というイメージはある
309:１３２人目の素数さん
19/05/04 20:38:03.38 nk62m1+D.net
織田先生のコメントはよ
310:１３２人目の素数さん
19/05/04 20:38:36.49 gf0TiqlD.net
日本の偉大な数学者、志村五郎先生のご冥福をお祈り致します。
311:１３２人目の素数さん
19/05/04 20:56:56.82 VSk3Zx2c.net
志村さんが、グロたんのNATO批判は幼稚だ、と言ったとか。そんな政治の話までしなくてもいいような、、、
そんならオズヴァルト・タイヒミュラーはコテコテのナチだったと非難するんですか。
312:１３２人目の素数さん
19/05/04 21:04:08.73 zzjdvFqD.net
今頃向こうで岡潔にしごかれてそう
313:１３２人目の素数さん
19/05/04 21:10:45.04 /qxZpzCm.net
志村五郎の毒舌、好きだったがな
それだけの芯の強さと自負があったからこそ、あの時代あれだけの業績をあげられたんだと思う
ご冥福をお祈りします
314:１３２人目の素数さん
19/05/04 21:22:51.49 ohVz30mr.net
>>301
当然じゃないか
315:１３２人目の素数さん
19/05/04 22:02:09.36 VgrXV427.net
>>301
志村はなまじ博識だから、薄っぺらな政治議論をする
グロたんに業を煮やしたんだろう。
316:１３２人目の素数さん
19/05/04 22
317::14:37.23 ID:8Kky4+lC.net
318:１３２人目の素数さん
19/05/04 22:19:14.93 N42UHCl+.net
志村五郎って余芸で詰将棋作ったり中国古典の本かいたりまでしていたらしいね
319:１３２人目の素数さん
19/05/04 22:26:57.56 VSk3Zx2c.net
志村さんに悪口言われた人は、
ヒルベルト、ヘッケ、ヴェイユ、谷山豊、高木貞治、岩澤健吉、グロタンディーク、マッカーサー、丸山真男、、、
他にもいる？
320:１３２人目の素数さん
19/05/04 23:08:47.44 YmApHJR7.net
>>308
谷山の悪口は断じて言ってない
94年の騒動の時も絶対にそこは守ってた
321:１３２人目の素数さん
19/05/04 23:15:17.83 7a6Doup3.net
悪口は言ってないが谷山が生きてたら言わなかっただろうことは言ってたな
322:１３２人目の素数さん
19/05/04 23:40:04.21 ndxHsXyd.net
・谷山は、なにしろ間違いが多かった
・あの予想は、自分（志村）がまとめたから
予想になったが、そうしなければ谷山の名前は残ってなかった
谷山については、こんな感じのことを書いてたように記憶してる
323:１３２人目の素数さん
19/05/04 23:40:47.65 ks8uJPV2.net
海外じゃモジュラー性定理なのによう言うでほんま
324:１３２人目の素数さん
19/05/04 23:43:02.80 ndxHsXyd.net
谷山について書いたのは、
フェルマーで予想が脚光浴びたあとだったと思う
325:１３２人目の素数さん
19/05/04 23:45:09.01 jlEr16Wn.net
>>311
谷山の間違いはいい間違いだった
私には谷山の真似はできなかった
と書いてあるのは記憶してる
326:１３２人目の素数さん
19/05/04 23:47:12.84 yKhzzHXK.net
志村さんは小平邦彦の悪口も言った？
327:１３２人目の素数さん
19/05/04 23:50:12.48 q3SbWj9b.net
ゴシップ好きだよなお前ら
知能jin並みかよ
328:１３２人目の素数さん
19/05/04 23:53:32.82 yKhzzHXK.net
もっちーがP大学で志村五郎さんの弟子にならなくて良かった。
329:１３２人目の素数さん
19/05/04 23:59:38.38 4nmypXJB.net
志村五郎のこっちの人とあっちの人という表現は結構好き
あらゆる領域において決して行き来出来ないコッチとアッチが存在する気がしてる
330:１３２人目の素数さん
19/05/04 23:59:43.53 PwfKd+ce.net
故志村先生が“mysterious indeterminate isomorphism”なんて言葉聞いたら数分間ジト目で睨みつけると思うんだけどね
331:１３２人目の素数さん
19/05/05 00:13:04.70 gaZBkf+n.net
武谷光男先生曰く、
頭脳流出が問題なのは物理の南部と数学の志村の二人ぐらいだ。
あとは出ていってもどうってことはない
332:１３２人目の素数さん
19/05/05 00:22:23.69 NIsOMWDj.net
志村五郎は自殺した谷山豊の業績も自分のものにしようとした可能性がある？
333:１３２人目の素数さん
19/05/05 00:32:46.67 4aqVMb7W.net
偉大な数学者がまた一人
いよいよまともな人がいなくなってきた
334:１３２人目の素数さん
19/05/05 00:54:43.75 rm7AMlBf.net
フェルマー予想が証明されたことについてなんか発言した？
335:１３２人目の素数さん
19/05/05 00:58:16.00 NIsOMWDj.net
谷山が生きていたら、志村五郎は嘘をついている、と言ったかもしれない。
336:１３２人目の素数さん
19/05/05 01:02:41.26 5EeweGEC.net
高木邸での夕食の一件で弥永と志村で話が食い違ってるの面白い
337:１３２人目の素数さん
19/05/05 01:43:13.47 c7fSKLHw.net
一般には谷山・志村予想って言う人が多いと思うんだけど俺の指導教官は
「志村・谷山」の順で呼んでたな。子分は気を使ってこう呼ぶのかね？
338:１３２人目の素数さん
19/05/05 01:52:45.82 NIsOMWDj.net
アルファベット順？
339:１３２人目の素数さん
19/05/05 02:00:49.95 TYH7UiGC.net
>>325
kwsk
340:１３２人目の素数さん
19/05/05 02:36:04.09 vfQU+q3k.net
>>322
望月がいるじゃないか
341:１３２人目の素数さん
19/05/05 06:05:05.94 NluvEwou.net
拓郎ちゃん？
342:１３２人目の素数さん
19/05/05 06:08:03.02 sXSXB5tv.net
志村五郎さんはスキーム論は勉強したのですか？
343:１３２人目の素数さん
19/05/05 06:46:28.23 IYscNAsf.net
谷山が提出して志村がまとめた
だから、谷山・志村でいいよね？
344:１３２人目の素数さん
19/05/05 06:54:03.73 sXSXB5tv.net
本当はTaniyama-Weil Conjectureと言うべきかも。志村五郎の証言だけでは証拠不十分。
345:１３２人目の素数さん
19/05/05 07:19:05.86 zwVD60Q1.net
>>323
「だから言ったでしょう」
346:１３２人目の素数さん
19/05/05 07:34:53.70 mf4mUS/E.net
ある意味、正直すぎんだよな。
一流学者なんて基本、二流以下を見下しているんだろうが、
あまりそんなことは表に出さないけど、たまに出してしまう人がいる。
阪大からPに移籍した理由も阪大の給料が安すぎたせいってはっきり書いていたし。
347:１３２人目の素数さん
19/05/05 07:37:30.77 IYscNAsf.net
>>331
スキームなんか邪道だと思ってたのかな
348:１３２人目の素数さん
19/05/05 07:59:21.40 /v9nlGRm.net
>>333
ラングの調査だとそれは否定されるべき見解
349:１３２人目の素数さん
19/05/05 08:03:44.31 N+e//Ed8.net
何か、Weilが言及して欧米の研究者はそっちの名前ばかり呼んでたんだっけ？
でも歴史的には正しくなかったと。結局modularityがメインなっちゃったけど
350:１３２人目の素数さん
19/05/05 14:55:48.65 y+4YdsO3.net
失望しているよ、自分自信に......
いつか言ってみたいものだ
351:１３２人目の素数さん
19/05/05 15:07:23.20 qu58fOSC.net
定理でも予想でもよくわからんときは人名をつけないのが無難だろうな
重要なものほど後になって誰々がもっと前に特殊な場合をやっていたとか出てくる
352:１３２人目の素数さん
19/05/05 15:25:34.70 6NiEH63N.net
Weilは反対意見もってたくらいだから
353:１３２人目の素数さん
19/05/05 16:17:39.23 0cMgCsf+.net
>>336
志村先生がどう思っていたかは分からない。ただ氏が時代的理由でスキームについて勉強する機会がなかっただけと思う。
こういう経歴はグロタン信者にとって蔑むべきかもしれないが、彼のCM体上のアーベル多様体についての結果を考えると、氏が代数幾何について疎かったはわけでは決してない。
354:１３２人目の素数さん
19/05/05 16:31:44.24 WtriyHgM.net
>>280
www
355:１３２人目の素数さん
19/05/05 22:14:59.61 zfCl+XVJ.net
>>267
今さらだけど最後の行は現在よくわかんないです
買おうと思って結果二度別のを買ってるんで、未だに貶すことすらできないという
連休も誰も具体的な内容を取り上げないですね
356:１３２人目の素数さん
19/05/05 23:29:44.99 FcaoTTYL.net
具合の悪いトコロには触れナイモノＤＥＡＴＨ