Inter-universal geometry と ABC予想 27at MATH
Inter-universal geometry と ABC予想 27 - 暇つぶし2ch881:132人目の素数さん
18/06/07 02:00:26.79 NrWEpwUk.net
取り巻きが静かになったね。
ことの重大さを認識したかな。
これからは針のむしろだよ。
RIMS上層部も責任逃れをしだすのかね。
日大みたいに。

882:132人目の素数さん
18/06/07 02:20:38.95 OB26y5r2.net
水から石油の教授のように

883:132人目の素数さん
18/06/07 02:46:26.79 ZDTLxR9Y.net
フランス語でも噂が拡散されてるお
URLリンク(francis.naukas.com)

884:132人目の素数さん
18/06/07 03:19:15.07 0dSm1B5l.net
それはスペイン語なんですが・・・
コロンビア大のDavid Hansenがブログに書いていた件についてだね

885:132人目の素数さん
18/06/07 05:54:50.25 pYs87a4q.net
>>847
Inter-universal geometry と ABC予想 25
0654 132人目の素数さん 2018/04/03
14:25:19
>>473
レクチャーノート
>Peter Scholze, who everyone thinks is
the greatest mathematician of thisgeneration,
says he cannot deduce 3.12 (which is the ABC conjecture, in paper #4) from 3.11 (a summary of the first 3 ABC papers)
in Mochizuki’s papers.
>Koshikawa had a similar problem,
and when he asked Mochizuki


886:about it, the latter responded that the deduction is self-evident. 





887:132人目の素数さん
18/06/07 06:00:54.06 pYs87a4q.net
Inter-universal geometry と ABC予想 25
0654 132人目の素数さん 2018/04/03
14:25:19
>>473
レクチャーノート
>Peter Scholze, who everyone thinks is
the greatest mathematician of thisgeneration,
says he cannot deduce 3.12 (which is the ABC
conjecture, in paper #4) from 3.11
(a summary of the first 3 ABC papers)
in Mochizuki’s papers.
>Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is
self-evident. 



888:132人目の素数さん
18/06/07 06:04:43.55 ciUFb9Do.net
IUTに逆風が吹いてるのか…
外野ではあるが、斬新で意欲的な研究活動には声援を送りたいのよね。
望月さんにもっと海外に出て行って普及と説得のための活動をして欲しい。
彼は少年期の大半をアメリカで暮らして、大学もアメリカだったんだから、
英語での意思疎通に難はないはずだし、海外に知己もいっぱいいるんでしょ。
京大教授としての地位も安定してて、海外に行く経済的余裕もあるはず。
こんな恵まれた境遇は、普通の日本人数学者には望んでも得られない。
それなのに、日本に引きこもって、それを最大限に生かしていないように見える。
望月さん、自己の恵まれた境遇をもっと生かして、普及と説得に努めて下さい。

889:132人目の素数さん
18/06/07 06:12:53.84 pYs87a4q.net
STAP現象
以下 略

890:132人目の素数さん
18/06/07 06:19:48.59 2579HZik.net
星さんの解説読んでみたらIUT無駄に造語作りすぎな印象
壮大な厨二病に付き合わされてる気分になってきて疲れる

891:132人目の素数さん
18/06/07 07:18:41.78 iWhRY9l2.net
IUTオワタんでつか?

892:132人目の素数さん
18/06/07 07:41:16.70 vkbJfcjp.net
俺様TUEEE感満載のオナニー論文w
人さまに読んでもらおうという意思が感じられないw
こりゃ普及は無理ですわ

893:132人目の素数さん
18/06/07 07:44:58.19 vbi8af3F.net
なんかスレ伸びてると思ったら続報ないんかよ
ショルツが間違いを指摘するとかいうペーパーまだー?

894:132人目の素数さん
18/06/07 09:31:47.00 KGCj8qdi.net
クソ映画特有の、「会話の中に急に知らない単語が現れて困惑する」現象

895:132人目の素数さん
18/06/07 09:54:16.89 CwhQhK8V.net
>>864
続報の待ち方を間違っているし
続報と言うより流れに興味を持つべき

896:132人目の素数さん
18/06/07 10:40:03.14 l7e7XJrZ.net
STAPはNatureに掲載された論文が
盗用 不正の疑惑だった、
論文が数学誌に掲載される=確定だ。

897:132人目の素数さん
18/06/07 12:09:30.12 L51N/gia.net
黒川先生の絶対数学はオカルトですか?

898:132人目の素数さん
18/06/07 12:12:22.94 bX2uJ4Zw.net
そもそも黒川先生のものではない

899:132人目の素数さん
18/06/07 15:08:06.25 xeXzNxJL.net
>>846 消すメリットなんてないのに、わざわざ消したってことは
ショルツの指摘が致命的だということを理解してしまったんかな。

900:132人目の素数さん
18/06/07 15:21:06.52 xeXzNxJL.net
数論幾何って個人崇拝が激しいんだよね。
「あの人は頭がバツグンによくて、ムズカシイことをたくさん知っている。
だからやってることも素晴らしい」ってw
受賞紹介記事とか、みんなこういう調子w
偉そうにしてるけど、全然アウトプットがない人、たくさんいますw

901:132人目の素数さん
18/06/07 15:35:15.25 fFzS4HQD.net
今までは見逃されてきたけど
今後は数論幾何に関しても、特別な優遇とかはなくなるだろうね

902:132人目の素数さん
18/06/07 16:18:19.91 HYG74TNe.net
足を引っ張るようなことを言うべきではない

903:132人目の素数さん
18/06/07 16:54:13.08 /r6ckbHs.net
和也先生より下の世代で数論の分野で世界的な業績上げた日本人いなくない?
東大のたけし先生とかも教育者としては優秀なんだろうけど…

904:132人目の素数さん
18/06/07 18:33:47.85 CwhQhK8V.net
>>874
和也先生が最後尾だな
和也先生以前世代は岩澤、志村、谷山、肥田など迫力ある日本人数学者がいたが
日本独特の受験制度のせいかも知れん
膨大な理論のフォロワーとか膨大なページ数のテキスト書いたりとか
受験勉強的な人は今でもかなりいいる

905:132人目の素数さん
18/06/07 18:37:38.16 CwhQhK8V.net
森毅とか深谷賢治の読み物を読んでると
日本の受験システムがどんどん今の形に肥大していったのは
ちょうど今の50歳前後の世代からみたい

906:132人目の素数さん
18/06/07 20:19:44.08 0ioh6z/e.net
中学入試の算数なんて却って害悪じゃないかと思うときあるわ
問題集解いてると三角柱を斜めに切った立体の体積を求めるのに
(底面積)×(高さの平均)って公式を何の断りもなしに使ってたりするけど
一般の多角柱じゃ成り立たないのに塾ではどうやって教えてるんだろう
まさか公式を丸暗記させたりなんてしてないだろうな

907:132人目の素数さん
18/06/07 20:58:40.19 GXd8EeNd.net
>>874
>東大のたけし先生とかも教育者としては優秀なんだろうけど…
いやいや、ほとんど放任主義だよ。
東大なだけあって学生が元々優秀だからね。
学生が勝手に立派に育ってるだけ。

908:132人目の素数さん
18/06/07 21:20:31.74 CwhQhK8V.net
>>878
欧米人の仕事のフォロワー人間がいくら量産されても。
それを「立派に育っている」と取る事自体が危うい気もする。

909:132人目の素数さん
18/06/07 21:42:34.01 0dSm1B5l.net
IUT関連情報がないからスレの流れに乗って書いとく
あまり世代で専門の話はよくないと思うけど…
以下敬称略、カッコ内の数字は生まれ年
【ほぼ団塊世代】
宮岡洋一(49)、織田孝幸(50)、森重文(51)、加藤和也(52)、肥田晴三(52)
【60年代前後】
深谷賢治(59)、小野薫(60)、中島啓(62)
【参考】
大栗博司(62)
かなり恣意的なチョイスだけどね

910:132人目の素数さん
18/06/07 21:49:47.42 0dSm1B5l.net
ホーキングやペンローズが社会現象を起こしていた頃は、数学できても物理や分子生物学に行く連中が多かったな
ワイルズの証明があった頃はどうなんだろ、今の30代半ばぐらい、ショルツが31歳か
今の子たちはたぶん医学に行くんだろうね

911:132人目の素数さん
18/06/07 22:06:52.01 0dSm1B5l.net
久しぶりに肥田氏のHP覗いたら下のリンクが冒頭にあった
URLリンク(conferences.cirm-math.fr)
ショルツはすごいね、当たり前だけど

912:132人目の素数さん
18/06/07 22:11:04.89 CwhQhK8V.net
>>881
>数学できても
あんたの言う「数学」はいわゆる数学ではなくて
算数か何か(受験数学etc)の事だろ

913:132人目の素数さん
18/06/07 22:12:13.41 CwhQhK8V.net
>>880
2行目の日本語が素でわからないし
そのチョイスで結局あんたが何を言いたいのかも分からん

914:132人目の素数さん
18/06/07 22:20:37.02 0dSm1B5l.net
>>883
そうだよ。世代のの話が出てきたからその時代の数学や科学に影響を受けた少年たちのことを指している
なんでケンカ腰なんだろう?
>>884
挙げられた人物たちが何を研究しているか知っていれば自ずと分かるだろう、同意するかどうかは別の話
それよりキミ、加藤氏と肥田氏は同い年、加藤氏は早生まれで�


915:P学年上だよ、俺はキミのレスをやんわり訂正する意味も込めてこれを書いたんだよ、 感謝してほしいくらいだがね くだらない絡み・煽りはよしてくれ



916:132人目の素数さん
18/06/07 22:27:17.86 iWhRY9l2.net
学校数学は数学でないということを世間の人にわかってほしい

917:132人目の素数さん
18/06/07 22:27:55.55 BPqMsonK.net
>>874-875
ID:/r6ckbHs=ID:CwhQhK8V
自演乙ww

918:132人目の素数さん
18/06/07 22:33:48.36 CwhQhK8V.net
>>885
「そうだよ」以降の内容が俺の>>883←のレスの内容と無関係
日本語のやり取りが成立していない
>>885
>自ずと分かるだろう
何が自ずと分かるのかが分からんと言ってるんだが
日本語のやり取りが成立していない
>をやんわり訂正する意味も
俺のレスと何も矛盾していない
まさか俺の書いた以前世代という部分の「以前」という言葉の
小なりイコールのイコールの意味をあんたが勝手に抜いて
「以前世代」=「よりも古い世代」とあんたが誤読したんじゃないのか?
日本語のやり取りが成立していない

919:132人目の素数さん
18/06/07 22:40:49.21 0dSm1B5l.net
なんなんだろう、この人は?
2,3日前にも誰かと不毛なやり取りをしていたな
悪いけどスルーさせてもらうよ、キミと関わるのは時間と労力のムダだから

920:132人目の素数さん
18/06/07 22:47:27.36 CwhQhK8V.net
>>889
反論を放棄するなら他人を批判する権利も放棄しなければならない。
根拠のやり取りが出来ないバカは2ちゃんから消えた方が良い。
無視するなら一々宣言なんぞせずとも
勝手に一人で尻尾を巻いてトンズラしろアスペ。

921:132人目の素数さん
18/06/07 22:50:32.33 1fVHU7Hr.net
肥田加藤川又黒川....

922:132人目の素数さん
18/06/07 23:18:05.01 SFqUTCrS.net
>>874
辻先生は?

923:132人目の素数さん
18/06/07 23:18:25.39 xx62C3kl.net
クソみたいなコメやり取りしてんじゃねーよカスー

924:132人目の素数さん
18/06/07 23:20:04.66 3vAakHbA.net
>>877
塾や小学校の教え方は知りませんが、
その公式は平均がポイントじゃないの。
粘土の三角柱を斜めに切った立体で、
底面を固定して高さを底面と平行にした
三角柱に変形する。
この時の高さが高さの平均です。
立体の体積=底面積×高さの平均
また 切断角度と体積は連続に変化します。
(平均値の定理です)
中学入試がんばれよ~

925:132人目の素数さん
18/06/07 23:49:26.15 JuXdCiBD.net
空海と国際数学オリンピック満点金メダリストはどっちの方が頭が良いですか?

926:132人目の素数さん
18/06/07 23:52:13.79 3vAakHbA.net
あ、
自明と決めつけずに、
多角形の場合も粘土の立体で
実験することが大切ですね。

IUT 動画の説教を見ても分かった雰囲気に
される、だけ

927:132人目の素数さん
18/06/08 00:27:49.86 NEa8Cr+6.net
>>889
ID:CwhQhK8Vは相手にしないのが吉

928:132人目の素数さん
18/06/08 02:02:05.52 3s3C0MqG.net
>>896
多角形→多角柱

929:132人目の素数さん
18/06/08 05:17:24.79 zc6gHT97.net
>>874
IUTがなくても望月さんの業績は素晴らしいんだけどね

930:132人目の素数さん
18/06/08 06:23:55.74 3s3C0MqG.net
取り巻きw

931:132人目の素数さん
18/06/08 07:41:42.13 fLVrMyc2.net
最近の日本人は理論の整備屋ばっかり

932:132人目の素数さん
18/06/08 11:12:53.67 R60q4IOu.net
IUTの整備まだですか?

933:132人目の素数さん
18/06/08 12:20:36.82 RadgMR/O.net
GOのサーベイけっこう整理して書かれてある

934:132人目の素数さん
18/06/08 13:12:43.33 LNAszgzF.net
GOの私見によるサーベイかな?

935:132人目の素数さん
18/06/08 13:14:11.70 Q6gmkdd/.net
元論文を書き直せよ

936:132人目の素数さん
18/06/08 15:12:26.60 R60q4IOu.net
独りよがりの研究やっても数学の発展に寄


937:与できてないんじゃないか?



938:132人目の素数さん
18/06/08 15:32:07.92 NCPwfI/q.net
予算は獲得したので
あとは野となれ山となれ、みたいな?

939:132人目の素数さん
18/06/08 15:53:52.26 fLVrMyc2.net
>>907
そういう話では全然ない
IUTには生命が入ってないのではという評価が多いが
単なる予算獲得のダミー目的で6千ページに及ぶ膨大な抽象理論を
構築するには費用対効果が著しく小さすぎる

940:132人目の素数さん
18/06/08 16:12:52.91 VhvDZlDy.net
そんでgは自己満のサーベイ(個人攻撃付き)書いて終わり?
リムスのパーマになってはや2年半、いまだになんのアウトプットも無いわけだが、
こいつ何やってんの?

941:132人目の素数さん
18/06/08 16:44:21.63 5P/FqdAG.net
IUTの査読、あと10年はかかりそうだなw

942:132人目の素数さん
18/06/08 17:20:24.89 WMzgAJBh.net
>>909
フランスとシンガポールと慶應で布教するらしい
URLリンク(www.kurims.kyoto-u.ac.jp)
ABC Conjecture and Inter-universal Teichmüller Theory (15 hours in total)
(5-9/Nov/2018 at Keio University, series lectures)
A Proof of the ABC Conjecture after Mochizuki. (45 minutes)
(25/June/2018 at Institute for Mathematical Sciences @ the National University of Singapore, Pan Asia Number Theory Conference 2018)
A Proof of the ABC Conjecture after Mochizuki. (60 minutes)
(18/June/2018 at Institut de Mathématiques de Jussieu, séminaire de théorie des nombres)

943:132人目の素数さん
18/06/08 17:39:45.29 WMzgAJBh.net
>>910
遅くても2020年だろう
望月本人が2020年までには検証中の看板を下ろすと言ってる

944:132人目の素数さん
18/06/08 17:52:00.90 oy9NU9XD.net
ドサクサまぎれて設立したセンターは
看板を下ろせよ
血税の無駄

945:132人目の素数さん
18/06/08 17:58:08.91 VhvDZlDy.net
>>911 フェセンコの講義しかり、これで理解者が増えなかったらいよいよ本格的に矢面に立たされるね。
>>912 取り巻きと山師みたいなのしか自称理解者がいないもんを一方的に検証終了とかでっち上げられてもな。。。w

946:132人目の素数さん
18/06/08 18:54:51.16 fLVrMyc2.net
>>913
何の看板を降ろせと言ってるんだ?
因みに量子幾何って何のことかを理解して言ってるのか?

947:132人目の素数さん
18/06/08 19:08:25.41 oy9NU9XD.net
>>915
これだよね~

次世代幾何学研究準備センター
新しい数学思想に基づく幾何学に関して,
国内外の研究者との連携研究を準備する
ため平成29年12月に設置された.
センター長 望月新一
URLリンク(www.kurims.kyoto-u.ac.jp)

948:132人目の素数さん
18/06/08 19:37:57.64 fLVrMyc2.net
>>916
聞いたことに答えてない
=理解している事を提示出来ていない
>>913←の批判には合理性がない

949:132人目の素数さん
18/06/08 19:45:20.37 z/Fom/k6.net
>>910>>912みたいなこと許されんのかね?
2020年になっても絶対に先延ばしするのが目に見えてる。
あきらかに証明ができていないのに、「理解されないだけ」に話をずらすのってどうなのよ。
ワイルズのときは、最初の証明発表の後、誤りが指摘され、すぐにそれをいあさぎよく認めて弟子の力を借りて証明を完成させた。
今回のケースとは大違いだ。、

950:132人目の素数さん
18/06/08 19:49:22.51 P1TKgezQ.net
そ�


951:烽サも外部の数学者の大半が論文を読もうともしていないように見えるのはなんでなの? 21世紀最大の数学的出来事なんだろ?



952:132人目の素数さん
18/06/08 19:51:16.39 fLVrMyc2.net
>>916
スマン量子幾何なんちゃらは次世代幾何なんちゃらとは別に以前から存在してるみたいだった
そこは俺の勘違い
ただその次世代幾何なんちゃらなんてのは別にその看板があろうがなかろうが
モッチーやタクローや玉やらは自分の仕事を続けていくだけの事に変わりがないから
最初の俺の質問の「結局どうしろと言うのだ?」は質問として正しい。
仮にIUTが世間をあっと驚かすほどではなかったにせよ
モッチー自身がIUTを突き詰めようとする事を止める謂れはない。

953:132人目の素数さん
18/06/08 19:56:09.50 fLVrMyc2.net
>>919
数学の価値は「客観的に天から与えられて」決まるモノじゃない。
他の数学者はIUTにそれほどの価値を感じないから読もうとしないだけ。
IUTと何かもっと深い数学的な構造とのつながりがより具体的に明白になってくれば
興味を持つ者は増えるかも知れないが
現時点では高々ABCという散発的な式を証明しただけ

954:132人目の素数さん
18/06/08 19:59:55.73 P1TKgezQ.net
>>921
つまり、ABC予想の証明のためだけのためにあの論文を読むのは
「割に合わない」ということ?

955:132人目の素数さん
18/06/08 20:11:04.85 fLVrMyc2.net
>>922
だいたい合ってる。
ABCもFermatもそれ自体に価値はなく
それを解こうとする努力によって何か新しい数学を生み出す刺激を
与える事に価値がある。
そして
「価値がある」という客観的事実が先にあって、
でも「他の数学者が興味を示さない」事はオカシイ、ではなくて、
「他の数学者が興味を示さない」事が先にあって、それによって主観的に
その概念の価値の評価が決まるわけ。

956:132人目の素数さん
18/06/08 20:38:47.09 Kesi3nDV.net
>>920
読めないの?
平成29年12月に設置された.

957:132人目の素数さん
18/06/08 20:40:05.43 z/Fom/k6.net
>>918
読んでるやつ結構いると思うよ。
読んで「こりゃトンデモだ」と結論してるんだろw
すくなくともショルツは10日で間違いを発見した。

958:132人目の素数さん
18/06/08 20:46:49.70 z/Fom/k6.net
IUTが数学者の興味をひかないから正しさが認められないって意見があるけど、それはちょっと違うね。
数学的な魅力のなさなら、四色問題や、ケプラー予想の解決のほうがはるかに魅力がない。
なんたって論文の大多数はただのコンピュータの検証なんだから。あ、カタラン予想の解決もそうだったかな。
だけど比較的に短時間で正しいという認識が一般化した。
IUTは単に「証明になってない」からみんな興味をひかないんだと思う。

959:132人目の素数さん
18/06/08 21:08:48.10 Kesi3nDV.net
IUTだよねー

次世代幾何学研究準備センター
新しい数学思想に基づく幾何学に関して,
国内外の研究者との連携研究を準備する
ため平成29年12月に設置された.
センター長 望月新一

960:132人目の素数さん
18/06/08 21:11:11.75 VhvDZlDy.net
>>918 すでに公表されているだけでもConrad、Scholze、Koshikawaが解読を試みて
致命的な問題点を具体的に指摘しているんですが。。。

961:132人目の素数さん
18/06/08 21:12:23.67 VhvDZlDy.net
918じゃなくて919ね

962:132人目の素数さん
18/06/08 21:13:11.60 dpknXKvZ.net
>証明になっていない
それ、お前の中の妄想だろ。
どの論文の何ページの何行目がどういう理由で証明になっていないのか
自分の言葉で説明してみろよ。

963:132人目の素数さん
18/06/08 21:15:12.34 Kesi3nDV.net
取り巻き?おばさん?
毎日、毎日、いいわけお疲れ様

964:132人目の素数さん
18/06/08 21:18:34.42 VhvDZlDy.net
信者の中では取り巻きだけが信頼できる研究者で、
ConradやScholzeなどの第一線で活躍してる研究者は
「理解力が乏しい無視していいノイズ」として処理されるらしいw

965:132人目の素数さん
18/06/08 21:46:22.42 XjVjWG1h.net
>>すでに公表されているだけでもConrad、Scholze、Koshikawaが解読を試みて
致命的な問題点を具体的に指摘しているんですが。。。
怪しいとか理解できないとかではなく、議論が間違っていると証明したソースを
あげてくれよ

966:132人目の素数さん



967:
フェセンコの言い分を妄信してるアホ発見。 内容がないと言われているものの間違いを証明せよなんて、悪魔の証明でしかない。 できると思うなら、まずは次の”証明”が「間違えていること」を証明してみてくれ。 定理:リーマン予想は成立する。 証明:定義より自明。



968:132人目の素数さん
18/06/08 21:53:54.96 z/Fom/k6.net
self-evidentでないものをself-evidentと言っている望月が、明らかに間違っている。
モーダスポネンスで導かれていないのに、そんなこと言うのはおかしい。

969:132人目の素数さん
18/06/08 21:58:23.49 z/Fom/k6.net
おれは>>933な詭弁を述べる奴がいつまでものさばるから、
>>910>>912みたいにいつまでも検証を先延ばしにするやり方が汚いと思うんだよ。
証明になってないんだから「証明はまだできていませんでした」って正直に認めるべき。

970:132人目の素数さん
18/06/08 21:58:40.95 XjVjWG1h.net
IUTのプレプリントの何ページの何行目のどこの議論のことを言っているのか?

971:132人目の素数さん
18/06/08 22:02:47.56 pnRgl2rN.net
どこも何も>>7とかで何度も言われてるでしょうが

972:132人目の素数さん
18/06/08 22:13:23.41 XjVjWG1h.net
initial dataの最初の所、ガロア表現の像の条件はなんでついているかとか分かってる人たちだよね、君たちは

973:132人目の素数さん
18/06/08 22:13:49.77 N+HqFeul.net
>>932
>ConradやScholzeなどの第一線で活躍してる研究者は
>「理解力が乏しい無視していいノイズ」として処理されるらしいw
そうした行動を取るということは
今まで数学界(人間社会)で築きあげてきた「信頼」を放棄する
ということに値しますが
「信頼」を放棄してまで望月氏がそうした行動を取っていると考えるのは
何故だと思ってますか?
失礼な表現をしますが
望月氏は馬鹿ではないのだから
誤りが見つかれば、素直に誤りを認めて訂正するし
(事実、2012年10月にDimitrovとVenkateshから誤りを指摘された際、指摘を認めて訂正を約束し、同年12月に訂正版の論文を発表した)
破滅への道に自ら突き進んでいくような
愚かな真似はしないでしょう。
言うまでもなく。

974:132人目の素数さん
18/06/08 22:23:25.45 Kesi3nDV.net
>>940
>誤りが見つかれば
PRIMS掲載後に、誤りの指摘があるか
興味がある。
12月から噂があったな。
ま、掲載されないと誤りと確定しないからね、
スレでも散々罵倒されたし、、

975:132人目の素数さん
18/06/08 22:27:05.80 XjVjWG1h.net
IUTでガロア群から単数群をどう導くかくらい分かってる人たちだよね、君たちは

976:132人目の素数さん
18/06/08 22:32:57.19 Kesi3nDV.net
ConradやScholzeが分からんのに、、
分かった気分になれないなあ~

977:132人目の素数さん
18/06/08 22:34:56.63 VhvDZlDy.net
>>940 笹井さんの例もあるしなあ。

978:132人目の素数さん
18/06/08 22:35:44.88 EBnS4LIn.net
>>942
なんのガロア群からなんの単数群をみちびくの?

979:132人目の素数さん
18/06/08 22:37:35.31 XjVjWG1h.net
標数0の局所体

980:132人目の素数さん
18/06/08 22:42:59.35 EBnS4LIn.net
>>946
なるほー。
局所類体論の相互律写像を考えば復元できるお。

981:132人目の素数さん
18/06/08 22:46:24.24 XjVjWG1h.net
そういうことw 簡単なこと聞いて住民層をdetect

982:132人目の素数さん
18/06/08 22:50:40.89 EBnS4LIn.net
検出されちまったお。。

983:132人目の素数さん
18/06/08 23:03:59.65 Kesi3nDV.net
>IUTでガロア群から単数群をどう導く
かくらい分かってる人たちだよね、
君たちは

IUT信者発見装置

984:132人目の素数さん
18/06/08 23:29:48.41 XjVjWG1h.net
学部生でもわかることだよw よいこのみんな勉強しようねww

985:132人目の素数さん
18/06/08 23:36:20.81 v4hRM7vx.net
学部質問スレで聞いてもダメだったのでここで質問させて
普通は単体集合から±1を係数に使って2回いくと消える微分(つまり鎖複体)を作るけど、1のn乗根使うとn回いって消える微分が作れるらしいので誰か知ってたら論文教えて

986:132人目の素数さん
18/06/08 23:37:02.43 Hsmq2TGV.net
オバサンが今日もがんばってまふね

987:132人目の素数さん
18/06/08 23:53:40.


988:30 ID:7tSFofpX.net



989:132人目の素数さん
18/06/08 23:55:44.05 7tSFofpX.net
…数理解析学概論は…いい本だぞ

990:132人目の素数さん
18/06/08 23:57:05.87 7tSFofpX.net
数学徒が言う「任意の」と「全ての」は同義であるかほぼ同義です(ただし解析学では微妙に意味合いが違うので論理的にとらえすぎるのもよくない)

991:132人目の素数さん
18/06/08 23:59:49.27 N+HqFeul.net
>>953
私はjinではありません。

992:132人目の素数さん
18/06/09 07:39:26.10 vM24Lyxx.net
>>926
>IUTが数学者の興味をひかないから
>正しさが認められないって意見があるけど、それはちょっと違うね。
藁人形論法おつ
×興味をひかないから正しさが認められない
○興味をひかないから関心が持たれない

993:132人目の素数さん
18/06/09 07:42:22.05 vM24Lyxx.net
>>927
>IUTだよねー

>次世代幾何学研究準備センター
望月拓郎先生や玉川先生も所属しているので
別にイコールってニュアンスでもないだろ

994:132人目の素数さん
18/06/09 08:45:38.71 MAxBCT9e.net
>>958←なんでも否定したがるクソ

> 藁人形論法おつ
>
> ×興味をひかないから正しさが認められない
> ○興味をひかないから関心が持たれない
興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
ぐらいの想像はできるだろ低知能

995:132人目の素数さん
18/06/09 09:05:14.14 2xGsfMbm.net
×興味をひかない
これほど世界中で話題になっているのだから、興味は持たれてるに決まっているだろ
興味を持つ→間違いを発見する→終了
少なくともショルツ、コンラッド、コシカワはあきらかにこれ。
ほかにも、論文を読んでみて「こりゃトンデモだな」と思っている人は多数いるだろ。
興味を持たれていないから正しさが認められていないというのは、擁護派の負け惜しみ。

996:132人目の素数さん
18/06/09 09:14:48.24 2xGsfMbm.net
前、タオやショのルツクラスの大物が疑義を表明するのは、
単なる個人的感想と思うべきではないという書き込みをした人がいたが、
まさにその通り。
すでに第一級数学者の間では「現状では証明になっていないし、望月の方針で証明が達成されることもなさそう」
がコンセンサスになっていると考えるべき。
興味をもって望月論文を読んだうえで、アウトという判定をトップクラスの数学者が出しているという現実は疑いようがない。

997:132人目の素数さん
18/06/09 09:19:27.89 MAxBCT9e.net
>>961
> 興味を持たれていないから正しさが認められていないというのは、擁護派の負け惜しみ。
擁護派の誰かがそう言ってるの?リンク張ってくれる?

998:132人目の素数さん
18/06/09 09:36:38.30 yuHLpG8R.net
>>919 数学に限った話ではないと思うけど、
斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
大半は、知名度の高い他の人が承認して初めて読もうとする、一種の日和見主義者。
小物の態度だけど、そういう態度が一番効率的だから、そうなっちまうわな。

999:132人目の素数さん
18/06/09 09:39:17.79 2xGsfMbm.net
いくらか望月に同情的に解説してやると、
望月が2012年に最初の「証明」を公表したときに、
ペレルマンのときのようになってほしいと期待したんだろう。
ペレルマンは証明をいきなりネットに公表したが、その論証はあなだらけだった。
しかしペレルマンの方針自体が正しかったから、ペレルマンの論文が公表されるや否や、
有象無象の二流三流数学者でも束になれば証明を完全にすることができ、
それによって多くの人にペレルマンが正しい証明を得ていたことが認められた。
しかし望月の論文はそうならなかった。
結局のところ


1000:望月の論文は証明の正しい指針を示したものとは言えないため、 その論文が公開されても数学者は正しい証明を構成できなかった。 よって望月の論文も正しくない、という結論が下されつつあるというのが現実。



1001:132人目の素数さん
18/06/09 09:45:30.41 pResKOWG.net
>>959
既に量子幾何センターがありますね。
新しい数学思想は何ですか?
IUTですね、、動くゴールポストでもあります、

1002:132人目の素数さん
18/06/09 09:57:54.49 2xGsfMbm.net
望月が証明の正しいデッサンを公開している→多くの数学者が束になれば完璧な証明になるはず。
現実
一流の数学者が束になって検討しても一向に証明が構成されない→望月は証明の正しいデッサンを得ていない。

1003:132人目の素数さん
18/06/09 10:23:08.01 /irpZ5/h.net
>>964 それも望月と取り巻きの間違った一方的な言い訳だな。
本当にABCが証明できるような素晴らしい理論なら
確実性がなくとも、俺もあやかって一山当ててやろう、とワラワラ人が寄ってくるわ。
グロタンディークの時なんか、まさにそうでしょ。
数学でいい結果を出すのなんて本当に大変だし、
たかが千ページそこらの論文読んでいい論文が書けるんなら、やる奴なんていくらでもおるんだわ。
まして数論幾何なんてオワコン化し始めてんだから、まさに「藁をも掴む」でしょう。
実際それで致命的な問題点が見つかり、Asahiによるprimsの強行掲載(真偽は不明だが)を耳にし、
問題点を事前に把握していたいくつかの大物が義憤によって声明をあげた、というのが真相だろう。

1004:132人目の素数さん
18/06/09 10:29:17.07 oVYttIz2.net
人の発言をなんでもかんでも擁護派の言い訳に捉えるやつ何なの?

1005:132人目の素数さん
18/06/09 11:11:47.73 yuHLpG8R.net
>>968 私は望月氏の取り巻きでもなんでもなく、ただの外野なんだが…
ただ>>859ではあるので、意欲的な姿勢に好意的ではあるけど。
ともかく、IUTが「ワラワラ人が寄ってくる」ような
「本当にABCが証明できるような素晴らしい理論」であるか否かの判断を
ショルツ等のごく一部の数学者に委ねているのが現実じゃないの。
>>964ではそれが言いたかっただけ。

1006:132人目の素数さん
18/06/09 11:20:16.25 2xGsfMbm.net
望月が証明の正しいデッサンを得ているかどうかは、完璧な証明ができた時にはじめてわかること。
ただ、2012年からこれだけ年月が経って進展が得られないとなると、仮に完璧な証明が現れたとしても望月の方針とはだいぶ異なっていることが予想され、証明者の手柄はその人のものになるだろうね。
望月がほぼ正しい証明を得てたのなら、なんたって論文が公開されているのだから、数学者もバカではないし、すぐにみんなで完璧な証明に仕上げたであろうから。

1007:132人目の素数さん
18/06/09 11:52:23.65 HRrHxHTJ.net
Toën や Lurie の導来代数幾何、高次圏の理論だって膨大かつ難解だけど
一連のテキストが矢継ぎ早に公開されてた頃からフォローしてる人たくさん居たし
IUT だけが他の数学者たちが真剣に取り組んでないために理解されないなんて信じがたい

1008:132人目の素数さん
18/06/09 12:02:43.07 1GSOD3sl.net
数学も知らないし分からないし、研究もしたことのない素人が妄想を繰り広げて
ネット弁慶しちゃうスレですね、ここはw

1009:132人目の素数さん
18/06/09 12:15:03.77 oVYttIz2.net
否定派の方が必死に見えるんだが

1010:132人目の素数さん
18/06/09 12:58:49.34 Odvt8cU+.net
>>974
スレを荒らすな

1011:132人目の素数さん
18/06/09 14:06:01.73 vM24Lyxx.net
>>966
>既に量子幾何センターがありますね。
望月拓郎先生や玉川先生はそっちでなく
次世代のセンターの方に所属らしい

1012:132人目の素数さん
18/06/09 14:07:44.82 vM24Lyxx.net
>>961
>これほど世界中で話題になっているのだから、興味は持たれてるに決まっているだろ
言葉遊びの詭弁おつ
よもやま話としての興味でなく
数学としての正当な興味が持たれていない

1013:132人目の素数さん
18/06/09 14:09:49.78 vM24Lyxx.net
>>964
>斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
そんな事ない
EGAやSGAはみんなが洪水のように流れ込んだ
EGAやSGAに匹敵するだけも価値がIUTにあるとまだ思われてないから
IUTは興味を惹かない

1014:132人目の素数さん
18/06/09 14:12:39.14 vM24Lyxx.net
>>960
>興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
>ぐらいの想像はできるだろ低知能
興味を惹かない理由をあんたは理解していない
IUTは数学の新しくかつ正しい出発点を構造的に生み出すと
思われていないから興味を惹かない
ABCの正しさはどうでもいい余興

1015:132人目の素数さん
18/06/09 14:20:31.16 Odvt8cU+.net
>>976
嘘つくな
URLリンク(www.kurims.kyoto-u.ac.jp)

1016:132人目の素数さん
18/06/09 14:22:53.37 vM24Lyxx.net
>>965
>望月が2012年に最初の「証明」を公表したときに、
>ペレルマンのときのようになってほしいと期待したんだろう。
それはない。
ポアンカレ予想はその予想を解くこと自体を一番の目標に
していたような数学者が歴史的に沢山いた。
でもABCはそんな予想ではない。もしフェルマー予想が未証明の段階なら
フェルマー予想目的でそういう展開になる事はあっただろうけれど。

1017:132人目の素数さん
18/06/09 14:25:07.48 vM24Lyxx.net
>>980
併任や兼任という言葉を知らんのか??
URLリンク(www.kurims.kyoto-u.ac.jp)

1018:132人目の素数さん
18/06/09 14:26:10.81 N9W++vyK.net
噂の真相? 
・5月に論文がPRIMSに掲載(掲載なし)
・6月に論文がPRIMSに掲載(?)
・ショルツがRIMS来所(?)
・ショルツと討議、決裂(?)
・東工大の文元を訪問(?)
・文元、欧米の数学界をtwitterで批判(事実)
・望月、普及に海外渡航(事実なし)
・ショルツ、正式にIUTT批判発表予定(?)
・望月、サイトの自身の写真を桜の下の笑顔に更新(事実)

1019:132人目の素数さん
18/06/09 14:29:03.30 vM24Lyxx.net
>>983
モッチーは布教の細かい面倒までフォローする気はない(ペレリマンパターン)
ってだけだろ

1020:132人目の素数さん
18/06/09 14:32:49.34 rPcERmy5.net
>>983
オバサン乙

1021:132人目の素数さん
18/06/09 14:40:59.83 Odvt8cU+.net
>>982
センター長という言葉を知らんのか???

1022:132人目の素数さん
18/06/09 14:43:39.31 vM24Lyxx.net
「ABCの証明が正しいか正しくないかが数学界で重要だ」
と偏執的に主張したがる素人くんどもは
数学がある定められたルールの元で競い合うゲームやパズルのように"思いたい”のだろう。
なぜそう"思いたい"のかはおそらく
もし数学がそういうクイズやパズルであるなら受験やスポーツ観戦のように
天才や勝者をより単純な権威エンターテイメントドラマとしてウォッチしやすいから
マンガのように都合がいいのだろう

1023:132人目の素数さん
18/06/09 14:46:47.21 vM24Lyxx.net
>>986
そもそも「センター」なんつっても
他の実験科学みたいにドデカイ実験装置がある訳でもなく
ただの書類上の便器的な記号に過ぎない。
研究する場は教授室だし使用するのは紙と鉛筆たまにチョーク
なので看板降ろせだのなんだのは的外れの野次

1024:132人目の素数さん
18/06/09 15:06:52.59 Odvt8cU+.net
>>988
>そもそも「センター」なんつっても
>ただの書類上の便器的な記号に過ぎない。
なら作らなければいいじゃん、
新しい数学思想=IUTで
文科省向けに予算獲得手段だわ、

1025:132人目の素数さん
18/06/09 15:33:17.12 /irpZ5/h.net
ショルツ、越川、コンラッドは同じ箇所で詰まった。
関係者の反応は、観測できる限りでは、
自明と開き直る、無視、逆ギレして悪魔の証明要求。
(仮に解決しているなら他の読者のためにも情報を公開すべきである。
特にGはIUT普及のために雇われたようなもんなんだから、職業的な責務があるだろう)
これが全て。仮にMさんがどんなに素晴らしい頭脳の持ち主で、
人格的にも優れていて、たくさんの論文を読みこなし、
研究に何万時間か


1026:けただろうと、証明になっていなければ、 それは正しくない、というのが研究の世界。 笹井さんの件はまさにそうだったね。 Fンコみたいに逆ギレして悪魔の証明を貴重な読者に強要しちゃうようなあたり、 もう関係者も問題点を理解しているんじゃないかな。



1027:132人目の素数さん
18/06/09 15:39:36.80 rmpPLu2D.net
次スレ
Inter-universal geometry と ABC予想 28
URLリンク(rio2016.2ch.sc)

1028:132人目の素数さん
18/06/09 15:53:53.79 nEFMSNTW.net
もうええやろ...

1029:132人目の素数さん
18/06/09 16:54:21.81 yuHLpG8R.net
>>983
>望月、サイトの自身の写真を桜の下の笑顔に更新(事実)
こ、これは…もしや、我が世の春が来たと言いたいのか…(?_?)

1030:132人目の素数さん
18/06/09 16:54:54.96 im5yOy4G.net
スキーム論
>同時代の学者たちからは戸惑いのこもった反発を受けた。
>この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。
>緩やかに受け入れられていった。
アブストラクト・ナンセンス
圏(カテゴリー)と関手(ファンクター)の理論に対して行われた、中身が無く抽象的過ぎるため無意味だ(役に立たない) という現代数学界での長年の批判

1031:132人目の素数さん
18/06/09 17:19:34.53 5i4qEslh.net
アブストラクト・ナンセンス
Jump to navigation
Jump to search
アブストラクト・ナンセンス(英:abstract nonsense、抽象的ナンセンス)とは、
圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。
この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。
なおスティーンロッド自身、圏論的視点を築いた一人である。
この表現は軽蔑的な称号というよりは、数学的(特に圏論的)にいかに洗練されているか、
クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。
数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、
圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り
組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。
典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義、米田の補題の
利用、などなど。他にも抽象的論法に対する批評でこれほどは好意的でないようなものが記録に残っているの
だが、数学の隠語としての地位を獲得するには至っていない。
例えば、ポール・ゴーダンは不変式論に於けるダフィット・ヒルベルトの証明をして「これは数学ではなく神学だ」などと述べている。

1032:132人目の素数さん
18/06/09 18:44:16.87 pResKOWG.net
>>952
単体集合 ±1と微分作用素 原始n乗根
統計にも応用できるかも、、
このスレの余白が少なすぎる、

1033:132人目の素数さん
18/06/09 18:50:15.68 8cRyJp0W.net
>>993
ソラキレイの亜種

1034:132人目の素数さん
18/06/09 19:08:42.32 pResKOWG.net
代数 類体論って何だろう?
圏論の前に集合 選択公理、代数 線型代数
テンソル代数、、があるんだろう~

1035:132人目の素数さん
18/06/09 19:12:59.77 sPaMZ56q.net
999ならIUTリジェクト

1036:132人目の素数さん
18/06/09 19:13:24.47 sPaMZ56q.net
1000ならjinオバサンとモチーがケコーン

1037:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 33日 19時間 43分 34秒

1038:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch