Inter-universal geometry と ABC予想 38

Inter-universal geom ..

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
Reddit
"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
ショルツらの指摘も実際にプログラムを走らせてみろ、とあったよね。
テイラーが検証プログラム組んで検証するってなったけどどうなったの
３月にわざわざ来日したんでしょ。

次ページ